Search results for: partial discharge
Commenced in January 2007
Frequency: Monthly
Edition: International
Paper Count: 2073

Search results for: partial discharge

1653 GUI Design of Mathematical Model of Cardiovascular-Respiratory System

Authors: Ntaganda J.M., Maniraguha J.D., Mukeshimana S., Harelimana D, Bizimungu T., Ruataganda E.

Abstract:

This paper presents the design of Graphic User Interface (GUI) in Matlab as interaction tool between human and machine. The designed GUI can be used by medical doctors and other experts particularly the physiologists. Matlab packages and estimated parameters of the mathematical model of cardiovascular-respiratory system developed in Rwandan context are used in GUI. The ordinary differential equations (ODE’s) govern a mathematical model in designing GUI in Matlab and a window that sets model estimated parameters and the measured parameters by any user. For healthy subject, these measured parameters include heart rate, systolic blood and diastolic blood pressure, partial pressure of oxygen in arterial blood, partial pressure of carbon dioxide in arterial blood, concentration of bound and dissolved oxygen in the mixed venous blood entering the lungs, and concentration of bound and dissolved carbon dioxide in the mixed venous blood entering the lungs. The results of numerical test give a consistent appearance as empirically known results.

Keywords: Graphic User Interface, mathematical model, cardiovascur-respiratory system, walking physical activity, blood pressure, oxygen

Procedia PDF Downloads 101
1652 The Influence of Partial Replacement of Hydrated Lime by Pozzolans on Properties of Lime Mortars

Authors: Przemyslaw Brzyski, Stanislaw Fic

Abstract:

Hydrated lime, because of the life cycle (return to its natural form as a result of the setting and hardening) has a positive environmental impact. The lime binder is used in mortars. Lime is a slow setting binder with low mechanical properties. The aim of the study was to evaluate the possibility of improving the properties of the lime binder by using different pozzolanic materials as partial replacement of hydrated lime binder. Pozzolan materials are the natural or industrial waste, so do not affect the environmental impact of the lime binder. The following laboratory tests were performed: the analysis of the physical characteristics of the tested samples of lime mortars (bulk density, porosity), flexural and compressive strength, water absorption and the capillary rise of samples and consistency of fresh mortars. As a partial replacement of hydrated lime (in the amount of 10%, 20%, 30% by weight of lime) a metakaolin, silica fume, and zeolite were used. The shortest setting and hardening time showed mortars with the addition of metakaolin. All additives noticeably improved strength characteristic of lime mortars. With the increase in the amount of additive, the increase in strength was also observed. The highest flexural strength was obtained by using the addition of metakaolin in an amount of 20% by weight of lime (2.08 MPa). The highest compressive strength was obtained by using also the addition of metakaolin but in an amount of 30% by weight of lime (9.43 MPa). The addition of pozzolan caused an increase in the mortar tightness which contributed to the limitation of absorbability. Due to the different surface area, pozzolanic additives affected the consistency of fresh mortars. Initial consistency was assumed as plastic. Only the addition of silica fume an amount of 20 and 30% by weight of lime changed the consistency to the thick-plastic. The conducted study demonstrated the possibility of applying lime mortar with satisfactory properties. The features of lime mortars do not differ significantly from cement-based mortar properties and show a lower environmental impact due to CO₂ absorption during lime hardening. Taking into consideration the setting time, strength and consistency, the best results can be obtained with metakaolin addition to the lime mortar.

Keywords: lime, binder, mortar, pozzolan, properties

Procedia PDF Downloads 174
1651 Hydrodynamic Modeling of the Hydraulic Threshold El Haouareb

Authors: Sebai Amal, Massuel Sylvain

Abstract:

Groundwater is the key element of the development of most of the semi-arid areas where water resources are increasingly scarce due to an irregularity of precipitation, on the one hand, and an increasing demand on the other hand. This is the case of the watershed of the Central Tunisia Merguellil, object of the present study, which focuses on an implementation of an underground flows hydrodynamic model to understand the recharge processes of the Kairouan’s plain groundwater by aquifers boundary through the hydraulic threshold of El Haouareb. The construction of a conceptual geological 3D model by the Hydro GeoBuilder software has led to a definition of the aquifers geometry in the studied area thanks to the data acquired by the analysis of geologic sections of drilling and piezometers crossed shells partially or in full. Overall analyses of the piezometric Chronicles of different piezometers located at the level of the dam indicate that the influence of the dam is felt especially in the aquifer carbonate which confirms that the dynamics of this aquifer are highly correlated to the dam’s dynamic. Groundwater maps, high and low-water dam, show a flow that moves towards the threshold of El Haouareb to the discharge of the waters of Ain El Beidha discharge towards the plain of Kairouan. Software FEFLOW 5.2 steady hydrodynamic modeling to simulate the hydraulic threshold at the level of the dam El Haouareb in a satisfactory manner. However, the sensitivity study to the different parameters shows equivalence problems and a fix to calibrate the limestones’ permeability. This work could be improved by refining the timing steady and amending the representation of limestones in the model.

Keywords: Hydrodynamic modeling, lithological modeling, hydraulic, semi-arid, merguellil, central Tunisia

Procedia PDF Downloads 742
1650 Effect of Bull Exposure on Post-Partum Estrus Interval in Nili-Ravi Buffaloes

Authors: Muhammad Saleem Akhtar, Mushtaq Hussain Lashari, Ejaz Ahmad, Tanveer Ahmad, Laeeq Akbar Lodhi, Ijaz Ahmad, Masood Akhtar

Abstract:

The objective of this study was to determine the effect of bull exposure continuously or intermittently or its excretory products after calving on postpartum interval to estrus, in Nili-Ravi buffalo. Forty-eight buffaloes of Nili-Ravi breed were allocated one of the four treatments in a totally randomized plan using a 4 x 1 factorial design. The four treatment groups were BEC (Bull Exposed Continuously), BEI (Bull Exposed Intermittently), EPB (Excretory Products of Bull) and BNE (Bull Not Exposed). BEC; buffaloes (n = 12) were exposed continuously to the physical presence of a bull whereas in BEI; buffaloes (n = 12) were exposed intermittently to the physical presence of bull. EPB; buffaloes (n = 12) were exposed to discharge waste (urine and feces) of bull and BNE buffaloes (n = 12) were not exposed to a bull or discharge waste of bulls. Buffaloes were exposed on day 15 after parturition. Day 15 postpartum represented d 0 for each treatment. The postpartum interval from calving to first behavioural estrus was 66.88 days in BEC, 75.12 days in BEI, 77.28 days in EPB and 76.5 days in BNE treatments. Postpartum interval to first behavioural estrus was shorter in BEC than BEI, EPB, and BNE treatments. There was no significant difference in postpartum interval to estrus between BEI, EPB and BNE treatments. In present study, the percentage of buffaloes showing estrus during experimental period was 75.0%, 66.66%, 66.66% and 58.33% in BEC, BEI, EPB and BNE treatments, respectively. The mean serum progesterone concentration did not differ significantly between BEC and other (BEI, EPB, and BNE) treatments. It was concluded that presence of bull has positive effect in reducing calving interval in Nili Ravi buffalo.

