简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.
简介：结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点，研究了面向Agent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念，讨论了Agent的通信机制。
车辆换档控制系统逻辑分析
面向Agent的海军军械勤务辅助支持系统的逻辑构建
