刘久富
作品数： 88被引量：170H指数：7
  • 所属机构:南京航空航天大学自动化学院
  • 所在地区:江苏省 南京市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

杨忠
作品数：277被引量：1,173H指数：15
供职机构：南京航空航天大学
研究主题：无人机 输电线路 故障诊断 空中机器人 飞行控制器
王志胜
作品数：199被引量：479H指数：12
供职机构：南京航空航天大学自动化学院
研究主题：信息融合 最优控制 无人机 负载模拟器 模拟器
娄坚波
作品数：13被引量：10H指数：2
供职机构：南京航空航天大学
研究主题：词法分析 嵌入式软件测试 嵌入式软件 软件测试 宿主
刘海阳
作品数：10被引量：20H指数：3
供职机构：东南大学
研究主题：PETRI网 故障诊断 整数线性规划 PETRI网系统 贝叶斯网络
苏青琴
作品数：10被引量：6H指数：1
供职机构：南京航空航天大学自动化学院
研究主题：不变量 词法分析 MARKOV对策 NASH均衡 多关节机器人
作品列表
基于有色Petri网的电梯门系统建模与仿真被引量：4
2015年
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题。然后利用CPN Tools对模型进行动态分析并生成状态空间报告以分析模型的回归性、有界性、活性及公平性。活性分析存在死标识时,提出基于ASK-CTL模型检验理论的死标识合理性算法验证模型中不存在自循环终端和死锁标识,进而验证了死标识存在的合理性,证实了电梯门系统CPN模型的正确性。
刘文良刘久富周建勇
关键词：电梯门系统有色PETRI网活性
基于空间变形的无人机路径规划算法研究被引量：1
2022年
由于所处的环境较为复杂,因此无人机进行安全的路径规划至关重要,但规划生成的路径中有许多不适用的急转弯。针对此问题,使用基于空间变形的混合算法,即通过灰狼算法获得全局路径,利用空间变形算法获得最佳规划路径,以保证无人机的安全飞行。仿真结果表明,该方法能够顺利实现无人机的路径规划,且具有较好的平滑性和安全性,验证了所提算法的优越性。
肖志慧刘久富王志胜赖幸君林磊
关键词：路径规划
混沌量子粒子群的权重类条件贝叶斯网络分类器参数学习被引量：3
2019年
针对贝叶斯网络判别学习方法在处理大数据集时,存在的模型训练时间长、算法迭代次数过多等问题,通过引入指数级参数,提出了混沌量子粒子群的权重类条件贝叶斯网络参数学习方法。该方法首先通过优化对数似然函数,解决生成学习的参数估计问题。然后,使用生成学习的结果,初始化判别学习的参数。最后,引入混沌映射序列,通过混沌量子粒子群优化(chaos quantum particle swarm optimization,CQPSO)算法,优化条件对数似然函数。使用权重类条件贝叶斯网络分类器对液体火箭发动机的故障进行分类,仿真结果表明,改进的方法分类精度高,误分类率低。同时,采用CQPSO与量子粒子群优化(quantum particle swarm optimization,QPSO)算法、标准粒子群优化(particle swarm optimization,PSO)算法相比,能够有效减少算法的迭代次数,提高算法的效率。
刘久富丁晓彬郑锐王彪刘海阳王志胜
关键词：贝叶斯网络
基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法被引量：1
2013年
研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。
刘久富陈柯梁娟娟叶文华王志胜
关键词：故障检测PETRI网可达树
基于符号执行的软件静态测试研究被引量：2
2013年
文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。
梁娟娟刘久富朱丹丹陈柯
关键词：抽象语法树
机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别
2013年
机载液压油源系统的正常行执行时间服从正态分布和异常行为执行时间服从指数分布。Petri网模型处理确定行为,不能处理随机行为。随机Petri网(stochastic Petri nets,SPN)模型与确定-随机Petri网(DSPN)模型处理属于指数分布的行为,不能处理正态分布的行为。提出用正态-随机Petri网(NSPN)对机载液压油源系统建模,给出正态-随机Petri网模型的正态参数与指数分布参数的识别算法。仿真计算结果表明,计算的变迁时间参数值与系统实际运行时间参数值相比误差较小,验证了该方法的有效性。
刘久富陈哲王正谦王志胜杨忠
关键词：随机PETRI网参数识别
基于条件值的C/C++预处理测试算法被引量：1
2011年
传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。
娄坚波刘久富李金奎王伟
基于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%.
刘久富孙燕于杰刘文渊刘海阳
关键词：故障诊断整数线性规划
加载更多 ∨