Keywords: calving interval, biostimulation, buffalo, bull exposure

Procedia PDF Downloads 230
1649 Learning Participation and Baby Care Ability in Mothers of Preterm Infant

Authors: Yi-Chuan Cheng, Li-Chi Huang, Yu-Shan Chang

Abstract:

Introduction: The main purpose of this study was to explore the relationship between the learning number, care knowledge, care skills and maternal confidence in preterm infant care in Taiwan. Background: Preterm infants care has been stressful for mother caring at home. Many programs have been applied for improving the infant care maternal confident. But less to know the learning behavior in mothers of preterm infant. Methods: The sample consisted of 55 mothers with preterm infants were recruited in a neonatal intermediate unit at a medical center in central Taiwan. The self-reported questionnaires including knowledge and skills of preterm infant care scales and maternal confidence scale were used to evaluation, which were conducted during hospitalization, before hospital discharge, and one month after discharge. We performed by using Pearson correlation of the collected data using SPSS 18. Results: The study showed that the learning number and knowledge in preterm infant care was a significant positive correlation (r = .40), and the skills and confidence preterm infant care was positively correlated (r = .89). Conclusions: Study results showed the mother had more learning number in preterm infant care will be stronger knowledge, and the skills and confidence in preterm infant care were also positively correlated. Thus, we found the learning behavior change significant care knowledge. And the maternal confidence change significant with skill on preterm infant’s care. But bondage still needs further study and develop the participation in hospital-based instructional programs, which could lead to greater long-term retention of learning.

Keywords: learning behavior, care knowledge, care skills, maternal confidence

Procedia PDF Downloads 241
1648 Image Segmentation Using Active Contours Based on Anisotropic Diffusion

Authors: Shafiullah Soomro

Abstract:

Active contour is one of the image segmentation techniques and its goal is to capture required object boundaries within an image. In this paper, we propose a novel image segmentation method by using an active contour method based on anisotropic diffusion feature enhancement technique. The traditional active contour methods use only pixel information to perform segmentation, which produces inaccurate results when an image has some noise or complex background. We use Perona and Malik diffusion scheme for feature enhancement, which sharpens the object boundaries and blurs the background variations. Our main contribution is the formulation of a new SPF (signed pressure force) function, which uses global intensity information across the regions. By minimizing an energy function using partial differential framework the proposed method captures semantically meaningful boundaries instead of catching uninterested regions. Finally, we use a Gaussian kernel which eliminates the problem of reinitialization in level set function. We use several synthetic and real images from different modalities to validate the performance of the proposed method. In the experimental section, we have found the proposed method performance is better qualitatively and quantitatively and yield results with higher accuracy compared to other state-of-the-art methods.

Keywords: active contours, anisotropic diffusion, level-set, partial differential equations

Procedia PDF Downloads 145
1647 An Investigation on Fresh and Hardened Properties of Concrete While Using Polyethylene Terephthalate (PET) as Aggregate

Authors: Md. Jahidul Islam, A. K. M. Rakinul Islam, M. Salamah Meherier

Abstract:

This study investigates the suitability of using plastic, such as polyethylene terephthalate (PET), as a partial replacement of natural coarse and fine aggregates (for example, brick chips and natural sand) to produce lightweight concrete for load bearing structural members. The plastic coarse aggregate (PCA) and plastic fine aggregate (PFA) were produced from melted polyethylene terephthalate (PET) bottles. Tests were conducted using three different water–cement (w/c) ratios, such as 0.42, 0.48, and 0.57, where PCA and PFA were used as 50% replacement of coarse and fine aggregate respectively. Fresh and hardened properties of concrete have been compared for natural aggregate concrete (NAC), PCA concrete (PCC) and PFA concrete (PFC). The compressive strength of concrete at 28 days varied with the water–cement ratio for both the PCC and PFC. Between PCC and PFC, PFA concrete showed the highest compressive strength (23.7 MPa) at 0.42 w/c ratio and also the lowest compressive strength (13.7 MPa) at 0.57 w/c ratio. Significant reduction in concrete density was mostly observed for PCC samples, ranging between 1977–1924 kg/m³. With the increase in water–cement ratio PCC achieved higher workability compare to both NAC and PFC. It was found that both the PCA and PFA contained concrete achieved the required compressive strength to be used for structural purpose as partial replacement of the natural aggregate; but to obtain the desired lower density as lightweight concrete the PCA is most suited.

Keywords: polyethylene terephthalate, plastic aggregate, concrete, fresh and hardened properties

Procedia PDF Downloads 416
1646 Mediating Role of Social Responsibility on the Relationship between Consumer Awareness of Green Marketing and Purchase Intentions

Authors: Norazah Mohd Suki, Norbayah Mohd Suki

Abstract:

This research aims to examine the influence of mediating effect of corporate social responsibility on the relationship between consumer awareness of green marketing and purchase intentions in the retail setting. Data from 200 valid questionnaires was analyzed using the partial least squares (PLS) approach for the analysis of structural equation models with SmartPLS computer program version 2.0 as research data does not necessarily have a multivariate normal distribution and is less sensitive to sample size than other covariance approaches. PLS results revealed that corporate social responsibility partially mediated the link between consumer awareness of green marketing and purchase intentions of the product in the retail setting. Marketing managers should allocate a sufficient portion of their budget to appropriate corporate social responsibility activities by engaging in voluntary programs for positive return on investment leading to increased business profitability and long run business sustainability. The outcomes of the mediating effects of corporate social responsibility add a new impetus to the growing literature and preceding discoveries on consumer green marketing awareness, which is inadequately researched in the Malaysian setting. Direction for future research is also presented.

Keywords: green marketing awareness, social responsibility, partial least squares, purchase intention

