梁娟娟

作品数：4被引量：8H指数：2
导出分析报告
供职机构：南京航空航天大学更多>>
发文主题：码垛机器人MARKOV对策NASH均衡多关节机器人三维路径规划更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机技术与发展》《中国机械工程》《计算机工程》更多>>
所获基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于MPPSO的软件结构测试数据生成方法
《计算机工程》2013年第10期53-56,共4页陈柯 刘久富 朱丹丹 梁娟娟 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项基金资助项目(NS2010069)
软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方...
关键词：软件结构测试 多种群粒子群优化 迁移 谓词 约束函数 多路径 
基于符号执行的软件静态测试研究被引量：2
《计算机技术与发展》2013年第6期42-45,178,共5页梁娟娟 刘久富 朱丹丹 陈柯 
国家自然科学基金资助项目(60674100);南京航空航天大学青年科学创新基金(NS2010069)
文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一...
关键词：静态分析 符号执行 抽象语法树 可执行路径 
基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法被引量：2
《中国机械工程》2013年第5期589-593,共5页刘久富 陈柯 梁娟娟 叶文华 王志胜 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项科研项目(NS2010069)
研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达...
关键词：故障检测 PETRI网 不可观变迁 可达树 
基于Markov对策的码垛机器人三维路径规划被引量：4
《中国机械工程》2012年第7期851-855,共5页刘久富 陈魁 苏青琴 梁娟娟 王志胜 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项科研项目(NS2010069)
针对码垛机器人应用环境状况较复杂、不确定条件较多的问题,使用基于Markov对策的算法对多关节码垛机器人进行路径规划。首先根据实际的工作环境设定机器人的运动范围,并选择经常出现的动作组合作为机器人运动的基本行为集,给出各种情...
关键词：码垛机器人 多关节机器人 多AGENT系统 MARKOV对策 NASH均衡 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部