基于RDF4S语义服务描述模型的服务资源搜索框架

语义服务资源搜索是一个满足服务请求者快速、便捷地定位可用语义服务资源的过程。一个高效、精确的基于语义的语义服务资源搜索框架和经过精心设计并实现的搜索工具是语义服务框架中的一个必要组件。提出一种基于RDF4S语义服务描述模型的服务资源搜索框架,详细说明了该搜索框架的结构。搜索框架根据RDF4S语义服务描述模型的QoS、执行、功能和接口四种语义标注元素类型,分别采用不同的搜索匹配策略,可以很大程度上提高搜索的效率和精度。     

装甲仿真概念模型及作战想定编辑系统实现

概念模型是对真实世界的第一次抽象，独立于具体的仿真任务，有利于实现仿真间的互操作和促进仿真资源的重用。该文提出了建立概念模型、实体对象模型、执行模型的开发策略。对装甲车辆仿真作战想定的一个剧本进行了描述，按照HLA OMDD的DIF格式建立了装甲的概念模型。最后给出了作战想定的定义，并介绍了装甲车辆仿真作战想定编辑系统的关键实现和可视化集成框架。     

基于BOM本体的概念模型语义研究

模型的语义是模型语义重用、互操作和组合的基础,针对模型语义没有一个精确定义的问题,采用基本对象模型（BOM）规范中的概念模型来定义模型的状态转换、模型之间的交互关系,在基本对象模型规范的约束下给出了概念实体的语义模型,并通过基于描述逻辑的本体来描述基本对象模型规范和语义模型,将模型的语义匹配转化为本体查询和推理,给出了查询语义模型的方法,实验结果表明,语义模型能够很好地定义模型的不同语义,通过语义查询方法可以快速找到期望的模型,提高仿真系统建模的效率。     

语义驱动的集成化产品建模

针对复杂产品研发过程中多领域协同对产品知识共享和重用的需求,提出一种语义驱动的集成化产品建模方法.结合多本体技术,给出了集成化产品建模框架,该框架由概念层和模型层构成,概念层包括高层核心产品本体和领域本体,模型层由主模型和领域模型等一族模型构成;同时还给出了集成化产品模型的形式化语义描述,在构建高层核心产品本体的基础上建立主模型;基于多领域本体,进行由概念层语义驱动的领域模型快速重构,在语义理解基础上实现跨领域的产品知识重用.     

装备保障仿真概念模型的语义验证方法研究

概念模型验证是保证概念模型正确、可信的重要手段。针对现有概念模型形式化验证方法复杂、繁琐,非形式化验证方法的主观性较强、可信性不高等问题,采用本体理论和语义网技术,提出了一种基于本体与规则推理的装备保障仿真概念模型语义验证方法。该方法的思路是:首先将UML描述的概念模型转化为本体描述语言OWL描述的概念模型;然后根据领域知识构建验证规则,并运用语义网规则描述语言SWRL描述验证规则;最后将模型和规则转换为Jess规则引擎识别的数据格式,输入到Jess规则引擎中进行模型与规则的语义推理,检查概念模型是否符合验证规则。实例表明,该方法使用验证规则和语义推理机替代领域专家在计算机上自动对概念模型的语义内容进行验证,提高了验证效率,减少了专家验证的主观性和不确定性,降低了形式化验证方法的复杂性。     

基于组合的水下武器对抗仿真系统开发研究

针对当前水下武器对抗仿真系统存在费用高、开发周期长、效率低下的问题,提出了基于本体技术的仿真系统可组合开发方法,详细地描述了开发流程的几个环节,包括概念模型的建立、概念的模型解析、模型搜索、匹配和组合等几个环节,建立了相应的仿真组件本体库;在语法和予以搜索、匹配和组合的基础上,实现作战实体仿真组件的重用和组合,通过实例验证了组合的有效性,达到了降低开发费用、缩短开发周期、提高仿真系统开发效率的目的。     

支持企业动态联盟的敏捷工作流系统

针对企业动态联盟应用和大型企业的商业过程重组,文中提出了一种支持系统重构、软件重用和规模可扩展的敏捷工作流系统。文中针对动态联盟的应用建立了基于过程分解的工作流概念模型,同时对该模型进行形式化描述并设计了一种支持此概念模型的分层递解的敏捷工作流系统框架。文中提出的基于ＣＯＲＢＡ和Ａｇｅｎｔ的两级可供调用的功能体封装提高了软件的重用性和系统的重构性,分层递阶模型增强了系统重构能力和规模的扩展能力。     

S-RSM:一种基于语义的数据空间资源搜索机制

数据空间技术是数据库管理技术的进一步发展,如何有效地搜索数据空间中的资源成为一个值得研究的问题.为此提出一种基于语义的数据空间资源搜索机制(S-RSM,Semantics-based Resource Search Mechanism for Dataspace).定义了资源描述模型,能够有效地将数据资源进行统一描述和包装;提出一种基于语义的资源搜索策略,利用Dbped ia语义知识库评估资源对象关联和语义项关联.同其它搜索策略相比,S-RSM在查全率和查准率等方面具有一定的优势.     

基于XML的异构概念模型的格式转换研究

