二元语义判断矩阵的性质及其在航线优选中的应用

研究二元语义语言判断矩阵的性质及相关问题。利用二元语义的定义,讨论二元语义判断矩阵的定义与性质,探讨这些性质之间的内在联系,并给出基于二元语义判断矩阵的排序算法;通过对二元语义评价值与模糊数以及语言评价值的转化关系的研究,论证转化后的二元语义判断矩阵仍然具有一致性等性质,从而保证评价信息的完整性与真实性。最后给出一个航线优选的算例。     

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件，操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障，但仍存在不能完全排除缺陷的情况，因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分，本文在分析操作系统需求的基础上，采用有限状态机在操作系统需求层进行形式化描述，并针对应用在某航天器上的SpaceOS2在需求层进行了建模，相应地在定理证明工具Coq中进行了描述建模；然后定义了六条操作系统应满足的全局性质并进行了形式化描述，给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的，为进一步全面形式化验证奠定了基础.     

汉语动词框架库的自动构建技术研究

语义知识库是自然语言处理的基础性工程,但现阶段语义知识库的构建,大部分基于人工。针对动词语义信息在自然语言处理中的实际应用,提出了自动构建汉语动词框架库的方法。首先,本系统针对不同的格关系抽取不同的扩展特征,并提出了将格标作为特征,训练得到基于最大熵的格关系识别模型,从而有效的识别了文本中的动词格关系。其次,采取有效的基于现有词语相似度的算法,并加入了启发式信息,从语料库中自动获取动词对必需格关系的语义选择限制。实验结果表明,对动词格关系识别的准确率达到了90．70％,在语义限制阶段,对必需格角色的语义类识别的准确率达到了98．00％。     

基于上下文感知的智能健康监护系统研究

随着我国老龄化和空巢老人的日益增多,老人的健康监护问题已成为新的研究热点。传统的健康监护系统仅采集到零散数据,不能根据老人所处环境、身体特点进行有效的健康监护。基于上下文感知的健康监护系统可以整合与用户健康相关的各种信息,从而提供更有效的服务。     

系统形式化分析在AILS研发中的应用

系统形式化分析（system formal analysis）是近些年在航空系统研发中所应用的一种安全评价方法。原理是运用数学建模，对研发航空软件系统所有假设条件下的输入集元素的有效性及系统算法逻辑性进行验证，其本质是假设合理性及算法正确性的数学检验，可弥补传统的模拟、试飞等安全评价手段的局限性，并将逐步成为未来航空系统研发中安全评价的重要步骤和手段。介绍了系统形式化分析在机载横向间隔信息系统（AILS）研发中的安全评价应用，通过假设检验、建模验证AILS告警算法等，给出了该系统的安全性论断并提出了相关建议。     

俄汉语词汇的民族文化语义

在俄汉语词汇中，由于不同的历史条件，不同的情景而致每个词汇除它的基本词义外都会有独特的语义，带有民族文化特点的语义．本文把俄汉语词汇分为同义型、歧义型、特义型来阐明它们在民族文化语义上的异同．     

统一建模语言UML及其应用

UML是面向对象的统一建模语言，是面向对象领域的重要成果。它的内容包括UML语义和UML表示法两个部分。本文简要介绍了UML语义，表示法的内容，并总结了它在某些重要领域的应用。     

基于SCADE的FADEC软件通用基准模型库开发

在航空发动机全权限数字电子控制（FADEC）软件研制过程中,可重用基准模型库的开发和使用是提升软件研发效率和 质量的重要技术手段。为了提升FADEC软件复用效率,加快软件研发进程和适航认证,在分析模型库相关指南和规范的基础上, 结合工程实际的需要,完成FADEC基准模型库的设计和验证,以三角函数类、方根类、滤波类和余度表决类4种典型类型为对象, 通过泰勒定理、牛顿迭代和离散化等数学理论和自动控制理论进行机理分析,基于安全关键软件开发环境（SCADE）建模仿真工具 完成模型库设计,通过对比仿真、模型测试和形式化验证方法等完成模型库验证。结果表明：该基准库支撑了多个FADEC软件项 目的研制,其正确性和可靠性已在各项工程试验中得到反复检验,具有十分重要的工程价值,所提出的模型库设计和验证方法也 具有一定的借鉴意义。     

面向装配工艺规划的语义建模方法研究与应用

将语义建模的方法引入到计算机辅助装配工艺规划(CAAPP)的研究之中,提出了面向装配工艺规划的语义建模的基本概念、研究方法和主要内容,详细阐述了面向装配工艺规划的语义建模方法中的应用对象、语义关系以及操作等,并在此基础上描述了产品装配信息的表达方式以及基于语义建模的装配工艺规划系统的主要结构.     

基于语义的航空CAD模型检索算法

针对航空制造型企业对机械零件检索的需求,提出一种基于语义的三维航空CAD模型检索算法。首先将模型进行分割,分割为一些有意义的子部分,然后对这些子部分进行语义描述和标注,并建立CAD模型的本体表示,最后基于CAD模型语义本体实现模型的相似性评价。结果表明,本文算法能较好地实现模型语义检索,检索性能高于通用领域的检索算法,可以实现机械模型设计和制造知识的重用。