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

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

关于多维空间的逻辑断想

仰望太空，我们可能无法理解的是：我们所见到的星星有些仅仅是它们几百年以前的真实相貌。也就是说，我们见到的某些星系，可能在几百万年前就已荡然无存!如果不考虑引力波的无法预料的瞬时影响，太阳爆炸后的8分钟内，我们依旧能看到它跟往常一样平静地在空中熠熠生光。这即是光速下的距离所产生的“美”。     

小行星形貌特征的分析与描述

小行星形貌特征的分析对深空探测器的导航、着陆点的选取具有重要意义。现有的深空星体形貌特征的分析与描述主要集中在火星、月球等类地天体上,而作为宇宙中为数众多、信息量丰富的小行星却鲜有文献对其形貌特征作详细深入的介绍。文章以Vesta、Eros、Mimas等人类已探测的小行星为例,分析了几种典型的小行星表面形貌特征,完善了凹坑、岩石等形貌特征的描述参数,并用仿真实验生成了Mimas小行星表面的Herschel凹坑模型。实验结果显示,所提出的特征描述方法具有较好的仿真度和实用性。     

系统可靠性数学模型的算法研究

讨论了“n 中取k 好”表决系统和“n 中取相邻k 好(坏)”系统这两种可靠性模型的算法,给出了计算复杂性最小的算法。     

Halo轨道探测器的姿态描述与建模

日地系Halo轨道位于平动点附近,且不存在以地球为中心的轨道平面,这使得Halo轨道探测器的姿态描述和建模问题完全不同于近地卫星.针对三轴稳定方式的探测器,给出了2种姿态描述方案:对日定向方案(方案I,基于日、地敏感器)和旋转坐标系下定向方案(方案II,基于星敏感器).依据两者所定义的不同轨道坐标系,分别建立了姿态动力学模型.分析2类描述方案的相对误差,发现方案I的上限不超过5%,而方案II的上限不超过0.005%.并就方案I设计了姿态镇定控制器,以验证所提出的姿态描述方案的合理性.结果表明:具体工程应用中应以方案II为正常工作模式,并定期修正星历表的误差;方案I作为备份,保证探测器的正常运行.      

飞机系统可靠性的电磁兼容预测研究

对飞机可靠性工程中的有关系统内电磁瘘容性分析和预测程序进行了研究开发，详细论述了天线对天线干扰的传播模型、导线与导线间的耦合模型、电磁场对导线的感应模型、设备对设备的耦合模型以及其编程语言、输入数据处理方法等开发技术。给出其计算结果，并与实验数据作了比较，结果表明，可提高系统的可靠性。     

关于大系统的结构、稳定性与镇定问题

本文首先研究了大规模系统的结构,指出可将大系统分解成多层结构,每一层均是“最小强相联”子系统组成的,只有最高层是“简相联”子系统组成的。然后引入子系统本身的“稳定性强度”和子系统间的“联接性强度”的概念,多层结构使得大系统的稳定性条件有相同的类型,形式简单而且有明显的物理概念。最后讨论了用局部反馈对大系统进行镇定的问题,多层结构及稳定性强度与联接性强度概念,使镇定方案简明,且便于讨论引用最少数目的反馈问题。     

关于三值逻辑函数系中的独立函数

为了解决谱技术在三值数字系统中的应用,关键之一是必须首先求出该逻辑函数系中的独立函数。为此,本文提出:《三值逻辑函数图》的排序方法;求找三值逻辑函数系中独立函数的方法以及如何用独立函数来构成该逻辑函数系中的全部逻辑函数。本文所得的结论将为三值逻辑函数的分类、谱技术的应用以及三值逻辑函数的模块设计提供理论基础。     

成败型系统可靠性增长的Bayes评估

针对成败型系统在研制阶段的动态增长的可靠性评估问题,依据前期可靠性增长试验中多阶段的试验信息和专家经验,提出了基于新Dirichlet先验分布的可靠性增长的Bayes评估方法。该方法根据已有的不同阶段试验信息,利用离散AMSAA（Army Material System Analysis Activity）可靠性增长模型描述可靠性增长试验中不同阶段可靠性的增长趋势,并对各个阶段的可靠性进行评估;针对下一阶段建立基于新Dirichlet分布的可靠性先验分布,并根据下一阶段可靠度的估计值采用最大熵模型给出先验分布参数估计;在获得现场试验数据的条件下,给出下一阶段的可靠度后验估计,并讨论不同区间范围对后验可靠性的影响。最后通过实例分析,表明相较于直接利用离散AMSAA模型和Beta先验分布,该方法在合适的专家经验的指导下能够给出更为准确的可靠性评估。     

基于产品可靠性的工艺系统可靠性模型

