基于语义的仿真网格模型资源发现技术

针对现有网格资源管理中间件缺乏对仿真模型资源语义层次的描述和发现匹配这一问题,引入本体概念,定义了仿真模型描述本体,实现了对仿真模型的语义描述;提出了基于本体推理的仿真模型语义匹配算法,将仿真模型语义匹配的量化程度映射到了 上的连续值域,并且支持仿真模型输入/输出的组合匹配;将研究结果应用于仿真网格的仿真模型匹配发现服务的实现中,通过典型的应用实例,有效地验证了提出的仿真模型描述本体和语义匹配算法.      

基于主题模型的结构化Web服务发现机制

提出了基于主题模型(topic model)的结构化Web服务发现机制.利用LDA(Latent Dirichlet Allocation)生成概率模型,将Web服务(Web service)建模为结构化文本文档.一个文档视作主题的概率分布,主题又由关键词的概率分布组成,从而提供基于主题的Web服务检索.同时,利用Web服务的结构化特性,将Web服务描述文档表示为有向无环图,利用n阶谱核测量Web服务文档的相似度,实现Web服务结构化信息的发现.通过实验分析对比,基于主题模型的结构化Web服务发现机制有效提高了Web服务发现的效率和精确率.      

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.      

一种基于关键特征的搜索引擎结果聚类算法

为了解决用户在搜索引擎结果列表中寻找所需信息困难的问题,帮助用户快速有效地定位有价值的Web文档,与向量空间模型方法不同,采用基于关键特征的聚类算法(KFC).首先从搜索引擎返回结果的关键词里选择重要的词作为关键特征,然后通过分析特征间的关系对特征聚类,最后基于特征聚类结果实现文档的聚类.通过对实验结果的测试表明了算法的有效性.      

基于知识本体的资源管理平台框架设计与实现

针对大量领域信息资源缺乏有效内容分析这一问题,设计、开发了通过构建领域本体来充分发掘信息资源之间内在关系,实现信息资源增值服务的原型系统.首先构造了服装知识本体CO(Costume Ontology)用来表示服装领域知识.利用CO对被管信息资源进行语义描述,在描述数据库的基础上,实现基于语义的信息检索.讨论了服装知识本体的建模过程,本体的形式化表示以及存储方式.实验系统采用J2EE架构,开发了存储组件、语义查询接口组件、语义分析组件和语义推理组件.通过使用资源描述框架RDF,实现被管信息资源到知识本体层的映射.通过语义分析和语义推理,可以充分利用信息资源之间的关系实现相关信息资源检索与语义融合.     

Web信息融合系统基础设施的研究

元建模是实现分布异构数据源间互操作的有效途径,元模型框架MMF(Meta Model Framework)是一套元对象和元模型结构的集合,用于信息注册和信息资源库开发中元模型建立.将联邦数据管理系统与软件工程中本体元模型框架结合,建立Web信息融合系统基础设施的体系结构.结合语义Web服务平台和软件代理技术,研究Web信息融合系统基础设施的运行机制.提出本体对象(ontology-object) 建模理论和方法,指导Web信息融合系统基础设施的开发设计,简化设计开发过程.      

一种基于P2P网络的语义Web服务发现机制

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.      

三维公差分析中工程尺寸驱动原理与应用

由于产品标注的工程尺寸和建模参数之间存在差异,参数化驱动技术在公差分析中的应用范围受到限制,提出了基于工程尺寸驱动技术的公差分析方法.将传统尺寸转化为产品模型上几何元素之间的约束关系,分析工程尺寸集和建模参数集之间的映射机理;把工程尺寸的驱动问题转化为非线性方程组的求解问题,并采用牛顿迭代法进行计算.这些方法在UG系统上得以实现,并通过实例分析进行了验证.     

基于Web服务的E-Police系统架构

传统电子警察系统由于过分依赖单一服务器,在系统运算、网络传输以及存储容量上难以满足海量数据的需求.将Web Service技术应用到电子警察系统,设计了各前端节点对等的集群式服务器加单一后端客户处理机模式的E-Police电子警察系统架构,提出了计算服务、存储服务和查询服务;松散耦合的E-Police系统以3种服务的实现为核心,系统依靠大量前端节点承担主要工作,提高了资源利用率;通过Web服务的准备、发布和建立3步流程,实现了一套完整的任务、资源和数据流管理方案,解决了传统系统计算性能、存储容量与图像质量三者难以平衡的问题.      

基于本体的仿真系统全生命周期管理

