刘久富
- 作品数：84 被引量：165H指数：6
- 供职机构：南京航空航天大学自动化学院更多>>
- 发文基金：国家自然科学基金国防科技重点实验室基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术机械工程一般工业技术文化科学更多>>
- 一种UAV飞行控制器虚拟原型设计与验证新技术被引量：6
- 2005年
- 为适应飞行控制器 (FC)开发的快速性和可靠性要求,研究一种基于Statemate的FC虚拟原型(VP) (简称FC VP)设计与验证新技术。该技术运用功能结构图建立FC的功能层次模型,基于离散状态图详细描述FC的功能行为,并通过三种方法对FC VP进行验证测试 该项研究为FC等复杂嵌入式系统的工程开发和VP在控制系统中的应用探索了一条实用途径,具有很好的应用与推广价值.*
- 杨忠沈春林刘久富
- 关键词：无人机飞行控制器
- 无人机飞行控制软件的自修复技术研究被引量：4
- 2006年
- 软件产品的质量是设计出来的,并不是测试出来的。本文归纳了无人机飞行控制软件自修复技术的具体研究内容,提出了基于经典过程控制理论与新的软件分层体系结构相结合的无人机飞行控制软件自修复技术研究的解决方法。
- 刘久富孙德敏杨忠沈春林
- 关键词：软件质量飞行控制软件
- 一种基于云计算的无人机自动检测及故障诊断方法
- 本发明涉及一种基于云计算的无人机自动检测及故障诊断方法，使用云计算平台，结合虚拟仪器labview，使检测系统具有网络化的特点，方便地组建网络化虚拟仪器检测系统实现实时数据采集。将实时采集到的数据上传到云端的数据服务器并...
- 刘久富梁娟娟朱丹丹陈柯陈哲王正谦
- 文献传递
- 无人机飞控软件抗干扰设计被引量：6
- 2008年
- 在无人机飞控系统中,抗干扰性能是系统可靠性的重要指标。结合自身实践,本文首先介绍了干扰可能对软件运行造成的影响,然后提出了若干行之有效的软件抗干扰措施。本文重点研究了无人机飞控软件的自诊断和自修复技术。飞行实践证明,所采取的这些抗干扰措施行之有效,基本达到了设计要求。
- 杨柳庆肖前贵刘久富
- 关键词：无人机飞控软件抗干扰自诊断自修复
- 基于多Agent的软件测试系统设计被引量：3
- 2011年
- 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点。通过将Agent技术引入软件测试过程,设计了一种基于多Agent的软件测试系统。该系统由界面Agent模块、预处理Agent模块、程序插桩Agent模块和动态测试信息分析Agent模块组成,实现了软件语句和分支覆盖率的测试及查询覆盖率不满足要求时未覆盖目标的情况。有效地解决了传统手工测试程序运行效率低、繁琐等一些问题,保证了软件系统高效稳定的运行。
- 王伟刘久富娄坚波李金奎
- 关键词：软件测试程序插桩
- 马氏田口系统的量子行为二进制粒子群特征选择优化方法
- 2019年
- 针对标准二进制粒子群用于马氏田口系统的特征选择优化时,存在迭代速度慢,容易陷入局部最优解等不足,提出一种改进的基于量子行为二进制粒子群的马氏田口系统变量选择优化方法。首先,为了规避可能存在的复共线性特性对距离度量结果的影响,本研究采用Gram–Schmidt正交化法计算马氏距离值,对系统进行标准化处理,对各属性向量进行正交化后计算各类别的马氏距离集合,通过ROC曲线确定系统分类的最佳阈值点,定义误分类率概念和被选择变量占比最小作为变量筛选标准,构建多目标的混合规划模型。运用改进的量子行为粒子群算法求解优化组合,为适应二值化的变量优化问题,算法基于概率对粒子进行二进制编码,求取目标函数的适应值,并完成粒子群的优化迭代过程。采用优化的变量组合,构建精简的马氏田口系统,建立度量预测模型,完成精确判别的任务。最后,以胎心分娩力造影术测量的胎儿健康诊断为例,对标准二进制粒子群算法和二进制量子粒子群优化算法进行对比验证,实验结果表明,本文方法可以有效地提升粒子的迭代速度和寻优精度,优化后的马氏田口系统的预测准确率明显提高。
- 刘久富郑锐丁晓彬刘海阳杨忠王志胜
- 基于Petri网的软件测试用例生成方法被引量：2
- 2010年
- 软件测试数据的生成目前主要采用的人工、半人工的方法,工作量大、测试周期长且容易遗漏;基于Petri网的测试用例生成方法主要应用于场景类测试,通过Petri网理论对测试模型建模,再对模型分析验证,最后生成测试用例集;该方法支持回归生成测试用例集,弥补了对测试用例集需求变化的情况;同时,支持测试用例的自动生成;该方法可以有效地描述系统的状态行为,并且保证了较高的覆盖率指标,有助于提高测试的效率和质量。
- 孙琳刘久富杨振兴
- 关键词：测试用例PETRI网
- 部分可观Petri网故障的量子贝叶斯诊断被引量：1
- 2022年
- 针对故障本身构建量子贝叶斯Petri网模型算法,并利用该子网模型进行Petri网系统故障分析。对于部分可观Petri网模型中的不可观故障,根据可达标识图分析变迁点火路径不能判断系统状态,建立量子贝叶斯子网模型,通过不确定路径引起的量子干涉重新标定变迁的条件概率表得到量子概率振幅表。根据故障变迁的前置集合并结合量子贝叶斯推理计算变迁触发的先验概率,由后置集合中的可观变迁修正后验概率,由最大后验概率估计系统所处状态,当故障变迁不唯一时,选取最大概率的故障作为故障源。以实际故障系统建立部分可观Petri网模型,结合可观标签概率序列信息和量子贝叶斯概率估计,对系统不可观部分进行故障诊断验证算法的有效性。
- 刘久富张信哲汪恒宇A.M.TOMAS DIAS王志胜杨忠
- 关键词：故障诊断PETRI网量子干涉
- 火箭发动机启动过程的部分可观Petri网故障诊断被引量：2
- 2017年
- 针对液氧/甲烷膨胀循环发动机启动过程中存在的不可观事件和不可观运行状态,现有故障诊断方法仍存在诊断不准确的问题,提出一种基于部分可观Petri网的故障诊断方法.首先,将系统获取的观测序列分解为单位长度的基础观测序列,应用线性矩阵不等式计算与基础观测序列相符的点火序列集;然后,采用向前-向后算法拓展诊断区间、参数K限定故障诊断序列长度,通过分析点火序列集中不可观变迁是否正常点火,判定观测序列是否包含故障;最后,将部分可观Petri网故障诊断算法应用于液氧/甲烷膨胀循环发动机启动过程.结果表明:所提出的算法使计算复杂性缩小为原来的h_o^(-1)·e^(h_o-K),避免随状态空间复杂性增大而出现的状态空间爆炸问题,同时算法能进行实时跟随、在线诊断,诊断准确性可达到99.134%.
- 刘久富孙燕于杰刘文渊刘海阳
- 关键词：故障诊断整数线性规划
- 嵌入式软件测试平台配置被引量：3
- 2004年
- 本文总结了建立软件评测中心必要条件,论述了软件测试过程并给出了各阶段的软件测试工具。在对市场充分调研的基础上,结合嵌入式软件的技术特点及具体工作需求,构建了一个嵌入式软件测试平台。
- 刘久富孙德敏
- 关键词：嵌入式软件软件测试过程软件测试工具软件评测
