可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

一种基于容腔节点的液压系统建模语言及实现

为实现直观面向系统原理图对液压系统建模,提出了一种基于容腔节点法的液压系统建模语言和一套新的建模语言描述规则,并阐述了利用该建模语言进行程序实现的方法.该建模语言将液压系统的拓扑结构抽象成具有容腔节点和元件节点的图形结构.液压元件模型独立封装,可模块化使用.在建模语言描述规则的基础上,生成容腔节点与元件节点的连接矩阵.所有节点和连接矩阵构成了系统的整体模型.通过典型智能液压泵系统建模过程,验证了该建模描述语言的正确性和有效性.结果表明:该基于容腔节点的液压系统建模语言可方便建立符合液压系统原理的拓扑图,并面向系统原理图自动生成系统模型.      

燃烧室三维贴体网格的生成方法研究

研究了燃烧室三维贴体网格人机交互生成的方法.使用该方法可以生成包括扩压器、内外环通道和火焰筒在内的燃烧室流场计算所需的整个网格.可以对网格的疏密和正交性进行调整.可以处理火焰筒上的主燃孔,掺混孔和气膜孔.并能够输出边界曲面上网格点的类型,用于流场计算.网格边界线的输入和边界线上的网格点分布采用人机交互方式生成.使用VISUAL BASIC语言编写程序界面.把整个网格生成及图形显示功能集成在一个软件中.     

一个汉语语法自动分析系统的结构及其软件系统的设计与实现

本文简要介绍了汉语语法自动分析系统BH-86的结构和它的软件系统的设计与实现。此软件系统提供了一个描述规则系统的专用语言BH-86L,可在机器上同时支持用此语言描述的几个规则系统,并提供了规则系统的管理、调试工具。     

一种面向服务的业务过程建模语言

通过对现有业务过程建模语言的分析指出了其对面向服务支持的不足,以可视化过程建模语言VPML(Visual Process Modeling Language)为基础,提出了一种面向服务的可视化过程建模语言VPML-S,并提出了该语言的概念设计框架,简述了其通用的建模元素;使用UML类图设计了该语言的元模型,在此基础上建立了语言的形式化模型;分析和评估了VPML-S中的服务元素所提供的将活动映射为Web服务的面向服务功能,嵌入子过程元素所提供的多个业务过程之间的复用机制,管道元素所提供的多个业务过程的协作机制以及VPML-S和其它语言所建立的业务过程模型的互操作支持机制;评述了VPML-S的可视化图符替换、元模型扩展机制;最后通过一个网上购物流程实例说明VPML-S为面向服务的环境下的业务过程复用、协作和互操作提供了有效的支撑.      

探月飞行器软着陆光学自主导航的特征图形匹配方法研究

对基于特征图形匹配的月面精确着陆光学导航方法进行了研究, 包括图像特征点提取、特征图形构建以及特征图形匹配. 利用特征点间相对距离不变的特性, 确立特征点的连通规则, 解决存在平移、旋转和放缩等情况下的图形匹配问题. 利用多幅月面真实图片对算法进行仿真测试, 仿真结果验证了其有效性. 以所提出的特征图形匹配方法为基础, 设计仿真算例对导航方法进行验证, 结果表明, 基于特征图形匹配的光学导航方法可实时确定飞行器的位置和速度信息且精度较高, 是适用于探月飞行器精确着陆导航的有效途径.      

一种基于N元语法分布的语言模型自适应方法

N元语法分布能恰当地描述语料库的特性,为了有效利用普通领域训练数据,提出一种基于N元语法分布的语言模型自适应方法.该方法定义一个小的领域内的高质量种子集和一个大的普通领域的质量不稳定的训练集,将训练集的N元语法分布自适应到和种子集的N元语法分布相似,以更好地进行特定领域单词识别.实验结果表明,基于N元语法分布的语言模型自适应方法可以使单词困惑度和词错误率分别比传统的简单插值法降低11.1%和6.9%.     

像素对图形电磁计算精度的影响和解决方法

在图形电磁计算中,通过控制图像绘制分辨率提高物理光学积分的计算精度.使用像素级的面元近似,把物理光学积分转化为具有数值积分形式的基于像素的求和.使用Nyquist 空间采样理论,提出了能够满足高频RCS(Radar Cross Section)计算精度需要的像素对应的电尺寸值;由此给出了图形电磁计算中的图像分辨率的确定准则,并提出一种改变图像分辨率的方法.通过分析典型目标和复杂目标的计算实例,这种确定图像分辨率的准则可以成立.      

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