Procedia PDF Downloads 583
1645 Accurate Cortical Reconstruction in Narrow Sulci with Zero-Non-Zero Distance (ZNZD) Vector Field

Authors: Somojit Saha, Rohit K. Chatterjee, Sarit K. Das, Avijit Kar

Abstract:

A new force field is designed for propagation of the parametric contour into deep narrow cortical fold in the application of knowledge based reconstruction of cerebral cortex from MR image of brain. Designing of this force field is highly inspired by the Generalized Gradient Vector Flow (GGVF) model and markedly differs in manipulation of image information in order to determine the direction of propagation of the contour. While GGVF uses edge map as its main driving force, the newly designed force field uses the map of distance between zero valued pixels and their nearest non-zero valued pixel as its main driving force. Hence, it is called Zero-Non-Zero Distance (ZNZD) force field. The objective of this force field is forceful propagation of the contour beyond spurious convergence due to partial volume effect (PVE) in to narrow sulcal fold. Being function of the corresponding non-zero pixel value, the force field has got an inherent property to determine spuriousness of the edge automatically. It is effectively applied along with some morphological processing in the application of cortical reconstruction to breach the hindrance of PVE in narrow sulci where conventional GGVF fails.

Keywords: deformable model, external force field, partial volume effect, cortical reconstruction, MR image of brain

Procedia PDF Downloads 374
1644 Adequacy of Second-Generation Laryngeal Mask Airway during Prolonged Abdominal Surgery

Authors: Sukhee Park, Gaab Soo Kim

Abstract:

