导读:本文包含了语义可组合仿真论文开题报告文献综述及选题提纲参考文献，主要关键词:仿真组件,组合建模,语义可组合性,本体
语义可组合仿真论文文献综述
杨健,董立勇,马金梁,王志涛,王龙兴[1]（2019）在《基于本体的仿真组件语义描述和可组合性检验方法》一文中研究指出基于本体研究了结构化描述仿真组件语义的方法,提出基于领域逻辑和客观规则构建组件间的横向与纵向语义关联关系.分析了组件属性的一般性与特殊性,阐明了组件的语义信息层次化的特点.提出了基于层次化语义描述方法的语义可组合性检验算法.最后提供了一个基于本体的组件可组合性检验案例.(本文来源于《指挥与控制学报》期刊2019年03期）
张童[2]（2008）在《面向服务的语义可组合仿真关键技术研究》一文中研究指出可组合仿真是当前以XMSF (Extenxible Modeling and Simulation Framework)为代表的新一代基于Web的可扩展建模与仿真框架亟待解决的关键技术,特别是作为其重点和难点的语义可组合性问题,已经引起了当前建模与仿真(Modeling and Simulation, M&S)领域的广泛关注。语义可组合仿真的实现能够为解决广域网范围内仿真系统的快速有效构建提供支持。基于语义可组合仿真技术,Web上存在的仿真应用不再仅仅是为人所用,而是可以被计算机所自动识别和调用,仿真应用之间的交互、集成将是自动完成的。由于要完全实现这一目标还有一段很长的路要走,需要开展大量的基础性理论研究和实践工作,因此,论文基于当前分布式仿真发展的需求,结合Web服务和语义Web技术的优势,有重点地选择语义可组合仿真中的几个关键技术问题展开研究。论文首先进行了语义可组合仿真的概念框架研究。详细分析了语义可组合仿真中的相关概念、复杂性特征和层次结构,对仿真语义可组合性进行了明确定义；进而对Web服务、面向服务体系结构和语义Web作为语义可组合仿真支撑技术的可行性和必要性进行论述,基于仿真的特点定义了一类特殊的Web服务—仿真服务,分析了仿真服务不同于普通Web服务的特殊性,并确立了进行面向服务的语义可组合仿真研究的总体思路。在此基础上,提出了语义可组合仿真的概念框架结构,在框架中建立了从用户级、组件级到应用级的叁层结构,详细分析了每层结构的功能特点,明确了概念框架中涉及的关键技术问题。建立仿真服务的语义描述模型、实现对仿真服务的语义发现是语义可组合仿真的基础和前提。论文基于WSDL/OWL-S构建了仿真服务的语义描述模型,定义了四类描述文件：SSProfile、SSModel、SSGrounding和SS-WSDL,实现了对仿真服务从抽象的语义信息到具体的部署实现的描述。针对语义发现的要求提出了仿真领域本体的概念,基于仿真领域本体对仿真服务和仿真需求进行了形式化定义。由此提出了一种基于仿真领域本体的分布式仿真服务语义发布与发现方法,该方法将属于同一个仿真领域本体的仿真服务发布到同一个注册节点上,同时依据仿真领域本体之间的概念包含关系将这些分布的注册节点连接成一个有向连通树,基于该树结构设计了仿真服务发现过程的请求消息转发机制,该机制有效地降低了服务匹配的计算量和请求消息的转发次数。在进行仿真服务匹配时,提出了一种基于本体的多层次服务匹配算法OMHM4SS (Ontology-based Multiple Hierarchies Matching for Simulation Services),该算法首先构建仿真领域本体的概念分类树,然后按照领域本体的概念分类对仿真服务进行领域划分,从而通过本体选定仿真需求查询的领域范围。算法主要涉及两个层次的匹配,即概念层的域定位和服务层的能力匹配。OMHM4SS与服务发布和发现两个过程都密切相关：在服务发布过程,经过域定位的仿真服务被发布到相应的仿真领域本体所在的注册节点上;在服务发现过程,仿真需求可以直接与相关的仿真领域本体所在的注册节点上的仿真服务进行服务能力匹配。服务质量(Quality of Service, QoS)是面向广域网的服务组合所必须考虑的问题,由于广域网环境的动态性和不确定性,在功能性属性上满足仿真需求的仿真服务在非功能性属性不一定能够满足系统的需求,因此论文在研究仿真服务语义发现的基础上进一步研究了QOS驱动的仿真服务组合问题(QoS-driven Simulation Services Composition, Q-SSC),以期实现最有效的服务组合。在对分布式仿真任务进行深入分析的前提下,定义了组合服务的QoS模型,给出了模型的计算和量化标准,并将Q-SSC建模为一个典型的多目标优化问题。针对仿真用户的不同偏好,论文分别从单目标和多目标两个角度建立了求解Q-SSC问题的模型及相应的算法,即SOOCH算法和MGAOOC算法。SOOCH算法通过将多个QOS属性加权求和得到的单一效用值作为目标函数,利用点集凸包提供启发式信息求解带约束的单目标函数优化问题。SOOCH的效率较高,其不足是需要用户具备一定的与问题相关的知识,而且所得到的解是在特定的权重信息下的单一解,用户没有选择的余地;MGAOOC算法则基于多目标遗传算法的思想,实现了多个QoS目标的同时优化,能够产生一组满足用户需求的Pareto最优解。MGAOOC的效率相对于SOOCH而言较低,但是能够为用户提供更多的选择方案,从解的灵活性和适应能力上比SOOCH具有较强的优势。确立了仿真服务组合方案之后,需要进一步对组合仿真系统的执行过程进行监控,以保证系统正常有效的运行。论文提出了一种动态仿真服务组合方法,通过提供完全重新组合算法(SOOCH-complete, MGAOOC-complete)和部分重新组合算法(SOOCH-partial, MGAOOC-partial)满足用户进行重新服务组合规划的需要。服务容错是提升服务可用性的重要机制,论文在对仿真服务的运行环境和运行模式进行详细分析的前提下,初步实现了基于网络失效信息探测的服务容错能力,提出了部分同步模型下的网络失效探测算法。最后,根据语义可组合仿真的概念框架,结合上述理论研究成果,对面向服务的语义可组合仿真原型系统进行了设计与实现,初步实现了仿真服务语义发现模块、仿真服务优化组合模块和服务容错模块,在Eclipse环境下基于Globus软件包对原型系统中的仿真服务端和仿真客户端进行了初步开发,并通过一个简单的仿真应用实例对原型系统的运行状况进行了初步分析和部分验证。(本文来源于《国防科学技术大学》期刊2008-04-01）
张童,刘云生,查亚兵[3]（2008）在《仿真模型的语义可组合性研究》一文中研究指出可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上,语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征,为实现正确有效的模型组合奠定基础。首先,提出了模型、仿真、可组合性和有效性的形式化定义,并对定义的合理性进行了分析;然后,建立形式化定义与语义之间的联系,研究了基于MDA的元建模方法,并确定了仿真模型中的语义元数据。(本文来源于《计算机工程与科学》期刊2008年03期）
周东祥,李群,王维平[4]（2008）在《可组合仿真模型的语义形式描述及组合判定方法》一文中研究指出如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质,形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析。(本文来源于《国防科技大学学报》期刊2008年01期）
语义可组合仿真论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
可组合仿真是当前以XMSF (Extenxible Modeling and Simulation Framework)为代表的新一代基于Web的可扩展建模与仿真框架亟待解决的关键技术,特别是作为其重点和难点的语义可组合性问题,已经引起了当前建模与仿真(Modeling and Simulation, M&S)领域的广泛关注。语义可组合仿真的实现能够为解决广域网范围内仿真系统的快速有效构建提供支持。基于语义可组合仿真技术,Web上存在的仿真应用不再仅仅是为人所用,而是可以被计算机所自动识别和调用,仿真应用之间的交互、集成将是自动完成的。由于要完全实现这一目标还有一段很长的路要走,需要开展大量的基础性理论研究和实践工作,因此,论文基于当前分布式仿真发展的需求,结合Web服务和语义Web技术的优势,有重点地选择语义可组合仿真中的几个关键技术问题展开研究。论文首先进行了语义可组合仿真的概念框架研究。详细分析了语义可组合仿真中的相关概念、复杂性特征和层次结构,对仿真语义可组合性进行了明确定义；进而对Web服务、面向服务体系结构和语义Web作为语义可组合仿真支撑技术的可行性和必要性进行论述,基于仿真的特点定义了一类特殊的Web服务—仿真服务,分析了仿真服务不同于普通Web服务的特殊性,并确立了进行面向服务的语义可组合仿真研究的总体思路。在此基础上,提出了语义可组合仿真的概念框架结构,在框架中建立了从用户级、组件级到应用级的叁层结构,详细分析了每层结构的功能特点,明确了概念框架中涉及的关键技术问题。建立仿真服务的语义描述模型、实现对仿真服务的语义发现是语义可组合仿真的基础和前提。论文基于WSDL/OWL-S构建了仿真服务的语义描述模型,定义了四类描述文件：SSProfile、SSModel、SSGrounding和SS-WSDL,实现了对仿真服务从抽象的语义信息到具体的部署实现的描述。针对语义发现的要求提出了仿真领域本体的概念,基于仿真领域本体对仿真服务和仿真需求进行了形式化定义。由此提出了一种基于仿真领域本体的分布式仿真服务语义发布与发现方法,该方法将属于同一个仿真领域本体的仿真服务发布到同一个注册节点上,同时依据仿真领域本体之间的概念包含关系将这些分布的注册节点连接成一个有向连通树,基于该树结构设计了仿真服务发现过程的请求消息转发机制,该机制有效地降低了服务匹配的计算量和请求消息的转发次数。在进行仿真服务匹配时,提出了一种基于本体的多层次服务匹配算法OMHM4SS (Ontology-based Multiple Hierarchies Matching for Simulation Services),该算法首先构建仿真领域本体的概念分类树,然后按照领域本体的概念分类对仿真服务进行领域划分,从而通过本体选定仿真需求查询的领域范围。算法主要涉及两个层次的匹配,即概念层的域定位和服务层的能力匹配。OMHM4SS与服务发布和发现两个过程都密切相关：在服务发布过程,经过域定位的仿真服务被发布到相应的仿真领域本体所在的注册节点上;在服务发现过程,仿真需求可以直接与相关的仿真领域本体所在的注册节点上的仿真服务进行服务能力匹配。服务质量(Quality of Service, QoS)是面向广域网的服务组合所必须考虑的问题,由于广域网环境的动态性和不确定性,在功能性属性上满足仿真需求的仿真服务在非功能性属性不一定能够满足系统的需求,因此论文在研究仿真服务语义发现的基础上进一步研究了QOS驱动的仿真服务组合问题(QoS-driven Simulation Services Composition, Q-SSC),以期实现最有效的服务组合。在对分布式仿真任务进行深入分析的前提下,定义了组合服务的QoS模型,给出了模型的计算和量化标准,并将Q-SSC建模为一个典型的多目标优化问题。针对仿真用户的不同偏好,论文分别从单目标和多目标两个角度建立了求解Q-SSC问题的模型及相应的算法,即SOOCH算法和MGAOOC算法。SOOCH算法通过将多个QOS属性加权求和得到的单一效用值作为目标函数,利用点集凸包提供启发式信息求解带约束的单目标函数优化问题。SOOCH的效率较高,其不足是需要用户具备一定的与问题相关的知识,而且所得到的解是在特定的权重信息下的单一解,用户没有选择的余地;MGAOOC算法则基于多目标遗传算法的思想,实现了多个QoS目标的同时优化,能够产生一组满足用户需求的Pareto最优解。MGAOOC的效率相对于SOOCH而言较低,但是能够为用户提供更多的选择方案,从解的灵活性和适应能力上比SOOCH具有较强的优势。确立了仿真服务组合方案之后,需要进一步对组合仿真系统的执行过程进行监控,以保证系统正常有效的运行。论文提出了一种动态仿真服务组合方法,通过提供完全重新组合算法(SOOCH-complete, MGAOOC-complete)和部分重新组合算法(SOOCH-partial, MGAOOC-partial)满足用户进行重新服务组合规划的需要。服务容错是提升服务可用性的重要机制,论文在对仿真服务的运行环境和运行模式进行详细分析的前提下,初步实现了基于网络失效信息探测的服务容错能力,提出了部分同步模型下的网络失效探测算法。最后,根据语义可组合仿真的概念框架,结合上述理论研究成果,对面向服务的语义可组合仿真原型系统进行了设计与实现,初步实现了仿真服务语义发现模块、仿真服务优化组合模块和服务容错模块,在Eclipse环境下基于Globus软件包对原型系统中的仿真服务端和仿真客户端进行了初步开发,并通过一个简单的仿真应用实例对原型系统的运行状况进行了初步分析和部分验证。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
语义可组合仿真论文参考文献
[1].杨健,董立勇,马金梁,王志涛,王龙兴.基于本体的仿真组件语义描述和可组合性检验方法[J].指挥与控制学报.2019
[2].张童.面向服务的语义可组合仿真关键技术研究[D].国防科学技术大学.2008
[3].张童,刘云生,查亚兵.仿真模型的语义可组合性研究[J].计算机工程与科学.2008
[4].周东祥,李群,王维平.可组合仿真模型的语义形式描述及组合判定方法[J].国防科技大学学报.2008