基于HLA的转发式数据链仿真平台架构

为构建具有良好扩展性和灵活性的数据链仿真平台,提出基于高层体系结构的转发式数据链仿真架构,实现数据链应用层仿真和数据链传输层仿真的分离。定量分析该架构在HLA时间管理服务下对接收顺序和时间戳交互数据的传输影响,验证了该架构的可行性和合理性。建立的仿真平台原型表明,该架构能支持数据链应用需求的快速变化,提高核心模块的重用性和平台的扩展性。     

基于STN的计划执行过程时间冲突检测与消解*

计划执行过程中,各种不确定因素常常引起时间约束的违背.为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突.     

基于语义相关的信息聚焦数学模型及方法研究

信息服务目前依然是一个研究热点。提出了基于语义关联的信息聚焦概念及数学模型。信息聚焦作为一种新的信息服务方式,利用信息之间的语义关联关系实现信息汇聚。首先给出了基于本体的元数模型以及信息、信息空间的数学模型和信息聚焦的数学描述,并在此基础上提出了基于本体的语义相关及信息聚焦的形式化描述。     

基于FINC模型的作战体系定量评估方法

针对信息化作战条件下的作战体系对抗特点,提出一种扩展的FINC模型。在此基础上,从情报延迟、单元协作、执行能力以及决策支持4个方面对作战体系效能指标进行量化评估,从而得出作战体系的反应速度、协作水平、执行能力和信息支持状况。实验结果表明,该方法可以保证作战体系中信息流通的速度以及彼此协作的水平。     

基于多亲树的RBAC角色可视化管理

基于角色的访问控制(RRAC)被广泛地应用于各类复杂信息系统中,通过对用户指派角色进行授权以访问系统中的特定数据或资源。一些问题已在应用过程中逐渐暴露:如何较好地展现角色层次关系、用户角色指派和角色指派中约束如何体现、冗余的角色授权如何检测与解除等。从可视化的角度采用层次信息可视化技术来辅助RRAC中的角色管理。首先阐述了所研究的问题,并定义了可视化过程中使用的多亲树结构;然后给出一个多亲树规范化过程,以建立一个符合可视化要求的标准角色层次;随后提出一种双层可视化范例来展示角色管理过程,其中下层用于展示角色层次和权限,上层用于配置用户节点;此外,针对所述问题给出若干交互方法,以可视地辅助解决角色管理中的约束和冗余问题。     

基于节点有效通信率的P2P网络拓扑优化

分析了P2P网络中产生大量冗余通信开销的原因,根据不同节点对查询表现出不同的性能,定义了节点有效通信率,让具有更高有效通信率的节点具有更大的连接度。采用了基于流言的闲谈机制来获取整个网络的平均有效通信率和平均节点连接度,提出节点度优化模型及连接策略。实验结果显示文中的拓扑优化方法大幅提高了资源搜索的整体性能。     

绿色节能技术在海洋装备智能制造基地建筑设计中的应用及探讨

结合海洋装备智能制造基地设计实例对建筑设计中采用的绿色节能技术展开研究,首先介绍了研究背景,随后描述了研究的意义,接着通过对设计措施、实践应用展开详细论述,以期为石油石化制造业企业在建设绿色低碳工业园区方面的提供参考和借鉴。     

条件依赖理论及其应用展望

介绍了条件函数依赖理论及如何用于检测不一致数据.首先介绍了条件函数依赖的概念及其推理系统,以及如何通过依赖传播实现视图的规范化;阐述了条件函数依赖的一致性和蕴含判定问题,并在此基础上介绍了基于条件函数依赖检测关系数据库数据一致性的技术;最后讨论了条件函数依赖的扩展及应用.     

计算网格中基于时间均衡的并行粗粒度任务调度算法

考虑网格资源异构、自治、动态等特性,讨论本地用户具有强占优先权情况下的任务调度问题,提出了TBBS(Time-Balancing Based Scheduling Algorithm)算法.建立调度优化模型,以期望完成时间最小为目标选择执行任务的最佳资源组合.以时间均衡策略将任务分解并调度到资源上执行,减少了子任务同步时因等待而产生的延时,获得较好的并行计算性能.采用重复调度策略,适应计算网格中资源的特性.     

基于逻辑渗透图的网络安全分析模型

基于图论的方法被引入来进行分析多阶段、多主机之间的网络渗透行为,但非形式化的数据描述及状态爆炸等问题难以适应中大规模网络系统。通过分析多种网络渗透行为,提出一种基于逻辑渗透图的网络安全分析模型（LEG-NSAM）。通过分析对比看出,LEG,NSAM的形式化描述和推理机制有助于更加准确、清晰地评估安全风险。采用LEG及其简化算法能够对大规模网络进行有效安全分析。