吕晓明
- 作品数：25 被引量：142H指数：8
- 供职机构：中国人民解放军军械工程学院军械技术研究所更多>>
- 发文基金：国家自然科学基金军队科研计划项目更多>>
- 相关领域：自动化与计算机技术兵器科学与技术军事航空宇航科学技术更多>>
- 基于Rebeca模型的硬件设计形式化验证
- 2009年
- 形式化验证是对传统验证方法的补充,是数字电路验证的一条有效途径,对于并发系统,行为建模是一种非常合适的建模方法;Rebeca是由Sirjani和Movaghar提出的一种基于行为的建模语言,支持形式化,一方面,Rebeca是一种类Java的语言,软件工程师很容易使用,另一方面,它是一种支持形式化验证及其相关理论的模型语言,可以为不精通于形式化方法的开发人员和研究人员提供方便的验证过程;在深入研究Rebeca的基础上,采用Rebeca对硬件设计进行建模,然后Modere形式化验证工具对AES密码芯片进行形式化验证。
- 刘晓芹黄考利连光耀吕晓明
- 关键词：形式化验证
- 基于混沌粒子群优化的系统级故障诊断策略优化被引量：25
- 2010年
- 针对诊断设计优化过程中的关键问题——故障诊断策略优化,提出了基于混沌粒子群优化算法的系统级故障诊断策略优化方法。该算法利用混沌优化不重复遍历系统所有状态的特点,引导粒子在全局范围内搜索,从而克服了粒子群算法"早熟"收敛的缺点。这使算法不仅具有较快的收敛速度,又保证了获得的最优解的可靠性,为获得有效的系统级故障诊断策略提供了可行的方法。最后,给出了该算法在诊断策略优化过程中的关键步骤,通过仿真证明了该算法对于系统级故障诊断策略优化的有效性。
- 吕晓明黄考利连光耀
- 关键词：粒子群优化算法混沌优化
- 基于信息流模型和列表寻优法的装备BIT系统测试选择技术研究被引量：2
- 2008年
- 测试选择是测试性设计的基本步骤之一。在诊断BIT系统设计过程中,针对不同的测试对象,特别是复杂的电子设备,如何选择最优化的测试策略,降低总体测试性费用,是设计人员一直关心、关注的问题。文中首先基于信息流模型对测试选择问题进行了研究,然后对列表寻优法进行了改进,并给出了测试选择的一种快速求解算法,最后通过实例对算法的有效性进行了验证。
- 薛凯旋黄考利连光耀吕晓明
- 关键词：信息流模型
- 基于PHM的电子装备故障预测系统实现关键技术研究被引量：20
- 2010年
- 为实现现代武器装备故障预测与健康管理技术,需要对故障预系统实现技术进行了研究;建立了针对某型装备故障预测需要的软硬件平台,从状态检测系统设计、故障预测系统设计等方面进行了研究,并分析了故障预测模型的适应性;文章的研究为建立基于PHM思想的电子装备故障预测系统奠定了基础,该系统已经在某型装备故障预测中进行了应用,其研究成果还可以应用于装备寿命预测技术,为实施装备延寿工作提供信息支持。
- 连光耀吕晓明黄考利孙江生
- 关键词：故障预测与健康管理
- 基于混沌遗传算法的测试选择优化问题研究被引量：14
- 2009年
- 针对测试选择优化这一NP难解问题,文中利用改进的遗传算法对其进行优化。算法以遗传算法为主流程,利用混沌现象不重复遍历的特点优化生成初始种群,然后对每次迭代中的个体以一定的概率进行混沌优化。最后,以超外差接受器为例,对算法的有效性进行了验证。事实证明,该算法能够较快地搜索到优化问题的最优解,验证了混沌遗传算法对测试选择优化问题的有效性。
- 吕晓明黄考利连光耀
- 关键词：混沌优化算法遗传算法
- 基于时间Petri网的并行测试任务过程建模及验证技术研究被引量：2
- 2012年
- 为满足复杂装备中某些关键系统的实时测试与诊断需求,在测试性设计过程中开展并行测试调度优化研究;针对测试任务之间关联关系复杂的实际情况,通过建立基于图染色理论的测试任务关系模型,实现了对系统资源冲突、死锁等问题的形式化描述,将并行测试调度优化转化为求解图的色数问题;并在求解图的色数问题过程中,利用改进的遗传算法逐步求解图的最大独立集,即可并行测试的测试任务子集,从而获得并行测试调度方案;最后,利用某实例对文章提出的并行测试任务调度建模及优化方法进行了验证,优化效果明显,证实了该方法对解决并行测试调度优化问题的有效性。
- 吕晓明黄考利连光耀
- 关键词：最大独立集改进遗传算法
- 基于CBPSO的板级电路测试性设计优化方法研究被引量：2
- 2010年
- 基于边界扫描的板级电路在测试性改善一定条件下,设计复杂性最小化问题属于组合优化问题,同时也是NP-难题.针对该组合优化问题提出了基于混沌二进制粒子群优化的求解方法.该方法在二进制粒子群优化的基础上,对当前最佳粒子以变概率进行混沌优化,引导粒子跳出局部最优继续在全局范围内搜索,从而克服二进制粒子群的"早熟"收敛.通过实例验证,该算法在优化效果、搜索效率等方面均获得了较好的结果.事实证明,该算法能有效地应用于板级电路的测试性设计优化.
- 吕晓明刘晓芹黄考利刘耀周
- 关键词：测试性设计板级电路混沌优化二进制粒子群优化
- 装备测试性设计辅助决策系统关键技术研究被引量：5
- 2008年
- 针对测试性设计的辅助决策工具是装备测试性设计水平提高的关键技术。围绕测试性设计辅助决策系统实现,从装备测试性设计建模、装备测试性设计与分析优化算法、辅助决策系统实现等三个方面展开研究,在分析现有模型的基础上提出了用于测试性设计的信息模型建模思想,并对测试性设计过程中的诊断优化算法进行了研究,最后完成对测试性模型、诊断策略的集成,对系统平台实现的关键技术进行了研究。本研究是实现装备测试性设计辅助决策系统的关键。
- 吕晓明黄考利连光耀郑新燎
- 关键词：测试性设计辅助决策系统
- 基于混合诊断的测试性建模与分析被引量：22
- 2008年
- 随着电子设备测试性设计技术的广泛应用,测试性建模与分析技术日益受到设计与分析人员的关注;为了实现对复杂电子装备测试性设计与分析,介绍了基于混合诊断建模的装备测试性设计与分析方法,并以典型的测量运算放大电路为例,借助Detex公司的eXpress软件平台,运用基于混合诊断模型的建模分析技术进行分析,并对设计指标进行了评价;结果表明,混合诊断测试性建模方法在复杂电子设备测试性设计与分析应用中是可行、有效的。
- 连光耀黄考利吕晓明薛凯旋
- 关键词：测试性
- PSpice到XML文档的数据转换
- 2008年
- 随着XML技术的不断完善,它已成为Inernet上数据描述和交换的标准。文章在对XML和Java技术进行深入研究的基础上,利用DOM实现了PSpice输出文件到XML文档的数据转换,为构建基于XML的通用平台提供了技术支持。
- 徐庆尧陈建辉连光耀吕晓明
- 关键词：XMLPSPICE数据转换JAVA
