Information flow analysis for fail-secure devices

Information security devices must preserve security properties even in the presence of faults. This in turn requires a rigorous evaluation of the system behaviours resulting from component failures, especially how such failures affect information flow. We introduce a compositional method of static analysis for fail-secure behaviour. Our method uses reachability matrices to identify potentially undesirable information flows based on the fault modes of the system's components.

Management of Information on Program Flow Analysis

The article proposes the model of management of information about program flow analysis for conducting computer experiments with program transformations. It considers the architecture and context of the flow analysis subsystem within the framework of Specialized Knowledge Bank on Program Transformations and describes the language for presenting flow analysis methods in the knowledge bank.

Data Flow Analysis and the Linear Programming Model

* The research is supported partly by INTAS: 04-77-7173 project, http://www.intas.be

Single diode model parameters analysis of photovoltaic cell

In this paper it is proposed to obtain enhanced and more efficient parameters model from generalized five parameters (single diode) model of PV cells. The paper also introduces, describes and implements a seven parameter model for photovoltaic cell (PV cell) which includes two internal parameters and five external parameters. To obtain the model the mathematical equations and an equivalent circuit consisting of a photo generated current source, a series resistor, a shunt resistor and a diode is used. The fundamental equation of PV cell is used to analyse and best fit the observation data. Especially bisection iteration method is used to obtain the expected result and to understand the deviation of changes in different parameters situation at various conditions respectively. The produced model can be used of measuring and understanding the actions of photovoltaic cells for certain changes and parameters extraction. The effect is also studied with I-V and P-V characteristics of PV cells though it is a challenge to optimize the output with real time simulation. The working procedure is also discussed and an experiment presented to get the closure and insight about the produced model and to decide upon the model validity. At the end, we observed that the result of the simulation is very close to the produced model.

Graphite for lithium-ion batteries: mineral analysis and global Material Flow Analysis

Graphite is a mineral commodity used as anode for lithium-ion batteries (LIBs), and its global demand is doomed to increase significantly in the future due to the forecasted global market demand of electric vehicles. Currently, the graphite used to produce LIBs is a mix of synthetic and natural graphite. The first one is produced by the crystallization of petroleum by-products and the second comes from mining, which causes threats related to pollution, social acceptance, and health. This MSc work has the objective of determining compositional and textural characteristics of natural, synthetic, and recycled graphite by using SEM-EDS, XRF, XRD, and TEM analytical techniques and couple these data with dynamic Material Flow Analysis (MFA) models, which have the objective of predicting the future global use of graphite in order to test the hypothesis that natural graphite will no longer be used in the LIB market globally. The mineral analyses reveal that the synthetic graphite samples contain less impurities than the natural graphite, which has a rolled internal structure similar to the recycled one. However, recycled graphite shows fractures and discontinuities of the graphene layers caused by the recycling process, but its rolled internal structure can help the Li-ions’ migration through the fractures. Three dynamic MFA studies have been conducted to test distinct scenarios that include graphite recycling in the period 2022-2050 and it emerges that - irrespective of any considered scenario - there will be an increase of synthetic graphite demand, caused by the limited stocks of battery scrap available. Hence, I conclude that both natural and recycled graphite is doomed to be used in the LIB market in the future, at least until the year 2050 when the stock of recycled graphite production will be enough to supersede natural graphite. In addition, some new improvement in the dismantling and recycling processes are necessary to improve the quality of recycled graphite.

Loss of single HLA class I allospecificities in melanoma cells due to selective genomic abbreviations.

Expression of human leucocyte antigen (HLA) Class I molecules is essential for the recognition of malignant melanoma (MM) cells by CD8(+) T lymphocytes. A complete or partial loss of HLA Class I molecules is a potent strategy for MM cells to escape from immunosurveillance. In 2 out of 55 melanoma cell cultures we identified a complete phenotypic loss of HLA allospecificities. Both patients have been treated unsuccessfully with HLA-A2 peptides. To identify the reasons underlying the loss of single HLA-A allospecificities, we searched for genomic alterations at the locus for HLA Class I alpha-chain on chromosome 6 in melanoma cell cultures established from 2 selected patients with MM in advanced stage. This deficiency was associated with alterations of HLA-A2 gene sequences as determined by polymerase chain reaction-sequence specific primers (PCR-SSP). Karyotyping revealed a chromosomal loss in Patient 1, whereas melanoma cell cultures established from Patient 2 displayed 2 copies of chromosome 6. Loss of heterozygosity (LOH) using markers located around position 6p21 was detected in both cases. By applying group-specific primer-mixes spanning the 5'-flanking region of the HLA-A2 gene locus the relevant region was amplified by PCR and subsequent sequencing allowed alignment with the known HLA Class I reference sequences. Functional assays using HLA-A2-restricted cytotoxic T-cell clones were performed in HLA-A2 deficient MM cultures and revealed a drastically reduced susceptibility to CTL lysis in HLA-A2 negative cells. We could document the occurrence of selective HLA-A2 deficiencies in cultured advanced-stage melanoma metastases and identify their molecular causes as genomic alterations within the HLA-A gene locus.

A flow injection procedure based on solenoid micro-pumps for spectrophotometric determination of free glycerol in biodiesel

