期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
基于统一无穷理论的软件测试可穷尽性研究 被引量:1
1
作者 何智涛 何华灿 刘超 《智能系统学报》 CSCD 北大核心 2014年第6期641-652,共12页
传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无... 传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无穷过程可信性的基本方法,从软件特征定义入手,形式化定义了软件测试用例集合,得出了软件特征与测试用例/软件缺陷之间的对应关系;基于统一实无穷理论研究成果和统一数学归纳法,讨论了软件测试版本持续演化过程中,测试用例集合可穷尽性与软件测试质量的关系,回答了当测试用例集合是一个无穷集合时,软件测试该如何开展软件测试是否能穷尽的理论问题,并剖析测试可穷尽性的旧有认识。该文研究成果初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题,为软件测试可信性研究奠定了坚实的理论基础。 展开更多
关键词 软件测试 统一无穷理论 软件特征 测试用例集合 测试可穷尽性 测试可信 软件缺陷 软件测试演化过程 统一数学归纳法
在线阅读 下载PDF
论事物的可知属性与对其认识的不可穷尽性 被引量:6
2
作者 李继武 《学术界》 CSSCI 1996年第2期19-23,18,共6页
论事物的可知属性与对其认识的不可穷尽性李继武目前,我国几乎所有的马克思主义哲学教科书在给不可知论下定义时,都把否认世界的彻底可知性当成是不可知论的重要含义之一。在它们看来,由于无限延续的人类具有把宇宙一切事物都认识完... 论事物的可知属性与对其认识的不可穷尽性李继武目前,我国几乎所有的马克思主义哲学教科书在给不可知论下定义时,都把否认世界的彻底可知性当成是不可知论的重要含义之一。在它们看来,由于无限延续的人类具有把宇宙一切事物都认识完毕的能力或无限性,因此,“整个人类... 展开更多
关键词 事物可知属 可知论 人类意识 反应特 不可穷尽性 无限 物质世界 认识论 人类认识 认识能力
在线阅读 下载PDF
物质结构层次穷尽性问题研究
3
作者 彭富国 《湖湘论坛》 1996年第2期20-23,共4页
(一)关于物质结构层次穷尽性问题,原始人在认识和改造自然中,已产生肤浅的认识,初步的关注和揣摸。古希腊和罗马的学者芝诺,原子论者德漠克利特、种子论者阿拉克萨哥拉,亦有自己独到的见解;在古代中国,《易经》、元气说、五行学说,以及... (一)关于物质结构层次穷尽性问题,原始人在认识和改造自然中,已产生肤浅的认识,初步的关注和揣摸。古希腊和罗马的学者芝诺,原子论者德漠克利特、种子论者阿拉克萨哥拉,亦有自己独到的见解;在古代中国,《易经》、元气说、五行学说,以及庄子、王安石等也有自己的理解。在近代。 展开更多
关键词 结构层次 不可穷尽性 物质范畴 无限 具体事物 马克思主义 问题 认识 物质世界 恩格斯
在线阅读 下载PDF
汉语前置疑问代词问句的焦点性质 被引量:8
4
作者 张志恒 《汉语学报》 CSSCI 北大核心 2012年第2期25-34,95,共10页
本文主要考察汉语的前置疑问代词问句,并且提出一系列证据证明,前置疑问代词不是一个话题,而是一个认定焦点,在语义上具有穷尽性。另外,由于汉语的前置疑问代词问句和英语的疑问分裂句具有很多相似之处,本文认为两者的句法生成过程大致... 本文主要考察汉语的前置疑问代词问句,并且提出一系列证据证明,前置疑问代词不是一个话题,而是一个认定焦点,在语义上具有穷尽性。另外,由于汉语的前置疑问代词问句和英语的疑问分裂句具有很多相似之处,本文认为两者的句法生成过程大致相同,具体来讲,前置疑问代词经历了移位操作,最后移动到焦点短语的标志语位置。 展开更多
关键词 前置疑问代词 认定焦点 话题 焦点移位 穷尽性
在线阅读 下载PDF
简说古文字资料库的完备性——先秦货币文信息资料库设计心得
5
作者 陶霞波 《现代中文学刊》 2002年第2期12-14,共3页
相对于查资料、抄卡片、对版本等传统的手工作业方式,计算机信息处理技术在资料的存储、加工、传输等方面具有多侧面、全方位、大容量、高速度的优点。将资料经过科学的分类和系统的整理后输入计算机,使之有序的存放,就有可能实现对资... 相对于查资料、抄卡片、对版本等传统的手工作业方式,计算机信息处理技术在资料的存储、加工、传输等方面具有多侧面、全方位、大容量、高速度的优点。将资料经过科学的分类和系统的整理后输入计算机,使之有序的存放,就有可能实现对资料的穷尽性占有。但要使这种可能性变为现实,就必须确保资料库的完备性。如何衡量资料库是否具有完备性呢? 展开更多
关键词 古文字资料 穷尽性 古文字学 研究成果 完备 信息资料库 中国古代货币 汉字 先秦时代 计算机信息处理技术
在线阅读 下载PDF
定指构式的句法语义及其由来——以英语简单定指构式NP_1 be NP_2为例 被引量:3
6
作者 杨坤 《外语研究》 CSSCI 北大核心 2013年第2期26-32,共7页
本文简要讨论了简单定指构式NP1 be NP2的典型句法语义特征,并对其产生理据进行探讨。简单定指构式同述谓构式、等同构式一样具有认定的功能,而定指构式的焦点具有穷尽性的语义特征又把它同述谓和等同构式区分开来。定指构式的穷尽性认... 本文简要讨论了简单定指构式NP1 be NP2的典型句法语义特征,并对其产生理据进行探讨。简单定指构式同述谓构式、等同构式一样具有认定的功能,而定指构式的焦点具有穷尽性的语义特征又把它同述谓和等同构式区分开来。定指构式的穷尽性认定义是NP1、NP2和系动词be进行语义整合的结果,其穷尽性的语义蕴含主要取决于限定摹状词的唯一存在性预设。 展开更多
关键词 定指构式 述谓构式 穷尽性 穷尽性认定 限定摹状词
在线阅读 下载PDF
关于世界物质的四种新认识
7
作者 彭富国 《求是学刊》 CSSCI 北大核心 1995年第2期30-33,共4页
关键词 物质结构 不可穷尽性 物质观 客观实在 潜在 自然科 辩证唯物 结构基因 无限可分 有限
在线阅读 下载PDF
科学的调查需要科学的方法
8
作者 林文杰 王世毅 +1 位作者 张晓伟 许秀媛 《华中科技大学学报(社会科学版)》 CSSCI 1995年第4期34-36,86,共4页
科学的调查需要科学的方法林文杰,王世毅,张晓伟,许秀媛社会调查作为一门“透视社会的艺术”,对于科学认知、科学决策无疑具有极其重要的意义。没有调查就没有发言权,同样,没有正确的调查也没有发言权。然而,当前一些社会调查存... 科学的调查需要科学的方法林文杰,王世毅,张晓伟,许秀媛社会调查作为一门“透视社会的艺术”,对于科学认知、科学决策无疑具有极其重要的意义。没有调查就没有发言权,同样,没有正确的调查也没有发言权。然而,当前一些社会调查存在着一种简单化的倾向;即许多调查的... 展开更多
关键词 被调查者 问卷设计 社会调查 调查员 专业术语 器官移植 调查对象 调查问卷 穷尽性 实际操作
在线阅读 下载PDF
建立《朱子语类》语汇研究理论框架——《〈朱子语类〉语汇研究》序
9
作者 温端政 《语文建设》 北大核心 2016年第10期78-79,共2页
《朱子语类》编集了南宋哲学家、教育家朱熹去世后70年间所保存的语录。不仅内容丰富,而且在语言上有许多特色,是语言的宝库。黄冬丽的《(朱子语类)语汇研究》既填补了《朱子语类》语汇研究的空白,又填补了语汇学专书研究的空白。一... 《朱子语类》编集了南宋哲学家、教育家朱熹去世后70年间所保存的语录。不仅内容丰富,而且在语言上有许多特色,是语言的宝库。黄冬丽的《(朱子语类)语汇研究》既填补了《朱子语类》语汇研究的空白,又填补了语汇学专书研究的空白。一、立论正确该书采用了“语词分立”的主张,认为“语”和“词”在性质上既有相同的一面,也有不同的一面,把“语”从词汇的附属地位独立出来. 展开更多
关键词 《朱子语类》 专书研究 教育家朱熹 附属地位 穷尽性 李如龙 一阴一阳之谓道 语音结构 表述 组合
在线阅读 下载PDF
“靴袢”理论和奥米里扬诺夫斯基的“辯证法”——苏联修正主义哲学纂改马克思列宁主义又一例
10
作者 何祚庥 《北京师范大学学报(自然科学版)》 CAS 1977年第1期10-12,共3页
长期以来,在“基本”理论粒子研究中一直贯串着唯物主义和唯心主义、辩证法和形而上学的斗争。在现代科学文献中充斥着“基本”粒子是“物质的始元”,是组成一切事物的最基本的物质,是不可分的、没有内在矛盾的“数学的点”等唯心主义... 长期以来,在“基本”理论粒子研究中一直贯串着唯物主义和唯心主义、辩证法和形而上学的斗争。在现代科学文献中充斥着“基本”粒子是“物质的始元”,是组成一切事物的最基本的物质,是不可分的、没有内在矛盾的“数学的点”等唯心主义和形而上学的观点。只是在科学实验的一再冲击之下,如实验上发现了“基本”粒子具有一定的半径大小,发现了数量达200多个的“基本”粒子。 展开更多
关键词 里扬 始元 证法 物理研究所 现代物理 穷尽性 一封信 认识自然 哥本哈根学派 复合粒子
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部