Search results for: mechanical properties of hardened SCC

Authors: Debasmita Dubey, Rajesh Kumar Meher, Smruti Pragya Samal, Pradeep Kumar Naik

Abstract:

Background: To determine antioxidant properties and anticancer activity by ROS and mitochondrial transmembrane potential mediated apoptosis against MCF7, MDA-MB-231, cell line. Methods: Leaf sample was extracted using methanol by microwave digestion technique. The antioxidant properties of the methanolic extract were determined by a DPPH scavenging assay. In vitro anticancer activity, mitochondrial transmembrane potential, apoptosis activity and DNA fragmentation study, as well as intracellular ROS activity of most potential leaf extract, were also determined by using the MDA-MB-231cell line. In vivo animal toxicity study was carried out using mice model. Results: Methanolic leaf extract has shown the highest antioxidant, as well as anticancer activity, is based on the assay conducted. For the identification of active phytochemicals from methanolic extract, High-resolution mass spectroscopy-LCMS was used. In vitro cytotoxicity study against MCF-7 and MDA-MB-231 cell line and IC 50 value was found to be 37.5µg/ml. From histopathological studies, no toxicity in liver and kidney tissue was identified. Conclusion: This plant tuber can be used as a regular diet to reduce the chance of breast cancer. Further, more studies should be conducted to isolate and identify the responsible compound.

Keywords: human breast adenocarcinoma, ROS, mitochondrial transmembrane, apoptosis

Procedia PDF Downloads 113

Authors: Ansong Richard Omari, Yosei Oikawa, Yoshiharu Fujii, Dorothea Sonoko Bellingrath-Kimura

Abstract:

