基于Krsul分类法与联邦模型的脆弱性数据库系统

在分析脆弱性数据库研究现状的基础上,指出现有脆弱性数据库系统数据管理方法的不足之处,提出基于Krsul脆弱性分类法和联邦模型实现一种脆弱性数据库系统.该脆弱性数据库采用Krsul脆弱性分类法实现脆弱性数据的分类组织,采用联邦模型作为数据库系统的体系结构,采用Web界面实现数据库的人机接口.

联邦式脆弱性信息系统访问控制模型研究

深入分析脆弱性信息系统研究现状 ,指出现有脆弱性信息系统访问控制机制的不足之处 .在分析联邦式系统特点的基础上 ,提出一种适用于联邦式脆弱性信息系统的访问控制模型 ,并介绍其实现技术要点 .

分布计算环境中实现对象互操作的联邦交易模型

本文依据分布计算环境（ＤＣＥ）中所提供的目录服务并结合开放分布处理（ＯＤＰ）所提供的交易服务（ＴｒａｄｉｎｇＳｅｒｖｉｃｅｓ），提出了实现分布计算环境中对象互操作的联邦交易模型。给出了该交易模型在ＤＣＥ中的实现结构模型。

分布对象管理的联邦交易模型

分布对象管理是实现分布对象互操作的一个重点。该文通过扩展ODP中的基本交易模型,实现了对象服务的局部管理,提出了一种新的联邦交易模型,使用联邦交易空间和信任度的概念实现了大规模互操作环境中的对象服务的全局管理,给出了分布对象服务的联邦搜索过程和联邦搜索规则,以及联邦查询的最佳搜索路径选择算法,研究并提出了联邦交易的实现结构模型和建立联邦和约的协商协议。

联邦式操作训练仿真系统对象模型设计方法

研究了分布式操作训练仿真的特殊性,基于HLA联邦对象模型的特点和一般性设计方法,分析了设计联邦式操作训练仿真系统的联邦对象模型时应着重考虑的因素,针对不同仿真系统的特性提出了相应的对象模型设计方法,并归结出这些设计方法的优缺点,以此为基础,提出了一种基于操作步骤和联邦成员间单向交互满足的对象模型设计方法,并以较有代表性的某装备联邦式操作训练仿真为例,给出了该方法的具体应用。

ODP系统中的联邦交易模型

1引言 交易员是ODP系统中的一个重要组件,用于分布计算环境中对象服务的发布与获[l],实现对象服务的分布透明与互操作,即一个对象可将其所提供的服务通过交易员进行发布同时通过它可以获取其所需要的对象服务。

联邦对象模型与仿真对象模型开发过程建模

在基于高层体系结构(HLA)的分布仿真系统开发过程中,需要对仿真系统中的交互数据进行建模和抽象,以便生成FOM和SOM,保证联邦执行的正确运行。提出了综合开发联邦对象模型(FOM)和仿真对象模型(SOM)的七个步骤,并对各个步骤所完成的任务进行了详细的定义。这些步骤包括:对仿真任务中的实体和事件类型进行抽象和建模;分解仿真任务,确定联邦成员及其仿真的实体和事件类型;确定FOM中的对象类和交互类;生成SOM草案;综合SOM草案,生成FOM;确定FOM中的路由空间,生成正式的FOM;生成正式的SOM。

联邦概念模型及其VV&A研究

联邦概念模型(FCM)是联邦设计和开发的基础,对联邦概念模型进行VV&A有助于提高模型可重用性和互操作性。由于FCM中定性描述多于定量描述,不利于VV&A结果的客观性,而形式化方法是解决上述问题的重要途径。总结了国内外在概念模型的定义、建模方法以及模型形式化描述等方面的主要研究观点,讨论了HLA联邦概念模型开发过程及其完整性、正确性和一致性问题,阐述了FCM的VV&A过程和技术,介绍了有利于减少VV&A结果的主观性的基于模糊AHP的专家评审法和基于时态逻辑的形式化校核方法,最后讨论了形式化方法在联邦概念模型VV&A中的应用。

联邦对象模型的相关问题

本文就高层体系结构 HL A规范中的联邦对象模型 (FOM)的地位、作用和相关的开发研究进行了探讨 ,并且重点分析了

基于CPN的联邦概念模型形式化建模与验证(英文)

提出了基于着色Petri网(CPN)的联邦概念模型(FCM)形式化建模与验证一体化方法。这种方法的提出主要基于下面两点:一是形式化的FCM与用自然语言描述的模型相比具有更完整、更准确和更规范的特点;二是形式化模型的验证需要专门的工具辅助完成。以一个简单的制造系统为例,采用CPN语言建立了该系统的形式化概念模型,利用辅助软件工具CPN Tools完成了该联邦概念模型的仿真和验证。应用研究表明,着色Petri网有助于描述联邦中各实体的行为和关系,CPN Tools辅助工具实现了形式化模型建模、仿真和验证的一体化过程。

装备保障训练联邦仿真模型邦员SOM的开发

