On equations for regular languages, finite automata, and sequential networks

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

Synthesis using electrospinning and stabilization of single layer macroporous films and fibrous networks of poly(vinyl alcohol)

We demonstrated in this paper an electrospinning technique could be employed to prepare the single layer macroporous films and fibrous networks of poly(vinyl alcohol) (PVA). A crucial element using electrospinning on the development of these electrospun structures was to shorten the distance of from the needle tip to the collector (L), which resulted in the bond of the wet fibers deposited on the collector at the junctions. The morphologies and average pore size of electrospun structures of PVA were mainly predominated by L and the time of collecting wet fibers on the collector. In addition, experimental results showed that an increase of the PVA concentration or a decrease of the applied voltage could also diminish slightly the average pore size of electrospun productions. Furthermore, a 60 degrees C absolute ethanol soak to PVA electrospun production led them to be able to stabilize in water for 1 month against disintegration. Differential scanning calorimetry (DSC) demonstrated that the 60 degrees C ethanol soak enhanced the degree of crystallinity of PVA production. The structural characteristic of macroporous films and networks in combination with their easy processability suggests potential utility in issue engineering applications.

Multi-sensors data acquisition and information fusion for manned submersible vehicle

本文介绍了一种用于载人潜水器的导航传感器的数据采集及信息融合技术。航行控制计算机通过基于工业以太网的数据通信系统对各传感器进行数据采集,采用卡尔曼滤波器完成对各传感器数据信息的融合,以便提高数据的精度和控制系统的性能,并将结果送给监控计算机,用于载人潜水器的姿态显示。