DEVS在IDEF0模型验证中的应用

IDEF0方法是结构化系统分析的重要方法,但IDEF0模型是静态的功能模型,不包含运行机制,不便于进行动态分析,导致对模型的验证较为困难.本文建立了IDEF0模型的形式化描述,并对IDEF0模型进行了扩展,提出IDEF0模型到离散事件系统规范(DEVS)模型的转化方法,通过DEVS的仿真运行来对IDEF0模型进行分析和验证.该方法实现了IDEF0方法中系统分析与模型验证的有效衔接,具有扩展性和灵活性,为IDEF0模型的验证提供了支持.     

一种基于前向安全的授权群签名方案

本文提出了基于前向安全授权群签名方案,能在群成员密钥泄漏后,保持该成员以前签名的匿名性与有效性,另外通过在一般群签名上增加负责授权的权限管理员和授权过程来达到授权群签名.该方案综合利用前向安全和基于离散时数问题难解性的性质,从而加强了该授权群签名方案的安全性.     

C4ISR系统开发的仿真支持集成框架研究

C4ISR系统开发是一个复杂的系统工程,而仿真技术作为有效的支持手段,可以为系统开发各个阶段,提供不相同的仿真支持.为了有效、合理地组织各个阶段的仿真活动、组织人员、仿真工具和资源,使仿真支持与系统开发过程紧密结合,本文提出了应用工作流技术,以过程模型为中心将仿真涉及的组织、资源和信息多维模型整合为一体.设计了C4ISR系统开发的仿真支持集成框架,以工作流管理系统为核心,组织开发过程中各个阶段的仿真活动,集成了各类仿真资源库和仿真应用工具,为C4ISR系统开发全过程的仿真应用和管理提供有力的支持.     

分布仿真中的网络通信软件设计

网络通信是分布式仿真中的重要技术,本文根据分布式仿真对网络通信的要求,提出了一个基于ＴＣＰ／ＩＰ协议的网络通信软件的设计方案。     

DIS在C^3I系统仿真试验 的应用

介绍了Ｃ＾３Ｉ系统仿真的方法和ＤＩＳ的组成和特点,提出了一个基于ＤＩＳ的Ｃ＾３Ｉ系统仿真试验床的设计。     

基于WF的工作流管理系统

本文讲述了工作流技术的相关概念,对WF的模型体系、技术架构等进行了介绍。在工作流技术基础上,详细阐述了基于WF的工作流管理系统开发一般方法与过程。最后,利用Visual Studio 2008中的C#下的Workflow+SQL Server2005平台开发并实现了公司报销审批流程,进行了案例分析。     

类群签名技术在财务管理系统上的运用研究

在传统群签名方案中，群内所有的成员都拥有相同的权限，而门限权签名又只针对群中一定数量的用户一起签名才有效。文中利用这两种思想提出的一个新的类似群签名的方案解决了这一矛盾。和已有的群签名方案相比，该方法具有如下优点：（1）设置了群内用户的权限，并且安全性得到一定的保障；（2）群内用户进行签名时不会发生越级签名。     

卫星军用系统的联邦成员辅助开发工具研究

高层体系结构HLA是建模仿真领域的通用技术框架，以实现不同仿真系统之间的互操作。在面向卫星军事应用系统的HLA应用开发过程中，FOM／SOM的开发是一个重要步骤。该文对HLA联邦成员辅助开发工具进行了研究，论述了它的总体结构、功能模块和实现中的一些关键技术。同时文章还阐明了其在HLA联邦设计与开发过程中的重要作用。     

基于星间链路的导航卫星网络自适应路由策略与机制研究方法

由于北斗全球导航卫星系统(Beidou global navigation satellite system,BGNSS)在全球范围内的建站约束,采用星间链路(inter-satellite links,ISL)传输其全球导航综合信息(global navigation integrated information,GNII)成为必选途径,其核心问题之一是适应BGNSS传输需求的GNII传输路径选择。通过分析BGNSS星间链路建链特征,探索其对GNII传输时路径选择的约束要素与约束关系。分析北斗GNII业务特征,研究满足其传输需求的路径选择约束要素与约束关系。再对这些约束要素与约束关系展开建模分析,探索适应星间链路特点与GNII传输需求的约束要素调整反馈机制,通过仿真验证基于星间链路的GNII传输路径自适应选择策略与机制。     

类群签名在财务管理系统的应用

传统群签名方案存在着在群内所有的成员都拥有相同的权限,而门限权签名又只针对群中一定数量的用户一起签名才有效,该文利用这两种思想提出的一个新的类似群签名的方案解决了这一矛盾。这种方案具有如下优点：(1)设置了群内用户的权限,并且安全性得到一定的保障：(2)该群内用户进行签名时不会发生越级签名。