简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.
简介：研究了不同催化剂和溶剂对磷酰氯的拟卤化反应的影响，确立了最优反应条件。并以磷酰氯为原料，在温和的相转移催化条件下，高收率地合成了分别以叠氮基、氰基和硫氰基取代的磷酸二烷基(和芳基)酯2a-2i。
简介：结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点，研究了面向Agent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念，讨论了Agent的通信机制。
车辆换档控制系统逻辑分析
相转移催化条件下磷酰氯的拟卤化反应
面向Agent的海军军械勤务辅助支持系统的逻辑构建
