提出了结构关键件功能失效概率、单机功能失效概率和机群功能失效概率的概念.以二项分布为基础,建立了从结构关键件功能失效概率、单机功能失效概率直至机群功能失效概率分析
摘要：形式化方法在模型为导向的软件工程中起到非常重要的作用，其中模型检验已经成为软件验证和纠错的一种重要方法，而模型学习是对于模型检验的一种有效补充技术。本文将对模型学习的概念和研究意义进行介绍，汇总了几种常见的对于寄存器自动机和时间自动机的模型学习的方法，并提出了一種对于时间自动机进行学习模仿的算法思想，最后对于模型学习的主要研究方向进行了阐述。 关键词：模型学习；形式化方法；时间自动机；寄存
综合控制管理是机载机电设备发展的趋势.针对航空机电设备综合控制管理预研项目，利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术，设计并实现
以飞机蒙皮结构常用材料LY12CZ铝合金模拟试件的试验室加速腐蚀和大气暴露腐蚀试验结果为依据,用腐蚀深度对腐蚀损伤程度进行了描述,对腐蚀深度进行了测量;给出了一定腐蚀时
传统的人脸识别算法如SVM,等都需要人为的进行特征提取。该文以经典的深度卷积神经网络和残差网络进行特征提取,结合区域搜索网络,设计出一种自学习的人脸检测算法。该文通过搭建多种不同深度的残差网络和卷积网络模型,结合区域搜索网络进行实验研究,在人脸检测数据集上进行训练和测试,最终测试结果显示该算法对遮挡不明显的人脸图像检测效果较SVM算法更好。
提出了一种二层学习算法来优化模糊规则基。利用Ｔａｋａｇｉ－Ｓｕｇｅｎｏ模糊神经网络对一个模糊规则基进行参数学习，学习方法为梯度下降法，然后利用遗传算法对规则基进行结构调整，采用二进制编码方法，一
构件可靠度的研究是结构可靠性分析的基础,其正确的计算方法对结构的安全可靠性评定具有重要意义.以应力-强度干涉模型为基础,探讨了当构件的应力和强度按不同分布时,构件可
基于BP神经网络的误差反向传播机制,探讨了建立在BP神经网络基础上的模型参考自适应控制方法.该方法用2个BP神经网络分别作辨识器和控制器,其中辨识器兼作间接传递误差的通道
应用随机时间序列理论和资产评估理论对矿产资源资产估价的收益现值法进行了研究，建立了待估矿产资源资产未来净收益的动态预测模型，提出了折现率历史数据的测算方法，据此，建立了
在论述基于 辨分析的小波基构造方法和小波分解理论的基础上，针对电力故障信号富含瞬时性强、衰减快暂态成分的特点，研究了基于信号离用小波逼近品质，即离散逼近时域二范数最大