基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

基于改进核极限学习机和集成学习理论的目标机动轨迹预测

为了提高目标轨迹预测的精度以及预测模型的泛化能力,提出基于改进蝙蝠算法优化的核极限学习机(Kernel Extreme Learning Machine,KELM)和集成学习理论目标机动轨迹预测模型.构建KELM模型,并采用改进的蝙蝠算法对KELM的参数进行优化;以优化后的KELM神经网络为弱预测器,结合集成学习算法生...     

基于转置卷积神经网络的翼型结冰冰形图像化预测方法

结冰问题严重影响飞机飞行安全,结冰智能预测是飞机智能防除冰系统设计和安全设计的重要依据和支撑.为解决复杂冰形在翼面同一位置的法线方向冰形厚度存在多值的问题,提出基于转置卷积神经网络的翼型结冰冰形图像化预测方法.设计预测模型的神经网络结构、损失函数、数据规范等,直接将影响飞机结冰的飞行和大气条件作为输入,以灰度化的冰形图...     

鲁迅与魏晋南北朝诗歌

鲁迅以魏晋诗人的人格理想对诗性精神的影响为思考脉络,来考察这一时期的文化风貌之于诗歌的意义,并用“魏晋风度”来概括。在精神文化传承上,鲁迅和魏晋诗人都对酒情有独钟,借助于酒文化获得精神上的超越。在艺术创作上,鲁迅诗歌与魏晋南北朝诗歌都有着沉郁、苍劲的特点,也都呈现出率真自然的风格。     

基于ADAMS的某型高射机枪虚拟样机建模与仿真

在分析某型高射机枪射击过程中各构件的运动以及相互作用的基础上,利用Pro/E和ADAMS软件建立该高射机枪的虚拟样机模型,并对其自动机运动特性进行仿真校核,证明虚拟样机建立的可信性,为该枪进一步的仿真研究奠定基础。     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

一种基于DCT和SVM的人脸识别新方法

文中提出了一种新的人脸识别方法,该方法采用DCT提取人脸特征,并采用SVM对该特征进行分类识别。基于该方法,对ORL人脸库进行分类识别,仅用28个特征平均识别率达到97.4%。仿真结果表明,该方法显著地降低了特征维数和计算复杂度,明显提高了特征的可辨别能力,而且,SVM可以有效地提高分类器的分类和推广能力。     

小子样多失效模式系统可靠性竞争模型

为解决小子样多失效模式系统可靠性模型参数的估计问题,首先应用支持向量积建立小子样条件下各故障模式的规律模型,其次利用模型将各故障模式的故障数据由小子样扩充成大样本,再次采用常规的参数估算方法估算各故障模式的分布参数,最后建立多失效模式系统的可靠性竞争模型。利用所提方法,建立了小子样条件下具有两种失效模式的柴油机汽缸套可靠性竞争模型,计算结果与大样本条件下的故障预测数据吻合度较高,说明了方法的有效性。     

基于Vague集模糊值线性序法的雷达抗干扰效能评估

针对已有评估方法存在的不足,提出了一种基于Vague集模糊值线性序法的雷达抗干扰效能评估方法。分析了影响雷达抗干扰效能的指标因素,给出了各评价指标的模糊值表示,建立了基于Vague集模糊值线性序法的雷达抗干扰效能综合评价模型,得到了评价其效能的排序方法。最后通过实例分析验证,该方法评估结果准确,具有一定参考价值。     

频率匹配准则的某型机枪自动机结构参数优化

首先分析了影响某型重机枪射击精度的影响因素,并以武器频率匹配准则为依据,以建立的机枪动力学虚拟样机模型为平台,通过灵敏度分析,找出导气孔横截面积、活塞的有效横截面积、枪机框质量、枪机质量和枪机框缓冲簧刚度等参数是影响武器射击频率的主要因素;利用序列二次规划优化方法对自动机结构参数进行优化,优化仿真结果表明,武器的射向一致性得到明显提高,这对于武器结构方案优化设计,提高武器射击精度是至关重要的。