知识表示的F-K系统

对经典知识表示系统（多系统）进行了扩充，引入一个刻划“大概知道”的模态词“Ｆ”，并建立了相应的公理系统Ｆ－Ｋ，该公理系统除包含“Ｆ”外也包含经典模态词“Ｋ”。同时，基于滤子对经典Ｋｒｉｐｋｅ框架及模型进行了扩充，从而给出了“Ｆ”的语义，并证明了该语义下Ｆ－Ｋ的完备性与可靠性。     

空中交通管理飞行安全检查系统的需求捕获

空中交通管理飞行安全检查系统提取空中交通管理中性的不安全信息，作定量和定性分析。为飞行安全工作提供方便、客观的依据。在开发该系统初期阶段的需求获取工作中，采用“用例”技术去收集和整理系统新的需求，理解系统并知晓系统如何工作。本文试着用这种比较先进的软件分析技术去解决其系统软件的需求捕获问题，并简单描述采用这种技术的基本方法和过程。     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。     

美国国防科技信息数据库简介

1）查阅美国国防系统中使用频率最高的数据库是“GPA”、“WPI”、“INSPEC”等数据库；     

用于C~3系统的可靠性模型和联系统

C~3系统的工作状态实际上有多种取值,仅用正常与失效两种状态的概率来描述其可靠性是不够的。因此它的模型不是“k/n系统”,而是“和联系统”,其可靠性,需按实际工作状态的特点进行描述而不用纯概率的可靠度进行描述。按此模型,可用模块框图的一般方法对含有C~3子系统的大系统进行可靠性预计、评估和优化设计。本文实例中,利用任务完成率R的概念,成功地算出了遥测地面系统接收站的最佳布局。     

基于北斗的电子对抗装备备件保障模式研究

随着新电子对抗变革的发展,我军电子对抗装备备件保障工作由传统的“粗放型”向“精准化”转变。为主动适应战时装备备件保障工作,构建“三化融合”视域下的战时电子对抗装备备件保障模式,以北斗定位技术为支持,5G技术为补充,利用北斗系统提供的备件运输工具的相关实时数据,形成强有力的集机械化的装备备件配送系统、智能化的地面仓储中心以及信息化的战时后勤指挥体系于一体的保障模式,提高电子对抗装备备件保障工作的透明性、精准性和及时性,并对我军电子对抗装备备件保障的未来发展方向进行展望。     

A320发动机引气系统 "TCT故障"浅析

本分析了A320发动机引气系统“TCT”故障原因，提出了改进措施。     

民航二所“成都区管自动化备份系统”通过现场验收

5月21日,由民航二所承担建设的“成都区域管制中心空管自动化备份系统”通过了现场验收。这标志着民航二所已具备承担大型空管自动化系统建设的能力,也是民航单位第一次承担区管级自动化系统的建设任务。     

民航二所两项科研成果通过民肮局鉴定

在民航局人事科教司近日在北京组织召开科研成果鉴定会上，民航二所“1090MHzADS-B地面站系统研制”、“多协议数据通信网关”两项科研成果顺利通过鉴定。     

南京哈尔滨空管自动化系统签约仪式在京举行

2009年12月29日．“长三角地区雷达管制工程南京空管自动化系统”、“极地航路雷达管制工程哈尔滨空管自动化系统”项目合同签约仪式在北京隆重举行。出席仪式的有民航局空管局、民航东北空管局、民航华东空管局、民航二所等有关单位的领导和代表。此举标志着我国民航开始大量采用具有自主知识产权的国产空管自动化系统．我国民航空管装备国产化进程稳步推进。     

江苏省农业生产结构优化决策系统的研究

按照系统适度开放、供需协调发展、充分利用现有和潜在资源的原则,对现状农业生产结构进行评估。采用定性与定量相结合和系统分析方法,建立数模优化方案,从中筛选出最佳方案和实现对策,促进“二高一优”农业生产结构的发展。     

一种小功率组合式航空发电机

先进的飞行控制系统和机载电子系统设备对轻型飞机电源系统的要求越来越高，电源系统的可靠性将直接影响到轻型飞机的安全性。本文提出了一种适用于轻型飞机的小功率组合式航空发电机方案。这种新型的“永磁─—内封闭导磁体”组合发电机既有永磁发电机的体积小、重量轻、无电刷等优点，又有内封闭导磁体发电机电压可调的优点。在发电机体积重量增加不多的情况下，免除了复杂的直流变换器，使电源系统体积最小、重量最轻，并且提高了系统的可靠性。同时采用晶体管脉宽调制激磁控制方式，使电源系统的稳压性得到提高。     

