基于描述逻辑DL_(RBAC)的RBAC形式化模型

提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.     

飞行器复合材料结构设计、制造与分析技术的发展

近40年来,先进复合材料在飞机结构上的应用不断发展,先进复合材料结构的研制成功和扩大应用,需要设计、材料和制造各方面的协同努力,可以用"设计是主导、材料是基础、制造是关键"来描述三者的作用和相互关系.开发复合材料设计、材料、工艺新技术已成为新一代飞机研制中的一项关键技术.     

基于业务描述的军事信息系统需求分析

军事需求为军事信息系统开发明确了目标,是系统开发的起点。要开发出满足军事活动需求的信息系统,就必须深化需求分析研究。文中分析了深化需求分析研究的必要性、阐述了业务活动描述在需求分析中的重要作用,提出了基于业务描述的军事信息系统需求分析的思路和具体实施过程,并给出了相应的应用案例。     

数学形态学边缘检测方法在火箭弹离轨参数测量中的应用

从数学形态学边缘检测的基本理论出发,结合火箭弹离轨参数测量的应用要求,定义了一种切实可行的数学形态学边缘检测的具体方法和结构元素,在火箭弹离轨参数测量系统应用中取得了很好的效果。     

基于描述函数法的速率限制环节特性研究

针对电传操纵系统中速率限制环节的非线性特点,建立了简化的速率限制环节模型,在时域内对其动态特性进行了仿真.运用描述函数法分别建立了正弦输入/三角输出描述函数模型和闭环描述函数模型,对比研究了两种不同模型的频率特性.对速率限制环节由未饱和状态发展至完全饱和状态的频率特性进行了分析.     

三维复杂几何外形的表面三角形网格自动生成

按点－线－面的层次数据结构,选取几种有代表性的曲线曲面,实现了三维复杂外形的表面描述。采用曲面到平面的保形变换,在平面内由阵面推进法自动生成三角形网格,实现了三维复杂外形的表面三角形网格自动生成。     

不规则结构有限元分析的并行处理及其在YH-1上的实现

在结构分析中,有限元方法是一个重要的数值方法。近些年来,关于单元刚度矩阵计算与总刚度矩阵合成的并行处理问题,A.K.Noor,梁维泰等人已进行了富有成效的工作,但他们的工作都是面向几何形状规则的结构分析问题。本文结合YH—1机的特点,对不规则结构分析问题,在提出单元分组技术的基础上,给出了一个单元刚度矩阵计算的并行算法ESVC,和变带宽存储格式下一个总刚度矩阵合成的并行算法ESVS。通过在YH—1并行机上对实例的计算结果表明:当同时计算的单元数r取120时,加速比s可达9.5,且r愈大,s就愈高。     

一种航天器防护与遮挡的几何描述算法研究

文中提出了一种航天器部件在任意威胁攻击方向上的投影面积和重叠面积的计算方法及部件间遮挡关系的确定方法。采用“几何拼接法”或借助有限元软件来建立航天器及其部件模型。将航天器各个部件向投影坐标系进行投影获得部件投影边界图形。利用垂直扫描线对各个部件的投影多边形进行扫描并进行求交运算 ,形成多个分散的四边形 ,在每个四边形内产生射击线 ,累加求出航天器易损性评估中所需的部件投影面积、重叠面积及遮挡关系。算例对三个正方体形状的部件进行了几何描述 ,当扫描线步长取 2cm时 ,投影面积及重叠面积计算值与理论值的最大相对误差为 5 0 6% ;当扫描线步长取 0 5cm时 ,最大相对误差为 1 2 5 %。结果表明算法通用性强 ,易于实现     

卫星GPS组合姿态确定系统方案研究

采用ＧＰＳ定姿技术作为卫星高精度自主姿态确定系统的备份，可以提高系统可靠性。在小型和微小卫星上采用ＧＰＳ定姿技术，保证在满足重量、功耗和其它技术指标的条件下，姿态和轨道控制系统全面满足任务要求。本方案为探索当今姿态和轨道控制系统基本型的研究迈出了一步。     

双通道测角传感器在航天控制中的应用

双通道测角传感器在航天控制中的应用陈乃川北京航天自动控制研究所１００８５４摘要双通道测角传感器的基本原理，对计算机接口方案的要求在本文中作了扼要介绍，重点描述了双通道控制信号异步传输中的极性判据的建立、校验和耦合方法。试验验证了此方案是可行的。主题词...