Interferometric key readable security holograms with secrete-codes

A new method is described to create secrete-codes in the security holograms for enhancing their anti-counterfeiting characteristics. To imitate these codes is difficult as pure phase objects having complex phase distribution function are used to modulate the object beam that is recorded in conjunction with an encoded interferometric reference beam derived from a key hologram. Lloyd’s folding mirror interferometer is used to convert phase variations of the reconstructed wave-front into an intensity pattern for hologram authenticity verification. Creating the secrete-codes through an interferometric reference beam from the key hologram facilitates a multi-stage authenticity verification as well as easy repositioning of the security hologram through a specific Moiré pattern generated during the verification process.      

基于布尔可满足性的逻辑电路等价性验证方法

提出了基于布尔可满足性(Boolean Satisfiability,SAT)的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机(FSM),为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言判定问题。改进了Tseitin变换方法,并将其用于把电路约束问题变换成(Conjunctive Normal Form,CNF)公式。之后则用先进的CNF SAT求解器zChaff判定积机所生成的布尔公式的可满足性。事例电路验证说明了该方法的有效性。     

基于CGMM-UBM的电话短语音说话人确认

针对手机、电话的短语音文本无关说话人确认,本文设计了一种基于分类GMM-UBM（CGMM-UBM）的说话人确认系统。用k-means算法将训练背景模型的语音参数集分类成若干个子空间,并据此进行目标说话人语音数据的子空间分类,再采用GMM-UBM结构为每个子空间分别建立一个子系统,以各个子系统输出评分的线性加权作为系统的输出评分。分类后的模型可以采用较低的混合度,线性加权增强了贡献较大子空间对确认性能的作用。在NIST’03语音库上100个男性话者的实验表明,短语音条件下,分类系统的性能比不分类系统有显著的改进,运算效率较后者也提高很多。     

Numerical Comparison of Controls and Verification of Optimality for Stochastic Control Problems

We provide two approaches to the numerical analysis of stochastic control problems. The analyses rely on linear programming formulations of the control problem and allow numerical comparison between controls and numerical verification of optimality. The formulations characterize the processes through the moments of the induced occupation measures. We deal directly with the processes rather than with some approximation to the processes. Excellent software is readily available, since the computations involve finite-dimensional linear programs.     

光学设计自动化软件验证技术概述

在计算机辅助设计软件中，光学设计自动化软件是随着微光子学、光电子学和深亚微米集成电路的发展而逐渐产业化的，相对于电子设计自动化软件而言，仍有许多有待完善和改进的地方。在验证方面主要从原理验证、合理性验证和实验验证来保证光学设计自动化软件的正确性和质量。同时也给出了相关的实例。     

Asymmetric solution-phase mixture aldol reaction using oligomeric ethylene glycol tagged chiral oxazolidinones

Sorting tags are oligomeric structures that can be used as protecting groups or chiral auxiliaries enabling solution-phase mixture syntheses of multiple tagged compounds in one pot and allowing for facile and predictable chromatographic separation of products at the end of synthetic sequences. Perfluorinated hydrocarbon and oligomeric ethylene glycol (OEG) derivatives are known classes of sorting tags. Herein we describe the preparation of OEGylated chiral oxazolidinones and their use in asymmetric solution-phase mixture aldol reactions. Through the use of such oxazolidinones based on tyrosine four different individually tagged aldol adducts were obtained as a mixture, chromatographically demixed, detagged, and it was shown that these processes gave the desired aldol products in good yield and enantioselectivity.     

RESEARCH ON METHOD TO CALCULATE VELOCITIES OF SOLID PHASE AND LIQUID PHASE IN DEBRIS FLOW

Velocities of solid phase and liquid phase in debris flow are one key problem to research on impact and abrasion mechanism of banks and control structures under action of debris flow. Debris flow was simplified as two-phase liquid composed of solid phase with the same diameter particles and liquid phase with the same mechanical features. Assume debris flow was one-dimension two-phase liquid moving to one direction, then general equations of velocities of solid phase and liquid phase were founded in two-phase theory. Methods to calculate average pressures, volume forces and surface forces of debris flow control volume were established. Specially, surface forces were ascertained using Bingham's rheology equation of liquid phase and Bagnold's testing results about interaction between particles of solid phase. Proportional coefficient of velocities between liquid phase and solid phase was put forward, meanwhile, divergent coefficient between theoretical velocity and real velocity of solid phase was provided too. To state succinctly before, method to calculate velocities of solid phase and liquid phase was obtained through solution to general equations. The method is suitable for both viscous debris flow and thin debris flow. Additionally, velocities every phase can be identified through analyzing deposits in-situ after occurring of debris flow. It is obvious from engineering case the result in the method is consistent to that in real-time field observation.     

船用pH计检定装置的研究

研制了船用pH计检定装置。以基准电压集成电路作为电压标准,以单片机为控制中心,组成船用pH计检定核心部分,控制船用pH计检定装置输出标准电位。检定装置的pH值输出范围:0～14.0000 pH;pH示值误差:0.0003 pH;电压输出范围:-1999.99～+1999.99 mV;电压分辨率:0.01 mV;温度补偿范围:0～99.9℃。     

FCC认证管理概述

对FCC的组织结构、技术要求、法规体系和认证程序进行了简要的介绍。