简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.
简介：2008年8月8日，当第29届奥林匹克运动会的火炬在北京点燃时，南奥塞梯地区的冲突陡然升级，欧亚分界线上的高加索地区又一次笼罩在战斗硝烟之中。
简介：北方汽车质量监督检验鉴定试验所（简称北方汽检所）始建于1986年9月，1987年开始正式承担国家汽车行业的汽车整车、发动机质量监督抽查、可靠性考核及委托检验任务，是我国特种车辆试验、检测基地，是汽车行业认可的具有第三方公正地位的汽车质量监督检验鉴定的试验机构．北方汽检所拥有整车道路室、底盘部件试验室、电磁兼容试验室、动力电池试验室、环境试验室、道路模拟试验室、
简介：结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点，研究了面向Agent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念，讨论了Agent的通信机制。
车辆换档控制系统逻辑分析
“强制和平行动”——俄格南奥塞梯冲突及特点分析
北方汽检所获得汽车动力电池国家强制性检测单位资质
面向Agent的海军军械勤务辅助支持系统的逻辑构建
