Poincaré-Chetaev方程的守恒定理及其逆定理(英文)

提出动力学系统守恒定律构成的一般途径 .根据微分方程积分因子的定义研究守恒量存在的必要条件 .建立了Poincar啨 -Chetaev方程的守恒定理及其逆定理 ,并举例说明结果的应用     

一类带调和势的非线性Schroedinger方程解的不稳定性

研究了一类带调和势的、与Bose-Einstein凝聚的研究有密切的关系的Schroedinger方程：iφt=-1/2Δφ 1/2|x|^2φ f(|φ|^p)φ的解,运用能量守衡定律和质量守衡定律和矢量分析的知识，以及积分不等式和解微分不等式的方法，得到了当初值满足一定的条件的柯西问题的解会在有限的时间里发生爆破，推广了已有结论。     

VHDL语言在EDA开发软件MAX＋PlusII之应用

介绍了EDA开发工具软件MAX PlusII的主要功能；VHDL语言在进行硬件电路描述时所具有的多层次描述系统硬件功能的能力，以及在程序编译时易出现的问题。     

浅谈数字逻辑实验教学改革

结合实验教学实际 ,对传统数字逻辑实验教学体系进行了改革 ,提出了在新形势下确立数字逻辑实验教学目标、内容、组织形式、手段和评价的措施 .     

关于矩阵方程AXB=CYD

应用矩阵的初等变换技巧，给出了任意域上矩阵方程AXB=CYD的通用表达式及解法。     

一阶非线性非完整系统的改进的Routh方程

导出了一阶非线性非完整系统的改进的Ｒｏｕｔｈ方程并举例说明其应用，从而提供了建立非完整系统的运动微分方程的一种新方法。该方程的特点在于其第一组方程中只包含系统的独立的广义动量，而第二组方程中不包含任何广义动量。同时，本文结果也是对黄昭度先生的“改进的Ｒｏｕｔｈ方程”一文中的某些错误的修正。     

最优控制系统综合问题中首次积分的应用

在具有固定时间和自由右端的变分问题中，利用自由未控制对象运动方程的首次积分．较详细讨论了最优控制系统综合方法．     

一类双曲方程反问题的存在性和唯一性

讨论了如何确定下述双曲方程中反问题中的未知系数ｑ（ｘ），用压缩映像原理证明了反问题的存在性和唯一性定理。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.