Purpose: We aimed to evaluate the adequacy of second-generation laryngeal mask airway use during prolonged abdominal surgery in respect of ventilation, oxygenation, postoperative pulmonary complications (PPC), and postoperative non-pulmonary complications on living donor kidney transplant (LDKT) surgery. Methods: In total, 257 recipients who underwent LDKT using either laryngeal mask airway-ProSeal (LMA-P) or endotracheal tube (ETT) were retrospectively analyzed. Arterial partial pressure of carbon dioxide (PaCO2 and ratio of arterial partial pressure of oxygen to fractional inspired oxygen (PFR) during surgery were compared between two groups. In addition, PPC including pulmonary aspiration and postoperative non-pulmonary complications including nausea, vomiting, hoarseness, vocal cord palsy, delirium, and atrial fibrillation were also compared. Results: PaCO2 and PFR during surgery were not significantly different between the two groups. PPC was also not significantly different between the two groups. Interestingly, the incidence of delirium was significantly lower in the LMA-P group than the ETT group (3.0% vs. 10.3%, P = 0.029). Conclusions: During prolonged abdominal surgery such as LDKT, second-generation laryngeal mask airway offers adequate ventilation and oxygenation and can be considered a suitable alternative to ETT.

Keywords: laryngeal mask airway, prolonged abdominal surgery, kidney transplantation, postoperative pulmonary complication

Procedia PDF Downloads 132
1643 Effects of Temperature and Cysteine Addition on Formation of Flavor from Maillard Reaction Using Xylose and Rapeseed Meal Peptide

Authors: Zuoyong Zhang, Min Yu, Jinlong Zhao, Shudong He

Abstract:

The Maillard reaction can produce the flavor enhancing substance through the chemical crosslinking between free amino group of the protein or polypeptide with the carbonyl of the reducing sugar. In this research, solutions of rapeseed meal peptide and D-xylose with or without L-cysteine (RXC or RX) were heated over a range of temperatures (80-140 °C) for 2 h. It was observed that RXs had a severe browning,while RXCs accompanied by more pH decrement with the temperature increasing. Then the correlation among data of quantitative sensory descriptive analysis, free amino acid (FAA) and GC–MS of RXCs and RXs were analyzed using the partial least square regression method. Results suggested that the Maillard reaction product (MRPs) with cysteine formed at 120 °C (RXC-120) had greater sensory properties especially meat-like flavor compared to other MRPs. Meanwhile, it revealed that glutamic and glycine not only had a positive contribution to meaty aroma but also showed a significant and positive influence on umami taste of RXs based on the FAA data. Moreover, the sulfur-containing compounds showed a significant positive correlation with the meat-like flavor of RXCs, while RXs depended on furans and nitrogenous-containing compounds with more caramel-like flavor. Therefore, a MRP with strong meaty flavor could be obtained at 120 °C by addition of cysteine.

Keywords: rapeseed meal, Maillard reaction, sensory characteristics, FAA, GC–MS, partial least square regression

Procedia PDF Downloads 241
1642 Green Materials for Hot Mixed Asphalt Production

Authors: Salisu Dahiru, Jibrin M. Kaura, Abubakar I. Jumare, Sulaiman M. Mahmood

Abstract:

Reclaimed asphalt, used automobile tires and rice husk, were regarded as waste. These materials could be used in construction of new roads and for roads rehabilitation. Investigation into the production of a Green Hot Mixed Asphalt (GHMA) pavement using Reclaimed Asphalt Pavement (RAP) as partial replacement for coarse aggregate, Crumb Rubber (CR) from waste automobile tires as modifier for bitumen binder and Rice Husk Ash (RHA) as partial replacement of ordinary portland cement (OPC) filler, for roads construction and rehabilitation was presented. 30% Reclaimed asphalt of total aggregate, 15% Crumb Rubber of total binder content, 5% Rice Husk Ash of total mix, and 5.2% Crumb Rubber Modified Bitumen content were recommended for optimum performance. Loss of marshal stability was investigated on mix with the recommended optimum CRMB. The mix revealed good performance with only about 13% loss of stability after 24 hours of immersion in hot water bath, as against about 24% marshal stability lost reported in previous studies for conventional Hot Mixed Asphalt (HMA).

Keywords: rice husk, reclaimed asphalt, filler, crumb rubber, bitumen content green hot mix asphalt

Procedia PDF Downloads 314
1641 Explicit Numerical Approximations for a Pricing Weather Derivatives Model

Authors: Clarinda V. Nhangumbe, Ercília Sousa

Abstract:

Weather Derivatives are financial instruments used to cover non-catastrophic weather events and can be expressed in the form of standard or plain vanilla products, structured or exotics products. The underlying asset, in this case, is the weather index, such as temperature, rainfall, humidity, wind, and snowfall. The complexity of the Weather Derivatives structure shows the weakness of the Black Scholes framework. Therefore, under the risk-neutral probability measure, the option price of a weather contract can be given as a unique solution of a two-dimensional partial differential equation (parabolic in one direction and hyperbolic in other directions), with an initial condition and subjected to adequate boundary conditions. To calculate the price of the option, one can use numerical methods such as the Monte Carlo simulations and implicit finite difference schemes conjugated with Semi-Lagrangian methods. This paper is proposed two explicit methods, namely, first-order upwind in the hyperbolic direction combined with Lax-Wendroff in the parabolic direction and first-order upwind in the hyperbolic direction combined with second-order upwind in the parabolic direction. One of the advantages of these methods is the fact that they take into consideration the boundary conditions obtained from the financial interpretation and deal efficiently with the different choices of the convection coefficients.

Keywords: incomplete markets, numerical methods, partial differential equations, stochastic process, weather derivatives

Procedia PDF Downloads 71
1640 An Efficient Automated Radiation Measuring System for Plasma Monopole Antenna

Authors: Gurkirandeep Kaur, Rana Pratap Yadav

Abstract:

This experimental study is aimed to examine the radiation characteristics of different plasma structures of a surface wave-driven plasma antenna by an automated measuring system. In this study, a 30 cm long plasma column of argon gas with a diameter of 3 cm is excited by surface wave discharge mechanism operating at 13.56 MHz with RF power level up to 100 Watts and gas pressure between 0.01 to 0.05 mb. The study reveals that a single structured plasma monopole can be modified into an array of plasma antenna elements by forming multiple striations or plasma blobs inside the discharge tube by altering the values of plasma properties such as working pressure, operating frequency, input RF power, discharge tube dimensions, i.e., length, radius, and thickness. It is also reported that plasma length, electron density, and conductivity are functions of operating plasma parameters and controlled by changing working pressure and input power. To investigate the antenna radiation efficiency for the far-field region, an automation-based radiation measuring system has been fabricated and presented in detail. This developed automated system involves a combined setup of controller, dc servo motors, vector network analyzer, and computing device to evaluate the radiation intensity, directivity, gain and efficiency of plasma antenna. In this system, the controller is connected to multiple motors for moving aluminum shafts in both elevation and azimuthal plane whereas radiation from plasma monopole antenna is measured by a Vector Network Analyser (VNA) which is further wired up with the computing device to display radiations in polar plot forms. Here, the radiation characteristics of both continuous and array plasma monopole antenna have been studied for various working plasma parameters. The experimental results clearly indicate that the plasma antenna is as efficient as a metallic antenna. The radiation from plasma monopole antenna is significantly influenced by plasma properties which provides a wider range in radiation pattern where desired radiation parameters like beam-width, the direction of radiation, radiation intensity, antenna efficiency, etc. can be achieved in a single monopole. Due to its wide range of selectivity in radiation pattern; this can meet the demands of wider bandwidth to get high data speed in communication systems. Moreover, this developed system provides an efficient and cost-effective solution for measuring the radiation pattern in far-field zone for any kind of antenna system.

Keywords: antenna radiation characteristics, dynamically reconfigurable, plasma antenna, plasma column, plasma striations, surface wave

Procedia PDF Downloads 100
1639 Investigating Unplanned Applications and Admissions to Hospitals of Children with Cancer

Authors: Hacer Kobya Bulut, Ilknur Kahriman, Birsel C. Demirbag

Abstract:

Introduction and Purpose: The lives of children with cancer are affected by long term hospitalizations in a negative way due to complications arising from diagnosis or treatment. However, the children's parents are known to have difficulties in meeting their children’s needs and providing home care after cancer treatment or during remission process. Supporting these children and their parents by giving a planned discharge training starting from the hospital and home care leads to reducing hospital applications, hospitalizations, hospital costs, shortening the length of hospital stay and increasing the satisfaction of the children with cancer and their families. This study was conducted to investigate the status of children and their parents' unplanned application to hospital and re-hospitalization. Methods: The study was carried out with 65 children with hematological malignancy in 0-17 age group and their families in a hematology clinic and polyclinic of a university hospital in Trabzon. Data were collected with survey methodology between August-November, 2015 through face to face interview using numbers, percentage and chi-square test in the evaluation. Findings: Most of the children were leukemia (90.8%) and 49.2% had been ill over 13 months. Few of the parents (32.3%) stated that they had received discharge and home care training (24.6%) but most of them (69.2%) found themselves enough in providing home care. Very few parents (6.2%) received home care training after their children being discharged and the majority of parents (61.5%) faced difficulties in home care and had no one to call around them. The parents expressed that in providing care to their children with hematological malignance, they faced difficulty in feeding them (74.6%), explaining their disease (50.0%), giving their oral medication (47.5%), providing hygiene (43.5%) and providing oral care (39.3%). The question ‘What are the emergency situations in which you have to bring your children to a doctor immediately?' was replied as fever (89.2%), severe nausea and vomiting (87.7%), hemorrhage (86.2%) and pain (81.5%). The study showed that 50.8% of the children had unplanned applications to hospitals and 33.8% of them identified as unplanned hospitalization and the first causes of this were fever and pain. The study showed that the frequency of applications (%78.8) and hospitalizations (%81.8) was higher for boys and a statistically significant difference was found between gender and unplanned applications (X=4.779; p=0.02). Applications (48.5%) and hospitalizations (40.9%) were found lower for the parents who had received hospital discharge training, and a significant difference was determined between receiving training and unplanned hospitalizations (X=8.021; p=0.00). Similarly, applications (30.3%) and hospitalizations (40.9%) was found lower for the ones who had received home care training, and a significant difference was determined between receiving home care training and unplanned hospitalizations (X=4.758; p=0.02). Conclusion: It was found out that caregivers of children with cancer did not receive training related to home care and complications about treatment after discharging from hospital, so they faced difficulties in providing home care and this led to an increase in unplanned hospital applications and hospitalizations.

Keywords: cancer, children, unplanned application, unplanned hospitalization

Procedia PDF Downloads 251
1638 Applying Element Free Galerkin Method on Beam and Plate

Authors: Mahdad M’hamed, Belaidi Idir

Abstract:

This paper develops a meshless approach, called Element Free Galerkin (EFG) method, which is based on the weak form Moving Least Squares (MLS) of the partial differential governing equations and employs the interpolation to construct the meshless shape functions. The variation weak form is used in the EFG where the trial and test functions are approximated bye the MLS approximation. Since the shape functions constructed by this discretization have the weight function property based on the randomly distributed points, the essential boundary conditions can be implemented easily. The local weak form of the partial differential governing equations is obtained by the weighted residual method within the simple local quadrature domain. The spline function with high continuity is used as the weight function. The presently developed EFG method is a truly meshless method, as it does not require the mesh, either for the construction of the shape functions, or for the integration of the local weak form. Several numerical examples of two-dimensional static structural analysis are presented to illustrate the performance of the present EFG method. They show that the EFG method is highly efficient for the implementation and highly accurate for the computation. The present method is used to analyze the static deflection of beams and plate hole

Keywords: numerical computation, element-free Galerkin (EFG), moving least squares (MLS), meshless methods

Procedia PDF Downloads 265
1637 Case of A Huge Retroperitoneal Abscess Spanning from the Diaphragm to the Pelvic Brim

Authors: Christopher Leung, Tony Kim, Rebecca Lendzion, Scott Mackenzie

Abstract:

Retroperitoneal abscesses are a rare but serious condition with often delayed diagnosis, non-specific symptoms, multiple causes and high morbidity/mortality. With the advent of more readily available cross-sectional imaging, retroperitoneal abscesses are treated earlier and better outcomes are achieved. Occasionally, a retroperitoneal abscess is present as a huge retroperitoneal abscess, as evident in this 53-year-old male. With a background of chronic renal disease and left partial nephrectomy, this gentleman presented with a one-month history of left flank pain without any other symptoms, including fevers or abdominal pain. CT abdomen and pelvis demonstrated a huge retroperitoneal abscess spanning from the diaphragm, abutting the spleen, down to the iliopsoas muscle and abutting the iliac vessels at the pelvic brim. This large retroperitoneal abscess required open drainage as well as drainage by interventional radiology. A long course of intravenous antibiotics and multiple drainages was required to drain the abscess. His blood culture and fluid culture grew Proteus species suggesting a urinary source, likely from his non-functioning kidney, which had a partial nephrectomy. Such a huge retroperitoneal abscess has rarely been described in the literature. The learning point here is that the basic principle of source control and antibiotics is paramount in treating retroperitoneal abscesses regardless of the size of the abscess.

Keywords: retroperitoneal abscess, retroperitoneal mass, sepsis, genitourinary infection

Procedia PDF Downloads 198
1636 The Effects of Vocational Training on Offender Rehabilitation in Nigerian Correctional Institutions

Authors: Hadi Mohammed

Abstract:

The introduction of vocational education and training (VET) in correctional institutions as part of prisoner rehabilitation program is to help offenders develop marketable job skills and reduce re-offending thereby increasing the likely hood of successful reintegration back to their community. Offenders who participate in vocational education and training are significantly less likely to return to prison after released and are more likely to find employment after released than offenders who do not received such training. Those who participated in vocational training were 28% more likely to be employed after released from prison than those who did not received such training. This paper examined the effects of vocational training on offender rehabilitation as well as the effects of vocational training on the relationship between reformation and reintegration in Nigerian correctional institution. To address this two research question were formulated to guide the research. A survey research was employed. The participants were 200 offenders in Nigerian correctional institutions. Questionnaire items were administered. Mean, standard deviation and Partial Correlation were used for the data analysis. The findings revealed that vocational training has helped in offender rehabilitation in Nigerian correctional institutions. Similarly there was a moderate significant positive partial correlation between reformation and reintegration, controlling for vocational training, r=0.461, n=221, p<0.005 with moderate level of reformation and being associated with moderate level of reintegration. Based on the findings of the study, it was recommended that Nigerian Correctional Institutions should strengthen their vocational training program for offenders to be properly rehabilitated.

Keywords: correctional institutions, vocational education and training, offender rehabilitation

Procedia PDF Downloads 147
1635 A Systematic Review and Meta-Analysis in Slow Gait Speed and Its Association with Worse Postoperative Outcomes in Cardiac Surgery

Authors: Vignesh Ratnaraj, Jaewon Chang

Abstract:

Background: Frailty is associated with poorer outcomes in cardiac surgery, but the heterogeneity in frailty assessment tools makes it difficult to ascertain its true impact in cardiac surgery. Slow gait speed is a simple, validated, and reliable marker of frailty. We performed a systematic review and meta-analysis to examine the effect of slow gait speed on postoperative cardiac surgical patients. Methods: PubMED, MEDLINE, and EMBASE databases were searched from January 2000 to August 2021 for studies comparing slow gait speed and “normal” gait speed. The primary outcome was in-hospital mortality. Secondary outcomes were composite mortality and major morbidity, AKI, stroke, deep sternal wound infection, prolonged ventilation, discharge to a healthcare facility, and ICU length of stay. Results: There were seven eligible studies with 36,697 patients. Slow gait speed was associated with an increased likelihood of in-hospital mortality (risk ratio [RR]: 2.32; 95% confidence interval [CI]: 1.87–2.87). Additionally, they were more likely to suffer from composite mortality and major morbidity (RR: 1.52; 95% CI: 1.38–1.66), AKI (RR: 2.81; 95% CI: 1.44–5.49), deep sternal wound infection (RR: 1.77; 95% CI: 1.59–1.98), prolonged ventilation >24 h (RR: 1.97; 95% CI: 1.48–2.63), reoperation (RR: 1.38; 95% CI: 1.05–1.82), institutional discharge (RR: 2.08; 95% CI: 1.61–2.69), and longer ICU length of stay (MD: 21.69; 95% CI: 17.32–26.05). Conclusion: Slow gait speed is associated with poorer outcomes in cardiac surgery. Frail patients are twofold more likely to die during hospital admission than non-frail counterparts and are at an increased risk of developing various perioperative complications.

Keywords: cardiac surgery, gait speed, recovery, frailty

Procedia PDF Downloads 55
1634 Hydrological Response of the Glacierised Catchment: Himalayan Perspective

Authors: Sonu Khanal, Mandira Shrestha

Abstract:

Snow and Glaciers are the largest dependable reserved sources of water for the river system originating from the Himalayas so an accurate estimate of the volume of water contained in the snowpack and the rate of release of water from snow and glaciers are, therefore, needed for efficient management of the water resources. This research assess the fusion of energy exchanges between the snowpack, air above and soil below according to mass and energy balance which makes it apposite than the models using simple temperature index for the snow and glacier melt computation. UEBGrid a Distributed energy based model is used to calculate the melt which is then routed by Geo-SFM. The model robustness is maintained by incorporating the albedo generated from the Landsat-7 ETM images on a seasonal basis for the year 2002-2003 and substrate map derived from TM. The Substrate file includes predominantly the 4 major thematic layers viz Snow, clean ice, Glaciers and Barren land. This approach makes use of CPC RFE-2 and MERRA gridded data sets as the source of precipitation and climatic variables. The subsequent model run for the year between 2002-2008 shows a total annual melt of 17.15 meter is generate from the Marshyangdi Basin of which 71% is contributed by the glaciers , 18% by the rain and rest being from the snow melt. The albedo file is decisive in governing the melt dynamics as 30% increase in the generated surface albedo results in the 10% decrease in the simulated discharge. The melt routed with the land cover and soil variables using Geo-SFM shows Nash-Sutcliffe Efficiency of 0.60 with observed discharge for the study period.

Keywords: Glacier, Glacier melt, Snowmelt, Energy balance

Procedia PDF Downloads 436
1633 Partial Least Square Regression for High-Dimentional and High-Correlated Data

Authors: Mohammed Abdullah Alshahrani

Abstract:

The research focuses on investigating the use of partial least squares (PLS) methodology for addressing challenges associated with high-dimensional correlated data. Recent technological advancements have led to experiments producing data characterized by a large number of variables compared to observations, with substantial inter-variable correlations. Such data patterns are common in chemometrics, where near-infrared (NIR) spectrometer calibrations record chemical absorbance levels across hundreds of wavelengths, and in genomics, where thousands of genomic regions' copy number alterations (CNA) are recorded from cancer patients. PLS serves as a widely used method for analyzing high-dimensional data, functioning as a regression tool in chemometrics and a classification method in genomics. It handles data complexity by creating latent variables (components) from original variables. However, applying PLS can present challenges. The study investigates key areas to address these challenges, including unifying interpretations across three main PLS algorithms and exploring unusual negative shrinkage factors encountered during model fitting. The research presents an alternative approach to addressing the interpretation challenge of predictor weights associated with PLS. Sparse estimation of predictor weights is employed using a penalty function combining a lasso penalty for sparsity and a Cauchy distribution-based penalty to account for variable dependencies. The results demonstrate sparse and grouped weight estimates, aiding interpretation and prediction tasks in genomic data analysis. High-dimensional data scenarios, where predictors outnumber observations, are common in regression analysis applications. Ordinary least squares regression (OLS), the standard method, performs inadequately with high-dimensional and highly correlated data. Copy number alterations (CNA) in key genes have been linked to disease phenotypes, highlighting the importance of accurate classification of gene expression data in bioinformatics and biology using regularized methods like PLS for regression and classification.

Keywords: partial least square regression, genetics data, negative filter factors, high dimensional data, high correlated data

Procedia PDF Downloads 27
1632 Clinical Outcomes of Mild Traumatic Brain Injury with Acute Traumatic Intracranial Hemorrhage on Initial Emergency Ward Neuroimaging

Authors: S. Shafiee Ardestani, A. Najafi, N. Valizadeh, E. Payani, H. Karimian

Abstract:

Objectives: Treatment of mild traumatic brain injury in emergency ward patients with any type of traumatic intracranial hemorrhage is flexible. The aim of this study is to assess the clinical outcomes of mild traumatic brain injury patients who had acute traumatic intracranial hemorrhage on initial emergency ward neuroimaging. Materials-Methods: From March 2011 to November 2012 in a retrospective cohort study we enrolled emergency ward patients with mild traumatic brain injury with Glasgow Coma Scale (GCS) scores of 14 or 15 and who had stable vital signs. Patients who had any type of intracranial hemorrhage on first head CT and repeat head CT within 24 hours were included. Patients with initial GCS < 14, injury > 24 hours old, pregnancy, concomitant non-minor injuries, and coagulopathy were excluded. Primary endpoints were neurosurgical procedures and/or death and for discharged patients, return to the emergency ward during one week. Results: Among 755 patients who were referred to the emergency ward and underwent two head CTs during first 24 hours, 302 (40%) were included. The median interval between CT scans was 6 hours (ranging 4 to 8 hours). Consequently, 135 (45%) patients had subarachnoid hemorrhage, 124 (41%) patients had subdural hemorrhage, 15 (5%) patients had epidural hemorrhage, 28 (9%) patients had cerebral contusions, and 54 (18%) patients had intra-parenchymal hemorrhage. Six of 302 patients died within 15 days of injury. 200 patients (66%) have been discharged from the emergency ward, 25 (12%) of whom returned to the emergency ward after one week. Conclusion: Discharge of the head trauma patients after a repeat head CT and brief period of observation in the emergency ward lead to early discharge of mild traumatic brain injury patients with traumatic ICH without adverse events.

Keywords: clinical outcomes, emergency ward, mild traumatic intracranial hemorrhage, Glasgow Coma Scale (GCS)

Procedia PDF Downloads 317
1631 Clinical and Radiological Outcome in 300 Patients with Non-Aneurysmal Sah

Authors: Ranjith Menon, Abathar Aladi, Hans-Christean Nahser, Maneesh Bhojak, Sacha Nevin, Paul Eldridge

Abstract:

Background: Spontaneous subarachnoid haemorrhage (SAH) accounts for approximately 5% of all strokes. Patients with spontaneous SAH (as shown by CT or lumbar puncture) undergo investigations to identify or exclude an underlying structural cause, typically cerebral aneurysm. However in 10 - 20% of cases, no structural cause is found. This includes more than one imaging modality (intracranial MRA, CTA, 4DCTA and/or DSA) and in some spinal MRI. Objective: To determine; 1) If an underlying structural or vascular cause can be identified in non-aneurysmal SAH patients by comparing different imaging modalities at presentation and at follow-up. 2) If MRI spine in patients with non-aneurysmal SAH reveals an underlying SAH cause. 3)The functional outcome at discharge. Results: We performed a retrospective analysis of all non-traumatic SAH patients admitted to the Walton centre from January 2009 to December 2015. There were 1457 patients with non-traumatic SAH admitted to the Walton centre of whom 21.8% (n=300) patients were diagnosed with non-aneurysmal SAH. Males were 65.6% and females were 43.3%. The presenting symptoms were sudden onset headache (93.6%), the focal neurological deficit (12%), loss of consciousness (10.6%) and others (6%). About 285 patients received 2 modalities of imaging (CTA & DSA), 192 received 3 modalities of imaging (CTA, MRA & DSA) and 137 received MRI spine (51/137 whole spine). The modified Rankin Score at discharge were: mRS 0 = 292 (97.33%), mRS 1-2 = 6, mRS 6 = 1 (cardiac arrest in IHD patient) and unknown in 1. Follow-up imaging at 3 to 6 months in 190 (63.3%) patients did not identify an underlying cause. Conclusion: This retrospective analysis concludes that non-aneurysmal SAH has a good functional outcome. A single imaging modality (CTA (4DCTA) or MRA or DSA) was adequate to exclude an underlying cause of SAH and a delayed imaging failed to identify a cause. Routinely performing MRI spine in this group of patients appears not to be necessary according to this evidence.

