国家重点基础研究发展计划(2002CB312000)
- 作品数:36 被引量:376H指数:11
- 相关作者:徐宝文王建民罗英伟许卓群汪小林更多>>
- 相关机构:东南大学北京大学清华大学更多>>
- 发文基金:国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 概念的最小上近似
- 2006年
- 近似信息检索方法通过找到概念的最小上界,然后求出概念的上近似来解决本体异构问题.现有方法只考虑包含独立概念的最小上界,无法找到概念的最小上近似.引入概念的析取定义概念的多元最小上界,证明了基于多元最小上界得到的近似是概念的最小上近似.多元最小上界通常会存在大量的冗余,从而增加概念最小上近似表达式的复杂性.为此给出概念的最简多元最小上界的定义,并提供了寻找最简多元最小上界的有效算法.
- 陆建江徐宝文康达周李言辉
- 关键词:信息检索本体最小上界
- 一种扩展的模糊描述逻辑被引量:4
- 2005年
- 为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.
- 李言辉徐宝文陆建江汪鹏周晶晶
- 关键词:知识表示描述逻辑
- 通用服务器端软件测试框架的研究与实现
- 2006年
- J2EE框架实现了多层次的应用程序体系结构,但由于各个应用服务器厂商在实现J2EE规范时都附加了一些自己的特性,所以在不同的应用服务器平台上运行和部署同一企业级组件时也会出现与平台相关的问题。如何在多种应用服务器端不同的容器环境中实现测试用例的复用成为影响测试效率的关键因素。文章针对此问题,设计和实现了一种能在多种主流应用服务器上运行的测试框架。该测试框架通过简单的配置能在多种应用服务器环境中运行测试,得到更丰富的测试结果。该测试框架已成功应用于国家863项目—数据库标准符合性测试。
- 刘量赵亮王建民
- 关键词:CACTUSSERVLETJSPEJB
- 支持管理在线构件的基本构件描述模型被引量:10
- 2003年
- 在构件管理中 ,构件描述起着非常重要的作用 .随着构件技术的发展和网络技术的发展 ,在线服务构件日益增多 ,为了支持对在线构件的管理 ,急需一种能描述在线构件和离线构件的基本模型 .本文提出了一种支持管理在线构件的构件基本描述模型 (BCDM) .该模型以BIDM为基础 ,扩展了其结构 ,增加了管理在线服务构件所需的必要特性的描述 ,可以有效地支持对在线构件的描述与管理 。
- 潘颖刘洋谢冰杨芙清
- 关键词:构件库
- 基于源代码插桩的C程序内存使用错误动态检测被引量:8
- 2004年
- 针对C程序内存使用错误的预防和处理方法分基于静态分析和动态分析两类。静态分析工具研制复杂 ,目前还没有得到广泛使用的高效工具。动态分析又分为基于目标代码和源代码插桩分析两类。由于缺少完整的语法、语义信息 ,基于目标代码的分析有时对错误的捕捉、定性不够精确。基于源代码的分析由于其信息的完整可以达到对错误的最精确报告。本文对C程序中的内存使用错误进行了分析 ,并讨论了一个C程序内存错误动态检测工具的设计思想 ,给出了系统流程、关键数据结构。
- 周晓宇黄文伟史亮徐宝文
- 关键词:内存错误插桩软件测试
- 一种互操作协议性能评估方法被引量:4
- 2006年
- 在异构网络环境下,互操作协议对应用系统具有重要意义,互操作协议的性能对应用系统的性能也起着举足轻重的作用.为确定应用系统性能瓶颈,必须评估互操作协议性能.本文提出了一种互操作协议性能评估方法.该方法针对实际应用系统中的互操作协议,提出符合实际的评估指标,对协议性能进行定性分析和定量分析.在定性分析中得出安全性、容错能力、可扩展性等性能指标.在定量分析中,建立仿真实验模型与排队论数学模型相结合的混合模型,得出网络带宽占用、响应时间与吞吐量等性能指标.综合这些指标,我们给出互操作协议性能评估的结果.
- 张弩云李军国黄罡梅宏叶萌陈滢
- 关键词:互操作数学模型排队论
- 一种新的变异测试数据自动生成方法被引量:22
- 2008年
- 变异测试是一种行之有效的软件测试方法,通过使用变异算子产生变异体系统地模拟软件中的各种缺陷,然后构造能够杀死这些变异体的测试数据集.自动生成能够杀死变异体的测试数据将提高变异测试的效率和有效性.当前的研究工作只考虑生成杀死单个变异体的测试数据.文中根据杀死同一位置的多个变异体的条件相近的特点,提出一种对杀死这些变异体的条件进行组合,然后生成同时杀死该位置多个变异体的测试数据的方法;给出相应的支持工具,并且通过实验验证方法的有效性.
- 单锦辉高友峰刘明浩刘江红张路孙家骕
- 关键词:变异体测试数据
- 一种启发式聚类特征选择方法(英文)被引量:1
- 2006年
- 为了使聚类可以在低维数据空间中进行,提出了一种新的聚类特征选择方法.该方法分3个步骤,每个步骤都在一个wrapper框架中执行.首先,将所有原始特征都按照重要性进行排序,引入一个特征重要性评价函数E(f);然后,顺序地选择特征组成重要特征子集;最后,去除重要特征子集中可能存在的冗余特征.由于是顺序选择特征而不是在巨大的特征子集空间中进行搜索,因此算法效率很高.实验结果表明该方法可以找出有助于聚类的重要特征子集,并且可以去掉那些不利于聚类的特征.
- 徐峻岭徐宝文张卫丰崔自峰
- 关键词:聚类无监督学习
- 并发环境中渐增式追踪重演机制被引量:1
- 2005年
- 在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此 ,对于并发程序的调试问题 ,我们将传统的循环调试方法加以扩充 ,引入追踪和重演的机制 ,重放程序的某次执行 ,以消除并发程序的错误不可再现性。
- 曾奕徐宝文许蕾
- 关键词:并发不确定性检查点
- 一种Web应用测试结果分析比较技术被引量:3
- 2006年
- 合理分析、正确比较Web应用的测试结果能够有效评判测试工作的效果和效率。在现有工作的基础上,我们提出一种新的测试结果分析比较方法,利用语义标注和XML描述技术实现Web页面中数据与显示信息的分离,从而方便测试结果与预期结果的直接比较;并进一步引入反馈控制机制,把测试结果反馈给Web应用本身,根据Web应用的实际状况来指导其发展和演化,使得系统质量得到进一步改善。
- 许蕾徐宝文
- 关键词:WEB应用反馈控制