国家自然科学基金(60674100)

作品数：55被引量：454H指数：8
导出分析报告
相关作者：杨忠刘久富杨成顺沈春林樊琼剑更多>>
相关机构：南京航空航天大学空军航空大学南京工程学院江苏海事职业技术学院更多>>
相关期刊：《计算机技术与发展》《中国机械工程》《控制理论与应用》《中国图象图形学报》更多>>
相关主题：无人机飞行控制PETRI网图像分割软件测试更多>>
相关领域：自动化与计算机技术航空宇航科学技术电子电信电气工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网并发进程的死锁避免策略被引量：2
《计算机技术与发展》2016年第11期5-9,共5页周建勇 于杰 刘海阳 孙燕 刘久富 王志胜 杨忠 刘春生 
国家自然科学基金资助项目(60674100);南京航空航天大学专项资助项目(NS2010069)
死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态...
关键词：PETRI网 监控器 死锁避免 广义互斥约束 
基于有色Petri网的电梯门系统建模与仿真被引量：4
《计算机技术与发展》2015年第3期162-166,共5页刘文良 刘久富 周建勇 
国家自然科学基金资助项目(60674100)
文中分析了电梯门系统的组成结构,描述了电梯门系统的运行过程。文中利用有色Petri网中不同颜色的token可以表示系统的不同类型的状态的原理建立了基于有色Petri网的电梯门系统模型,避免了传统Petri网建模模型时引起的状态空间爆炸问题...
关键词：电梯门系统 有色PETRI网 ASK-CTL 死标识 活性 
基于抽象域和数值熵协同的数值程序分析
《计算机工程与应用》2015年第6期55-58,119,共5页马国富 王正谦 刘久富 
国家自然科学基金(No.60674100);南京航空航天大学基本科研业务费专项科研项目(No.NS2010069)
在软件日益丰富的信息时代,程序的正确性验证问题需要深入地研究。提出了基于抽象解释和数值熵协同的数值程序正确性分析方法。利用抽象解释理论框架对数值程序进行抽象解释分析,提取不变量的抽象域区间;在抽象域区间上进行数值熵运算;...
关键词：数值程序分析 正确性 抽象解释 数值信息熵 
基于正态Petri网的模型参数识别研究被引量：1
《计算机技术与发展》2014年第5期20-22,共3页陈哲 刘久富 王正谦 
国家自然科学基金资助项目(60674100);南京航空航天大学青年科学创新基金(NS2010069)
时间因素在对实时系统的分析中占据着重要的位置。随着时间因素在Petri网应用分析中的地位越发重要,各种与时间相关的Petri网模型相继被提出。文中结合动态实时系统的运行特征,设计了一种变迁点火时间服从正态分布的随机Petri网模型,并...
关键词：非马尔可夫网 随机PETRI网 模型设计 参数识别 
基于抽象解释和数值熵的数值程序分析方法
《计算机技术与发展》2014年第4期57-59,64,共4页王正谦 刘久富 陈哲 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项科研项目(NS2010069)
在高度依赖软件的信息时代,程序的正确性验证问题需要深入研究。文中提出了基于抽象解释和数值熵的数值程序正确性分析方法。抽象解释理论为程序静态分析提供了一个通用框架,在编译时能够自动地推导程序的动态性质。数值信息熵能够反映...
关键词：数值程序分析 正确性 抽象解释 数值信息熵 
机载液压油源系统非马尔科夫随机Petri网模型与时间参数识别
《四川大学学报（工程科学版）》2013年第6期170-175,共6页刘久富 陈哲 王正谦 王志胜 杨忠 
国家自然科学基金资助项目(60674100)
机载液压油源系统的正常行执行时间服从正态分布和异常行为执行时间服从指数分布。Petri网模型处理确定行为,不能处理随机行为。随机Petri网(stochastic Petri nets,SPN)模型与确定-随机Petri网(DSPN)模型处理属于指数分布的行为,不能...
关键词：随机PETRI网 非马尔科夫 建模 参数识别 
基于MPPSO的软件结构测试数据生成方法
《计算机工程》2013年第10期53-56,共4页陈柯 刘久富 朱丹丹 梁娟娟 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项基金资助项目(NS2010069)
软件测试中到达待覆盖的目标分支为多条独立路径时,应用基本粒子群优化算法生成测试数据的效率较低。为此,提出多种群粒子群优化算法的软件结构测试数据自动生成方法,包括改进个体迁移策略、重新定义谓词约束函数与采用并行性的搜索方...
关键词：软件结构测试 多种群粒子群优化 迁移 谓词 约束函数 多路径 
基于符号执行的软件静态测试研究被引量：2
《计算机技术与发展》2013年第6期42-45,178,共5页梁娟娟 刘久富 朱丹丹 陈柯 
国家自然科学基金资助项目(60674100);南京航空航天大学青年科学创新基金(NS2010069)
文中基于符号执行理论,设计了一种面向C语言的静态分析方法。通过词法分析和语法分析构建了程序的抽象语法树,并在此过程中对源代码进行规范性检查,再根据函数调用关系与抽象语法树来确定程序分析层次,并通过约束求解器确定程序中每一...
关键词：静态分析 符号执行 抽象语法树 可执行路径 
基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法被引量：1
《中国机械工程》2013年第5期589-593,共5页刘久富 陈柯 梁娟娟 叶文华 王志胜 
国家自然科学基金资助项目(60674100);南京航空航天大学基本科研业务费专项科研项目(NS2010069)
研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达...
关键词：故障检测 PETRI网 不可观变迁 可达树 
一种面向瞬时故障的容错技术的形式化方法被引量：2
《电子设计工程》2013年第5期20-23,共4页朱丹丹 刘久富 陈柯 梁娟娟 
南京航空航天大学青年科学创新基金(NS2010069);国家自然科学基金(60674100)
软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证...
关键词：瞬时故障 程序安全性 类型化汇编语言 类型系统 容错 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部