刘久富
- 作品数：84 被引量：165H指数：6
- 供职机构：南京航空航天大学自动化学院更多>>
- 发文基金：国家自然科学基金国防科技重点实验室基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术机械工程一般工业技术文化科学更多>>
- 基于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年
- 本文总结了建立软件评测中心必要条件,论述了软件测试过程并给出了各阶段的软件测试工具。在对市场充分调研的基础上,结合嵌入式软件的技术特点及具体工作需求,构建了一个嵌入式软件测试平台。
- 刘久富孙德敏
- 关键词：嵌入式软件软件测试过程软件测试工具软件评测
- 圆柱螺旋弹簧刚度的稳健性设计被引量：9
- 2003年
- 稳健性设计是一种保证产品质量、降低成本的有效设计方法 ,在工业发达国家受到极大重视。就稳健性设计思想和方法作了概述 ,在此基础上提出了稳健性设计的一般数学模型 ,然后对圆柱螺旋弹簧刚度开展稳健性设计 ,提高了圆柱螺旋的设计质量。
- 刘久富沈春林王宁生
- 关键词：圆柱螺旋弹簧刚度田口方法
- 基于Markov对策的机械臂二维路径规划
- 2012年
- 针对机械臂应用环境状况较复杂、不确定条件较多,文中使用基于Markov对策的算法对二维机械臂进行路径规划。二维机械臂路径规划是三维多关节机器人规划的基础。首先根据实际的工作环境设定机械臂的运动范围并选择经常出现的动作组合作为机械臂运动的基本行为集,给出各种情况可能获得的报酬,依据多智能体Q值学习算法更新每个关节的报酬值,反解出对应最大报酬值的动作组合。文中仿真绘制最佳动作组合时的运动轨迹,分别仿真绘制机械臂运动环境中无障碍与放置圆形障碍物时的二维运动轨迹,并确定轨迹的误差。
- 陈魁刘久富苏青琴刘蓉
- 关键词：多关节机器人机械臂多AGENT系统MARKOV对策NASH均衡
- 一种改进的基于符号执行的软件静态测试方法及工具
- 本发明公布了一种改进的基于符号执行的软件静态测试方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将被测代码输入测试工具中；1.2)根据C语言文法自定义一个关键词列表进行词法分析；1.3)根据C语言文法自定义函...
- 刘久富娄坚波李金奎王伟苏青琴陈魁
- 文献传递
- 基于仿真的嵌入式软件白盒覆盖测试系统设计
- 2010年
- 随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为一大热点。该系统实现了基于仿真的嵌入式软件覆盖测试系统。系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效地解决了传统的基于目标测试带来的一些问题,基本满足了国内用户对嵌入式软件测试的需求。
- 杨振兴刘久富孙琳
- 关键词：嵌入式系统软件仿真
- 基于抽象解释的非函数依赖不变量的检测方法被引量：1
- 2012年
- 不变量的检测是提高软件质量的一种有效方法。针对传统静态检测方法可能带来无效的不变量、缺失不变量等缺陷,文中提出一种以抽象解释理论为基础的非函数依赖不变量的静态检测方法。首先利用词法语法分析得到抽象语法树,然后将抽象语法树转化成抽象域图,接着对抽象域图进行抽象执行得到程序中可执行的路径,最后依据定义的非函数依赖不变量表现形式对可执行路径分析得到程序中潜在的非函数依赖不变量。同时通过一个C程序为例对该方法进行验证说明。
- 苏青琴刘久富陈魁刘蓉
- 关键词：不变量
- 从就业情况谈高职院校教学管理对策
- 2009年
- 从近2年的高职院校双选会上,我们感到我们的教学和管理工作存在一些不足,主要表现在:学生自信心不足、专业理论知识面较窄、动手能力较差、不善与人沟通,语言表达能力以及面试技巧薄弱,不太注重形象和谈吐等问题。本文深刻分析了存在这些问题的原因,并提出了对策和建议。
- 彭晓红刘久富
- 关键词：教学管理
