作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

软件测试理论初步框架  CNKI文献

软件测试是软件开发中不可或缺的部分,也是软件工程化方法中的重要环节。目前各种软件测试技术日趋成熟,但相关的测试基本原理框架还有待开发。在前人经验的基础上,试图提出一个初步理论框架来定义软件测试的样本空间...

王蓁蓁 《计算机科学》 2014年03期 期刊

关键词: 软件测试 / 软件度量 / 程序语言 / 随机测试

下载(1911)| 被引(149)

Walsh函数在组合测试中的应用  CNKI文献

实际软件系统非常复杂,有很多因素会影响系统的正常运行.组合测试可以对这些因素及其相互作用所引发的软件缺陷进行检测.该文在组合测试基本模型的基础上,引入Walsh函数,建立了组合测试Walsh函数模型.模型给出基于Wal...

王蓁蓁 周毓明... 《计算机学报》 2014年12期 期刊

关键词: 软件测试 / 组合测试 / 软件调试 / Walsh函数

下载(184)| 被引(2)

模型检验综述  CNKI文献

在软硬件验证里,模型检验是一个重要手段,至今它已经形成一个庞大的方法论体系。现在我们把模型检验内容从标准方法、抽象解释方法、综合方法3个范畴加以介绍,旨在形成人们对模型检验总的印象,从而全面理解和掌握模型...

王蓁蓁 《计算机科学》 2013年S1期 期刊

关键词: 时态逻辑 / 模型检验 / 抽象解释 / 抽象模型检验

下载(694)| 被引(13)

一种随机TBFL方法  CNKI文献

许多学者研究了运用测试集对程序错误语句定位的问题,并提出了许多行之有效的方法,这些方法统称为TBFL(testing based fault localization)方法。后来人们发现,测试集里如果出现冗余,则这些冗余测试用例会伤害这些定位...

王蓁蓁 徐宝文... 《计算机科学》 2013年01期 期刊

关键词: 错误定位 / 测试为基础的错误定位 / 随机错误定位方法

下载(82)| 被引(9)

逻辑马尔可夫决策过程的正则条件概率理论  CNKI文献

增强学习已经开始向关系增强学习发展,并且产生了许多新的算法.大部分方法将命题表达提升为关系或计算逻辑的表达.这些方法已经表现出许多好的性质,但是相关的理论分析目前还缺乏,即为什么这些关系的增强学习具有良好...

王蓁蓁 邢汉承 《南京大学学报(自然科学版)》 2013年04期 期刊

关键词: 概率测度空间 / 逻辑马尔可夫决策过程 / 正则条件概率 / 增强学习

下载(183)| 被引(2)

马尔可夫决策过程两种抽象模式  CNKI文献

抽象层次上马尔可夫决策过程的引入,使得人们可简洁地、陈述地表达复杂的马尔可夫决策过程,解决常规马尔可夫决策过程(MDPs)在实际中所遇到的大型状态空间的表达问题。介绍了结构型和概括型两种不同类型抽象马尔可夫决...

王蓁蓁 邢汉承... 《计算机科学》 2008年10期 期刊

基于校正因子的随机TBFL方法  CNKI文献

运用测试集对程序错误语句定位的算法被统称为TBFL(Testing Based Fault Localization)方法。目前通用算法一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"被浪费。随机TBFL方法...

王蓁蓁 刘嘉 《计算机科学》 2019年11期 期刊

关键词: 错误定位 / 软件测试 / 随机错误定位方法 / 校正因子

下载(27)| 被引(0)

证伪思维在议论文中的运用——兼谈教学中“证伪鱼骨图”的...  CNKI文献

《2017全国卷高考语文考试大纲》对作文发展等级制定了标准:"透过现象深入本质,揭示事物内在的因果关系,观点具有启发作用。""有创新,见解新颖,材料新鲜,构思新巧,推理想象有独到之处,有个性色彩。&qu...

王蓁蓁 《语文建设》 2017年13期 期刊

关键词: 鱼骨图 / 《游褒禅山记》 / 白天鹅 / 例证法

下载(224)| 被引(0)

大学生学习方法研究  CNKI文献

不断提高人才培养质量,努力培养创新型科学人才是所有高等院校的重要目标。从精度和浏览、专与博以及细节和原理三个层次对大学生的学习模式展开讨论,分别给出了各个层次上的学习方法和一些建议。

王蓁蓁 《中国电力教育》 2013年22期 期刊

关键词: 学习模式 / 专与博 / 原理

下载(279)| 被引(3)

抽象解释的部分等价逻辑关系模型  CNKI文献

抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上...

王蓁蓁 《南京大学学报(自然科学)》 2015年02期 期刊

关键词: 抽象解释 / 部分等价关系 / 逻辑部分等价关系

下载(56)| 被引(0)

朴素模糊描述逻辑知识库构造及其朴素推理  CNKI文献

提出朴素模糊描述逻辑理论框架,主要分为朴素隶属函数构造和基于模糊描述逻辑之上的朴素推理两个方面.朴素隶属函数构造的基本思想是简化模糊集合隶属度取值,并把模糊集作2种理解——即它的隶属函数或是元素隶属它的程...

