多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

空间数据库管理系统VISTA的角色访问控制设计

从角色安全定义、角色访问设计角度讨论了空间数据库管理系统VISTA中基于角色的访问控制(role-based access control,RBAC)的设计方案及其实现方法。通过对角色偏序关系和角色管辖域的讨论,说明了该设计方案的可用性和安全性。通过定义虚拟用户的概念,解决了当主体删除时,所属客体的存在性问题,保证了数据的可用性和可继承性。同时给出了该方法的基本算法流程及相应的安全信息数据结构。该方法可以移植到其他相似的ORDBMS中。     

一种基于角色的知识管理系统的动态组装模

在分析了知识管理系统(KMS)的组装技术和基于角色访问控制(RBAC)的特点的基础上,提出了一种基于角色的知识管理系统动态组装模型,并且还进一步给出了该模型中访问控制表的设计、知识管理系统的动态组装模型和客户程序与知识管理系统构成组件间的交互过程。基于角色的访问控制可以将KMS的使用置于多级的访问控制保护之下,增加了KMS与知识库的安全系数,从而有效地支持知识的动态重用、知识使用过程的动态重组,增强知识管理系统的分布式处理能力和规模可扩展能力,还可以在不影响KMS运行的前提下,实时的更新、升级系统的各个功能;易于实现有效的知识管理,以及知识资源的共享和充分运用。最后,通过一个实例说明了给出模型的实现技术。     

一种基于角色的协同仿真系统访问控制模型

针对当前协同仿真系统中的应用需求,提出并实现了一种基于角色的协同仿真系统访问控制模型.在这个模型中,通过建立用户.角色_权限三者之间的映射关系,并进行统一管理和维护,提高了协同操作中的灵活性和有序性.同时充分利用已有仿真系统的属性扩展特点,验证了该模型的可行性.     

分布式虚拟装配系统的多用户建模与协同技术研究

研究了支持多用户实时协同虚拟装配的关键技术,提出了基于角色访问控制(RBAC)的多用户管理模型和基于HLA/RTI的实时协同装配案,以此为基础开发出了支持实时协同交互装配操作仿真的虚拟装配原型系统,并以某汽车部分总成多用户协同装配为例对相关技术进行了验证.     

基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。     

装备保障中基于信任和预测的访问控制模型

为保证航空装备保障系统中适量的保障资源的安全授权,同时授权能够根据用户历史行为进行变更,在基于角色的访问控制模型基础上引入了信任和预测,提出了基于信任和预测的访问控制模型。角色只有在信任度要求满足时才能被激活,只有数量在属于预测区间时才能被分配给权限。设计了信任和预测机制,并结合具体实例对模型的使用进行了分析。结果表明,基于信任和预测的访问控制模型能够对航空装备保障系统中的资源实现灵活和有效的访问控制。     

一种视频运动仿真方法

为提高计算机虚拟角色的动作自然性与协调性,提出了一种将视频角色动作迁移到虚拟角色以提高运动仿真真实感的方法.该方法将视频角色动作转换为骨骼动作序列;通过动作时间和状态同步将动作迁移到2D虚拟角色上,使两角色动作时间同步且在同一时间动作相同;使用基于曲线式骨骼的图像变形方法平滑变形2D虚拟角色,并使用GPGPU技术加速变形计算.实验证明,该方法可使用虚拟角色仿真视频角色运动,解决虚拟角色的动作生硬等缺陷,适用于基于视频的动画制作和拓扑结构相近的模型之间动作迁移.     

电子政务系统中基于组织的访问控制方法和模型

从基于角色的访问控制(RBAC)模型在面对当前多级、多部门、分布式复杂电子政务系统时所体现出的处理能力上的不足入手,通过深入分析组织、组织结构和岗位三者的概念和内涵以及组织在电子政务系统的权限管理和访问控制工作中所具有的核心地位,引入基于组织的访问控制方法,并基于此构建其实现模型——OB4LAC模型。通过对OB4LAC模型的具体分析,给出其组成成员、形式化描述、子模型UPA、PORA、PERA和RRA各自的运行和管理方式,以及在进行组织间访问操作和业务协作时的处理流程,并进一步结合电子政务系统的实际应用案例,对OB4LAC模型的优势和适用性进行了分析和阐述。     

