不可否认签名是一种需要签名方参与才能对签名的有效性进行验证的特殊数字签名 。目前双线性对映射已成为构建各种签名方案的重要工具,该文利用双线性对技术,提出了一个新的不可否认数字签名方案,并对其安全性进行了分析 。

利用无穷维KAM理论, 证明一维非线性波动方程在反周期边界条件下存在Whitney意义下光滑的小幅拟周期解, 并在相应无穷维动力系统中这些解形成一个有限维的不变环面.

采用电化学检测方法，以ARM&Linux嵌入式平台为核心，选用Membrapor公司的CH20／M-10传感器设计了一种室内甲醛气体手持检测设备。详细介绍了该设备的硬件架构和软件设计，并与传统甲醛检测仪做了对比实验。实验结果表明，2种设备测定样品所得到的结果无显著性差异；手持检测设备检测快捷方便，可用于室内环境甲醛的检测。

多径衰落和共道干扰是影响无线通信质量的两个主要因素,多输入多输出最大比传输-最大比合并(MIMO MRT-MRC)系统由于能够最大化接收机输出端的信噪比(SNR)而得到广泛研究.最近学术界提出了分布式的波束成型技术,该技术能够有效解决无线通信业务配置多天线困难的问题,同时兼具MIMO MRT-MRC系统的优点而成为学术界的研究热点.本研究对上述两种技术已有的研究成果进行了全面阐述,并讨论了存在的公开研究问题.

基于TDN-CM++基本模型机的组成结构,利用JBuilder9开发了一个仿真系统。该系统可以实现对模型机指令系统的仿真测试,实时、动态地显示各硬件组成部件的数据值,并以动画方式演示数据通路的建立过程。

针对汉字的多样性和相似性不同于西方字母，识别相对困难的问题，提出了基于ART神经网络的汉字识别方法．在识别前，利用OpenCV(开源计算机视觉库)将汉字进行图像处理，为后续识别提供输入数据；然后经ART神经网络对输入数据进行训练识别．采用8组相似度较高的汉字作为样本进行实验，证明了方法的有效性．

以牛头刨床平面六杆机构为例,运用杆组法建立其数学模型,结合参数化设计方法和CAD 二次开发技术,对机构进行了运动分析和仿真。用此方法可快速、准确地计算出连杆上各位置氛的运动参数,并直观地演示机构的三维动画,提高了机构设计的效率。此方法还可用于同类机构的设计。

针对FTP协议的研究，发现了利用FTP协议命令序列的两类隐蔽信道，分析了这两类隐蔽信道的机理，研究了这两类隐蔽信道的隐秘性、带宽和鲁棒性．并提出了一个基于FTIP协议的隐蔽信道通信模型，用来传输隐蔽信息．对于FTrP隐蔽信道研究的方法和得到的结论同样适用于其他的应用层协议隐蔽信道分析．

针对一类非完整移动机器人的轨迹跟踪控制问题，同时考虑移动机器人的运动学和动力学模型，设计运动学控制器和动力学控制器结合的神经网络控制系统．其中动态模型中的不确定性是由神经元控制器进行补偿，由此可保证闭环误差系统最终趋近稳定．采用基于李亚普诺夫(Lyapunov)稳定性理论的判稳方法，证明整个闭环控制系统的稳定性．仿真结果表明，该控制方案具有较强的鲁棒性．

对矢量广播信道下TDMA（time division multiple access）系统和CDMA（code division multiple access）系统的速率和容量（sum-rate capacity）进行了研究。在TDMA系统中，每一时刻基站只能向一个用户发送信号，而CDMA则可以同时向所有的用户发送信号。对于TDMA系统，当信道是标量时，它可以达到速率和容量，而当基站带有多根天线时，TDMA的速率和容量就不是最优的。经过详细的分析，推导出了CDMA系统在矢量广播信道下速率和容量的上界以及