基于兴趣划分的内容发布订阅系统关键算法

在基于内容发布订阅系统中,将订阅兴趣在多个代理之间划分是代理负载均衡的重要方法.提出了基于事件空间的K-D树划分方法.通过将事件空间划分成负载相同的区域,优化了系统负载均衡的性能.基于逻辑空间最短距离的概念提出了与划分相关的事件和兴趣路由算法以及单播和多播混和的通知路由方法.两种路由算法减少了事件匹配操作,提高了路由的效率.利用事件空间的区域合并和分裂实现了系统的自组织.实验和与相关工作比较表明,划分方法及其相关算法的引入提高了系统的可伸缩、容错和负载均衡性能.      

单自由度力觉交互系统建模与分析

为提高力觉交互系统性能,需要通过建模和分析来了解各参数对系统性能的影响.对单自由度力觉交互系统,假设虚拟环境为被动,将操作者对系统影响分为主动输入和被动阻抗,建立了包括操作者在内的力觉交互系统模型;通过双端口网络理论的应用,就系统对刚度阻尼组合虚拟环境的稳定性进行了分析,给出了系统稳定条件的一般判定准则,并由此分析了传动刚度对系统稳定性的影响.该方法可以用于对力觉交互系统的性能评估和设计指导.      

基于模型化配置的星务自主控制软件设计与应用

卫星互联网正成为一种空间基础设施展开建设,大规模卫星发射的需求与地面运控管理任务指数型增长之间的矛盾日益突出,特别是对于低轨长期处于测控不可见弧段运行,其自主生存需求更为急迫,而星务自主控制功能是实现自主运行和生存的重要组成.本文通过参数装订、逻辑子层和数据交互模块的架构设计,提出一种基于模型化配置的自主管理软件系统框架,并针对核心逻辑子层,建立遥控主动模型、遥测主动模型以及数据融合交互控制模型,实现星务自主管理软件的快速研制,解决自主运行功能常会随设计深入和试验验证不断功能扩展的问题,提高星务自主控制软件的灵活性.通过卫星故障检测和恢复(FDIR)自主管理功能的设计进行了验证.结果表明该软件系统设计框架能够满足星务自主控制功能设计,具备可扩展能力,为进一步提升卫星的智能化水平奠定基础.     

CCSDS下行链路虚拟信道调度方法及其性能分析

描述了分包遥测的信源特点 ,并在此基础上提出了传送层虚拟信道划分和使用原则 ;利用轮询系统的方法建立了虚拟信道调度模型 ,从系统延时性能和缓存分配原则的角度 ,分析了不同信源组合下不同调度策略对系统可能造成的性能影响 ;提出了不同信源条件下适宜的调度策略和缓存分配策略。结果可为系统早期设计提供参考     

基于模糊故障树法的清洗机器人安全性研究

提出用故障树形图分析法来分析机器人安全性.首先根据机器人设计方案及失效分析建立故障树模型,用故障树分析法对此模型进行定性和定量分析.针对系统底事件和中间事件发生概率情况获取不足的现状,将模糊集理论引入故障树分析法,将底事件(基本事件)发生概率描述为模糊数,通过模糊运算规则估计出整个系统的故障率.      

网格计算环境中的安全信任协商系统

网格技术促进了广域网络环境下的资源共享和协同工作.然而,在网格环境中,服务的提供方和请求方往往位于不同的安全域,如何为位于不同安全区域的陌生主体间动态地建立信任关系成为一项应用难题.基于信任管理基础设施,通过协作主体间信任证、访问控制策略的交互披露逐渐为各方建立信任关系,设计并实现了一个保护协商方隐私信息的安全信任协商系统.该系统采用一种基于属性的委托授权信任证、访问控制策略及一致性验证算法,实现策略的动态调整,从而生成满足访问控制策略的所有最小可满足信任证集,能够使理论上存在的信任关系得以自动建立.通过在CROWN平台中的应用,显示该系统能够满足网格应用中信任自动建立和敏感信息保护的需求.      

航电系统SCI互连的可靠性模型研究

研究未来航电系统关键协议——SCI(可扩展的一致性接口)的可靠性建模问题.从SCI互连的基本模型出发,提出了基于任务的系统可靠性分析方法,建立了系统的可靠性模型,并针对航电系统中SCI的蝶型互连进行了可靠性分析,指明该方法在航电系统设计阶段对于任务划分和拓扑选择都将起到指导作用.      

航天工程系统集成模型和策略研究

系统集成是系统工程的重要组成部分,决定着大型工程系统的成败.航天工程是典型的大型工程系统,系统集成过程环节多且关系复杂,经常发生因系统集成不合理而导致整个工程计划延误或性能指标降低的情况,严重影响了工程效用的发挥.本文探讨了航天工程系统集成模型的建立和策略的设计;分析了系统集成的两种典型模型和策略;通过示例研究了航天工程系统集成模型的建立和策略的设计.      

