简介：该文介绍了车辆换档控制系统的逻辑表达式及逻辑分析的一般方法,并采用该方法对某种车辆换档控制系统进行分析,证明该控制系统完全满足设计要求.
简介：结合分布式人工智能中的Agent技术和军械勤务辅助支持系统的特点，研究了面向Agent的军械勤务辅助支持结构。结合该系统介绍了Agent和多Agent系统的概念，讨论了Agent的通信机制。
简介：考虑横观各向同性压电材料中螺位错的亚音速运动问题。应用复变函数方法，得到了运动螺位错产生的电弹场的解析解。当螺位错的运动速度为零时，其解便退化成由Pak给出的静止螺位错产生的电弹场。
简介：深刻分析了21世纪上半叶我国的国防安全环境，全面阐述了2020年前我军防化科研发展的战略需求，着眼国防和军队现代化建设需要，提出了推进防化科研全面、协调、持续发展的具体措施．
车辆换档控制系统逻辑分析
面向Agent的海军军械勤务辅助支持系统的逻辑构建
横观各向同性压电材料中的运动螺位错
贴近战略需求 树立科学发展观 推进防化科研全面、协调、持续发展