帅康中国火 开启灶具新时代

日前．中国厨卫领军品牌帅康举行盛大新闻发布会．正式发布了其自主研制的“中国火”灶具技术。据悉．“中国火”采用两项完全拥有自主知识产权的颠覆性技术：“集束精控燃烧系统”和“全封闭上进风”。新“全封闭上进风”技术的采用使空气均由面板上方进入混气腔．火苗稳定．不会发生熄火，从根本上避免了因回火引起的面板损毁．内部元器件烧毁以及由此造成的燃气泄漏．更清洁环保。     

基于CIMS环境的MRPⅡ

MRPⅡ(Manufacturing Resource Planning)即制造资源计划,是计算机集成制造系统(CIMS)中管理信息系统的重要组成部分.文中以大批量生产类型的机械制造企业CIMS为背景,从企业生产环境、企业管理思想与方法、企业经营特点、CIMS运行环境等方面分析了CIMS环境对MRPⅡ的软件功能、软件结构的需求,提出了CIMS环境下的MRPⅡ软件的功能、接口及系统结构.最后,分析了摩托车生产企业CIMS环境中的MRPⅡ的实现方案,及采用MRPⅡ的“推”式逻辑进行生产计划,采用“JIT”(Just In Time)的“拉”式逻辑进行生产控制的混合结构的特点.     

中川机场应用首套国产机场行李托盘分拣系统

民航二所近日在兰州中川机场二期扩建工程航站楼行李处理系统设备采购及安装项目招标中成功中标。此次中标打破了国外企业在该项目的长期垄断，标志着我国自行研制的“机场行李托盘分拣系统”成功实现了产业化应用。     

用PROLOG实现数据库智能检索系统DBINRES

本系统将人工智能技术与数据库技术结合起来,建立逆向演绎的推理机构,实现数据库智能检索。采用“分类树”技术组织数据库;应用最小平方估计法建立有效的启发式评价函数,在此基础上变传统的深度优先搜索为启发式图搜索,从而有效地提高了系统的效率。由于采用MICRO-PROLOG语言编制,本系统具有较强的逻辑推理与检索能力。     

信息系统群演化的综合环境SEE的研究

旨在通过对系统构架各视角的研究，开发一个信息系统综合演化环境，从而提供针对各类系统演化特征的通用的解决方案，并利用方法论的手段规范、指导和维护系统(群)的演化活动。本文首先论述了大型系统中各个系统和组件变化及改进活动中存在的问题，分析相关的研究及面临的挑战，从而提出系统群演化的概念。然后文章概括了系统群演化的特征，提出解决以上问题的思想方法，即开发“信息系统群演化的综合环境(Synthetic environment of evolution，SEE)”，将各种演化活动纳入规范，指导系统群的演化活动；在此基础上，进一步就实现SEE的关键技术给出了描述及运用的范例。     

飞行器纵向阻尼动导数直接测量实验研究

介绍了新研制的“FL-8风洞大幅升沉和俯仰耦合振荡实验系统”及采用该系统产生纯俯仰运动测量飞行器纵向阻尼动导数的试验技术，给出了部分试验结果。实验结果表明，阻尼导数和时差导数在中、大迎角时存在明显的非线性耦合，采用纯俯仰运动直接测量的阻尼导数在整个迎角范围内都是合理的。     

民航二所行李系统“托盘分拣机”项目通过民航局科技成果鉴定

2013年7月19日，民航局人事科教司在成都主持召开了“新型翻盘式行李分拣设备的关键技术研究”项目成果鉴定会。民航二所行李系统“托盘分拣机”科研项目顺利通过民航局科技成果鉴定。     

10月起“全智能”伴你游九寨

从“九寨沟风景区游客安全随护导游系统技术论证会”传来消息《九寨沟风景区安导通随护系统》项目日前正式通过专家评审．有望今年10月与游客见面。届时．进入九寨沟风景区的游客＋只需携带一个类似手机的全智能化”终端设备,就能随时随地掌握景区的各种信息,