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

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

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.     

数字振荡器的实现原理与仿真编程

鉴于数字信号处理中的实时应用问题，探讨了数字滤波器的实时实现原理，包括离散时间网络结构的作用和离散时间信号处理的特点，重点介绍了实时应用中实现数字滤波器的基本思想，运用MATLAB和所导出的通用数字振荡器的系统函数对一个非正弦数字振荡器进行了仿真编程，还讨论了有关实时处理的几个重要的系统性质，表达了作者对于当前学习和应用数字信号处理方法的观点。     

基于椭圆曲线上EIGamal公钥体制的数字签名方案

论文提出了基于椭圆曲线上EIGamal加密体制的数字签名方案，并出于安全性的考虑进行了一点改动。另外，应用了Tate配对对签名进行验证。     

轮式工程机械轮边减速器优化模型与方法

论述了重构轮式工程机械轮边减速器优化设计数学模型的必要性,给出了精确化的目标函数,全面化和准确化的设计变量、基于并行设计的约束条件;介绍了对优化解适用性评价的方法和手段。巧妙地解决了优化解中离散变量的圆整问题,提供了基于MATLAB的求解反渐开线函数的M文件。     

采用奇异值分解设计广义系统的最优滤波器

本文讨论广义离散随机线性系统的状态估计问题，通过矩阵奇值分解，本文给出了一种设计降阶最优滤波器的实用方法，该方法同时还得到了动态系统和量测系统的干扰噪声的估计。