王蓁蓁 《应用科技》 2012年06期 期刊

关键词: 朴素模糊描述逻辑 / 朴素推理 / 知识库构造 / 中医理论

下载(105)| 被引(2)

双马尔可夫决策过程联合模型  CNKI文献

人类在处理问题中往往分为两个层次,首先在整体上把握问题,即提出大体方案,然后再具体实施。也就是说人类就是具有多分辨率智能系统的极好例子,他能够在多个层次上从底向上泛化(即看问题角度粒度变"粗",它类...

王蓁蓁 邢汉承 《计算机科学》 2009年09期 期刊

关键词: 马尔可夫决策过程 / 增强学习 / 最优策略

下载(185)| 被引(2)

模拟人类发散思维的测度值马尔可夫理论模型  CNKI文献

本文提出测度值马尔可夫决策过程新模型.在此模型下,agent对环境的把握用测度概念来表示,于是agent则根据测度来决定自己的最优行动以得到最优策略,因此本文也提供了测度值马尔可夫决策过程的最优策略算法.该模型是部...

王蓁蓁 邢汉承... 《南京大学学报(自然科学版)》 2008年02期 期刊

关键词: 测度值 / 测度值分枝过程 / 马尔可夫决策过程

下载(133)| 被引(3)

一种Agent的偏好系统及其建立  CNKI文献

受到Agent偏好模型的启发,提出了一个新的描述人们行为的偏好系统称为AF系统,它将Michael Freund的理性偏好推理与Adams提出的经典的归纳逻辑和概率逻辑相结合,即借助经典的逻辑系统,把人们的逻辑推理和以人们的偏好取...

王蓁蓁 邢汉承... 《计算机研究与发展》 2009年02期 期刊

关键词: 理性 / 偏好 / 归纳逻辑 / 理性推理

下载(197)| 被引(1)

拟人类思维的形式结构模型  CNKI文献

人工智能的迅速发展促使人们关注人脑思维功能并积极开发概括性的心智模型.如果能恰当地表示人类思维特征和推理方面的信息,则对智能概念的理解十分有益.因此在现有的思维科学研究基础上,将人类思维形式化,为它构造一...

王蓁蓁 邢汉承 《智能系统学报》 2008年06期 期刊

关键词: 人类思维 / 知识空间 / 直觉空间 / 潜意识空间

下载(125)| 被引(3)

逻辑半马尔可夫决策过程及Q学习  CNKI文献

增强学习已经开始向关系增强学习发展,并且产生了许多新的算法。这些方法是将命题表达提升为关系或计算逻辑的表达。提出了一种新的表达形式,称为逻辑半马尔可夫决策过程。它是将逻辑程序与半马尔可夫过程相结合。在此...

王蓁蓁 王智钢 《金陵科技学院学报》 2013年02期 期刊

关键词: 关系增强学习 / 半马尔可夫 / 逻辑半马尔可夫 / 决策过程

下载(92)| 被引(1)

基于两个等级分布的平均随机TBFL方法  CNKI文献

运用测试集对程序错误语句定位算法,现在被统称为TBFL(testing based fault localization)方法。目前通行的算法,一般都没有利用测试员、程序员关于测试用例和程序的先验知识,致使这些"资源"白白浪费掉。随...

王蓁蓁 《计算机应用与软件》 2014年09期 期刊

关键词: 错误定位 / 测试为基础的错误定位 / 随机错误定位方法

下载(45)| 被引(0)

验之有方,屡“试”不爽——从抄本《蝴蝶梦》出发看试妻戏的...  CNKI文献

在改编自拟话本《庄子休鼓盆成大道》的昆曲抄本《蝴蝶梦》中,主角庄周和妻子田氏各怀其心,夫妻精神的角力以两败俱伤为结局,上演了一出人性的悲剧。剧中人性的自私无情与个体自身情感诉求之间冲突明显。而在传统的试...

王蓁蓁 《名作欣赏》 2013年14期 期刊

关键词: 试妻戏 / 《蝴蝶梦》 / 人性 / 德行

下载(134)| 被引(1)

抽象解释全总域模型  CNKI文献

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容...

王蓁蓁 倪庆剑... 《中国科学技术大学学报》 2014年07期 期刊

关键词: 抽象解释 / 语义 / 全总域 / 完备性

下载(50)| 被引(0)

逻辑马尔可夫决策编程和关系马尔可夫决策编程若干最新进展  CNKI文献

逻辑马尔可夫决策过程和关系马尔可夫决策过程的引入,使得人们可能简洁地、陈述地表达复杂的马尔可夫决策过程。本文首先介绍有关逻辑马尔可夫决策过程和关系马尔可夫决策过程的概念,然后重点介绍它们与普通的马尔可夫...

王蓁蓁 邢汉承... 《计算机科学》 2007年10期 期刊

关键词: 逻辑马尔可夫决策过程 / 关系马尔可夫决策过程

下载(137)| 被引(1)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状