国家自然科学基金(60403016)

作品数：19被引量：60H指数：5
导出分析报告
相关作者：徐宝文张亚非陆建江苗壮史亮更多>>
相关机构：东南大学解放军理工大学南京邮电大学江苏大学更多>>
相关期刊：《计算机与数字工程》《情报科学》《东南大学学报（自然科学版）》《Wuhan University Journal of Natural Sciences》更多>>
相关主题：本体图模型闭包本体抽取软件测试更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于惩罚函数的演化测试优化方法研究
《计算机与数字工程》2009年第4期1-3,共3页张楠 周晓宇 陈林 
国家杰出青年科学基金项目(编号:60425206);国家自然科学基金资助项目(编号:60403016;60633010);高等学校博士学科点专项科研基金(编号:20060286020);教育部-英特尔信息技术专项科研基金(编号:MOE-INTEL-08-12)资助项目
演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题,可以自动生成高质量的测试用例。目前,演化测试技术已经在许多测试领域被广泛地研究。研究发现,演化测试过程中无效解...
关键词：演化测试 惩罚函数 无效解 退化现象 
统计测试中操作剖面的一种优化设计方法被引量：3
《东南大学学报（自然科学版）》2008年第2期233-238,共6页万晓民 张德平 聂长海 徐宝文 
国家杰出青年科学基金资助项目(60425206);国家自然科学基金资助项目(60373066,60403016);江苏省自然科学基金资助项目(BK2005060).
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁...
关键词：软件测试 统计软件测试 操作剖面 测试剖面 
一种基于消解的变量极小不可满足子公式的提取方法被引量：4
《计算机研究与发展》2008年第z1期43-47,共5页陈振宇 徐宝文 周从华 
国家杰出青年科学基金项目(60425206);国家自然科学基金项目(60403016);江苏省自然科学基金项目(BK2005060);江苏省博士后科研资助计划基金项目(0701003B)
变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸.着重研究VMU子公式的提取算法.首先从理论上比较MU和VMU的基本性质,并分析了目前流行的MU子公式提取算法.研究Davis-Putman-消解的基本性质,给出一个判定变量极小不...
关键词：可满足问题 极小不可满足 变量极小不可满足 
基于WordNet重用的领域本体构建方法被引量：11
《系统仿真学报》2007年第19期4583-4586,4598,共5页赵天忠 苗壮 张亚非 徐伟光 陆建江 
国家自然科学基金青年基金(60403016);总装备部武器预研基金(51406020105JB8103)。
构建本体是开发基于语义信息系统的重要步骤,提出了一种基于WordNet重用的领域本体构建方法。该方法分析了WordNet的结构和语义关系,将WordNet抽象为图模型,从中抽取以领域术语为节点的子图,得到一个领域子本体,再利用编辑工具对其进行...
关键词：WORDNET 本体 重用 图模型 
一种基于模型检验的类测试用例生成方法被引量：7
《东南大学学报（自然科学版）》2007年第5期776-781,共6页梁陈良 聂长海 徐宝文 陈振宇 
国家杰出青年科学基金资助项目(60425206);国家自然科学基金资助项目(60403016);江苏省自然科学基金资助项目(BK2005060);东南大学优秀青年教师教学科研资助项目
提出一种新的自动生成类测试用例的方法.使用符号执行从类源代码抽取对象的状态和行为,以一个四元组抽象描述类,并转化成等价的Kripke结构.使用CTL公式描述测试覆盖标准,然后把这组CTL公式和描述类状态行为的Kripke结构输入模型检验工具...
关键词：软件测试 模型检验 时序逻辑 测试用例 
Research on Bayesian Network Based User's Interest Model
《Wuhan University Journal of Natural Sciences》2007年第5期809-813,共5页ZHANG Weifeng XU Baowen CUI Zifeng XU Lei 
Supported by the National Natural Science Foundation of China (60503020, 60503033, 60373066, 60403016);Opening Foundation of Jiangsu Key Laboratory of Computer Information Processing Technology in Soochow University
It has very realistic significance for improving the quality of users＇ accessing information to filter and selectively retrieve the large number of information on the Internet. On the basis of analyzing the existing ...
关键词：Bayesian network interest model feature selection 
Reasoning complexity for extended fuzzy description logic with qualifying number restriction
《Journal of Southeast University(English Edition)》2007年第2期236-240,共5页陆建江 李言辉 张亚非 周波 康达周 
The National Natural Science Foundation of China(No60403016);the Weaponry Equipment Foundation of PLA Equip-ment Ministry (No51406020105JB8103)
To solve the extended fuzzy description logic with qualifying number restriction （EFALCQ） reasoning problems, EFALCQ is discretely simulated by description logic with qualifying number restriction （ALCQ）, and ALCQ...
关键词：extended fuzzy description logic qualifying number restriction reasoning complexity 
一种基于类型约束的泛型Java程序重构方法被引量：2
《电子学报》2007年第B12期185-191,共7页陈林 徐宝文 周晓宇 曹璟 
国家杰出青年科学基金（No.60425206）;国家自然科学基金（No.60403016）;高等学校博士学科点专项科研基金（No.20060286020）;江苏省自然科学基金（No.BK2006094）;江苏省高技术研究项目（No.BG2005032）
泛化关系重构是一类非常重要的重构方法，能否实施这类重构取决于程序中的类型约束．本文针对现有泛化关系重构方法在处理泛型程序时不考虑参数化类型的约束，会破坏程序类型正确性的问题，提出了一组泛型Java程序的类型约束规则，通过...
关键词：重构 泛型Java 类型约束 软件维护 
一种自动摄像机标定方法的实现被引量：1
《浙江理工大学学报（自然科学版）》2007年第3期262-265,共4页程宏伟 黄文清 汪亚明 
国家自然科学基金项目(60403016)
提出一种自动摄像机标定方法。首先介绍如何结合Harris角点检测器和Chen的亚象素提取算法精确地求取特征点的亚象素位置,然后分析利用透视投影变换矩阵自动提取特征点位置,最后结合T-sai的标定方法给出了实验结果,验证了方法的有效性。
关键词：标定 HARRIS角点检测 亚象素 透视投影变换 
基于图模型的RDF/RDFS本体抽取方法被引量：5
《解放军理工大学学报（自然科学版）》2007年第2期123-126,共4页赵天忠 苗壮 张亚非 陆建江 徐伟光 
国家自然科学基金资助项目(60403016)
为了提高RDF/RDFS本体中特定领域知识的利用效率,提出了一种从源本体中抽取出特定领域本体的算法。将RDF/RDFS本体抽象为图模型;根据RDFS推理规则生成RDFS本体图模型的闭包;应用图理论构建抽取算法,生成以特定领域术语词典中概念为节点...
关键词：资源描述框架 资源描述框架模式 本体 本体抽取 图模型 闭包 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部