In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal sys...In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe展开更多
A large lateral shearing distance of parallel beam-splitting prism is often needed in laser modulation and polarization interference. In this letter, we present an optimized design of parallel beam-splitting prism and...A large lateral shearing distance of parallel beam-splitting prism is often needed in laser modulation and polarization interference. In this letter, we present an optimized design of parallel beam-splitting prism and list some different cases in detail. The optimized design widens the use range of parallel beam-splitting prism. At the wavelength of 632.8 nm, the law that the enlargement ratio changes with the refractive index and the apex angle is verified.展开更多
基金ESPRIT Basic Research ProCoS project 3104 and 7071
文摘In this paper they deal with the issue of specification and design of parallel communicatingprocesses. A trace-state based model is introduced to describe the behaviour of concurrent programs. They presenta formal system based on that model to achieve hierarchical and modular development and verification methods. Anumber of refinement rules are used to decompose the specification into smaller ones and calculate program fromthe
文摘A large lateral shearing distance of parallel beam-splitting prism is often needed in laser modulation and polarization interference. In this letter, we present an optimized design of parallel beam-splitting prism and list some different cases in detail. The optimized design widens the use range of parallel beam-splitting prism. At the wavelength of 632.8 nm, the law that the enlargement ratio changes with the refractive index and the apex angle is verified.
