多层云建模方法的研究及应用

分析了目前复杂大系统建模方法存在的优缺点,旨在研究一种适用于我国行政递阶管理机制的建模方法。这种方法能够很好地解决系统问题中的不确定性,尤其是人为主观造成的模糊性与采样数据随机性并存的问题。鉴于以上研究目标,探讨了多层状态空间模型,并引用图论诠释了其横向关系模型,同时融合正态云发生器的原理提出了一种"分解-集结"式的不确定性智能建模方法———多层云建模方法。最后将该方法用于我国能源系统分析研究中,取得了较好的结果,证明了该方法的简单性和有效性。     

智能自动化系统的广义模型

本文研究智能自动化系统的建模问题，提出“广义模型”的概念与方法，给出广义模型体系，介绍所开发的二种广义模型，多重广义算子模型，多层状状态空间的模型及应用。     

基于多层状态空间和软件人的油气信息系统

针对油气行业智能信息系统的特点,运用大系统控制论中的多层状态空间模型理论和大系统分级递阶控制结构,对信息系统中的状态空间的组成和控制结构进行了研究分析.在系统实现技术上采用软件人技术,该模型具有较好的扩展性、灵活性和准确性,比较适合复杂信息系统的设计建模.     

舰艇智能兵力决策CBPN模型与实现研究

智能兵力作战决策支持是计算机生成兵力构建的重难点和核心内容,传统海战智能兵力作战决策系统难以满足决策知识空间增加对系统决策正确性和灵活性的要求,研究将Petri网建模方法与CXBR上下文推理方法相结合,提出了智能兵力CBPN图形化决策建模方法,依据舰艇智能兵力作战决策过程,分层构造了舰艇智能兵力作战行为模型,并建立了舰艇智能兵力决策支持的CBPN模型,实现了业务层和软件代码层解耦,最后构建了舰艇智能兵力的作战决策知识库.工程实现结果证明新方法能显著提高系统开发效率和智能兵力决策的灵活性,满足复杂作战仿真系统智能兵力作战决策支持需求.     

AGR元模型到组织抽象模型的建模方法

将目标驱动思想引入AGR中,提出一种从AGR元模型到多Agent系统（MAs）组织抽象模型的建模方法。对AGR进行综述,给出该方法的具体步骤和形式化过程。应用于某智能故障诊断系统的结果表明,该建模方法有利于设计人员直接利用AGR元模型构建MAS组织抽象模型,可适用于各种AGR扩展。     

大型风机主导机械动态的智能灰箱建模及其线性状态空间表征

随着风电发展逐渐从量的扩张过渡为质的提高阶段,风机精细化控制日益受到重视,而风机动态的合理建模是其重要基础.本文研究了风机主导机械动态建模并建立其完整的状态空间表征.首先,分析了风机子系统特性,针对气动特性建立气动转矩的分段仿射模型,用于表征气动系统的静态特性.然后,系统地制定了智能灰箱参数辨识步骤,对于多入多出的传动系统设立加权优化目标进行辨识,以获取其蕴含物理意义的状态空间模型,与气动模型合并得到联合状态空间模型.最后,依托FAST的5 MW风机模型进行仿真,验证了建模策略的有效性,仿真结果展现了构建的联合模型对实际动态特性较好的拟合效果.     

Vicsek模型在无线网络环境下的建模研究

针对多智能系统Vicsek模型,理论研究者往往根据研究需要,给出很多理想条件,而这些理想条件有时并不符合实际情况。从实际情况出发,把控制领域的多智能体系统与通信领域得无线网络知识联系起来,利用网络建模仿真软件OPNET构建无线网络环境下的Vicsek模型。MAC层采用CSMA／CA协议,并采用基本的一致性算法,构建出有效的模型,为进一步的理论分析及Vicsek模型的实际应用打下基础。     

基于多模型的能源组件维修性建模与仿真研究

某激光装置能源组件是其关键组件,该组件具有随机劣化失效特点,其部件失效类型多,维修类型和维修策略也比较复杂,现有的基于单一模型和解析方法的系统维修性建模与分析方法难以解决其维修性设计与分析问题。本文采用多模型集成的维修性建模与仿真方法,解决能源组件维修性建模与分析问题。其中,采用故障树模型描述能源组件系统级可靠性,采用SPNAT模型描述各部件的失效过程和维修决策,并基于"Join/Replicate"操作进行模型集成,通过报酬结构定义组件的维修性指标。仿真结果表明,基于多模型集成的维修性建模与仿真方法,是解决能源组件这样的复杂产品维修方案设计与分析的有效途径。     

基于进化HMM 模型的动态Agent 系统建模方法

提出一种基于隐式Markov模型（HMM）的进化建模方法．使用进化算法随机搜索HMM的模型空间，自动选择HMM的结构和参数-完成对动态智能体系统行为的建模，学习智能体对周围环境的分割和反映方式．实验结果表明，该方法可以很好地搜索HMM的模型空间，并且避免了人工确定HMM模型结构的困难和手工设计模型所需的多次反复．     

基于MDA的分布式建模仿真框架

