an intuitive formal proof for deadline driven scheduler

United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam

高阶时段演算及其完备性

研究如何用时段演算来刻画程序的实时行为 .在实时程序设计里 ,程序变量被解释成时间的函数 .为了定义局部变量声明的语义 ,必须引进关于程序变量的量词 .因此 ,建立高阶时段演算是必要的 .首先建立了高阶时段演算理论 ,然后 ,用高阶时段演算去验证了一些程序的实时性质 ;最后 ,在假设所有程序变量均有穷可变的条件下 ,证明了高阶时段演算在抽象时间域上是完备的 .

基于单向陷门置换的长消息签密方案

在随机Oracle模型的基础上, 提出一种基于单向陷门置换（trapdoor permutations, TDPs）的、可并行的、长消息签密方案——PLSC （parallel long-message signcryption）. 该方法采用“整体搅乱, 局部加密（scramble all, and encrypt small）”的思想, 用一个伪随机数对要传送的消息和用户的身份（ID）进行“搅乱（scrambling operation）”, 然后对两个固定长度的小片段（并行地）进行单向陷门置换（TDP）操作. 这种设计使得整个方案可直接高效地处理任意长度的消息, 既可避免循环调用单向陷门置换（如CBC模式）所造成的计算资源的极度消耗, 也可避免由“对称加密方案”与“签密方案”进行“黑盒混合（black-box hybrid）”所造成的填充（padding）冗余. 不仅可以显著地节约消息带宽, 而且可以显著地提高整体效率. 具体地说, 该方法对任何长度的消息进行签密, 仅需进行一次接收方的TDP运算（相当于加密）, 以及一次发送方的TDP运算（相当于签名）, 从而最大限度地降低了TDP运算的次数, 提高了整体的运算效率. 因为, 对于公钥加密算法来说, 运算量主要集中在TDP运算上, TDP运算是整个算法的瓶颈所在. 另一方面, 由于避免了填充上的冗余, 新方案的效率也高于标准的“黑盒混合”方案.重要的是, 新方案能够达到选择密文攻击下的紧致的语义安全性（IND- CCA2）、密文完整性（INT-CTXT）以及不可否认性（non-repudiation）. 而且所有这些安全要求都可以在多用户（multi-user）、内部安全（insider-security）的环境下得以实现. 另外, 尽管新方案主要针对长消息的签密, 但它也可应用于某些不能进行大块数据处理的环境（智能卡或其他只有少量内存的环境）. 也就是说, 对于这些小内存设备来说, 仍然可以用该方案来实现长消息的签密处理.

Design of spectrometer based on volume phase grating for near infrared range

In order to design and fabricate a spectrometer for the infrared range widely used in the different applications, Volume Phase Grating (VPG) with. low Polarization Dependence Loss (PDL) and high efficiency has been adopted as the dispersion element. VPG is constructed by coating an optical substrate with a thin film of dichromated. gelatin and exposing the film to two mutually coherent laser beams to form index modulation. The diffraction efficiency for a VPG is governed by Bragg effects. The depth (d) and index modulation contrast of the grating structure control the efficiency at which the light is diffracted when the Bragg condition is satisfied. Gradient index lens with high performance and low aberration are used as collimating system instead of standard lens. The spot diagrams and MTF curve of the collimating lens are shown in the paper. The receive system is InCaAs photodiode (PD) array including 512 pixels with 25 mum pitch. The spectrum resolution of the spectrometer reaches to 0.2nm and wavelength accuracy is 40pm.

Single steady frequency and narrow line width external cavity semiconductor laser

A single longitudinal mode and narrow line width external cavity semiconductor laser is proposed. It is constructed with a semiconductor laser, collimator, a flame grating, and current and temperature control systems. The one facet of semiconductor laser is covered by high transmission film, and another is covered by high reflection film. The flame grating is used as light feedback element to select the mode of the semiconductor laser. The temperature of the constructed external cavity semiconductor laser is stabilized in order of 10(-3)degreesC by temperature control system. The experiments have been carried out and the results obtained-the spectral fine width of this laser is compressed to be less than 1.4MHz from its original line-width of more than 1200GHz and the output stability (including power and mode) is remarkably enhanced.

Optical analysis of AlGaInP laser diodes with real refractive index guided self-aligned structure

Optical modes of AlGaInP laser diodes with real refractive index guided self-aligned (RISA) structure were analyzed theoretically on the basis of two-dimension semivectorial finite-difference methods (SV-FDMs) and the computed simulation results were presented. The eigenvalue and eigenfunction of this two-dimension waveguide were obtained and the dependence of the confinement factor and beam divergence angles in the direction of parallel and perpendicular to the pn junction on the structure parameters such as the number of quantum wells, the Al composition of the cladding layers, the ridge width, the waveguide thickness and the residual thickness of the upper P-cladding layer were investigated. The results can provide optimized structure parameters and help us design and fabricate high performance AlGaInP laser diodes with a low beam aspect ratio required for optical storage applications.

