面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

一种支持 NF￣2 和多媒体的数据模型

支持ＮＦ２（Ｎｏｎ－ｆｉｒｓｔ－ｎｏｒｍａｌ－ｆｏｒｍ）和多媒体的数据库系统ＮＦＭＤＢ是在关系数据库ＲＤＢＭＳ的基础上研制的,它是一种扩充了的ＤＢＭＳ。系统采用了扩充的关系数据模型,它支持ＮＦ２和多媒体的数据存储和数据操作。本文重点介绍了ＮＦＭＤＢ系统支持ＮＦ２和多媒体的数据模型,以及基于数据字典的实现方案,系统具有处理复杂对象的能力。     

正规基上的快速乘逆算法

根据有限域GF(2~m)上的正规基表示,本文提出一种新的快速乘逆算法。该算法把计算乘逆的复杂忭从O(m)降低到O(1/m)。     

关于BL-代数的implicative滤子的一些结果

通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。     

区间数据回归分析方法

提出区间数据回归分析方法, 建立区间数据回归方程, 给出回归系数的最佳无偏整体估计及其协方差矩阵.详细讨论了工程中常见的极值分布、Weibull分布和正态分布的等尺度和非等尺度(或异方差)线性回归分析.该方法可以将各个不同状态下的区间数据作为一个整体进行统计分析, 具有信息量大、精度高的特点.      

确定结构几何变形关系的简便方法

本文对工程结构（无论是静定的还是超静定的结构）的几何变形关系进行分析和讨论,指出了传统几何作图法的繁琐与不足,提出了建立在逆向思维方式和高等数学基础上的解析方法,比之几何法更中简便,易于掌握。     

基于离散曲率计算的三角网格模型优化调整

采用面积夹角加权的三角网格模型顶点法矢及三角片质心权值对Taubin的三角网格模型离散曲率计算方法进行了改进,在此基础上提出了一种新的三角网格模型优化调整方法。用该方法调整三角网格模型,在模型上曲率变化较平缓的平坦区域及曲率变化较剧烈的特征区域都能取得较好的调整效果。     

基于对数正态分布第k试验寿命的分散系数法

针对发动机构件寿命试验评估中对寿命分散系数计算公式与不同取值的需求,本文导出了寿命符合对数正态分布、基于任意第k试验寿命分散系数计算公式。并给出置信度为0.95、可靠度为99.87%、母体对数正态标准差lσgN=0.13时的寿命分散系数。本文基于最差试件寿命的分散系数与已有文献一致,而基于最好试件寿命分散系数较已有文献更为合理;采用本文公式可得到任意给定置信度、可靠度、寿命分散条件下的寿命分散系数,可供工程上评估构件寿命时使用。      

电脉冲除冰系统的建模与计算分析

电脉冲除冰系统是上世纪80年代以来新兴的飞机用电动-机械式除冰技术,国内关于该方面的研究起步较晚,文中在阐述了电脉冲除冰研究重要性和研究方法后,首先对电容充放电电路进行了分析与设计计算,接着给出电动力学模型,并计算了系统中感兴趣的关键参数,对计算结果进行处理后得到了能够指导设计的重要参数间的关系图,结合工程实例给予了分析与评价,提出了下一步研究解决的问题。