A flow system designed with solenoid micro-pumps is proposed for fast and greener spectrophotometric determination of free glycerol in biodiesel. Glycerol was extracted from samples without using organic solvents. The determination involves glycerol oxidation by periodate, yielding formaldehyde followed by formation of the colored (3,5-diacetil-1,4-dihidrolutidine) product upon reaction with acetylacetone. The coefficient of variation, sampling rate and detection limit were estimated as 1.5% (20.0 mg L(-1) glycerol, n =10), 34 h(-1), and 1.0 mg L(-1) (99.7% confidence level), respectively. A linear response was observed from 5 to 50 mg L(-1), with reagent consumption estimated as 345 mu g of KIO(4) and 15 mg of acetylacetone per determination. The procedure was successfully applied to the analysis of biodiesel samples and the results agreed with the batch reference method at the 95% confidence level. (C) 2010 Elsevier B.V. All rights reserved.

An environmentally friendly flow system for high-sensitivity spectrophotometric determination of free chlorine in natural waters

A green and highly sensitive analytical procedure was developed for the determination of free chlorine in natural waters, based on the reaction with N,N-diethyl-p-phenylenediamine (DPD). The flow system was designed with solenoid micro-pumps in order to improve mixing conditions by pulsed flows and to minimize reagent consumption as well as waste generation. A 100-cm optical path flow cell based on a liquid core waveguide was employed to increase sensitivity. A linear response was observed within the range 10.0 to 100.0 mu g L(-1), with the detection limit, coefficient of variation and sampling rate estimated as 6.8 mu g (99.7% confidence level), 0.9% (n = 20) and 60 determinations per hour, respectively. The consumption of the most toxic reagent (DPD) was reduced 20,000-fold and 30-fold in comparison to the batch method and flow injection with continuous reagent addition, respectively. The results for natural and tap water samples agreed with those obtained by the reference batch spectrophotometric procedure at the 95% confidence level. (C) 2010 Elsevier By. All rights reserved.

Downscaling a multicommuted flow injection analysis system for the photometric determination of iodate in table salt

In this work a downscaled multicommuted flow injection analysis setup for photometric determination is described. The setup consists of a flow system module and a LED based photometer, with a total internal volume of about 170 mu L The system was tested by developing an analytical procedure for the photometric determination of iodate in table salt using N,N-diethyl-henylenediamine (DPD) as the chromogenic reagent. Accuracy was accessed by applying the paired r-test between results obtained using the proposed procedure and a reference method, and no significant difference at the 95% confidence level was observed. Other profitable features, such as a low reagent consumption of 7.3 mu g DPD per determination: a linear response ranging from 0.1 up to 3.0 m IO(3)(-), a relative standard deviation of 0.9% (n = 11) for samples containing 0.5 m IO(3)(-), a detection limit of 17 mu g L(-1) IO(3)(-), a sampling throughput of 117 determination per hour, and a waste generation 600 mu L per determination, were also achieved. (C) 2010 Elsevier B.V. All rights reserved.

A greener and highly sensitive flow-based procedure for carbaryl determination exploiting long pathlength spectrophotometry and photochemical waste degradation

An environmentally friendly analytical procedure with high sensitivity for determination of carbaryl pesticide in natural waters was developed. The flow system was designed with solenoid micro-pumps in order to improve mixing conditions and minimize reagent consumption as well as waste generation. A long pathlength (100 cm) flow cell based on a liquid core waveguide (LCW) was employed to increase the sensitivity in detection of the indophenol formed from the reaction between carbaryl and p-aminophenol (PAP). A clean-up step based on cloud-point extraction was explored to remove the interfering organic matter, avoiding the use of toxic organic solvents. A linear response was observed within the range 5-200 mu g L(-1) and the detection limit, coefficient of variation and sampling rate were estimated as 1.7 mu g L(-1) (99.7% confidence level), 0.7% (n=20) and 55 determinations per hour, respectively. The reagents consumption was 1.9 mu g of PAP and 5.7 mu g of potassium metaperiodate, with volume of 2.6 mL of effluent per determination. The proposed procedure was selective for the determination of carbaryl, without interference from other carbamate pesticides. Recoveries within 84% and 104% were estimated for carbaryl spiked to water samples and the results obtained were also in agreement with those found by a batch spectrophotometric procedure at the 95% confidence level. The waste of the analytical procedure was treated with potassium persulphate and ultraviolet irradiation, yielding a colorless residue and a decrease of 94% of total organic carbon. In addition, the residue after treatment was not toxic for Vibrio fischeri bacteria. (c) 2010 Elsevier B.V. All rights reserved.

A multicommuted flow system with solenoid micro-pumps for paraquat determination in natural waters

A flow system designed with solenoid micro-pumps is proposed for the determination of paraquat in natural waters. The procedure involves the reaction of paraquat with dehydroascorbic acid followed by spectrophotometric measurements. The proposed procedure minimizes the main drawbacks related to the standard chromatographic procedure and to flow analysis and manual methods with spectrophotometric detection based on the reaction with sodium dithionite, i.e. high solvent consumption and waste generation and low sampling rate for chromatography and high instability of the reagent in the spectrophotometric procedures. A home-made 10-cm optical-path flow cell was employed for improving sensitivity and detection limit. Linear response was observed for paraquat concentrations in the range 0.10-5.0 mg L-1. The detection limit (99.7% confidence level), sampling rate and coefficient of variation (n = 10) were estimated as 22 mu g L-1, 63 measurements per hour and 1.0%, respectively. Results of determination of paraquat in natural water samples were in agreement with those achieved by the chromatographic reference procedure at the 95% confidence level. (c) 2008 Elsevier B.V. All rights reserved.