No abstract

Benzaldehyde formaldehyde azine (BzFAz) was prepared as a new monomer having CN bonds, and its polymerizability was investigated by using several initiators. Polymers were obtained from BzFAz by polymerizations initiated by trifluoroacetic acid (CF3COOH), butyllithium (n-C4H9Li), and methylmagnesium iodide (CH3MgI). The structures of these polymers were investigated by elemental analysis, IR, Raman, and 1H NMR spectroscopies. The polymers obtained by CF3COOH and by n-C4H9Li consisted of 3,4-units, whereas that obtained by CH3MgI consisted of both 1,4- and 3,4-units. In the polymerization initiated by CH3MgI, the content of 1,4-unit increased as an increase in the dielectric constant of the solvent used. Powder X-ray diffraction of the polymers revealed that the polymer obtained by n-C4H9Li was highly crystalline. In addition, the thermogravimetric analyses showed these polymers were fully decomposed below 300 °C.

No abstract

In distributed control systems(DCS), since the entire of designed distributed controllers, which interact complicatedly, each other operated plants. Therefore, in the development of the system, verification whether the controllers satisfy given specification is important. However, the existing description languages, for example, temporal interval, are too complicated to formulize the specification.In this paper, first, Sequence Oriented Language (SOL), which is intelligible language in order to describe specification for distributed sequential control systems, is proposed.Secondly, we developed a tool for it. In this method, Tool automatically verify that behavior of models satisfies specifications which is described by using SOL.