国家自然科学基金(91318301)

作品数：30被引量：124H指数：5
导出分析报告
相关作者：刘静宫云战刘春金芝陈小红更多>>
相关机构：华东师范大学中国科学院大学北京邮电大学中国科学院软件研究所更多>>
相关期刊：《The Journal of China Universities of Posts and Telecommunications》《计算机教育》《计算机辅助设计与图形学学报》《计算机系统应用》更多>>
相关主题：信息物理融合系统面向目标分析方法INTERNETWARESOCIAL_NETWORKS更多>>
相关领域：自动化与计算机技术电子电信文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于程序功能标签切片的制导符号执行分析方法被引量：4
《软件学报》2019年第11期3259-3280,共22页甘水滔 王林章 谢向辉 秦晓军 周林 陈左宁 
国家自然科学基金(91318301,61170066,6147179)~~
提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签,利用程序控制流分析,建立各功能标签和程序基本块的映射关系,并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代...
关键词：制导符号执行 分支覆盖率 指令覆盖率 搜索策略 程序切片 
基于内核调试与抽象精化的操作系统实验设计被引量：3
《计算机教育》2019年第8期14-17,共4页文艳军 罗宇 李姗姗 刘江潮 
国家自然科学基金集成项目(91318301)
针对如何分解操作系统内核实验难度的问题,提出一种基于内核调试和抽象精化思想的实验设计方法,该方法聚焦几条内核执行路径,通过调试观察该路径在不同抽象程度的表现,从高层抽象开始,逐步加入更多的观察细节,直至完整的复杂底层状态,...
关键词：操作系统 内核调试 内核执行路径 抽象精化 
Predictive analysis for race detection in software-defined networks被引量：2
《Science China(Information Sciences)》2019年第6期34-53,共20页Gongzheng LU Lei XU Yibiao YANG Baowen XU 
supported by National Basic Research Program of China (973 Program) (Grant No. 2014CB340702);National Natural Science Foundation of China (Grant Nos. 91418202, 61472178, 91318301);National Science Foundation for Young Scientists of China (Grant No. 61702256)
Race condition remains one kind of the most common concurrency bugs in software-defined networks(SDNs). The race conditions can be exploited to lead to security and reliability risks. However,the race conditions are n...
关键词：CONSTRAINT SOLVING PREDICTIVE analysis RACE detection software-defined NETWORKS 
基于逻辑一致性判定的广义不透明谓词检测方法被引量：1
《计算机应用研究》2019年第6期1808-1812,共5页史大伟 周季璇 徐良华 
国家“863”计划资助项目(2012AA7111043);国家自然科学基金资助项目(91318301)
不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响...
关键词：不透明谓词 约束求解 执行逻辑 后趋约束 
认知无线电网络中基于动态吞吐量的路由算法被引量：1
《现代电子技术》2018年第19期79-82,88,共5页沈毅斌 陈元亨 毕春艳 
国家自然科学基金资助项目(91318301);四川省教育厅科研项目(17ZB0255)~~
针对认知无线电网络中传统路由协议的不足,提出基于动态吞吐量的认知无线电网络路由算法(LSAR)。LSAR协议利用动态传输吞吐量(DTT)作为选择转发节点判决指标。只有节点满足比当前节点更靠近于目的节点,比当前节点具有更低的传输时延两...
关键词：认知无线电 路由协议 动态频率接入 吞吐量 传输时延 转发节点 
Updatable timed automata with one updatable clock
《Science China(Information Sciences)》2018年第1期95-108,共14页Guoqiang LI Yunqing WEN Shoji YUEN 
supported by NSFC-JSPS Bilateral Joint Research Project (Grant No. 61511140100);National Natural Science Foundation of China (Grant Nos. 61472240, 61602224, 91318301)
Updatable timed automata（UTAs） proposed by Bouyer et.al., is an extension of timed automata（TAs） having the extra ability to update clocks in a more elaborate way than simply reset them to zero.The reachability of...
关键词：updatable timed automata one counter automata digiword reachability problem 
基于语义补丁的Linux驱动程序后向移植技术被引量：1
《计算机科学》2017年第11期64-68,79,共6页朱丽华 文艳军 董威 
国家自然科学基金(91318301);国家重点基础研究发展计划(973计划)(2014CB340703)资助
使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向移植的方法。针对符号和函数分别开发了语义补丁,解决了后向移...
关键词：语义补丁 驱动程序 兼容库 后向移植 
测试用例自动生成中等式约束处理算法
《计算机辅助设计与图形学学报》2017年第9期1740-1749,共10页张博 邢颖 宫云战 贾薇 
国家"八六三"高技术研究发展计划(2012AA011201);国家自然科学基金(91318301)
为了解决测试用例自动生成中等式约束的求解问题,提出一种加入等式处理策略的分支限界搜索算法.首先将线性代数中判定线性方程组是否有解的方法引入分支限界测试用例生成框架之中;然后在已有算法模型的基础上提出集成等式处理分支限界...
关键词：约束满足问题 线性代数 不可达路径 分支限界 
基于有向感知模型的无线传感器网络节点部署被引量：8
《北京邮电大学学报》2017年第S1期39-42,共4页宋晓莉 宫云战 金大海 李强懿 郑瑞娟 张明川 
国家高技术研究发展计划(863计划)项目(2012AA011201);国家自然科学基金重大研究计划项目(91318301);国家自然科学基金项目(61202080;U1204614;U1404611);中国博士后科学基金项目(2015M581032)
针对随机部署的有向传感器节点,建立基于有向传感器节点的感知概率模型.采用分布式算法,通过节点间的联合感知概率移动有向传感器节点,提高待监测区域内目标点被感知到的概率.本文提出可移动的节点部署算法,该算法使用较少的节点实现对...
关键词：无线传感器网络 有向感知模型 节点部署 
一种面向目标的软件游戏化分析方法被引量：6
《小型微型计算机系统》2017年第4期683-689,共7页王雅倩 刘春 俞一峻 金芝 
国家自然科学基金项目(91318301,61300035,61402150)资助;中国博士后基金项目(2014M552000)资助;河南省教育厅科技攻关项目(14A520009)资助
游戏化是将游戏的设计元素或者机制应用于非游戏环境来激发人们参与某一项活动的积极性.通过将游戏的设计元素和机制引入普通应用软件来实现软件游戏化具有重要意义.它将使得软件的使用过程更有趣味性,进而提升软件的吸引力和竞争力.然...
关键词：游戏化 软件游戏化 用户需求 游戏元素 正向激励 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部