自然语言形式化研究中几个基本问题的再认识

针对目前自然语言形式化研究中存在的问题 ,就歧义性、形式化与系统模型等几个基本问题做了进一步的分析与讨论。认为 :歧义性有狭义与广义之分 ,有层次之分 ,又有形式化与非形式化之分 ,确定它们的界线是很重要的。如何使系统体现出自然语言的个性化是目前形式化研究中应引起注意的一个关键问题 ,为此还提出一个系统结构模型。     

环境水平不变的水声环境参数盲估计与实验验证

为秘密、隐蔽地获取非常时期或非合作海区的水声环境参数,提出了水声环境参数盲估计的概念,分析和研究了水声环境参数盲估计理论,并对其中的目标函数进行了详细探讨,同时利用SWelIEx-96海试的部分数据对基于水平不变的水声环境参数盲估计方法进行了实验验证.实验结果表明,基于环境水平不变的水声环境参数盲估计技术是可行和有效的.     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

某型加速度计装配技术问题研究及对策

<正>通过对某型加速度计装配过程各环节分析研究,找出了影响加速度计失准角超差的因素,有针对性地提出解决措施,并经批量生产验证,切实提高了加速度计生产合格率,取得了较大的军事和经济效益。引言某型加速度计是某型导弹飞行控制舱配套使用的核心惯性测量组件,安装在导弹相互垂直的空间三维方向上,通过敏感相应方向的加速度,输出与输入加速度成比例的电信号,为控制系统提供准确加速度数据,与陀螺共同为导弹提供飞行     

陆空火力协同仿真推演验证系统设计

针对陆空联合作战中火力协同方案制订、验证手段方法的不足,采用计算机仿真的方法,从安全防误伤的角度对陆空火力协同方案进行了仿真推演评估。分析了功能需求和体系结构,建立了武器装备运动轨迹模型和陆空火力协同安全性判别模型,研究了仿真时钟推进机制和提高仿真速度的方法,设计了陆空火力协同仿真推演验证系统。作战演习应用表明：该系统仿真推演验证快速、准确、便捷、有效。     

基于飞参数据的飞行仿真模型验证

由于缺少真实数据的支持,飞行模拟器飞行仿真模型的验证一直缺乏有效的量化验证测试手段。针对这一现实难题,提出使用飞参数据进行模型验证的方法。通过介绍和分析飞参数据的来源、用途和特点,论证了该方法的可行性。设计和开发了飞参自动验模系统,介绍了其基本原理和结构组成,并对其中的难点和关键问题进行了深入研究分析,阐述了解决问题的思路和方法。试验结果验证了飞参验模系统的正确性和有效性,对提高飞行模拟器逼真度具有积极意义。     

30 cm离子推力器栅极组件寿命预估及试验验证

为了预估30 cm离子推力器现有三栅极组件的整体寿命,采用有限元分析和PIC-MCC方法分别对栅极组件的热态平衡间距以及栅极不同区域的刻蚀速率进行了模拟和计算。结果显示,推力器达到热平衡状态时,减速栅整体变形呈现中心局部凹陷特征,加速栅整体变形呈均匀突起;在直径0～70 mm内的中心区域,两栅间距平均缩小0.057 mm;在直径70～140 mm内的环形区域,两栅间距平均增大0.129 mm;减速栅边缘区域小孔在1 500 h内的刻蚀速率达到6.25×10^-14 kg/s,而5 700 h的栅孔刻蚀速率相比1 500 h的降幅达到了15.4%;5 700 h的加速栅中心和边缘以及减速栅中心区域小孔的刻蚀速率相比1 500 h的降幅分别达到了8.0%、4.1%和3.6%。5 700 h的寿命试验结果显示,减速栅中心孔、加速栅中心和边缘孔的刻蚀基本呈线性,仿真与试验结果的比对误差均在10%以内。     

基于体系推演的作战概念建模与验证方法

针对未来新兴作战概念建模和验证需求,分析国内外作战概念建模和验证现状,采用体系工程建模分析与验证方法,构建基于DoDAF2.0框架和推演仿真的作战概念建模和验证方法,提出要害破击型和优势压倒型的作战概念制胜机理分析方法,并以美国海军一体化协同防空作战概念为例,进行作战概念建模和效能验证分析,初步验证了方法可行性。     

飞机任务系统任务合成技术研究

针对复杂环境、复杂任务以及复杂作战过程的现状,首次提出了任务合成的概念、任务合成的运行架构并建立了验证环境,为提升未来飞机作战能力提供了理论基础和参考。任务合成技术分为任务态势感知模式合成、任务计划评估决策模式合成、任务执行与管理模式合成,通过构建任务模式和活动组织,依据任务目标和任务架构,确定系统任务能力、目标和状态组织结构,形成系统任务合成模式,从而达到提升任务系统响应、任务优化、任务执行的能力和品质的目的。