An expert system with temporal reasoning for alarm processing inpower system control centers

The alarm lists presented to control center operators are usually difficult to interpret. The authors present an expert system that processes the alarm lists in Portuguese control centers. This system makes an intelligent synthesis of the available information and presents it in a flexible and structured way. It uses an original approach to deal with temporal reasoning and real-time constraints. The system incorporates an explanation module that enables its use as a tutor for novice operators     

Isolation and preliminary characterization of Pichia pinus mutants insensitive to glucose repression

A new method for the isolation of glucose repression-insensitive mutants in the methylotrophic yeast Pichia pinus was developed. The method is based on screening of small suspension samples derived from 2-deoxyglucose-resistant colonies for alcohol oxidase activity. Alcohol oxidase activity was evaluated by determination of formaldehyde excreted by cells. Mutants with glucose non-repressible alcohol oxidase and catalase synthesis were obtained. All mutants grew poorly on D -xylose compared to the wild type, whereas growth on L -arabinose was similar to the wild type. Changes in the glucose transport system were suggested to be responsible for altered growth characteristics and defective glucose repression.     

General solution of one-dimensional,time dependent coupled heat flow systems

A new, powerful method of analysis, involving the combined use of finite integral transform and finite element techniques, is presented for the solution of time dependent heat flow systems composed of many one-dimensional elements connected through the nodes. This method leads to an eigenvalue problem which is not of the conventional Sturm-Liouville type. A procedure for the determination of the eigenvalues is described. The solution obtained is in the form of an infinite series and contains quasi-steady and transient terms. The general solution obtained can be applied in the mathematical modelling of many engineering applications such as the determination of the penetration of the daily temperature cycle into buildings, the analysis of heat transfer in array of extended surfaces in compact heat exchangers, and many others.     

Flash memory efficient LTL model checking

As the capacity and speed of flash memories in form of solid state disks grow, they are becoming a practical alternative for standard magnetic drives. Currently, most solid-state disks are based on NAND technology and much faster than magnetic disks in random reads, while in random writes they are generally not.So far, large-scale LTL model checking algorithms have been designed to employ external memory optimized for magnetic disks. We propose algorithms optimized for flash memory access. In contrast to approaches relying on the delayed detection of duplicate states, in this work, we design and exploit appropriate hash functions to re-invent immediate duplicate detection.For flash memory efficient on-the-fly LTL model checking, which aims at finding any counter-example to the specified LTL property, we study hash functions adapted to the two-level hierarchy of RAM and flash memory. For flash memory efficient off-line LTL model checking, which aims at generating a minimal counterexample and scans the entire state space at least once, we analyze the effect of outsourcing a memory-based perfect hash function from RAM to flash memory.Since the characteristics of flash memories are different to magnetic hard disks, the existing I/O complexity model is no longer sufficient. Therefore, we provide an extended model for the computation of the I/O complexity adapted to flash memories that has a better fit to the observed behavior of our algorithms.     

A Constraint-Based Approach for Deriving 3-D Structures of Cyclic Polypeptides

This paper presents an hybrid algorithm for deriving 3-D structures of cyclic polypeptides. The algorithm combines constraint-based techniques with the most widely used methods for non-cyclic polypeptides. The empirical results demonstrate that the proposed hybrid algorithm outperforms traditional methods especially with respect to running times.     

Pilot Tones Optimization Using Artificial Bee Colony Algorithm for MIMO–OFDM Systems

How to design the pilot tones that are used in channel estimation has a significant effect on the estimation performance. To achieve good performance in least square (LS) algorithm, we propose the artificial bee colony (ABC) algorithm for optimizing the placement of pilot tones in MIMO–OFDM systems. We also derive the upper bound of mean square error of LS estimation with the help of Gerschgorin disc theorem for fitness function of ABC algorithm. The results show that designing pilot tones using the ABC algorithm outperforms other considered placement strategies in terms of high system performance and low computational complexity.