Keywords: stroke, non-aneurysmal subarachnoid haemorrhage, neuroimaging, modified rankin score

Procedia PDF Downloads 250
1630 Erosion Modeling of Surface Water Systems for Long Term Simulations

Authors: Devika Nair, Sean Bellairs, Ken Evans

Abstract:

Flow and erosion modeling provides an avenue for simulating the fine suspended sediment in surface water systems like streams and creeks. Fine suspended sediment is highly mobile, and many contaminants that may have been released by any sort of catchment disturbance attach themselves to these sediments. Therefore, a knowledge of fine suspended sediment transport is important in assessing contaminant transport. The CAESAR-Lisflood Landform Evolution Model, which includes a hydrologic model (TOPMODEL) and a hydraulic model (Lisflood), is being used to assess the sediment movement in tropical streams on account of a disturbance in the catchment of the creek and to determine the dynamics of sediment quantity in the creek through the years by simulating the model for future years. The accuracy of future simulations depends on the calibration and validation of the model to the past and present events. Calibration and validation of the model involve finding a combination of parameters of the model, which, when applied and simulated, gives model outputs similar to those observed for the real site scenario for corresponding input data. Calibrating the sediment output of the CAESAR-Lisflood model at the catchment level and using it for studying the equilibrium conditions of the landform is an area yet to be explored. Therefore, the aim of the study was to calibrate the CAESAR-Lisflood model and then validate it so that it could be run for future simulations to study how the landform evolves over time. To achieve this, the model was run for a rainfall event with a set of parameters, plus discharge and sediment data for the input point of the catchment, to analyze how similar the model output would behave when compared with the discharge and sediment data for the output point of the catchment. The model parameters were then adjusted until the model closely approximated the real site values of the catchment. It was then validated by running the model for a different set of events and checking that the model gave similar results to the real site values. The outcomes demonstrated that while the model can be calibrated to a greater extent for hydrology (discharge output) throughout the year, the sediment output calibration may be slightly improved by having the ability to change parameters to take into account the seasonal vegetation growth during the start and end of the wet season. This study is important to assess hydrology and sediment movement in seasonal biomes. The understanding of sediment-associated metal dispersion processes in rivers can be used in a practical way to help river basin managers more effectively control and remediate catchments affected by present and historical metal mining.

