关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

飞机平面框,肋,梁类机加结构件CAPP系统

描述了作者开发的飞机平面框、肋、梁类机加结构件计算机辅助工艺过程（ＣＡＰＰ）系统的设计思想、特点和功能；阐述了一种新的零件信息描述方法──六方位多层次面向零件特征要素描述法。用户根据菜单、图形和文字提示输入零件信息。工艺决策采用了产生式规则和框架结构相结合的方法，根据输人模块提供的经“点图”处理过的零件光图，生成毛坯底图，由决策结果将各被加工表面在光图上自动加以标识，并自动标注出工序加工中所用的定位基准，生成工序图、工序卡片和工艺路线单等工艺文件。该系统应用于型号工程，对新型号结构件覆盖率达７０％。它的研制和投入使用具有显著的社会效益和经济效益，值得推广应用。     

准远场天线测量修正方法研究

远场测量是获得天线辐射特性的一种常用方法。然而对于一维电尺寸大,另一维电尺寸小的天线,如基站天线,由于场地因素的限制,往往不能满足远场测量条件,用近场测量又费时费力。在这种准远场条件下,天线测量结果与远场情况下的测量结果有较大差异。本文基于柱面波展开,给出了一种由准远场距离上测得的方向图计算远场的理论计算方法,经过该算法补偿后的结果与理论计算结果吻合很好,从而验证了算法的正确性。     

基于时空协同的飞行器集群制导技术现状与应用

从集群作战军事需求牵引角度,指出了基于时空协同的多飞行器制导技术,是有效提高突防概率与目标打击效能的关键支撑技术。围绕飞行器集群协同制导技术发展现状,分别以时间协同约束、空间协同约束及时空协同约束为主线,介绍了国内外技术的发展思路。最后,对飞行器集群协同制导技术进行了概括总结,并对该技术在未来的发展方向进行了展望。     

低碳经济下的碳战略业绩评价体系建设

发展低碳经济是人类解决日益严峻的全球气候变暖问题的必然选择.企业作为发展低碳经济的主体,积极履行环境责任是保持持续竞争力的关键.发展低碳经济所要求的现代企业碳战略业绩评价体系建设也将推动和保障企业环境责任的实现.     

顺铣在铣削高密度高韧性难加工材料中的应用

随着难加工材料在航天型号产品上的广泛应用,如何在现有条件下解决高密度、高韧性难加工材料(不锈钢、钛合金、高温合金等)的铣削加工显得尤为重要。在生产实践中,经过不断的探索与总结,改变传统铣削加工方式,调整工艺参数,克服了不锈钢、钛合金等高密度、高韧性材料的铣削加工难点,较好地保证了某重点军工产品加工精度的要求,同时,该技术亦具备良好的加工经济性。     

低碳经济下的碳战略业绩评价体系建设

发展低碳经济是人类解决日益严峻的全球气候变暖问题的必然选择。企业作为发展低碳经济的主体,积极履行环境责任是保持持续竞争力的关键。发展低碳经济所要求的现代企业碳战略业绩评价体系建设也将推动和保障企业环境责任的实现。     

基于人工智能技术的磨粒显微形态学分析

基于颗粒显微形态学分析理论，建立了一套磨损微粒显微特征描述体系。首先应用这套特征参数描述体系，提取磨损微粒形态中蕴涵的特征信息，然后综合使用自动聚类、人工神经网络和其他的人工智能分析方法进行磨损微粒的综合分析与识别。本项技术已经在航空发动机磨损故障诊断中得到了实际应用。     

基于模糊神经网络的涡扇发动机加速控制

采用模糊神经网络对某型涡扇发动机加速过程进行自适应控制，为了进一步提高系统性能，采用遗传算法和BP算法相结合的方式，对系统分别进行了离线和在线优化。仿真结果表明，设计的模糊神经网络控制器具有良好的性能。     

人工智能技术在航空火控系统故障检测中的应用

传统的故障检测方法是使用多种检测仪器来进行 ,不能满足现代战争的需要。为提高作战效能 ,采用人工智能技术 ,研制了航空火控系统故障检测装置 ,为技术人员进行航空火控系统的性能及故障检测提供了便利。