简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.
简介：真核细胞表达载体在生物技术的许多领域都具有很好的应用前景，尤其在防化研究中的应用受到了各国军界的重视。对目前国内外真核表达载体的构建策略、IRES序列的应用及存在的问题进行了评述，并对其发展趋势进行了探讨。
简介：结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点，研究了面向Agent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念，讨论了Agent的通信机制。
车辆换档控制系统逻辑分析
真核表达载体的研究进展及其在防化研究中的应用
面向Agent的海军军械勤务辅助支持系统的逻辑构建
