Failure analysis of the standby liquid control system for a boiling water reactor with fuzzy cognitive maps

A fuzzy cognitive maps (FCM) application is proposed as a simple method to determine failure modes and effects of the standby liquid control system (SLC) during anticipated transient without scram (ATWS) in a boiling water reactor (BWR). The SLC has an important contribution to the total core damage frequency in a BWR. This is the first step in the development of an expert system that could involve many emergency systems of a BWR to simulate accident sequences, through the knowledge representation and reasoning with FCM designs in order to automate the decision making process. A simplified model of the SLC is analyzed with the fault tree analysis technique in order to compare this results with those obtained with the FCM and show consistency with the results, in order to see that both techniques show similar results even if the approaches are different.     

Efficient computer analysis of ideal switched-capacitor circuits using matrix compaction techniques

In this paper we describe how three simple observations can be used in order to obtain an efficient algorithm for the computer analysis of ideal switched-capacitor circuits. the resulting algorithm is linear in the number of phases. the first observation uses the structure of the r-domain MNA-matrix to come up with a new LU-decomposition scheme which is gradual per timeslot. the second observation allows a great reduction in size of the z-domain MNA-matrix by a matrix compaction algorithm which also operates gradually per timeslot and which can be interleaved with the first gradual LU-decomposition process. This leads to a small matrix which can then be used for a time- and direct frequency-domain analysis. Third, the computations of transfer functions, aliasing functions and sensitivities can be optimized by applying appropriate excitations and making appropriate combinations of the terms in the expressions. These algorithms have been implemented in the SC-analysis program DIANA.SC. the usefulness and efficiency of the program is then illustrated with some examples.     

Coupling fiber optics to a permeation liquid membrane for heavy metal sensor development

We present the first sensing system for metal ions based on the combination of separation/preconcentration by a permeation liquid membrane (PLM) and fluorescence detection with an optical fiber. As a model, a system for the detection of Cu(II) ions was developed. The wall of a polypropylene hollow fiber serves as support for the permeable liquid membrane. The lumen of the fiber contains the strip solution in which Cu(II) is accumulated. Calcein, a fluorochromic dye, acts as stripping agent and at the same time as metal indicator. The quenching of the calcein fluorescence upon metal accumulation in the strip phase is detected with a multimode optical fiber, which is incorporated into the lumen. Fluorescence is excited with a blue LED and detected with a photon counter. Taking advantage of the high selectivity and sensitivity of PLM preconcentration, a detection limit for Cu(II) of approximately 50 nM was achieved. Among five tested heavy metal ions, Pb(II) was the only major interfering species. The incorporation of small silica optical fibers into the polypropylene capillary allows for real-time monitoring of the Cu(II) accumulation process.     

Growth points in research on memory and hippocampus.

We present an overview of two of our ongoing projects relating processes in the hippocampus to memory. We are trying to understand why retrograde amnesia occurs after damage to the hippocampus. Our experiments establish the generality of several new retrograde amnesia phenomena that are at odds with the consensus view of the role of the hippocampus in memory. We show in many memory tasks that complete damage to the hippocampus produces retrograde amnesia that is equivalent for recent and remote memories. Retrograde amnesia affects a much wider range of memory tasks than anterograde amnesia. Normal hippocampal processes can interfere with retention of a long-term memory stored outside the hippocampus. We conclude that the hippocampus competes with nonhippocampal systems during memory encoding and retrieval. Finally, we outline a project to understand and manipulate adult hippocampal neurogenesis in order to repair damaged hippocampal circuitry to recover lost cognitive functions. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Effect of 3 storage temperatures on the quality of kiwi fruit pulp concentrated at a reduced pressure

The effect of three storage temperatures (0, -9 and -18 degrees C) of the kiwi-fruit pulp reduced pressure concentrate, by a period of 3 months, in the physical (soluble solids, water activity, consistency and color), chemistry (pH, acidity, ascorbic acid, chlorophyll and pheophytin) and sensorial (appearance, aroma, acidity, sweetness, color and flavor) characteristics were studied. The greater deterioration was produced in the stored pulp to 0 degree C, while to -9 degrees C there is no significative differences, on the other hand, the kiwi-fruit pulp stored to -18 degrees C maintained large part of the original characteristics. It was observed that while the temperature and storage time increased, vitamin C and chlorophyll contents decreased, varying significantly consistency, color and appearance of product. The rest of the analyzed variables did not present significative differences during storage.     

Modeling multi-rate DSP specification semantics for formal transformational design in HOL

The CATHEDRAL Silicon Compilers synthesize hardware for DSP algorithms specified in Silage, a high level applicative language. In order to optimize the results of the silicon compilation in terms of chip-area and/or throughput, the user often massages the specification applying transformations to the Silage code. To guarantee that the transformations preserve the behavior of the specified algorithm, the formal semantics of the specification language had to be defined. The semantics has been used to prove in HOL the correctness of the transformations and to prove properties of the specification. We are currently building a system where a menu of useful andcorrectness preserving transformations will be available to the user. In this system the user could choose appropriate transformations from the menu taking advantage of his creativity and expertise to interactively guide the silicon compiler, without the risk of introducing inconsistencies. This article describes the formalmulti-rate semantics of a substantial subset of Silage and illustrates some formally verified transformations.