通用仪器CA要视软件开发平台的初步研究,开发和应用

介绍了种适合中国国情的自动测试系统虚拟仪器图形软件－－通用仪器ＣＡＴ可视软件开发平台的初步研究、开发和应用。该软件采用了国际上最篝的美国ＮＩ公司ＬａｂＶＩＥＷ和中文Ｗｉｎｄｏｗｓ作为开发环境和工具。利用本软件，国内用户无须学习ＧＰＩＢ复杂工作原理和传统编程语言，只须稍微熟悉一下饶有趣味的，简易易的图形软件操作使用方法，形象地配置自己的测试系统，设计组合或调用色彩丰富、赏心悦目的虚拟仪器面板图形、     

面向对象的虚拟组织集成建模方法

提出了一种适应虚拟组织业务过程动态变化的虚拟组织集成建模方法(VOIM,Virtual Organization Integrated modeling),该方法集标准化面向对象的建模语言(UML,Unified Modeling Language)、功能建模集成化定义方法(IDEF0,Integration Definition for Function Modeling)和事件驱动过程链(EPC,Event-driven Process Chain)为一体,以弥补单一方法的不足,适合复杂系统特别是虚拟组织的建模,其中:IDEF0对虚拟组织的功能建模,EPC对功能视图进行细化,UML通过实体映射关系把虚拟组织模型的各个视图有机结合起来,有利于实现系统的模块化和模型的重用;同时对建模过程中UML到EPC之间的转换方法进行了研究.最后对模型进行了形式化描述,从而使VOIM具备严格定义的抽象语法和语义,为模型的验证和仿真提供了良好的基础.     

LAS词法及语法分析器自动生成工具

LAS是在VAX/VMS操作系统上用Ada语言开发的词法分析器和语法分析器的自动生成工具。词法分析器由词法执行程序和LAS根据词法规则说明文件生成的词法树组成,语法分析器由语法执行程序和LAS根据语法规则说明BNF范式生成的状态序列集组成,在BNF范式中插入语义标志,就可以在语法分析器分析到该语义标志时,使控制转入用户提供的语义处理程序。     

基于依存句法的图像描述文本生成

现有图像描述文本生成模型能够应用词性序列和句法树使生成的文本更符合语法规则，但文本多为简单句，在语言模型促进深度学习模型的可解释性方面研究甚少。将依存句法信息融合到深度学习模型以监督图像描述文本生成的同时，可使深度学习模型更具可解释性。图像结构注意力机制基于依存句法和图像视觉信息，用于计算图像区域间关系并得到图像区域关系特征；融合图像区域关系特征和图像区域特征，与文本词向量通过长短期记忆网络（LSTM），用于生成图像描述文本。在测试阶段，通过测试图像与训练图像集的内容关键词，计算2幅图像的内容重合度，间接提取与测试图像对应的依存句法模板；模型基于依存句法模板，生成多样的图像描述文本。实验结果验证了模型在改善图像描述文本多样性和句法复杂度方面的能力，表明模型中的依存句法信息增强了深度学习模型的可解释性。      

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

需求模式

为了解决软件开发过程中需求重用的问题,对统一建模语言中的活动图进行了扩展,用以作为软件需求捕获和描述的工具,并以此为基础通过借鉴其它模式语言的通用描述方式,提出了基于过程模型的需求模式描述语言,其描述框架包括模式名称、所属领域集合、适用语境、所要解决问题、条件约束、解决方案、模式实施、应用实例以及相关模式等方面,详细定义了语境、解决方案和相关模式的描述方式,并在此基础上给出了需求模式开发和应用的指导性原则.提出的需求模式技术,使软件最高抽象描述层次的重用成为可能,其应用必将大大提高软件开发的效率.      

飞机全生命期过程建模技术及支持环境

从飞机全生命周期过程建模的需求出发,针对大型复杂过程的建模提出了综合过程模型,对过程建模语言进行了扩充.探讨了大型复杂过程的建模方法,设计并开发了相应的过程建模和模拟软件,并成功地应用于某型飞机研制过程的建模.      

实时嵌入式软件测试输入的可视化建模

实时嵌入式软件仿真测试是一种目前应用较广的测试技术.文中根据实时软件及其输入的特点,结合在软件工程领域有着广泛运用的统一建模语言(UML),提出了一套基于输入类图、输入顺序图并辅以输入描述的测试输入可视化建模方法,在此基础上可以自动生成测试脚本或测试数据,用于驱动实时嵌入式软件测试的进行.