仿真模型联邦成员SOM描述了该联邦成员在联邦运行过程中能够公布和需要预定的数据及相关信息。它的开发是分析和设计装备保障训练联邦对象模型(FOM)的基础,也是仿真模型联邦成员开发的难点。在系统分析了HLA仿真对象模型(SOM)的概念和原理的基础上,总结了SOM的设计原则和开发过程,并结合分布式装备保障模拟训练联邦的开发实践,简要描述了仿真模型联邦成员SOM的开发。

CPC系统中的联邦数据模型研究

CPC系统是目前信息管理的新发展,其核心是基于WEB的数据整合。对数据整合的核心技术联邦数据模型进行分析,并对基于联邦数据模型的CPC系统信息交换进行了研究,分析了信息文本格式和数据复制的基本原理,并论述了联邦数据模型在CPC系统信息交换的关键作用。

纵向联邦线性模型在线推理过程中成员推断攻击的隐私保护研究

随着大数据的发展以及数据安全相关法规的出台,人们的隐私保护意识逐渐加强,“数据孤岛”现象愈发严重。联邦学习技术作为解决该问题的有效方法之一,已成为当下备受关注的热点。在纵向联邦学习在线推理过程中,当前的主流方法并未考虑对数据标识的保护。针对此问题,提出一种适用于纵向联邦线性模型在线推理过程中的成员推断攻击的隐私保护方法,通过构造具有假阳率的过滤器来避免对数据标识的精确定位,从而保证数据的安全性;使用同态加密实现在线推理过程的全密态,保护中间计算结果;根据同态加密的密文倍乘性质,使用随机数乘法盲化操作,保证最终推理结果的安全性。该方案进一步提高了纵向联邦学习在线推理过程中用户隐私的安全性,且具有更低的计算开销和通信开销。

任务空间概念模型研究

任务空间概念模型CMMS是建模与仿真主计划提出的三大目标之一。它是对真实世界的第一次抽象 ,独立于具体的仿真任务 ,旨在实现仿真间的互操作和促进仿真资源的重用。本文主要介绍了CMMS的基本概念、先进技术及其VV&A等几方面内容 ,并对CMMS与联邦概念模型CMF作了简要比较。

桥接多联邦系统体系结构研究与应用

进行大规模仿真,尤其是广域网上的仿真演练,多联邦互联是必经之路。实现多联邦互联有多种方法,桥接成员是其中一种。体系结构的设计是桥接多联邦系统需要解决的首要问题,对于桥接多联邦这类复杂的仿真系统,统一的体系结构对于其开发和应用都是非常重要的。本文研究了桥接成员的逻辑结构,提出了集中式、分布式以及混合式的实现结构,描述了对等式桥接多联邦与层次式桥接多联邦的互联方式;然后探讨了桥接多联邦系统的构建原则以及信息转发流程;最后给出了桥接多联邦系统的参考用例。

基于HLA电力市场仿真系统模型的设计与实现

基于高层体系结构(HLA)标准,针对单一买方电力市场模式,构建了基于HLA的电力市场仿真系统模型.设计了1个联邦对象模型(federateobjectmodel,FOM)、5个发电公司仿真对象模型(simulationobjectmodel,SOM)、1个电网公司仿真对象模型和1个用户仿真对象模型.在联邦对象模型中设计了发电公司类、电网公司类2个对象类、1个交易类交互类,详细给出每个对象类的属性和交互类的参数.应用国防科技大学开发的高层体系结构建模工具KD-OMDT实现了这些联邦对象模型和仿真对象模型,并给出了实现结果图.依据此设计可以进一步实现基于HLA的电力市场仿真系统.

HLA/RTI管理对象模型的应用研究

管理对象模型提供了对RTI、联邦以及联邦成员进行监控和管理的机制。该文主要介绍了管理对象模型的概念 ,总结了其区别于对象模型的特点 ,探讨了管理对象模型的应用方式以及应用管理对象模型开发联邦管理工具框架程序的方法 ,并结合具体实例来说明管理对象模型的应用。

HLA中的对象模型浅析

在基于HLA的仿真系统设计和开发中,开发对象模型是促进仿真互操作和仿真组件重用的关键过程。在给出HLA对象模型概念的基础上,分析提炼了基于HLA的仿真系统的建模过程,总结了FOM、SOM的模型开发方法,最后介绍了HLA对象模型的OMT标准化描述结构框架。

HLA中对象模型的研究

高层体系结构HLA采用面向对象的设计思想 ,支持仿真系统的互操作和可重用 ,在作战仿真领域有着很广泛的应用。在HLA中 ,对象模型OM是实现仿真之间互操作和仿真部件可重用的重要基础 ,OM以标准的格式描述了仿真应用参与联邦的能力和对外部的需求。该文简单介绍了HLA的基本内容 ,详细阐述了对象模型OM的描述形式OMT及其分类 ,并通过实例说明了OM的开发过程。

鱼雷武器仿真系统的对象模型设计及时延研究

利用mak RTI通信支撑环境和VR-Link开发环境,提出了一种基于HLA的鱼雷武器分布交互仿真系统设计方法,重点对该联邦的SOM/FOM模型进行了设计,并对系统的时延进行了研究,所研制的系统对于鱼雷武器系统设计有应用价值。