分析现有分布式建模仿真存在的缺点,提出将模型驱动体系结构(MDA)应用于分布式建模仿真。设计一个基于MDA的分布式建模仿真框架,给出资源层、PIM建模层、PSM建模层和仿真运行平台层的四层仿真体系结构。研究该框架的开发过程及关键技术,并设计即插即用武器系统分布式仿真平台。仿真结果表明,该框架使得分布式仿真系统具有更好的可扩展性,提高了仿真组件的互操作性和可重用性。     

对软件测试过程模型的思考

在深入分析传统软件测试过程模型特点的基础上,提出了一种新的软件测试过程模型——并行"与"模型,并详细描述了各阶段的具体任务,更贴切地描绘出软件测试活动的复杂关系,充分反映出软件测试活动与开发活动之间的时序性、层次性、迭代性和并行性。     

软件测试过程模型研究

在对现有模型进行系统研究的基础上,提出了一种新的软件测试过程模型——并行“与”模型,并详细描述了各阶段的具体活动。该模型贴切地描绘出软件测试活动的复杂关系,充分体现出了软件测试活动与开发活动之间的层次性、并行性、时序性和迭代性。     

CIM逻辑模型的关系实现

针对逻辑模型在查询和存储方面的不足,定义与其具有一致表示能力的关系模型,并将逻辑模型中以句子形式表示的逻辑约束转化为针对关系模型中逻辑关系的势的约束。根据模型的访问,以IEC61970所采用的数据访问接口DAF为例,在上述关系模型中给出基于关系代数的实现。研究结果表明,通过选择合理的关系模型,可以在保持逻辑模型丰富的表达能力的基础上,利用关系代数提高模型访问的效率,同时保证约束判定的有效性。     

数据模型及其发展历程

数据库是数据管理的技术,是计算机学科的重要分支.经过近半个世纪的发展,数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组织形式,可以将数据模型分为结构化模型、半结构化模型、OLAP分析模型和大数据模型.20世纪60年代中后期到90年代初,结构化模型最早被提出,其主要包括层次模型、网状模型、关系模型和面向对象模型等.20世纪90年代末期,随着互联网应用和科学计算等复杂应用的快速发展,开始出现半结构化模型,包括XML模型、JSON模型和图模型等.21世纪,随着电子商务、商业智能等应用的不断发展,数据分析模型成为研究热点,主要包括关系型ROLAP和多维型MOLAP.2010年以来,随着大数据工业应用的快速发展,以NoSQL和NewSQL数据库系统为代表的大数据模型成为新的研究热点.对上述数据模型进行了综述,并选取每个模型的典型数据库系统进行了性能的分析.     

形状模型在混合建模环境中的映射研究

混合建模技术是ＣＡＤ研究继承参数化特征建模技术之后的又一研究热点,线框,曲面和实体模型３种模型间的转换是混合建模技术的核心,本文介绍了：１）实体模型到线框和曲面模型的映射;（２）线框模型到实体模型的映射,３）曲面框型到实体模型的映射,为混合建模技术做了一些有益的探讨,并将模型映射算法成功地应用于ＩＧＥＳ和ＳＴＥＰ的前后置处理器的设计中,取得了满意的结果。     

基于模型操纵的模型集成理论的研究

基于模型操纵的模型集成的主要研究对象是模型的输入输出参数，因此，本文给出了模型的二元组表示，即输入集、输出集，提出了模型组合关系与模型集成结果等概念，具体分析了模型集成结果的存在性问题，证明了其存在的几个充分条件，在证明中给出了在满足充分条件下模型集成的构造方法．     

对象模式到关系模式转换研究

数据在信息系统中的使用面临着这样一个困难,即:数据存储是以关系模型为基础,而软件开发以对象模型来进行,造成了软件开发中数据访问技术的不和谐。提出并建立了一个软件框架,并就对象模式到关系模式的转换进行了研究。     

计算机安全中的经典模型

安全模型是构造安全计算机系统的基础。到目前为止，已有多种公开发表的安全模型。本文总结了几种重要的早期安全模型，其中包括访问矩阵模型，HRU模型，BLP模型、格模型和无干扰模型。并对它们进行了分类和简要评递。本文将它们称为经典安全模型。这些经典安全模型都是开创性的，从各个不同的方面对安全问题进行抽象，模型所定义的安全问题具有典型性，并对后续的研究产生了重要影响。目前，共享计算机系统的安全问题仍然是计算机科学的中心问题之一，研究这些经典模型，对于我们全面理解计算机系统的安全问题，展望未来发展方向，具有重要意义。     

演化软件过程模型

根据目前软件开发的趋势,介绍了几种常见的软件开发的演化模型,包括增量模型、螺旋模型、并发开发模型等。简要介绍了每一种软件开发模型的工作过程、基本成分和演化过程,以及它们在现代软件开发中的应用情况。     

UML活动图模型正确性诊断方法

UML活动图的正确性决定了业务流程的正确执行,为此,提出一种UML活动图模型的正确性诊断方法。将模型分解后,对子模型进行模型验证,并对验证错误的子模型进行模型诊断,得到诊断结果。在质量管理过程实例中的应用结果表明,该方法能减小模型空间,减少诊断次数,准确锁定错误,有效地对模型的正确性进行诊断。