建模与仿真(M&S)作为一门新兴的综合性技术,已成为继理论分析和实验实践之后第3种认识和改造客观世界的方法.首先针对M&S的需求,提出了仿真系统全生命周期管理(SSLM)的概念,进而指出SSLM作为仿真系统支撑环境的一项关键技术,能对仿真系统全生命周期中的过程和信息进行全面管理,实现目前产品全生命周期管理(PLM)尚未实现的功能.建立了基于本体的面向全生命周期三维模型,提出了基于本体论的SSLM内容管理方法,定义了面向SSLM的本体,它包括基本本体、领域本体和应用本体.在此基础上,用SSLM本体定义中的谓词构成查询语句,实现了基于语义的模型查询.      

一种结合全局和局部相似性的小样本分割方法

针对小样本分割中如何提取支持图像和查询图像共性信息的问题，提出一种新的小样本分割模型，同时结合了全局相似性和局部相似性，实现了更具泛化能力的小样本分割。具体地，根据支持图像和查询图像全局特征和局部特征之间的相似性，提出了一种新型注意力谱生成器，进而实现查询图像的注意力谱生成和区域分割。所提注意力谱生成器包含2个级联模块:全局引导器和局部引导器。在全局引导器中，提出了一种新的基于指数函数的全局相似性度量，对查询图像特征和支持图像的全局特征进行关系建模，输出前景增强的查询图像特征。在局部引导器中，通过引入局部关系矩阵对支持图像特征和查询图像特征之间的局部相似性进行建模，得到与类别无关的注意力谱。在Pascal-5i数据集上做了大量的实验，在1-shot设定下mIoU达到了59.9%，5-shot设定下mIoU达到了61.9%，均优于现有方法。      

基于两层元数据与本体的异构数据共享技术

针对多源、多类、异构数据难以同时共享的问题,提出了一种两层元数据结合本体的信息共享技术.首先,分析了两层元数据的结构,介绍了如何通过两层元数据统一描述多类异构数据.其次,针对元数据缺乏语义信息不能描述数据类别之间的隐含关系的问题,在元数据之上建立本体层,对元数据进行语义描述和本体推理.最后,在数据检索方面,利用Lucene全文检索引擎与SPARQL(Simple Protocol and RDF Query Language)本体查询语言相结合,在关键词查询过程增加了SPARQL检索操作,提高了查全率,并优化了检索时间.实验选取了2014-2015赛季欧洲足球冠军联赛数据作为测试数据,证明了本文方法在异构数据共享上的有效性和元数据查询性能的改进.      

航空电子高速交换式网络的服务质量保证方法

以保证航空电子高速交换式网络的实时性和高带宽为目的,提出光纤通道(FC,Fibre Channel)通信协议承载于波分复用(WDM,Wavelength Division Multiplexing)传输机制之上的架构.采用适用于实时交换的周期性数据流模型,提出了基于负载匹配的输出轮询(LOR,Load-matching Output Round)调度算法.该算法仅使用一次仲裁即可达到输入/输出的最大匹配(100%).给出LOR算法的核心代码,时间复杂度仅为O(1),易于在硬件中实现.最后通过将LOR算法嵌入到网络处理器中,注入时间敏感的负载流量,以服务质量特性(延迟、吞吐和超时消息数)为性能衡量指标进行实验,结果表明LOR算法在轻负载(30%)下,服务质量特性与经典算法(iSLIP, DRR, EDRR)基本持平;在重负载(70%)下,仅LOR算法能满足延迟的实时性要求,且LOR吞吐率高于经典算法近10个百分点,超时消息数比经典算法少了100个以上.      

R*-树结点自适应聚类分簇算法

为提高逆向工程中点云、三角网格等数据的索引效率,提出一种R^*-树结点自适应聚类分簇算法,采用均匀分布数据作为参考点集,基于间隙统计法及k-均值算法获得使结点相似度之和开始收敛的自然簇数,进而实现R^*-树的结点自适应聚类分簇.实验证明,该算法可实现各类复杂几何对象的R^*-树结点分簇问题,并能降低R^*-树结点分簇的参数依赖性,减少结点重合度,提高R^*-树空间数据查询效率.     

共面圆轨道航天器在轨服务任务规划

为了降低"一对多"在轨服务的成本,以共面圆轨道卫星群为研究对象,开展了在轨服务任务规划问题的研究。首先,对"一对多"在轨服务任务场景进行了分析,建立了任务规划数学模型,将其简化为包含内层Lambert问题、外层最优时间分配问题的双层优化模型。然后,给出了任务规划求解方法及流程,提出采用工程图解法的思想求解内层多圈Lambert问题,采用遗传算法求解外层最优时间分配问题。最后,以三个目标航天器为例,针对限制和不限制在轨服务任务完成总时间这两种情况,采用上述方法进行求解,计算结果验证了方法的有效性。