任务空间概念模型是仿真开发中的权威知识源,但由于不同概念模型开发人员所开发的模型的异构性,要使其在建模与仿真领域的仿真部件的互操作和可重用性方面发挥其作用,迫切需要在异构的本地格式概念模型之间提供一个规范化的中间格式,建立一种适合互操作的数据交换格式,使得整个仿真系统中的各个概念模型进行有效的互操作,并作到重用.而XML在数据描述与数据交换方面具有很大优势,因此提出了基于XML的异构概念模型的格式转换.通过对UML、本体论及XML相关技术问题的研究,给出了由UML到XML和由本体论到XML的格式转换过程及其操作方法.     

基于元数据和XML的通信网仿真资源描述与管理研究

通信网仿真已成为M&S的研究热点,如何管理通信网仿真资源是提高仿真系统开发效率的关键。提出基于元数据和XML的仿真资源描述与管理框架。采用XML定义与表示仿真资源的元数据描述模型,并设计了基于Web的仿真资源管理系统,使用户通过系统平台实现对仿真资源的共享、重用与互操作。     

面向对象的语义关联数据模型理论

本文提出了“面向对象的语义关联数据模型(CIM-OSA DM)”理论,在扼要介绍CIM-OSA DM的基础上,侧重于形式化地定义“对象”、“对象类”及类之间的“语义关联”,按照“对象”和“对象类”统一的观点,又进一步形式化地定义了“对象相等”、“对象类相等”、“子对象类关系”以及“子对象关系”,并采用严格的数学证明论证了它们具有的重要性质,最后提出“对象代数”并形式化地定义对象可执行的几种代数运算。     

演员模型：一种多媒体数据表达模型

本文提出一种多媒体数据表达模型：演员模型，该模型建立在多媒体数据库概念模型基础之上，基于库所—时间Ｐｅｔｒｉ网，描述多媒体对象之间的时态关系，同时引入与变迁相关联的场景表达式，描述多媒体对象之间的空间关系，从而模拟多媒体数据的时空编组，文中形式化地定义了演员模型的抽象模型和实现模型，提出多媒体对象的表达算法以及多媒体数据库的查询模型．     

一种结合模型集成的舆情管理模型的研究

针对社交网络特定网络舆情信息难以收集分析的问题,提出一种结合模型集成的网络舆情管理模型。对各大社交门户网站的采集器提出模块化的概念,在获取信息的速度和获取舆情信息的质量上相较于传统模型有较大提升。为了数据分析更加精确,提出一种新的集成学习算法。在此算法的基础之上设计一种新的分析模型,实现了对网络舆情的快速采集、高效分析。实验结果表明,模型在舆情信息采集以及舆情分析方面有较强的性能,有助于网络舆情的管理。     

通过模型比较构造软件演化的过程模型

为了得到软件系统的演化过程模型，引入了工作模型的概念用以描述软件的工作过程。通过建立起软件演化前后的工作模型并对其进行比较，可以得到由旧的工作模型向新的工作模型转化需要执行的各种活动，这样的活动通过在软件的代码、数据和文档三个层面的映射便具有了实际意义，以此为基础所构造的演化活动图能够最终转换为Petri网形式的演化过程模型。     

基于灰色模型的电子装备可靠性预测模型

装备可靠性一直是全寿命周期保障工作的重要内容.结合电子装备的特点,假设装备各单元基于指数分布,提出一种可靠性预测模型.建立装备可靠性与其各单元可靠性的关系模型,同时提出一种非等间隔的GM(1,1)模型来预测各单元的可靠性.通过实例,对给出的方法进行了可靠性预测.经过精度检验说明该方法的有效性.     

基于经验模态分解的小波神经网络预测模型

针对小波神经网络(WNN)在非平稳、非线性时间序列预测上无法实现自适应多分辨率分析,且其预测精度有待提高的问题,提出基于经验模态分解的小波神经网络预测模型。首先,对非线性、非平稳时间序列进行经验模态分解(EMD),以降低时间序列的非平稳性;然后对EMD分析得到的固有模态分量(IMF)和余项分别构建WNN模型;最后,汇总预测结果,得到预测值。通过数据验证,新模型的预测精度高于BP神经网络和WNN。     

基于约束的授权代理模型

在对授权代理模型深入分析的基础上,提出了一种基于约束的用户-用户授权代理模型,给出了该模型的构成要素和体系结构,并且详细描述了该模型的职责分离约束以及代理判定关系,并在判定关系中描述了角色基数约束、用户基数约束和权限基数约束,最后给出了代理实施策略.     

基于模型检查的XML树模式优化动作生成

针对XML数据查询的核心操作-树模式查询,提出基于XML Schema约束来优化树模式查询的方法。该方法提出了统一的优化规则描述语言ORS的语法与语义。ORS描述的优化规则中包括对树模式条件的描述、对XML Schema条件的描述以及在满足前两个条件下应该输出的动作。根据ORS语言描述的优化规则以及待处理的树模式,系统会自动输出该树模式的优化动作。该方法一方面简化了树模式优化的过程,另一方面把模型检查技术运用到XML树模式查询优化上,利用时态逻辑公式描述优化规则中的约束条件,利用模型检查的方法提取XML Schema的约束,对ORS语法和语义的严格定义确保了生成的优化动作的正确性。     

WHY MODEL?

I discuss the utility of modeling in the social sciences, with emphasis on the long-term study of the coevolution between society and nature. I emphasize the need for such models to develop dynamical theories concerning processes about which we are only informed through their consequences and results.     

一个拟PETRI网建模模型

本文利用ＰＥＴＲＩ网和自动机理论，为ＥＡＲ数据模型的数据库设计，建立一个拟ＰＥＴＲＩ网的设计方法，并构造一个建模模型，为数据库辅助设计提供基础框架结构。