一种基于UML的协同入侵检测系统分析方法

为了提高对分布式协同攻击的检测能力,提出了一种具有广泛适用性的分布式协同入侵检测模型,该模型以多代理为构造基础,通过协调代理协同下层检测代理,实现对复杂攻击的协同检测.采用统一建模语言(UML),对模型的主要功能、静态组织结构、代理内部的推理行为和代理间的交互行为进行了分析和设计.UML为协同入侵检测系统的分析和设计提供了有效的手段,方便了与其它安全系统的集成.      

基于ActiveX的多Agent自主运行仿真系统

针对面向分布式航天器系统应用的多Agent自主运行系统仿真的需求,设计了分布式的自主运行仿真系统AgSimu.提出了以ActiveX组件来实现各种类型Agent的方法,以ActiveX容器应用程序实现Agent容器,完成对Agent的建模、配置、管理和通信,可以方便地构建不同结构的分布式多Agent组织,仿真它们的交互与协同工作.通过在Matlab/Simulink的S函数中使用ActiveX控件,实现了多Agent仿真系统与Simulink中的对象模型进行交互,从而可以实现多Agent自主运行系统的闭环控制仿真.     

基于固定优先级航天器任务分层调度研究

在航天器自主控制结构中, 采用分层结构构建系统, 实现不同分组的软件互不影响执行. 针对固定优先级调度模型, 通过对分区可调度性和分区设计问题进行研究, 仔细考察了任务最大响应时间迭代计算过程, 提出了一种更为精确的求解算法; 在固定优先级任务利用率上限的基础上, 给出了分区任务可设计的判定条件; 通过利用价值函数, 给出了分区参数解析模型, 在此基础上, 提出了一种局部最优的设计方法来实现整个处理器的分区设计, 通过具体实例对所提出的分区分析和设计方法进行了验证.      

CMS中RBAC模型的改造和应用

针对内容管理系统(CMS)中内容、权限和用户数量规模大的特点,采用形式化方法定义了改造后的基于角色的权限模型--RBAC0.5.对照RBAC96定义的4个模型,RBAC0.5是一个介于RBAC0和RBAC1之间的新模型.它覆盖了RBAC0,将RBAC1中的角色层次关系改造为通过用户组关联的映射关系,从而获取以关系型数据库为后台的集合操作能力.并且,为了有效组织CMS中的内容,形式化定义了内容分区和层次分类,在此基础上定义了层次化的权限集合,从而支持多层粒度上的访问控制.基于上述模型, 给出CMS中基于短路操作、垃圾收集以及缓存技术的实现访问控制的优化算法.     

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

基于动态优先级的核心处理安全分区优化设计

在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.      

纤维增强复合材料疲劳寿命预测及损伤分析模型研究进展

随着纤维增强复合材料主承力结构在多领域内的广泛应用,疲劳成为复合材料结构设计必须面对的问题,出现了大量用于复合材料结构疲劳寿命预测及损伤演化的分析模型与方法。目前的复合材料疲劳性能分析模型可以分为疲劳寿命模型、唯象模型和渐进损伤模型。对这3类模型的发展情况进行了综述和对比分析。其中,疲劳寿命模型原理相对简单,适用于工程结构的寿命估算;唯象模型建立了材料剩余强度/刚度与循环数的数学关系,可以预测结构的寿命与材料剩余力学性能;渐进损伤模型不仅可以预测结构寿命和材料剩余力学性能,还能分析结构疲劳损伤机理。对各类疲劳性能分析模型的发展趋势进行了讨论。指出了降低实施成本和提高通用型是各类疲劳性能分析模型有待解决的问题。      

面向领域的仿真设计建模工具SIMDEMO

讨论了面向领域的仿真设计建模工具SIMDEMO的设计和实现.基于透明性、正交性、层次性的视图分解原理,对处于不同阶段、面向不同用户、涉及不同方面的系统模型采用多视图进行分解,建立了以多视图为核心理念的系统协同建模方法,给出了该建模方法下建模所需遵循的过程指导.针对领域模型描述、表示以及操作等多个方面对工具重构的需求,研究得到了基于元对象反射模型的工具架构;架构具有良好适应性,使得工具重构更灵活、简捷.对SIMDEMO的功能结构进行了简介,给出了系统实现方案.最后,将SIMDEMO与典型同类工具作了比较.     

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展,软件在航天器中的作用和地位越来越突出,航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点,这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力...     

基于构件的模型库和方法库的设计和实现

在智能决策支持系统开发环境的分析和设计的过程中,提出了实现此开发环境的一种设计原理和系统结构,讨论了在决策支持系统设计建模中的模型库和方法库的设计和实现,在对分布式对象技术和对象建模技术分析的基础上,给出了基于对象建模技术和构件对象模型技术的模型库和方法库的分析、设计和实现.