Effect of SiO2 encapsulation on the nitrogen reorganization in GaNAs/GaAs single quantum well

Effects of SiO2, encapsulation and rapid thermal annealing (RTA) on the optical properties of GaNAs/GaAs single quantum well (SQW) were studied by low temperature photoluminescence (PL). A blueshift of the PL peak energy for both the SiO2-capped region and the bare region was observed. The results were attributed to the nitrogen reorganization in the GaNAs/GaAs SQW. It was also shown that the nitrogen reorganization was obviously enhanced by SiO2 cap-layer. A simple model [1] was used to describe the SiO2-enhanced blueshift of the low temperature PL peak energy.

Tolerance analysis for incident angle of volume phase holographic grating used in optical channel performance monitor

Transmission Volume Phase Holographic Grating (VPHG) is adopted as spectral element in the real-time Optical Channel Performance Monitor (OCPM), which is in dire need in the Dense Wavelength -division-multiplexing(DATDM) system. And the tolerance of incident angle, which can be fully determined by two angles: 6 and (p, is finally inferred in this paper. Commonly, the default setting is that the incident plane is perpendicular to the fringes when the incident angle is mentioned. Now the situation out of the vertical is discussed. By combining the theoretic analysis of VPHG with its use in OCPM and changing 6 and (0 precisely in the computation and experiment, the two physical quantities which can fully specify the performance of VPHG the diffraction efficiency and the resolution, are analyzed. The results show that the diffraction efficiency varies greatly with the change of 6 or (p. But from the view of the whole C-band, only the peak diffraction efficiency drifts to another wavelength. As for the resolution, it deteriorates more rapidly than diffraction efficiency with the change of (p, while more slowly with the change of theta. Only if \phi\less than or equal to+/-1degrees and alpha(B) -0.5 less than or equal to theta less than or equal to alpha(B) + 0.5, the performance of the VPHG would be good enough to be used in OCPM system.

Upconversion emission of a Er3+-doped glass microsphere under 633 nm excitation

In this work, The TBS glass microspheres doped with Er3+ for morphology-dependent resonances of upconversion emission were designed. The glass sample components are 25TiO(2)-27BaCO(3)-8Ba(NO3)(2)-6ZnO(2)-9CaCO(3)-5H(3)BO(3)-10SiO(2)-7water glass-3Er(2)O(3) (wt%), and the emission spectra of TBS glass and a TBS glass microsphere (about 48 mum in diameter) were measured under 633 nm excitation and discussed. The strong morphology-dependent resonances of upconversion luminescences in the microsphere were observed. The observed resonances could be assigned by using the well-known Lorenz-Mie Formalism. (C) 2003 Elsevier Ltd. All rights reserved.

Fabrication of 1.3 mu m Si-based MEMS tunable optical filter

In this paper we report the fabrication of 1.3 mum Si-based MEMS tunable optical filter, by surface micromaching. Through wet etching of polyimide sacrificial layer, a tunable Fabry-Perot filter was successfully fabricated. We make the capacitance measurement of the prototype device, compare the experimental curve with the theoretical one, and explain the difference between them.

Real-time far distance micro-vibration measurement using an external cavity semiconductor laser interferometer with a feedback control system

An external cavity semiconductor laser interferometer used to measure far distance micro-vibration in real time is proposed. In the interferometer, a single longitudinal mode and excellent coherent characteristic grating external cavity semiconductor laser is constructed and acted as a light source and a phase compensator. Its coherent length exceeds 200 meters. The angle between normal and incidence beam of the far object is allowed to change in definite range during the measurement with this interferometer, and this makes the far distance interference measurement easier and more convenient. Also, it is not required to keep the amplitudes of the first and second harmonic components equal, and then the dynamic range is increased. A feedback control system is used to compensate the phase disturbance between the two interference beams introduced by environmental vibration.

Architecture research and hardware implementation on simplified neural computing system for face identification

This paper describes a special-purpose neural computing system for face identification. The system architecture and hardware implementation are introduced in detail. An algorithm based on biomimetic pattern recognition has been embedded. For the total 1200 tests for face identification, the false rejection rate is 3.7% and the false acceptance rate is 0.7%.

A method of Biomimetic Pattern Recognition for face recognition

A new method of face recognition, based on Biomimetic Pattern Recognition and Multi-Weights Neuron Network, had been proposed. A model for face recognition that is based on Biomimetic Pattern Recognition had been discussed, and a new method of facial feature extraction also had been introduced. The results of experiments with BPR and K-Nearest Neighbor Rules showed that the method based on BPR can eliminate the error recognition of the samples of the types that not be trained, the correct rate is also enhanced.