• International Journal of Railway
• /
• 제5권2호
• /
• pp.65-70
• /
• 2012

This paper introduced a novel railway system, Automatic Train Protection and Block (ATPB) briefly, which is proposed to improve the efficiency of existing regional train lines with low cost in Japan. The biggest superiority of ATPB system is a great use of universal and mature technologies, such as GPS and regular mobile telephone networks, so that there is nearly no increment of trackside equipments in the reconstruction. Then in order to guarantee the system safety, a formal model of ATPB is established and analyzed by formal method VDM++. Firstly, the specification is specified by VDM++ formally without ambiguity. Secondly, its internal consistency is proved by discharging the proof obligations. And finally, its satisfiability is checked by systematic testing, which executes specification and checks the outputs against corresponding inputs.

• Macromolecular Research
• /
• 제8권4호
• /
• pp.165-171
• /
• 2000

Fluorinated polyimides with high thermal stability, low optical absorption loss in the optical communication wavelengths of 1.3 and 1.55㎛, and low birefringence and water absorption have been investigated for optical waveguide applications. These polyimides were prepared from 2,2-bis(3,4-dicar-boxyphenyl) hexafluoropropane dianhydride (6FDA) with 1,4-bis-(4-amino-2-trifluoromethyl-phenoxy) tetrafluorobenzene (ATPT) , 1,4-bis-(4-amino-2-trifluoromethyl-phenoxy) benzene (ATPB) , and 1,3-bis-(4-amino-2-trifluoromethyl-phenoxy ) 4,6-dichlorobenzene (ATPD ), respectively. The polyimides obtained had glass transition temperatures that ranged from 260 to 280$\^{C}$, and low water absorption less than 0.4% and low optical loss (> 0.2 dB/cm) at 1.3 and 1.55㎛. Birefringency values of polymer films ranged from 0.0041 to 0.0066.