公共文化服务平台

国家重点基础研究发展计划(G1999032701): 作品数：38 被引量：317H指数：10; 相关作者：王建东陈慧萍朱梧槚叶飞跃毛宇光更多>>; 相关机构：南京航空航天大学北京航空航天大学中国科学院更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家教育部博士点基金更多>>; 相关领域：自动化与计算机技术电子电信经济管理更多>>

一种并发程序可测试性分析框架被引量：7: 2003年; 软件可测试性是对测试软件难易程度的预测 ,在测试、度量等许多领域中得到了广泛应用 .由于并发程序执行的不确定性 ,其可测试性分析尚有很多难点有待解决 .该文提出了一种并发程序可测试性分析框架 .在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上 ,从单个并发单元、并发因素、共享变量因素及通信关系 4个方面对并发程序的可测试性进行了分析 ,为综合度量并发程序的可测试性提供了依据 .; 陈振强徐宝文许蕾张斌; 关键词：并发程序软件测试软件开发

数据挖掘中基于密度的聚类结构及算法设计被引量：8: 2003年; 聚类分析是数据挖掘的主要技术之一。其中基于密度的聚类可以得到任意形状的聚类结果,从而可以观察到一个并发的、完整的聚类结构。对聚类、数据对象、簇的密度、基于密度的方法和OP TICS中的基本概念进行了描述,在此基础上,明确定义了簇的密度,建立了关于ζ的基于密度的簇、密度度量函数等概念,并设计了获得聚类结构的相应算法且对其进行了复杂性分析。; 洪龙陈燕俐王建东朱梧槚; 关键词：数据挖掘数据对象数据库

收敛无穷计算及其应用被引量：1: 2002年; 经典计算不能很好地刻画无穷计算的行为 .基于形式系统序列及其极限 ,讨论一类称为收敛无穷计算的问题 ,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础 .提出了收敛无穷计算的一个逻辑和推理系统 ,其表达能力超过一阶逻辑 .还基于经典计算模型图灵 (Turing)机和形式系统序列及其极限 ,提出了收敛无穷计算的模型 ,称为过程模式 .在极限计算的意义下 ,其计算能力超过了Turing机和实数机器 .讨论了上述研究在数据挖掘中的应用。; 李未马世龙眭跃飞许可

知识链模型研究被引量：14: 2005年; 知识链定义为有限个知识资源组成的有序集合。从“过程”的观点来看,伴随业务过程而存在的一个流动的“知识过程”,也就是知识链。知识链映射业务过程,支持并主导业务过程,更提升、激励业务过程。知识健模型包含了知识资源生产过程和知识资源应用过程。前者定义为知识生产链,其操作包括知识资源的挖掘、表示和存储。后者定义为知识应用链,其操作包括知识资源的识别和选用、执行、评估。一个完备、健壮的知识链模型可以通过定义知识链单元的特性参数来评估,以保证知识链操作过程的高效率、低成本和负荷平衡。; 徐焕良李绪蓉; 关键词：知识链模型知识资源知识生产

基于Gdel配数的程序结构研究: 2005年; 用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。; 洪龙李爱群朱梧槚; 关键词：指令集结构化程序设计

随机k-SAT问题的回溯算法分析被引量：5: 2000年; 通过研究搜索树的平均节点数 ,分析了回溯算法求解随机 k- SAT问题的平均复杂性 ,结果表明 :找到实例所有的解或证明其无解所需的平均节点数随变量数 n的增加而指数增长 ;随着 r(子句数 /变量数 )的增大 ,求解将变得越来越容易 ,而且当 r趋近于无穷大时 ,以 n为指数 ,平均节点数的底数将无限地趋近于 1.因此 ,尽管回溯算法求解随机 k- SAT问题具有指数的平均复杂性 ,但当 r充分大以后 ,许多实例的求解将变得非常容易 .; 许可李未

基于混合特征的上下位关系验证方法被引量：4: 2008年; 上下位关系的自动验证是知识获取中的一个关键问题。提出一种基于混合特征的迭代上下位关系验证方法,从语义、语境、空间结构角度,给出一组上下位关系特征,根据抽样数据分析,将所有特征转化为用于验证的产生式规则,利用这些规则对基于模式获取的上下位关系进行循环迭代验证。实验结果说明了该方法的有效性。; 刘磊曹存根; 关键词：上下位关系知识获取

接续到直接的指称语义转换: 2006年; 接续和直接指称语义之间的转换的主要难点在于不保函数基调.基于Monad思想推导出的接续语义函数和直接语义函数之间的关系,给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术,分别考虑了接续函数在不同情形下的处理.最后给出了转换算法的Haskell实现系统,验证了转换的可行性.; 吕江花马世龙潘静金成植; 关键词：指称语义基调语义转换

基于Concept-Relation模型的知识联通被引量：7: 2002年; It is necessary for computer to have a large knowledge base, while a lot of practice has proved that computer more needs broad knowledge interconnection in order to really realize intelligence. MindNet has dealt with the semantic path, which is kind of word-interconnection. In National Knowledge Infrastructure (NKI), we regard a closed-semantic statement as a whole knowledge unit, and discuss the interconnectivity between two statements.Knowledge interconnection is necessary in the view of knowledge engineering, and is feasible in the view of cognition and semantics. In this paper, we firstly introduce concept-relation-model, which is a suitable knowledge representation model for knowledge interconnection, and then we discuss knowledge interconnection based on the properties of relations in CR-model.; 雷玉霞眭跃飞; 关键词：知识联通知识库人工智能

基于多版本快照的多级安全事务调度算法被引量：1: 2005年; 现有的各种用于多级事务调度的算法都主要是采用锁机制来解决的,在多级安全系统环境中,正是这个锁机制使得系统在高低安全级事务发生读写冲突时无所适从,从而使得这些算法都只能各自处理某些类多级事务。针对这些缺陷,文中提出了一种有效的、无需对数据上锁的多级安全事务调度算法———多版本快照算法。算法通过消除多版本串行化图(Multiversion Serialization Graph,MSG)中出现环的方法来达到并行事务的可串行化。文中还证明了算法的正确性,并对算法的安全性进行了分析。; 王艳磊毛宇光武立福; 关键词：多版本快照事务调度

国家重点基础研究发展计划(G1999032701)