梁娟娟
- 作品数：9 被引量：7H指数：2
- 供职机构：南京航空航天大学更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种3G警用移动机器人双余度控制系统
- 本发明公布了一种3G警用移动机器人双余度控制系统。其硬件结构主要包含远程控制平台、本地控制系统和警用移动机器人等部分，远程控制平台与本地控制系统之间依靠3G网络进行通信；软件设计开发采用模块化思想。实现了对警用移动机器人...
- 刘久富陈哲王正谦梁娟娟朱丹丹陈柯
- 文献传递
- 一种基于Agent的码垛机器人控制软件测试方法
- 本发明涉及一种基于Agent的码垛机器人控制软件测试方法，是一种改进的针对码垛机器人控制系统软件进行黑盒与白盒测试的方法，属于嵌入式软件测试领域。本发明主要包括四个步骤：第一步，建立基于Agent的BDI模型TC_Age...
- 刘久富王伟陈魁苏青琴娄坚波朱丹丹梁娟娟
- 文献传递
- 基于抽象解释的嵌入软件测试研究与实现
- 嵌入式软件常工作在时间或空间受限的环境中，对软件的可靠性要求更高。静态测试是保证软件可靠性的重要手段，也是衡量和评价软件质量的有效途径，其侧重于程序的结构分析与规范性检测，可在不运行程序的情况下，尽早发现软件中的错误与缺...
- 梁娟娟
- 关键词：嵌入式软件程序不变量
- 一种基于云计算的无人机自动检测及故障诊断方法
- 本发明涉及一种基于云计算的无人机自动检测及故障诊断方法，使用云计算平台，结合虚拟仪器labview，使检测系统具有网络化的特点，方便地组建网络化虚拟仪器检测系统实现实时数据采集。将实时采集到的数据上传到云端的数据服务器并...
- 刘久富梁娟娟朱丹丹陈柯陈哲王正谦
- 文献传递
- 基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法被引量：1
- 2013年
- 研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。
- 刘久富陈柯梁娟娟叶文华王志胜
- 关键词：故障检测PETRI网可达树
- 基于符号执行的软件静态测试研究被引量：2
- 2013年
- 文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一条可执行路径,最后依照程序的可执行路径得到每个变量最终的符号执行结果。该方法支持基于C语言文法的程序规范性检查,便于代码质量度量。利用该方法得到的抽象语法树,可开展静态构架分析,同时利用变量值的符号表达式可辅助测试用例生成,有助于提高测试的效率和质量。
- 梁娟娟刘久富朱丹丹陈柯
- 关键词：抽象语法树
- 一种基于条件值的软件静态预测方法及工具
- 本发明公布了一种基于条件值的软件静态预测方法及工具，有如下步骤：1、第一阶段分析。其中包括：1.1)将预处理代码输入测试工具中；1.2)利用基于C语言文法的词法分析器对代码进行词法分析；2、第二阶段分析。其中包括：2.1...
- 刘久富娄坚波陈魁苏青琴王伟朱丹丹梁娟娟
- 文献传递
- 基于Markov对策的码垛机器人三维路径规划被引量：4
- 2012年
- 针对码垛机器人应用环境状况较复杂、不确定条件较多的问题,使用基于Markov对策的算法对多关节码垛机器人进行路径规划。首先根据实际的工作环境设定机器人的运动范围,并选择经常出现的动作组合作为机器人运动的基本行为集,给出各种情况可能获得的报酬值,依据多智能体Q值学习算法更新每个关节的报酬值,反解出对应最大报酬值的动作组合,选择部分动作组合可以减少各关节之间的协调关系,降低算法的复杂度。仿真绘制出最佳动作组合时的运动轨迹,以及机器人运动环境中无障碍与放置球形障碍物时的三维运动轨迹,并确定轨迹的误差。最后经过实验验证表明,多智能体Q值算法能有效地控制各个关节的协调运动,实际运动的误差在允许的范围内,满足使用要求。
- 刘久富陈魁苏青琴梁娟娟王志胜
- 关键词：码垛机器人多关节机器人多AGENT系统MARKOV对策NASH均衡
- 基于MPPSO的软件结构测试数据生成方法
- 2013年
- 软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方法。实验结果表明,该方法的迭代数和执行时间分别为基本粒子群算法的1/7和1/3,在执行和搜索效率上有着明显的优势。
- 陈柯刘久富朱丹丹梁娟娟
- 关键词：谓词约束函数多路径