Keywords: erosion modelling, fine suspended sediments, hydrology, surface water systems

Procedia PDF Downloads 61
1629 Effects of Watershed Erosion on Stream Channel Formation

Authors: Tiao Chang, Ivan Caballero, Hong Zhou

Abstract:

Streams carry water and sediment naturally by maintaining channel dimensions, pattern, and profile over time. Watershed erosion as a natural process has occurred to contribute sediment to streams over time. The formation of channel dimensions is complex. This study is to relate quantifiable and consistent channel dimensions at the bankfull stage to the corresponding watershed erosion estimation by the Revised Universal Soil Loss Equation (RUSLE). Twelve sites of which drainage areas range from 7 to 100 square miles in the Hocking River Basin of Ohio were selected for the bankfull geometry determinations including width, depth, cross-section area, bed slope, and drainage area. The twelve sub-watersheds were chosen to obtain a good overall representation of the Hocking River Basin. It is of interest to determine how these bankfull channel dimensions are related to the soil erosion of corresponding sub-watersheds. Soil erosion is a natural process that has occurred in a watershed over time. The RUSLE was applied to estimate erosions of the twelve selected sub-watersheds where the bankfull geometry measurements were conducted. These quantified erosions of sub-watersheds are used to investigate correlations with bankfull channel dimensions including discharge, channel width, channel depth, cross-sectional area, and pebble distribution. It is found that drainage area, bankfull discharge and cross-sectional area correlates strongly with watershed erosion well. Furthermore, bankfull width and depth are moderately correlated with watershed erosion while the particle size, D50, of channel bed sediment is not well correlated with watershed erosion.