PKI中CRL撤消延迟的研究

首先建立了使用 CRL发布证书撤消信息的数学模型 .在对模型进行分析得基础上 ,对撤消延迟进行了分析 ,得到了撤消延迟的表达式并提出了发布 CRL的最佳方法 .最后给出了计算机仿真结果 ,对理论分析正确性进行了验证 .     

新配额制下电力-绿证-超额消纳量多尺度市场交易仿真

为了明确新配额制(renewable portfolio standards,RPS)下电力-绿证-超额消纳量多尺度市场耦合互动关系,引入系统动力学,构建互动交易模型并进行仿真。以市场交易标的物流转为线索,设计多市场耦合交易体系,基于系统动力学方法构建耦合交易复杂因果关系,并分析新RPS对市场主体收益或成本影响。仿真结果表明：新RPS下,电力价格逐渐下降趋势,消纳量证书交易压低绿证交易价格,二者交易价格最终会趋于相等。RPS会使可再生能源发电商电力市场收益、用户用电成本波动下降,RPS比例提高,二者下降速度减缓。     

多目标指派问题及其在军械物资供应中的应用

运用模糊数学的思想 ,首先将各目标下的属性值矩阵转化为模糊关系矩阵 ,再将模糊关系合成矩阵与解决传统指派问题的匈牙利方法结合起来 ,提出了多目标指派问题的一种求解方法 :模糊匈牙利法 .并结合部队军械物资的供应说明了该方法的应用.     

一种新的区间数多属性决策的集结方法

对于属性权重和决策矩阵元素均为区间数的多属性决策问题,提出了一种新的方案综合属性区间的集结方法。通过给出与区间权重向量相对应的属性有效权重向量的定义及其具体表达形式,改变已有方法需要求解数学规划模型的做法,运用区间数的数乘运算和加法运算集结方案的有效综合属性区间值,并利用一种对区间数排序的方法,比较各方案的有效综合属性区间值来确定方案的优劣。最后,给出了一个数值例子,结果表明方法简单、有效,易于实现。     

案例信息不确定下的多属性分类方法

针对实际决策问题的复杂性以及决策者认知的局限性,提出了一种案例信息不完全确定情况下的多属性分类方法.该方法采用二元语义处理方案的语言评价信息,以方案到正理想点的距离作为分类依据,利用案例集提供的分类概率信息建立区间目标规划模型,推导方案的属性权重及各个类的边界值.在建模过程中,考虑了案例信息的不确定性,并引入了可信度的概念,将总的可信度作为分类模型的评价标准.此外还从理论上证明了模型的合理性.最后,通过一个项目评价的分类实例说明了所提方法的可行性.     

多指标决策的最优线性分派法

多指标决策方法一直是系统工作者研究的课题。在定义正负理想方案的基础上 ,对方案进行贴近度单排序 ,然后综合所有指标求方案的排序频数。当排序频数无法给出方案的总体排序时 ,我们将其巧妙地转化为最优线性分派模型来处理 ,从而达到优化方案的目的 ,同时也为多决策问题提供了又一种可靠而又可行的决策方法。     

一种适于软件雷达系统数据结构的设计和实现

结合一个通用的雷达信号处理机系统，针对并行雷达信号处理的数据主要为矩阵形式的复数数据的特点，讨论了系统中软件的基本数据结构的定义和实现问题。此数据结构的特点如下将复数和矩阵设置为基本的数据形式，便于雷达信号处理算法的实现；使用矩阵描述符对矩阵进行访问，便于实现矩阵数据分割，为并行运算提供了支持；定义了“输入输出”数据类型，编程者可以根据对系统结构和问题模型的先验知识，人工为“输入输出”数据规定硬件存储地址。