国家自然科学基金(60674100)
- 作品数：55 被引量：461H指数：8
- 相关作者：杨忠刘久富杨成顺沈春林樊琼剑更多>>
- 相关机构：南京航空航天大学空军航空大学南京工程学院更多>>
- 发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信电气工程更多>>
- 基于抽象解释和数值熵的数值程序分析方法
- 2014年
- 在高度依赖软件的信息时代,程序的正确性验证问题需要深入研究。文中提出了基于抽象解释和数值熵的数值程序正确性分析方法。抽象解释理论为程序静态分析提供了一个通用框架,在编译时能够自动地推导程序的动态性质。数值信息熵能够反映变量的值范围,通过熵值的大小可以判断变量取值是否在规定范围内。通过一个C程序对该方法进行了验证,该数值程序分析方法可以做到对程序正确性等的验证,并且较单纯地抽象解释近似分析,正确性、可靠性更高。
- 王正谦刘久富陈哲
- 软管式自主空中加油受油机控制系统研究被引量：5
- 2011年
- 针对软管式空中加油过程中加油锥套受气流扰动影响,受油机受油插头难以与之实现精确对接的问题,提出基于参考观测器的全状态反馈控制方法设计了受油机的飞行控制系统。首先根据DGPS或者视觉传感器测量的加油机与受油机的相对位置,设计了参考轨迹生成模块,实时生成受油机期望的平滑飞行轨迹。然后通过一个输出跟踪观测器在线估算出前馈控制信号和参考状态量。基于估算的状态量设计一个全状态反馈控制器。最终实现对参考状态的精确跟踪,保证受油插头与加油锥套的精确对接和位置保持。仿真结果表明,在四种强度阵风干扰下,控制器能实现精确的双机空中加油设备跟踪对接,具有良好的动态性能与鲁棒性能。
- 刘曌袁锁中周春华
- 关键词：飞行控制
- 一种多无人机协同攻击航迹规划方法
- 本文研究了多架无人机协同攻击时的航迹规划问题。首先设计了无人机编队协同航迹规划器的分层结构,然后在这种结构的基础上进行航迹协同、航迹规划和航迹平滑。本文设计的航迹在保证无人机动力学限制范围内可飞的条件下,能使无人机的团队...
- 栾迪杨忠张君慧
- 关键词：多无人机航迹规划
- 文献传递
- 基于Stateflow的民机自动飞行工作模式切换被引量：5
- 2012年
- Stateflow是有限状态机原理的图形化实现,可以实现连续状态间的切换.民机的自动飞行系统在各个飞行阶段对应着几十种工作模式,正是一个有限状态机系统.文中基于Stateflow对各工作模式及其逻辑关系进行了建模,实现了工作模式模型对其对应的控制律的调用,并对制定的飞行任务进行了仿真.结果表明,民机自动飞行系统工作模式间的切换可以通过Stateflow较好地实现.
- 杨玉蕾杨忠杨家成杨成顺
- 关键词：民用飞机STATEFLOW模式切换
- 基于Markov对策的机械臂二维路径规划
- 2012年
- 针对机械臂应用环境状况较复杂、不确定条件较多,文中使用基于Markov对策的算法对二维机械臂进行路径规划。二维机械臂路径规划是三维多关节机器人规划的基础。首先根据实际的工作环境设定机械臂的运动范围并选择经常出现的动作组合作为机械臂运动的基本行为集,给出各种情况可能获得的报酬,依据多智能体Q值学习算法更新每个关节的报酬值,反解出对应最大报酬值的动作组合。文中仿真绘制最佳动作组合时的运动轨迹,分别仿真绘制机械臂运动环境中无障碍与放置圆形障碍物时的二维运动轨迹,并确定轨迹的误差。
- 陈魁刘久富苏青琴刘蓉
- 关键词：多关节机器人机械臂多AGENT系统MARKOV对策NASH均衡
- Petri网并发进程的死锁避免策略被引量：2
- 2016年
- 死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态特性和行为特性下,进行可达图删减,从而实现合法标识和非法标识的分离,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器,保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。
- 周建勇于杰刘海阳孙燕刘久富王志胜杨忠刘春生
- 关键词：PETRI网监控器
- 不变量的程序潜在错误预测被引量：1
- 2010年
- 随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所产生的非函数依赖程序不变量进行学习并产生机器学习模式,然后运用该机器学习模式对需预测的程序进行属性分类,并揭示出代码可能存在的潜在错误,最后通过实验验证该方法是有效的.
- 杨振兴刘久富孙琳
- 关键词：不变量软件测试支持向量机
- 基于宿主嵌入式软件白盒覆盖测试系统的设计被引量：1
- 2010年
- 随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。
- 杨振兴刘久富孙琳
- 关键词：嵌入式系统软件仿真
- 基于正态Petri网的模型参数识别研究被引量：1
- 2014年
- 时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在Petri网应用分析中的地位越发重要,各种与时间相关的Petri网模型相继被提出。文中结合动态实时系统的运行特征,设计了一种变迁点火时间服从正态分布的随机Petri网模型,并基于对系统行为的统计分析,提出了一种用于对变迁时间参数进行识别的数值算法。以一种随机制造单元为例,建立正态随机Petri网模型,并运用参数识别算法确定变迁时间参数。仿真结果符合系统的实际运行结果,证明了该方法的有效性。
- 陈哲刘久富王正谦
- 关键词：随机PETRI网参数识别
- 飞行器多路温度巡检系统设计被引量：1
- 2007年
- 针对因飞机机身局部结冰引起的飞行事故屡屡发生,严重威胁到飞行安全的问题,研究出一种适用于机身各部位温度检测和功能事务管理的多路温度巡检系统,该系统利用机身表皮内嵌的温度传感器感知外界实时的温度变化,并通过RS485通信方式,将温度信息传递给单片机进行数据集中和处理,其结果通过DSP串行口在液晶屏中显示。另外,该系统利用uC/OS—Ⅱ嵌入式操作系统作为其事务管理系统,使整个温度巡检过程简单、高效。实验结果显示:该系统可以实时反映温度传感器所处的环境温度。
- 樊琼剑程林杨忠沈春林
- 关键词：结冰温度传感器嵌入式操作系统