Keywords: watershed, stream, sediment, channel

Procedia PDF Downloads 267
1628 Effect of Fuel Type on Design Parameters and Atomization Process for Pressure Swirl Atomizer and Dual Orifice Atomizer for High Bypass Turbofan Engine

Authors: Mohamed K. Khalil, Mohamed S. Ragab

Abstract:

Atomizers are used in many engineering applications including diesel engines, petrol engines and spray combustion in furnaces as well as gas turbine engines. These atomizers are used to increase the specific surface area of the fuel, which achieve a high rate of fuel mixing and evaporation. In all combustion systems reduction in mean drop size is a challenge which has many advantages since it leads to rapid and easier ignition, higher volumetric heat release rate, wider burning range and lower exhaust concentrations of the pollutant emissions. Pressure atomizers have a different configuration for design such as swirl atomizer (simplex), dual orifice, spill return, plain orifice, duplex and fan spray. Simplex pressure atomizers are the most common type of all. Among all types of atomizers, pressure swirl types resemble a special category since they differ in quality of atomization, the reliability of operation, simplicity of construction and low expenditure of energy. But, the disadvantages of these atomizers are that they require very high injection pressure and have low discharge coefficient owing to the fact that the air core covers the majority of the atomizer orifice. To overcome these problems, dual orifice atomizer was designed. This paper proposes a detailed mathematical model design procedure for both pressure swirl atomizer (Simplex) and dual orifice atomizer, examines the effects of varying fuel type and makes a clear comparison between the two types. Using five types of fuel (JP-5, JA1, JP-4, Diesel and Bio-Diesel) as a case study, reveal the effect of changing fuel type and its properties on atomizers design and spray characteristics. Which effect on combustion process parameters; Sauter Mean Diameter (SMD), spray cone angle and sheet thickness with varying the discharge coefficient from 0.27 to 0.35 during takeoff for high bypass turbofan engines. The spray atomizer performance of the pressure swirl fuel injector was compared to the dual orifice fuel injector at the same differential pressure and discharge coefficient using Excel. The results are analyzed and handled to form the final reliability results for fuel injectors in high bypass turbofan engines. The results show that the Sauter Mean Diameter (SMD) in dual orifice atomizer is larger than Sauter Mean Diameter (SMD) in pressure swirl atomizer, the film thickness (h) in dual orifice atomizer is less than the film thickness (h) in pressure swirl atomizer. The Spray Cone Angle (α) in pressure swirl atomizer is larger than Spray Cone Angle (α) in dual orifice atomizer.

