一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

激光陀螺随机噪声参数估计和滤波方法研究

激光陀螺(RLG)中随机噪声是影响其精度的一个重要因素,针对其噪声的特殊性质,采用小波方法去除随机噪声,提高激光陀螺的精度。通过小波分析的参数估计方法获得噪声参数,并用小波阈值滤波方法去除噪声,对某型号的RLG的滤波结果表明了该方法的有效性。     

基于DWT的数字音频水印技术研究

提出了一种基于小波变换的多分辨率数字水印隐藏与检测新算法,算法的优点在于其算法简单。利用小波变换的快速、简单和多分辨率特点,将水印信号隐藏在第1、2、3级的详细分量(细节信号)中保证了水印的稳健性,具有很强的抵御各种信号处理变换的能力,适用于数字语音等信号的版权保护。最后给出了计算机仿真实验结果,证明了本算法的有效性。     

Lyapunov‐stable discrete‐time model reference adaptive control

Discrete‐time model reference adaptive control (MRAC) is considered with both least squares and projection algorithm parameter identification. For both cases complete Lyapunov proofs are given for stability and convergence. The results extend the approach of Johansson (Int. J. Control 1989; 50 (3):859–869) to include Lyapunov stability for MRAC when the normalized projection algorithm is used for parameter identification. Copyright © 2005 John Wiley & Sons, Ltd.     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

一种用于版权保护的音频数字水印算法

研究了一种基于小波变换的音频数字水印算法，水印为一幅二值图像，仿真实验表明该算法具有较强的稳健性，可用于数字音产品的版权保护。     

Stable redesign of predictive control

The paper deals with I/O versions of receding horizon controllers based on the minimization of multistep quadratic costs with the constraint that the terminal state goes to zero. The resulting control law yields stable closed-loop systems under sharp conditions. Simulation results are presented to both verify the theoretical analysis and relate the new control law with GPC     

光学分数傅里叶逆变换的无透镜模式

用波前相因子判断法，将球面波照明物体的自由空间菲涅耳衍射光场分布与分数傅里叶逆变换的标准频谱分布进行位相比较，提供了广义条件下光学分数傅里叶逆变换的无透镜模式，给出其光学实现基本单元参量选择的判定法则，计算机模拟实验证明了结论的可靠与可行。     

Hiding iris data for authentication of digital images using wavelet theory

This paper introduces an efficient approach to protect the ownership by hiding an iris data into digital image for an authentication purpose. It is based on the theory of wavelets. The idea is to secretly embed biometric data (iris print) in the content of the image identifying the owner. The system is based on an empirical analysis of biometric and watermarking technologies, and it is split into several processes. The first process is based on iris image analysis, which aids the generation of the iris code (watermark); the second and the third processes deal with embedding and detecting a watermark; and the last process deals with the authentication. A new metric that measures the objective quality of the image based on the detected watermark bit is introduced, which does not require the original unmarked image for watermark detection. Simulation results show the effectiveness and efficiency of the proposed approach. The text was submitted by the author in English.     

无染色牛肝过氧化氢酶薄晶的图象处理

本文根据Ｐ．Ｎ．Ｔ．Ｕｎｗｉｎ和Ｒ．Ｈｅｎｄｅｒｓｏｎ等人提出的对生物大分子晶体的囹象处理方法，对无染色的牛肝过氧化氢酶薄晶的显微象和衍射图进行了图象处理，最后得到了牛肝过氧化氢酶薄晶的二维结构。从中可以看出，牛肝过氧化氢酶薄晶的一个单胞由４个子胞组成，４个子胞排列方向各异。