Renewed interest in soil management aimed at improving the productive capacity of Sub Saharan Africa (SSA) soils has called for the need to analyse the long term effect of different fertilization systems on soil. This study was conducted in two agroecological zones (i.e., Guinea Savannah (GS) and Deciduous forest (DF)) of Ghana to evaluate the impacts of long term (> 5 years) fertilization schemes on soil chemical and microbial properties. Soil samples under four different fertilization schemes (inorganic, inorganic and organic, organic, and no fertilization) were collected from 20 farmers` field in both agroecological zones. Soil analyses were conducted using standard procedures. All average soil quality parameters except extractable C, potential mineralizable nitrogen and CEC were significantly higher in DF sites compared to GS. Inorganic fertilization proved superior in soil chemical and microbial biomass especially in GS zone. In GS, soil deterioration index (DI) revealed that soil quality deteriorated significantly (−26%) under only organic fertilization system whereas soil improvement was observed under inorganic and no fertilization sites. In DF, either inorganic or organic and inorganic fertilization showed significant positive effects on soil quality. The high soil chemical composition and enhanced microbial biomass in DF were associated with the high rate of inorganic fertilization.

Keywords: deterioration index, fertilization scheme, microbial biomass, tropical agroecological zone

Procedia PDF Downloads 401

Authors: Jannika Dombrowski, Sabine Ambros, Ulrich Kulozik

Abstract:

Due to the increasing popularity of healthy products, probiotics are still of rising importance in food manufacturing. With the aim to amplify the field of probiotic application to non-chilled products, the cultures have to be preserved by drying. Microwave drying has proved to be a suitable technique to achieve relatively high survival rates, resulting from drying at gentle temperatures, among others. However, diffusion limitation due to compaction of cell suspension during drying can prolong drying times as well as deteriorate product properties (grindability, rehydration performance). Therefore, we aimed to embed probiotics in an aerated matrix of whey proteins (surfactants) and di-/polysaccharides (foam stabilization, probiotic protection) during drying. As a result of the manifold increased inner surface of the cell suspension, drying performance was enhanced significantly as compared to non-foamed suspensions. This work comprises investigations on suitable foam matrices, being stable under vacuum (variation of protein concentration, type and concentration of di-/polysaccharide) as well as development of an applicable microwave drying process in terms of microwave power, chamber pressure and maximum product temperatures. Performed analyses included foam characteristics (overrun, drainage, firmness, bubble sizes), and properties of the dried cultures (survival, activity). In addition, efficiency of the drying process was evaluated.

Keywords: foam structure, microwave drying, polysaccharides, probiotics

Procedia PDF Downloads 256

Authors: Satyananda Patra, Venugopal Rayasam

Abstract:

The quality of pellets produced is affected by quality and type of green pellets, amount of addition of binders and fluxing agents along with the provided firing conditions. The green pellet quality depends upon chemistry, mineralogy and granulometry of fines used for pellet making, the feed size, its moisture content and porosity. During firing of green pellets, ingredients present within reacts to form different phases and microstructure. So in turn, physical and metallurgical properties of pellets are influenced by amount and type of binder and flux addition, induration time and temperature. During iron making process, the metallurgical properties of fired pellets are decided by the type and amount of these phases and their chemistry. Green pelletizing and induration studies have been already carried out with magnetite and hematite ore fines but for Indian iron ores of high alumina content showing different pelletizing characters, these studies cannot be directly interpreted. The main objective of proposed research work is to understand the green pelletizing process and determine the water bentonite interaction at different levels. Swelling behavior of bentonite and microstructure of the green pellet are investigated. Conversion of iron ore fines into pellets, the key raw material and process variables that influence the pellet quality needs to be identified and a correlation should be established between them.

Keywords: iron ore, pelletization, binders, green pellets, microstructure

Procedia PDF Downloads 304

Authors: Zeradam Yeshiwas, A. Krishnaia

Abstract:

The aim of this study is to verify the resulting surface roughness of parts formed by the Single-Point Incremental Forming (SPIF) process for an ISO 3574 Drawing Quality Cold Rolled CR2 Steel. The chemical composition of drawing quality Cold Rolled CR2 steel is comprised of 0.12 percent of carbon, 0.5 percent of manganese, 0.035 percent of sulfur, 0.04 percent phosphorous, and the remaining percentage is iron with negligible impurities. The experiments were performed on a 3-axis vertical CNC milling machining center equipped with a tool setup comprising a fixture and forming tools specifically designed and fabricated for the process. The CNC milling machine was used to transfer the tool path code generated in Mastercam 2017 environment into three-dimensional motions by the linear incremental progress of the spindle. The blanks of Drawing Quality Cold Rolled CR2 steel sheets of 1 mm of thickness have been fixed along their periphery by a fixture and hardened high-speed steel (HSS) tools with a hemispherical tip of 8, 10 and 12mm of diameter were employed to fabricate sample parts. To investigate the surface roughness, hyperbolic-cone shape specimens were fabricated based on the chosen experimental design. The effect of process parameters on the surface roughness was studied using three important process parameters, i.e., tool diameter, feed rate, and step depth. In this study, the Taylor-Hobson Surtronic 3+ surface roughness tester profilometer was used to determine the surface roughness of the parts fabricated using the arithmetic mean deviation (Rₐ). In this instrument, a small tip is dragged across a surface while its deflection is recorded. Finally, the optimum process parameters and the main factor affecting surface roughness were found using the Taguchi design of the experiment and ANOVA. A Taguchi experiment design with three factors and three levels for each factor, the standard orthogonal array L9 (3³) was selected for the study using the array selection table. The lowest value of surface roughness is significant for surface roughness improvement. For this objective, the ‘‘smaller-the-better’’ equation was used for the calculation of the S/N ratio. The finishing roughness parameter Ra has been measured for the different process combinations. The arithmetic means deviation (Rₐ) was measured via the experimental design for each combination of the control factors by using Taguchi experimental design. Four roughness measurements were taken for a single component and the average roughness was taken to optimize the surface roughness. The lowest value of Rₐ is very important for surface roughness improvement. For this reason, the ‘‘smaller-the-better’’ Equation was used for the calculation of the S/N ratio. Analysis of the effect of each control factor on the surface roughness was performed with a ‘‘S/N response table’’. Optimum surface roughness was obtained at a feed rate of 1500 mm/min, with a tool radius of 12 mm, and with a step depth of 0.5 mm. The ANOVA result shows that step depth is an essential factor affecting surface roughness (91.1 %).

Keywords: incremental forming, SPIF, drawing quality steel, surface roughness, roughness behavior

Procedia PDF Downloads 60

Authors: Srijitra Khanpakdee, Teera Butburee, Jung-Ho Yun, Miaoqiang Lyu, Supphasin Thaweesak, Piangjai Peerakiatkhajohn

Abstract:

The synthesis of titanium dioxide (TiO₂) nanorods (NRs) on fluorine-doped tin oxide (FTO) glass via hydrothermal methods was investigated to determine the optimal reaction time for enhanced photocatalytic and optical performance. Reaction times of 4, 6, and 8 hours were studied. Characterization through SEM, UV-vis, XRD, FTIR, Raman spectroscopy and photoelectrochemical (PEC) techniques revealed significant differences in the properties of the TiO₂ NRs based on the reaction duration. XRD and Raman spectroscopy analysis confirmed the formation of the rutile phase of TiO₂. As photoanodes in PEC cells, TiO₂ NRs synthesized for 4 hours exhibited the best photocatalytic activity, with the highest photocurrent density and superior charge transport properties, attributed to their densely packed vertical structure. Longer reaction times resulted in less optimal morphological and photoelectrochemical characteristics. The bandgap of the TiO₂ NRs remained consistent around 3.06 eV, with only slight variations observed. This study highlights the critical role of reaction time in hydrothermal synthesis, identifying 4 hours as the optimal duration for producing TiO₂ NRs with superior photoelectrochemical performance. These findings provide valuable insights for optimizing TiO₂-based materials for solar energy conversion and renewable energy applications.

Keywords: titanium dioxide, nanorods, hydrothermal, photocatalytic, photoelectrochemical

Procedia PDF Downloads 36

Authors: Jaylo Abalos, Sophia Zamora

Abstract:

BACKGROUND: Various gastrointestinal (GI) symptoms, including diarrhea, nausea/vomiting and abdominal pain, have been reported in patients with Coronavirus disease 2019 (COVID-19). In this context, the presence of GI symptoms is variably associated with poor clinical outcomes in COVID-19. We aim to determine the outcomes of hospitalized COVID-19 patients with gastrointestinal symptoms. METHODOLOGY: This is a retrospective cohort study that used medical records of admitted COVID-19 patients from March 2020- March 2021 in a tertiary hospital in Pangasinan. Data records were evaluated for the presence of gastrointestinal manifestations, including diarrhea, nausea, vomiting and abdominal pain at the time of admission. Comparison between cases or COVID-19 patients presenting with GI manifestations to controls or COVID-19 patients without GI manifestation was made. RESULTS: Four hundred three patients were included in the study. Of these, 22.3% presented with gastrointestinal symptoms, while 77.7% comprised the study controls. Diarrhea was the most common GI symptom (10.4%). No statistically significant difference was observed in comorbidities and laboratory findings. Mortality was the primary outcome of the study that did not reach statistical significance between cases and controls (13.33% vs. 16.30%, p =0.621). There were also no significant differences observed in the secondary outcomes, mean length of stay, (14 [12-18 days] in cases vs 14 [12- 17.5 days] in controls, p = 0.716) and need for mechanical ventilation (12.22% vs 16.93%, p = 0.329). CONCLUSION: The results of the study revealed no association of the GI symptoms to poor outcomes, including a high rate of mortality, prolonged length of stay and increased need for mechanical ventilation.

Keywords: gastrointestinal symptoms, COVID-19, outcomes, mortality, length of stay

Procedia PDF Downloads 135

Authors: S. Girish, N. Ajay

Abstract:

Permeation properties have been widely used to quantify durability characteristics of concrete for assessing long term performance and sustainability. The processes of deterioration in concrete are mediated largely by water. There is a strong interest in finding a better way of assessing the material properties of concrete in terms of durability. Water sorptivity is a useful single material property which can be one of the measures of durability useful in service life planning and prediction, especially in severe environmental conditions. This paper presents the results of the comparative study of sorptivity of Self-Compacting Concrete (SCC) with conventionally vibrated concrete. SCC is a new, special type of concrete mixture, characterized by high resistance to segregation that can flow through intricate geometrical configuration in the presence of reinforcement, under its own mass, without vibration and compaction. SCC mixes were developed for the paste contents of 0.38, 0.41 and 0.43 with fly ash as the filler for different cement contents ranging from 300 to 450 kg/m3. The study shows better performance by SCC in terms of capillary absorption. The sorptivity value decreased as the volume of paste increased. The use of higher paste content in SCC can make the concrete robust with better densification of the micro-structure, improving the durability and making the concrete more sustainable with improved long term performance. The sorptivity based on secondary absorption can be effectively used as a durability index to predict the time duration required for the ingress of water to penetrate the concrete, which has practical significance.

Keywords: self-compacting concrete, service life prediction, sorptivity, volume of paste

Procedia PDF Downloads 316

Authors: Mohammad Ali Rajaeifar, Oliver Heidrich

Abstract:

Nowadays, Li-ion batteries are vastly disseminated and the battery market is expected to experience a huge growth during next decade especially in terms of traction batteries. As the automotive industry moving towards the electrification of the powertrain, more raw/critical materials and energy are extracted while on the other hand, concerns are made regarding the scarcity of the materials as well as environmental issues regarding the destiny of the spent batteries. In this regards, recycling could play a vital role in the supply chain, leading reutilization of key battery materials and also reducing environmental burden related to the use of batteries. The aim of this paper is to review the previous and state-of-the-art treatments for recycling of Li-ion batteries. All the treatments method from mechanical, mild-thermal, pyrometallurgical and hydrometallurgical as well as combined methods for recycling of Li-ion batteries were considered in the study. There are various treatment methods that are economical, but they are not environmentally friendly or vice versa. This is due to the fact that the benefits of the Li-ion batteries recycling could be affected by different factors such as the amount of spent batteries available, the quality of the recovered material, the energy and material consumption by the process itself and environmental burdens caused by required logistics. Finally, a preliminary work sheet of possible route for recycling of spent Li-ion batteries was presented through the course of this study. Overall, it is worth quoting that recycling processes generally consumes a great deal of energy and auxiliary materials. Moreover, the collection of spent products from waste streams represents additional environmental efforts. Therefore, developing and optimizing efficient collection and separation technologies is essential to achieve sustainability goals.

Keywords: hydrometallurgical treatment, Li-ion batteries, mild-thermal treatment, mechanical treatment, recycling, pyrometallurgical treatment

Procedia PDF Downloads 107

Authors: Bernice Jeanne Lottering, Yi-Wen Lin

Abstract:

Introduction: Chronic pain has a definitive lack of objective parameters in the measurement and treatment efficacy of diseases such as Fibromyalgia (FM). Persistent widespread pain and generalized tenderness are the characteristic symptoms affecting a large majority of the global population, particularly females. This disease has indicated a refractory tendency to conventional treatment ventures, largely resultant from a lack of etiological and pathogenic understanding of the disease development. Emerging evidence indicates that the central nervous system (CNS) plays a critical role in the amplification of pain signals and the neurotransmitters associated therewith. Various stimuli have been found to activate the channels existent on nociceptor terminals, thereby actuating nociceptive impulses along the pain pathways. The transient receptor potential vanalloid 1 (TRPV1) channel functions as a molecular integrator for numerous sensory inputs, such as nociception, and was explored in the current study. Current intervention approaches face a multitude challenges, ranging from effective therapeutic interventions to the limitation of pathognomonic criteria resultant from incomplete understanding and partial evidence on the mechanisms of action of FM. It remains unclear whether electroacupuncture (EA) plays an integral role in the functioning of the TRPV1 pathway, and whether or not it can reduce the chronic pain induced by FM. Aims: The aim of this study was to explore the mechanisms underlying the activation and modulation of the TRPV1 channel pathway in a cold stress model of FM applied to a murine model. Furthermore, the effect of EA in the treatment of mechanical and thermal pain, as expressed in FM was also to be investigated. Methods: 18 C57BL/6 wild type and 6 TRPV1 knockout (KO) mice, aged 8-12 weeks, were exposed to an intermittent cold stress-induced fibromyalgia-like pain model, with or without EA treatment at ZusanLi ST36 (2Hz/20min) on day 3 to 5. Von Frey and Hargreaves behaviour tests were implemented in order to analyze the mechanical and thermal pain thresholds on day 0, 3 and 5 in control group (C), FM group (FM), FM mice with EA treated group (FM + EA) and FM in KO group. Results: An increase in mechanical and thermal hyperalgesia was observed in the FM, EA and KO groups when compared to the control group. This initial increase was reduced in the EA group, which directs focus at the treatment efficacy of EA in nociceptive sensitization, and the analgesic effect EA has attenuating FM associated pain. Discussion: An increase in the nociceptive sensitization was observed through higher withdrawal thresholds in the von Frey mechanical test and the Hargreaves thermal test. TRPV1 function in mice has been scientifically associated with these nociceptive conduits, and the increased behaviour test results suggest that TRPV1 upregulation is central to the FM induced hyperalgesia. This data was supported by the decrease in sensitivity observed in results of the TRPV1 KO group. Moreover, the treatment of EA showed a decrease in this FM induced nociceptive sensitization, suggesting TRPV1 upregulation and overexpression can be attenuated by EA at bilateral ST36. This evidence compellingly implies that the analgesic effect of EA is associated with TRPV1 downregulation.

Keywords: fibromyalgia, electroacupuncture, TRPV1, nociception

Procedia PDF Downloads 136

Authors: Chuan-Wen Liu, Min-Hsien Liu, Chung-Chieh Tai, Bing-Cheng Kuo, Cheng-Lung Chen, Huazhen Shen

Abstract:

A recent surge in research on magnetic radar absorbing materials (RAMs) has presented researchers with new opportunities and challenges. This study was performed to gain a better understanding of the wave-absorbing phenomenon of magnetic RAMs. First, we hypothesized that the absorbing phenomenon is dependent on the particle shape. Using the Material Studio program and the micro-dot magnetic dipoles (MDMD) method, we obtained results from magnetic RAMs to support this hypothesis. The total MDMD energy of disk-like iron particles was greater than that of spherical iron particles. In addition, the particulate aggregation phenomenon decreases the wave-absorbance, according to both experiments and computational data. To conclude, this study may be of importance in terms of explaining the wave- absorbing characteristic of magnetic RAMs. Combining molecular dynamics simulation results and the theory of magnetization of magnetic dots, we investigated the magnetic properties of iron materials with different particle shapes and degrees of aggregation under external magnetic fields. The MDMD of the materials under magnetic fields of various strengths were simulated. Our results suggested that disk-like iron particles had a better magnetization than spherical iron particles. This result could be correlated with the magnetic wave- absorbing property of iron material.

Keywords: wave-absorbing property, magnetic material, micro-dot magnetic dipole, particulate aggregation

Procedia PDF Downloads 486

Authors: Norul Hisham Hamid, Amir Affan, Ummi Hani Abdullah, Paridah Md. Tahir, Khairul Akmal Azhar, Rahmat Nawai, W. B. H. Wan Sulwani Izzati

Abstract:

The dimensional stability and static bending properties of epoxy composite reinforced with amorphous and crystalline silica were investigated. The amorphous and crystalline silica was obtained by the precipitation method from carbonisation process of the rice husk at a temperature of 600 °C and 1000 °C for 7 hours respectively. The epoxy resin was mixed with 5%, 10% and 15% concentrations of amorphous and crystalline silica. The mixture was stirred for 10 minutes and cured at 28 °C for 72 hours and oven dried at 80 °C for 72 hours. The scanning electron microscope image showed the silica sized of 10-30nm was obtained. The water absorption and thickness swelling of epoxy/amorphous silica composite was not significantly different with silica concentration ranged from 0.08% to 0.09% and 0.17% to 0.20% respectively. The maximum modulus of rupture (85 MPa) and modulus of elasticity (3284 MPa) were achieved for 10% silica concentration. For epoxy/crystalline silica composite; the water absorption and thickness swelling were also not significantly different with silica concentration, ranged from 0.08% to 0.11% and 0.16% to 0.18% respectively. The maximum modulus of rupture (47.9 MPa) and modulus of elasticity (2760 MPa) were achieved for 10% silica concentration. Overall, the water absorption and thickness swelling were almost identical for epoxy composite made from either amorphous or crystalline silica. The epoxy composite made from amorphous silica was stronger than crystalline silica.

Keywords: epoxy, composite, dimensional stability, static bending, silica

Procedia PDF Downloads 211

Authors: Hao Qu, Xiang Liu, Michael Crosby, Brian Kozak, Andreas K. Freund

Abstract:

The outstanding performance of highly oriented pyrolytic graphite (HOPG) as an optical element for neutron beam conditioning is unequaled by any other crystalline material in the applications of monochromator, analyzer, and filter. This superiority stems from the favorable nuclear properties of carbon (small absorption and incoherent scattering cross-sections, big coherent scattering length) and the specific crystalline structure (small thermal diffuse scattering cross-section, layered crystal structure). The real crystal defect structure revealed by imaging techniques is correlated with the parameters used in the mosaic model (mosaic spread, mosaic block size, uniformity). The diffraction properties (rocking curve width as determined by both the intrinsic mosaic spread and the diffraction process, peak and integrated reflectivity, filter transmission) as a function of neutron wavelength or energy can be predicted with high accuracy and reliability by diffraction theory using empirical primary extinction coefficients extracted from a great amount of existing experimental data. The results of these calculations are given as graphs and tables permitting to optimize HOPG characteristics (mosaic spread, thickness, curvature) for any given experimental situation.

Keywords: neutron optics, pyrolytic graphite, mosaic spread, neutron scattering, monochromator, analyzer

Procedia PDF Downloads 140

Authors: Aysen Caliskan, Hanzade Haykiri-Acma, Serdar Yaman

Abstract:

Co-firing of coal and biomass blends is an effective method to reduce carbon dioxide emissions released by burning coals, thanks to the carbon-neutral nature of biomass. Besides, usage of biomass that is renewable and sustainable energy resource mitigates the dependency on fossil fuels for power generation. However, most of the biomass species has negative aspects such as low calorific value, high moisture and volatile matter contents compared to coal. Torrefaction is a promising technique in order to upgrade the fuel properties of biomass through thermal treatment. That is, this technique improves the calorific value of biomass along with serious reductions in the moisture and volatile matter contents. In this context, several woody biomass materials including Rhododendron, hybrid poplar, and ash-tree were subjected to torrefaction process in a horizontal tube furnace at 200°C under nitrogen flow. In this way, the solid residue obtained from torrefaction that is also called as 'biochar' was obtained and analyzed to monitor the variations taking place in biomass properties. On the other hand, some Turkish lignites from Elbistan, Adıyaman-Gölbaşı and Çorum-Dodurga deposits were chosen as coal samples since these lignites are of great importance in lignite-fired power stations in Turkey. These lignites were blended with the obtained biochars for which the blending ratio of biochars was kept at 10 wt% and the lignites were the dominant constituents in the fuel blends. Burning tests of the lignites, biomasses, biochars, and blends were performed using a thermogravimetric analyzer up to 900°C with a heating rate of 40°C/min under dry air atmosphere. Based on these burning tests, properties relevant to burning characteristics such as the burning reactivity and burnout yields etc. could be compared to justify the effects of torrefaction and blending. Besides, some characterization techniques including X-Ray Diffraction (XRD), Fourier Transform Infrared (FTIR) spectroscopy and Scanning Electron Microscopy (SEM) were also conducted for the untreated biomass and torrefied biomass (biochar) samples, lignites and their blends to examine the co-combustion characteristics elaborately. Results of this study revealed the fact that blending of lignite with 10 wt% biochar created synergistic behaviors during co-combustion in comparison to the individual burning of the ingredient fuels in the blends. Burnout and ignition performances of each blend were compared by taking into account the lignite and biomass structures and characteristics. The blend that has the best co-combustion profile and ignition properties was selected. Even though final burnouts of the lignites were decreased due to the addition of biomass, co-combustion process acts as a reasonable and sustainable solution due to its environmentally friendly benefits such as reductions in net carbon dioxide (CO2), SOx and hazardous organic chemicals derived from volatiles.

Keywords: burnout performance, co-combustion, thermal analysis, torrefaction pretreatment

Procedia PDF Downloads 336

Authors: Peter Križan, Juraj Beniak, Ľubomír Šooš, Miloš Matúš

Abstract:

Biomass treatment through densification is very suitable and important technology before its effective energy recovery. Densification process of biomass is significantly influenced by various technological and also material parameters which are ultimately reflected on the final solid Biofuels quality. The paper deals with the experimental research of the relationship between technological and material parameters during densification of fast-growing trees, roundly fast-rowing willow. The main goal of presented experimental research is to determine the relationship between pressing pressure raw material fraction size from a final briquettes density point of view. Experimental research was realized by single-axis densification. The impact of fraction size with interaction of pressing pressure and stabilization time on the quality properties of briquettes was determined. These parameters interaction affects the final solid biofuels (briquettes) quality. From briquettes production point of view and also from densification machines constructions point of view is very important to know about mutual interaction of these parameters on final briquettes quality. The experimental findings presented here are showing the importance of mentioned parameters during the densification process.

Keywords: briquettes density, densification, fraction size, pressing pressure, stabilization time

Procedia PDF Downloads 361

Authors: Hein Win Zaw

Abstract:

Today, the advanced strategies for aircraft production technology potentially need the higher performance, and on the other hand, those strategies and engineering technologies should meet considerable process and reduce of production costs. Thus, professionals who are working in these scopes are attempting to develop new materials to improve the manufacturability of designs, the creation of new technological processes, tools and equipment. This paper discusses about the research on structural changes in plastic deformation during rotary expansion and crimp of pipes. Pipelines are experiencing high pressure and pulsating load. That is why, it is high demands on the mechanical properties of the material, the quality of the external and internal surfaces, preserve cross-sectional shape and the minimum thickness of the pipe wall are taking into counts. In the manufacture of pipes, various operations: distribution, crimping, bending, etc. are used. The most widely used at various semi-products, connecting elements found the process of rotary expansion and crimp of pipes. In connection with the use of high strength materials and less-plastic, these conventional techniques do not allow obtaining high-quality parts, and also have a low economic efficiency. Therefore, research in this field is relevantly considerable to develop in advanced. Rotary expansion and crimp of pipes are accompanied by inhomogeneous plastic deformation, which leads to structural changes in the material, causes its deformation hardening, by this result changes the operational reliability of the product. Parts of the tube obtained by rotary expansion and crimp differ by multiplicity of form and characterized by various diameter in the various section, which formed in the result of inhomogeneous plastic deformation. The reliability of the coupling, obtained by rotary expansion and crimp, is determined by the structural arrangement of material formed by the formation process; there is maximum value of deformation, the excess of which is unacceptable. The structural state of material in this condition is determined by technological mode of formation in the rotary expansion and crimp. Considering the above, objective of the present study is to investigate the structural changes at different levels of plastic deformation, accompanying rotary expansion and crimp, and the analysis of stress concentrators of different scale levels, responsible for the formation of the primary zone of destruction.

Keywords: plastic deformation, rolling of tubes, crimping of tubes, structural changes

Procedia PDF Downloads 325

Authors: T. Ewetumo, K. D. Adedayo, Festus Ben

Abstract:

Knowledge of the thermal properties of foods is of fundamental importance in the food industry to establish the design of processing equipment. However, for tropical fruit juice, there is very little information in literature, seriously hampering processing procedures. This research work describes the development of an instrument for automated thermal conductivity and thermal diffusivity measurement of tropical fruit juice using a transient thermal probe technique based on line heat principle. The system consists of two thermocouple sensors, constant current source, heater, thermocouple amplifier, microcontroller, microSD card shield and intelligent liquid crystal. A fixed distance of 6.50mm was maintained between the two probes. When heat is applied, the temperature rise at the heater probe measured with time at time interval of 4s for 240s. The measuring element conforms as closely as possible to an infinite line source of heat in an infinite fluid. Under these conditions, thermal conductivity and thermal diffusivity are simultaneously measured, with thermal conductivity determined from the slope of a plot of the temperature rise of the heating element against the logarithm of time while thermal diffusivity was determined from the time it took the sample to attain a peak temperature and the time duration over a fixed diffusivity distance. A constant current source was designed to apply a power input of 16.33W/m to the probe throughout the experiment. The thermal probe was interfaced with a digital display and data logger by using an application program written in C++. Calibration of the instrument was done by determining the thermal properties of distilled water. Error due to convection was avoided by adding 1.5% agar to the water. The instrument has been used for measurement of thermal properties of banana, orange and watermelon. Thermal conductivity values of 0.593, 0.598, 0.586 W/m^o C and thermal diffusivity values of 1.053 ×〖10〗^(-7), 1.086 ×〖10〗^(-7), and 0.959 ×〖10〗^(-7) 〖m/s〗^2 were obtained for banana, orange and water melon respectively. Measured values were stored in a microSD card. The instrument performed very well as it measured the thermal conductivity and thermal diffusivity of the tropical fruit juice samples with statistical analysis (ANOVA) showing no significant difference (p>0.05) between the literature standards and estimated averages of each sample investigated with the developed instrument.

Keywords: thermal conductivity, thermal diffusivity, tropical fruit juice, diffusion equation

Procedia PDF Downloads 352

Authors: Siti Aisya Gany, Swee Ching Tan, Sook Yee Gan

Abstract:

Diminished antioxidant defense or increased production of reactive oxygen species in the biological system can result in oxidative stress which may lead to various neurodegenerative diseases including Alzheimer’s disease (AD). Microglial activation also contributes to the progression of AD by producing several pro-inflammatory cytokines, nitric oxide (NO), and prostaglandin E2 (PGE2). Oxidative stress and inflammation have been reported to be possible pathophysiological mechanisms underlying AD. In addition, the cholinergic hypothesis postulates that memory impairment in patient with AD is also associated with the deficit of cholinergic function in the brain. Although a number of drugs have been approved for the treatment of AD, most of these synthetic drugs have diverse side effects and yield relatively modest benefits. Marine algae have great potential in pharmaceutical and biomedical applications as they are valuable sources of bioactive properties such as anti-coagulation, anti-microbial, anti-oxidative, anti-cancer and anti-inflammatory. Hence, this study aimed to provide an overview of the properties of Malaysian seaweeds (Padina australis, Sargassum polycystum and Caulerpa racemosa) in inhibiting oxidative stress, neuroinflammation and cholinesterase enzymes. All tested samples significantly exhibit potent DPPH and moderate Superoxide anion radical scavenging ability (P<0.05). Hexane and methanol extracts of S. polycystum exhibited the most potent radical scavenging ability with IC50 values of 0.1572 ± 0.004 mg/ml and 0.8493 ± 0.02 for DPPH and ABTS assays, respectively. Hexane extract of C. racemosa gave the strongest superoxide radical inhibitory effect (IC50 of 0.3862± 0.01 mg/ml). Most seaweed extracts significantly inhibited the production of cytokine (IL-6, IL-1 β, TNFα) and NO in a concentration-dependent manner without causing significant cytotoxicity to the lipopolysaccharide (LPS)-stimulated microglia cells (P<0.05). All extracts suppressed cytokine and NO level by more than 80% at the concentration of 0.4mg/ml. In addition, C. racemosa and S. polycystum also showed anti-acetylcholinesterase activities with the IC50 values ranging from 0.086-0.115 mg/ml. Moreover, C. racemosa and P. australis were also found to be active against butyrylcholinesterase with IC50 values ranging from 0.118-0.287 mg/ml.

Keywords: anti-cholinesterase, anti-oxidative, neuroinflammation, seaweeds

Procedia PDF Downloads 661

Authors: Jiao Sun, Li Pan, Shijun Liu

Abstract:

Recommender systems have been widely used in contemporary industry, and plenty of work has been done in this field to help users to identify items of interest. Collaborative Filtering (CF, for short) algorithm is an important technology in recommender systems. However, less work has been done in automobile recommendation system with the sharp increase of the amount of automobiles. What’s more, the computational speed is a major weakness for collaborative filtering technology. Therefore, using MapReduce framework to optimize the CF algorithm is a vital solution to this performance problem. In this paper, we present a recommendation of the users’ comment on industrial automobiles with various properties based on real world industrial datasets of user-automobile comment data collection, and provide recommendation for automobile providers and help them predict users’ comment on automobiles with new-coming property. Firstly, we solve the sparseness of matrix using previous construction of score matrix. Secondly, we solve the data normalization problem by removing dimensional effects from the raw data of automobiles, where different dimensions of automobile properties bring great error to the calculation of CF. Finally, we use the MapReduce framework to optimize the CF algorithm, and the computational speed has been improved times. UV decomposition used in this paper is an often used matrix factorization technology in CF algorithm, without calculating the interpolation weight of neighbors, which will be more convenient in industry.

Keywords: collaborative filtering, recommendation, data normalization, mapreduce

Procedia PDF Downloads 214

Authors: Iftikhar Hussain Gul, Syeda Aatika

Abstract:

Nickel ferrite was prepared via wet chemical co-precipitation route. Carbon Nano Fibers (CNFs) were used to prepare NiFe₂O₄/CNFs nanohybrids. Polar solvent (ortho-xylene) was used for the dispersion of CNFs in ferrite matrix. X-ray diffraction patterns confirmed the formation of NiFe₂O₄/CNFs nanohybrids without any impurity peak. FTIR patterns showed two consistent characteristic absorption bands for tetrahedral and octahedral sites, confirming the formation of spinel structure of NiFe₂O₄. Scanning Electron Microscopy (SEM) images confirmed the coating of nickel ferrite nanoparticles on CNFs, which confirms the efficiency of deployed method. The dielectric properties were measured as a function of frequency at room temperature. Pure NiFe₂O₄ showed dielectric constant of 1.79 ×10³ at 100 Hz, which increased massively to 2.92 ×10⁶ at 100 Hz with the addition of 20% by weight of CNFs, proving it to be potential candidate for applications in supercapacitors. The impedance analysis showed a considerable decrease of resistance, reactance and cole-cole plot which confirms the decline of impedance on addition of CNFs. The pure NiFe₂O₄ has highest impedance values of 5.89 ×10⁷ Ohm at 100 Hz while the NiFe₂O₄/CNFs nanohybrid with CNFs (20% by weight) has the lowest impedance values of 4.25×10³ Ohm at 100 Hz, which proves this nanohybrid is useful for high-frequency applications.

Keywords: AC impedance, co-precipitation, nanohybrid, Fourier transform infrared spectroscopy, x-ray diffraction

Procedia PDF Downloads 131

Authors: Muhammad B. Ibrahim, Muhammad S. Sulaiman, Sadiq Sani

Abstract:

Neem leaves were studied as plant wastes derived adsorbents for detoxification of Congo Red (CR) and Methyl Orange (MO) from aqueous solutions using batch adsorption technique. The objectives involved determining the effects of the basic adsorption parameters are namely, agitation time, adsorbent dosage, adsorbents particle size, adsorbate loading concentrations and initial pH, on the adsorption process as well as characterizing the adsorbents by determining their physicochemical properties, functional groups responsible for the adsorption process using Fourier Transform Infrared (FTIR) spectroscopy and surface morphology using scanning electron microscopy (SEM) coupled with energy dispersion X – ray spectroscopy (EDS). The adsorption behaviours of the materials were tested against Langmuir, Freundlich, etc. isotherm models. Percent adsorption increased with increase in agitation time (5 – 240 minutes), adsorbent dosage (100-500mg), initial concentration (100-300mg/L), and with decrease in particle size (≥75μm to ≤300μm) of the adsorbents. Both processes are dye pH-dependent, increasing or decreasing percent adsorption in acidic (2-6) or alkaline (8-12) range over the studied pH (2-12) range. From the experimental data the Langmuir’s separation factor (RL) suggests unfavourable adsorption for all processes, Freundlich constant (nF) indicates unfavourable process for CR and MO adsorption; while the mean free energy of adsorption

Keywords: adsorption, congo red, methyl orange, neem leave

Procedia PDF Downloads 361

Authors: Maryam Kiani

Abstract:

In order to enhance the efficiency and stability of an electrocatalyst for formic acid electro-oxidation reaction (FAOR), we developed a method to create Pt/Ni nanoparticles with carbon black. These nanoparticles were prepared using a simple impregnation reduction technique. During the observation, it was found that the nanoparticles had a spherical shape. Additionally, the average particle size remained consistent, falling within the range of about 4 nm. This approach aimed to obtain a loaded Pt-based electrocatalyst that would exhibit improved performance and stability when used in FAOR applications. By utilizing the impregnation reduction method and incorporating Ni nanoparticles along with Pt, we sought to enhance the catalytic properties of the material. By incorporating Ni atoms into the Pt structure, the electronic properties of Pt are modified, resulting in a delay in the chemisorption of harmful CO intermediate species. This modification also promotes the dehydrogenation pathway of the formic acid oxidation reaction (FAOR). Through electrochemical analysis, it has been observed that the Pt3Ni-C catalyst exhibits enhanced performance in FAOR compared to traditional Pt catalysts. This means that the addition of Ni atoms improves the efficiency and effectiveness of the Pt3Ni-C catalyst in facilitating the FAOR process. Overall, the utilization of these alloy nanoparticles as electrocatalysts represents a significant advancement in fuel cell technology.

Keywords: electrocatalyst, impregnation reduction method, formic acid electro-oxidation reaction, fuel cells

Procedia PDF Downloads 115

Authors: Eric Mxolisi Mkhondo

Abstract:

Geometrical deviations and interaction of mechanical parts influences the performance of miniature systems.These deviations tend to cause costly problems during assembly due to imperfections of components, which are invisible to a naked eye.They also tend to cause unsatisfactory performance during operation due to deformation cause by environmental conditions.One of the effective tools to manage the deviations and interaction of parts in the system is tolerance analysis.This is a quantitative tool for predicting the tolerance variations which are defined during the design process.Traditional tolerance analysis assumes that the assembly is static and the deviations come from the manufacturing discrepancies, overlooking the functionality of the whole system and deformation of parts due to effect of environmental conditions. This paper presents an integrated tolerance analysis approach for miniature system in operation.In this approach, a computer-aided design (CAD) model is developed from system’s specification.The CAD model is then used to specify the geometrical and dimensional tolerance limits (upper and lower limits) that vary component’s geometries and sizes while conforming to functional requirements.Worst-case tolerances are analyzed to determine the influenced of dimensional changes due to effects of operating temperatures.The method is used to evaluate the nominal conditions, and worse case conditions in maximum and minimum dimensions of assembled components.These three conditions will be evaluated under specific operating temperatures (-40°C,-18°C, 4°C, 26°C, 48°C, and 70°C). A case study on the mechanism of a zoom lens system is used to illustrate the effectiveness of the methodology.

Keywords: geometric dimensioning, tolerance analysis, worst-case analysis, zoom lens mechanism

Procedia PDF Downloads 162

Authors: Saira Iqbal

Abstract:

Occupational Health and Safety issues nowadays have become an important esteem in the context of Industrial Production. This study is designed to measure the workplace hazards at Kohinoor Energy Limited. Mainly focused hazards were Heat Stress, Noise Level, Light Level and Ergonomics. Measurements for parameters like Wet, Dry, Globe, WBGTi and RH% were taken directly by visiting the Study Area. The temperature in Degrees was recoded at Control Room and Engine Hall. Highest Temperature was recoded in Engine Hall which was about 380C. Efforts were made to record emissions of Noise Levels from the main area of concern like Engines in Engine hall, parking area, and mechanical workshop. Permissible level for measuring Noise is 85 and its Unit of Measurement is dB (A). In Engine Hall Noise was very high which was about 109.6 dB (A) and that level was exceeding the limits. Illumination Level was also recorded at different areas of Power Plant. The light level was though under permissible limits but in some areas like Engine Hall and Boiler Room, level of light was very low especially in Engine Hall where the level was 29 lx. Practices were performed for measuring hazards in context of ergonomics like extended reaching, deviated body postures, mechanical stress, and vibration exposures of the worker at different units of plants by just observing workers during working hours. Since KEL is ISO 8000 and 14000 certified, the researcher found no serious problems in the parameter Ergonomics however it was a common scenario that workers were reluctant to apply PPEs.

Keywords: workplace hazards, heat hazard, noise hazard, illumination, ergonomics

Procedia PDF Downloads 317

Authors: Shunyi Yang, Jingjing Yan, Siyu Dong, Xiangguo Cui

Abstract:

Current architectural façade design practices incorporate various daylighting and solar radiation analysis methods. These emphasize the impact of geometry on façade design. There is scope to extend this knowledge into methods that address material translucency, porosity, and form. Such approaches can also achieve these conditions through adaptive robotic manufacturing approaches that exploit material dynamics within the design, and alleviate fabrication waste from molds, ultimately accelerating the autonomous manufacturing system. Besides analyzing the environmental solar radiant in building facade design, there is also a vacancy research area of how lighting effects can be precisely controlled by engaging the instant real-time data-driven robot control and manipulating the material properties. Ceramics carries a wide range of transmittance and deformation potentials for robotics control with the research of its material property. This paper presents one semi-autonomous system that engages with real-time data-driven robotics control, hardware kit design, environmental building studies, human interaction, and exploratory research and experiments. Our objectives are to investigate the relationship between different clay bodies or ceramics’ physio-material properties and their transmittance; to explore the feedback system of instant lighting data in robotic fabrication to achieve precise lighting effect; to design the sufficient end effector and robot behaviors for different stages of deformation. We experiment with architectural clay, as the material of the façade that is potentially translucent at a certain stage can respond to light. Studying the relationship between form, material properties, and porosity can help create different interior and exterior light effects and provide façade solutions for specific architectural functions. The key idea is to maximize the utilization of in-progress robotics fabrication and ceramics materiality to create a highly integrated autonomous system for lighting facade design and manufacture.

Keywords: light transmittance, data-driven fabrication, computational design, computer vision, gamification for manufacturing

Procedia PDF Downloads 114

Authors: Emmanuel O. Ezim, Idowu A. Olayinka, Michael Oladunjoye, Izuchukwu I. Obiadi

Abstract:

Monitoring of reservoir properties prior to well placements and production is a requirement for optimisation and efficient oil and gas production. This is usually done using well log analyses and 3-D seismic, which are often prone to errors. However, 4-D (Time-lapse) seismic, incorporating numerous 3-D seismic surveys of the same field with the same acquisition parameters, which portrays the transient changes in the reservoir due to production effects over time, could be utilised because it generates better resolution. There is, however dearth of information on the applicability of this approach in the Niger Delta. This study was therefore designed to apply 4-D seismic, well-log and geologic data in monitoring of reservoirs in the EK field of the Niger Delta. It aimed at locating bypassed accumulations and ensuring effective reservoir management. The Field (EK) covers an area of about 1200km2 belonging to the early (18ma) Miocene. Data covering two 4-D vintages acquired over a fifteen-year interval were obtained from oil companies operating in the field. The data were analysed to determine the seismic structures, horizons, Well-to-Seismic Tie (WST), and wavelets. Well, logs and production history data from fifteen selected wells were also collected from the Oil companies. Formation evaluation, petrophysical analysis and inversion alongside geological data were undertaken using Petrel, Shell-nDi, Techlog and Jason Software. Well-to-seismic tie, formation evaluation and saturation monitoring using petrophysical and geological data and software were used to find bypassed hydrocarbon prospects. The seismic vintages were interpreted, and the amounts of change in the reservoir were defined by the differences in Acoustic Impedance (AI) inversions of the base and the monitor seismic. AI rock properties were estimated from all the seismic amplitudes using controlled sparse-spike inversion. The estimated rock properties were used to produce AI maps. The structural analysis showed the dominance of NW-SE trending rollover collapsed-crest anticlines in EK with hydrocarbons trapped northwards. There were good ties in wells EK 27, 39. Analysed wavelets revealed consistent amplitude and phase for the WST; hence, a good match between the inverted impedance and the good data. Evidence of large pay thickness, ranging from 2875ms (11420 TVDSS-ft) to about 2965ms, were found around EK 39 well with good yield properties. The comparison between the base of the AI and the current monitor and the generated AI maps revealed zones of untapped hydrocarbons as well as assisted in determining fluids movement. The inverted sections through EK 27, 39 (within 3101 m - 3695 m), indicated depletion in the reservoirs. The extent of the present non-uniform gas-oil contact and oil-water contact movements were from 3554 to 3575 m. The 4-D seismic approach led to better reservoir characterization, well development and the location of deeper and bypassed hydrocarbon reservoirs.

Keywords: reservoir monitoring, 4-D seismic, well placements, petrophysical analysis, Niger delta basin

Procedia PDF Downloads 114

Authors: André Felipe Gimenez, Flávia Alessandra Ribeiro da Silva, Roberto Saverio Souza Costa

Abstract:

Currently, the rural producer has been facing problems regarding environmental regularization, which is precisely why the CAR (Rural Environmental Registry) was created. CAR is an electronic registry for rural properties with the purpose of assimilating notions about legal reserve areas, permanent preservation areas, areas of limited use, stable areas, forests and remnants of native vegetation, and all rural properties in Brazil. . The objective of this work was to evaluate and compare altimetry and slope data from google Earth with a digital terrain model (MDT) generated by aerophotogrammetry, in three plots of a steep slope, for the purpose of declaration in the CAR (Rural Environmental Registry). The realization of this work is justified in these areas, in which rural landowners have doubts about the reliability of the use of the free software Google Earth to diagnose inclinations greater than 25 degrees, as recommended by federal law 12651/2012. Added to the fact that in the literature, there is a deficiency of this type of study for the purpose of declaration of the CAR. The results showed that when comparing the drone altimetry data with the Google Earth image data, in areas of high slope (above 40% slope), Google underestimated the real values of terrain slope. Thus, it is concluded that Google Earth is not reliable for diagnosing areas with an inclination greater than 25 degrees (46% declivity) for the purpose of declaration in the CAR, being essential to carry out the local topographic survey.

Keywords: MDT, drone, RPA, SiCar, photogrammetry

Procedia PDF Downloads 127

Authors: Efil Yusrianto, Noraini Marsi, Noraniah Kassim, Izzati Abdul Manaf, Hafizuddin Hakim Shariff

Abstract:

Today, municipal solid waste (MSW), noise pollution, and attack fire are three ongoing issues for inhabitants of urban including in Malaysia. To solve these issues, eco-friendly autoclaved aerated concrete (AAC) containing recycled ceramic and gypsum waste (CGW) as a partial replacement for sand with different ratios (0%, 5%, 10%, 15%, 20%, and 25% wt) has been prepared. The performance of samples, such as the physical, mechanical, sound absorption coefficient, and direct fire resistance, has been investigated. All samples showed normal color behavior, i.e., grey and free crack. The compressive strength was increased in the range of 6.10% to 29.88%. The maximum value of compressive strength was 2.13MPa for 15% wt of CGW. The positive effect of CGW on the compressive strength of AAC has also been confirmed by crystalline phase and microstructure analysis. The acoustic performances, such as sound absorption coefficients of samples at low frequencies (500Hz), are higher than the reference sample (RS). AAC-CGW samples are categorized as AAC material classes B and C. The fire resistance results showed the physical surface of the samples had a free crack and was not burned during the direct fire at 950ºC for 300s. The results showed that CGW succeeded in enhancing the performance of fresh AAC, such as compressive strength, crystalline phase, sound absorption coefficient, and fire resistance of samples.

Keywords: physical, mechanical, acoustic, direct fire resistance performance, autoclaved aerated concrete, recycled ceramic-gypsum waste

Procedia PDF Downloads 133

Authors: Pedro Dias, Lurdes Verissimo, Maria Joao Baptista, Ana Pinheiro, Patricia Oliveira-Silva, Sofia Serra, Daniela Coimbra

Abstract:

To achieve a high standard in performance, a musician must be well in all aspects of health (physical, mental and social). Anxiety in performance is related to the high level of coordination and skill needed in performance, as well as to the public evaluation of the performer. It affects some key elements of performance, such as concentration, memory, motor coordination, and relaxation. This work presents two studies focused on the adaptation and evaluation of the psychometric properties of the Music Performance Anxiety Inventory (MPAI-A) in young Portuguese music students. The first study was conducted with a sample of 161 adolescent music students, who responded to the Portuguese version of this instrument, and to the State-Trait Anxiety Inventory for Children (STAIC-c2). Validity and reliability were examined, and this measure revealed robust psychometric properties in this sample. The second study aimed to adapt the MPAI to a younger population (one hundred 8-10 years-old music students). Again, the MPAI and the STAIC c-2 were used in this study. Exploratory factor analysis, correlations, and internal consistency were used to evaluate the final children version of the instrument (MPAI-C), presenting a different factor structure compared to the adolescent version (10 items organized in 2 factors) and high levels of reliability and convergent validity.

Keywords: anxiety, assessment, children and adolescents, music performance

Procedia PDF Downloads 186

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 222