Keywords: gas turbine engines, atomization process, Sauter mean diameter, JP-5

Procedia PDF Downloads 146
1627 A Clustering Algorithm for Massive Texts

Authors: Ming Liu, Chong Wu, Bingquan Liu, Lei Chen

Abstract:

Internet users have to face the massive amount of textual data every day. Organizing texts into categories can help users dig the useful information from large-scale text collection. Clustering, in fact, is one of the most promising tools for categorizing texts due to its unsupervised characteristic. Unfortunately, most of traditional clustering algorithms lose their high qualities on large-scale text collection. This situation mainly attributes to the high- dimensional vectors generated from texts. To effectively and efficiently cluster large-scale text collection, this paper proposes a vector reconstruction based clustering algorithm. Only the features that can represent the cluster are preserved in cluster’s representative vector. This algorithm alternately repeats two sub-processes until it converges. One process is partial tuning sub-process, where feature’s weight is fine-tuned by iterative process. To accelerate clustering velocity, an intersection based similarity measurement and its corresponding neuron adjustment function are proposed and implemented in this sub-process. The other process is overall tuning sub-process, where the features are reallocated among different clusters. In this sub-process, the features useless to represent the cluster are removed from cluster’s representative vector. Experimental results on the three text collections (including two small-scale and one large-scale text collections) demonstrate that our algorithm obtains high quality on both small-scale and large-scale text collections.

Keywords: vector reconstruction, large-scale text clustering, partial tuning sub-process, overall tuning sub-process

Procedia PDF Downloads 410
1626 Humans Trust Building in Robots with the Help of Explanations

Authors: Misbah Javaid, Vladimir Estivill-Castro, Rene Hexel

Abstract:

The field of robotics is advancing rapidly to the point where robots have become an integral part of the modern society. These robots collaborate and contribute productively with humans and compensate some shortcomings from human abilities and complement them with their skills. Effective teamwork of humans and robots demands to investigate the critical issue of trust. The field of human-computer interaction (HCI) has already examined trust humans place in technical systems mostly on issues like reliability and accuracy of performance. Early work in the area of expert systems suggested that automatic generation of explanations improved trust and acceptability of these systems. In this work, we augmented a robot with the user-invoked explanation generation proficiency. To measure explanations effect on human’s level of trust, we collected subjective survey measures and behavioral data in a human-robot team task into an interactive, adversarial and partial information environment. The results showed that with the explanation capability humans not only understand and recognize robot as an expert team partner. But, it was also observed that human's learning and human-robot team performance also significantly improved because of the meaningful interaction with the robot in the human-robot team. Moreover, by observing distinctive outcomes, we expect our research outcomes will also provide insights into further improvement of human-robot trustworthy relationships.

Keywords: explanation interface, adversaries, partial observability, trust building

Procedia PDF Downloads 188
1625 Electrocatalysts for Lithium-Sulfur Energy Storage Systems

Authors: Mirko Ante, Şeniz Sörgel, Andreas Bund

Abstract:

Li-S- (Lithium-Sulfur-) battery systems provide very high specific gravimetric energy (2600 Wh/kg) and volumetric energy density (2800Wh/l). Hence, Li-S batteries are one of the key technologies for both the upcoming electromobility and stationary applications. Furthermore, the Li-S battery system is potentially cheap and environmentally benign. However, the technical implementation suffers from cycling stability, low charge and discharge rates and incomplete understanding of the complex polysulfide reaction mechanism. The aim of this work is to develop an effective electrocatalyst for the polysulfide reactions so that the electrode kinetics of the sulfur half-cell will be improved. Accordingly, the overvoltage will be decreased, and the efficiency of the cell will be increased. An enhanced electroactive surface additionally improves the charge and discharge rates. To reach this goal, functionalized electrocatalytic coatings are investigated to accelerate the kinetics of the polysulfide reactions. In order to determine a suitable electrocatalyst, apparent exchange current densities of a variety of materials (Ni, Co, Pt, Cr, Al, Cu, ITO, stainless steel) have been evaluated in a polysulfide containing electrolyte by potentiodynamic measurements and a Butler-Volmer fit including diffusion limitation. The samples have been examined by Scanning Electron Microscopy (SEM) after the potentiodynamic measurements. Up to now, our work shows that cobalt is a promising material with good electrocatalytic properties for the polysulfide reactions and good chemical stability in the system. Furthermore, an electrodeposition from a modified Watt’s nickel electrolyte with a sulfur source seems to provide an autocatalytic effect, but the electrocatalytic behavior decreases after several cycles of the current-potential-curve.

Keywords: electrocatalyst, energy storage, lithium sulfur battery, sulfur electrode materials

Procedia PDF Downloads 346
1624 Opacity Synthesis with Orwellian Observers

Authors: Moez Yeddes

Abstract:

The property of opacity is widely used in the formal verification of security in computer systems and protocols. Opacity is a general language-theoretic scheme of many security properties of systems. Opacity is parametrized with framework in which several security properties of a system can be expressed. A secret behaviour of a system is opaque if a passive attacker can never deduce its occurrence from the system observation. Instead of considering the case of static observability where the set of observable events is fixed off-line or dynamic observability where the set of observable events changes over time depending on the history of the trace, we introduce Orwellian partial observability where unobservable events are not revealed provided that downgrading events never occurs in the future of the trace. Orwellian partial observability is needed to model intransitive information flow. This Orwellian observability is knwon as ipurge function. We show in previous work how to verify opacity for regular secret is opaque for a regular language L w.r.t. an Orwellian projection is PSPACE-complete while it has been proved undecidable even for a regular language L w.r.t. a general Orwellian observation function. In this paper, we address two problems of opacification of a regular secret ϕ for a regular language L w.r.t. an Orwellian projection: Given L and a secret ϕ ∈ L, the first problem consist to compute some minimal regular super-language M of L, if it exists, such that ϕ is opaque for M and the second consists to compute the supremal sub-language M′ of L such that ϕ is opaque for M′. We derive both language-theoretic characterizations and algorithms to solve these two dual problems.

Keywords: security policies, opacity, formal verification, orwellian observation

Procedia PDF Downloads 207