以提高产品的可靠性为目的,分析了工艺系统﹑工艺过程产品输出参数﹑产品使用性能﹑产品可靠性四者的关系.在此基础上,提出了基于产品可靠性的工艺系统基本影响关系可靠性模型,介绍了其建模方法.模型考虑了各工序之间的影响,反映了工艺系统与产品可靠性的关系.最终研究了工艺系统可靠度和工序可靠度的定量计算方法,为找出工艺系统的薄弱环节,进行工艺优化进而提高产品的可靠性提供了理论依据.     

基于仿真模板的控制系统可靠性分析

提出面向对象的计算机辅助故障模式影响分析(CFMEA)方法,建立了控制系统仿真模板,将其数据、操作和性能封装成一个对象,对象间通过属性进行因果推理,实现FMEA向故障树(FTA)的自动转换.引入控制系统性能可靠性概念,建立控制系统性能和功能综合可靠性模型,开发相应的解算方法.实例分析证明了基于仿真模板的控制系统可靠性分析的有效性, 综合了功能和性能可靠性分析的优点.      

关于时间时间的7大错觉

你是否觉得在等待的时候时间仿佛静止一般？是否随年龄的增长觉得时光从指尖飞逝？身处科技产品的包围中，我们几乎可以获得一切所需之物，因此，我们的生物钟和时间感很可能已经发生了改变。     

关于大电流测试问题的研究

采用电流比较仪,AD交直流标准电阻,高准确度数字多用表组成校验系统,解决大电流测试问题.     

OLS—一个描述理论与实践交互作用的逻辑系统

定义了认知过程中出现的反例及反驳两个概念,定义了一个描述理论与实践交互作用的逻辑系统OLS,此系统由证明演算及假设演算组成。当反例(或反驳)出现时,通过假设演算,人们可以修改假设,使修改后的假设不仅是可满足的而且包含反例(或反驳)作为其逻辑结论。OLS在机器学习、知识获取、软件开发、故障诊断及知识库维修方面有着广泛的应用前景。     

基于分形协方差函数的自然纹理描述与分类

研究了自然纹理图像的描述与分类的方法,提出了基于分数布朗运动模型及其协方差函数的方法.分数布朗运动的协方差函数被用来估计自然纹理特征的Hurst系数和常数k.2个子图像的5个特征组成10个特征的特征集.与直接从原始纹理图像获得特征矢量不同,该方法的10个特征矢量是分别基于大于图像灰度平均值的图像和小于图像灰度平均值的图像得到的.以纹理图像的平均值为阈值,可以得到2幅子纹理图像.从每个子纹理图像提取出5个特征,它们分别是横向、纵向和45°方向的常数,横向和纵向距离为2的Hurst系数.2个子纹理的5个特征组成10个特征的特征集.从Brodatz纹理集选出的16种纹理图像被用来检验描述和分类效果,分类结果显示该方法具有很好的自然纹理的描述和分类能力.     

卫星相对运动的新解法

卫星相对运动的研究在航天飞行中有着较为广泛的应用价值。Ｃ－ Ｗ的解对于计算两星近距离的相对运动是很有效的, 但是, 当两星距离变大时其误差就不断地放大。文章采用一种新解法： 首先建立相对运动的解析关系; 然后利用椭圆运动的结果导出三维的近似分析解。它可以精确到偏心率和倾角差的一阶项, 而且不再包括长期误差。理论分析和数值检验的结果表明, 整个新的解的精度大大高于Ｃ－ Ｗ 解的精度。     

空气龄的数值解法

提出了用ＣＦＤ法求解空气龄的具体方法，其步骤为先求解Ｎ－Ｓ方程，后求解空气龄。为求解Ｎ－Ｓ方程，采用了改进型ＨＳＭＡＣ法，并给出了压力和速度同时修正的方法。为求解空气龄，推出了空气龄输送方程式和给出了空气龄和速度成分的边界条件。计算机模拟验证了求解方法的有效性并由空气龄求出了通风效率。     

推力偏心影响下的飞控系统可靠性研究

发动机推力偏心是引起弹道散布和影响导弹可靠性的重要因素之一.为了尽早暴露系统设计缺陷和提高导弹的可靠性,提出了在推力偏心随机散布情况下进行导弹飞控系统性能和可靠性一体化分析的方法.分析推导了推力偏心引起的扰动力矩,给出了可靠性仿真的算法流程、具体实现方法和相关可靠性指标的计算公式,并以某型导弹飞控系统为案例验证了该方法的可行性.      

基于MCP的无人机系统可靠性指标分析计算

为计算无人机系统的可靠性指标,论述了现代无人机系统的组成,利用可以收集到的国外无人机外场使用数据,结合无人机系统的不同工作模式,建立了系统的任务可靠性模型,以任务成功概率(MCP)计算为出发点,对无人机系统的平均致命性故障间隔时间(MTBCF)和平均无故障工作时间(MTBF)进行了初步分析计算.