论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
<正>一、引言 传统关系模型下的关系数据库所表示的信息都是确定信息,即元组所描述的实确确实实被包含在关系数据库所定义的现实世界中,即使是含有空值及模糊值的不完全关
【机 构】
：
辽宁工学院,中国科学院沈阳自动化所
【出 处】
：
计算机科学
【发表日期】
：
1995年3期
其他文献
在教育制度、教育思想日益丰富的今天,社会对于综合全面性人才的需求越来越大,因此,必须要做好小学生的德育教育工作。本文分析了小学德育生活化教学的现状,并提出了几点有效
<正> DIES系统是一建造基于知识的自动问题求解器的领域独立专家系统.在该系统中其描述性知识和规范知识(规则)均为知识库中的标准类型项.DIES系统具有双重结构,即认知系统和
以教学《咏雪》为例,研讨语文核心素养中的语言建构与运用和思维发展与提升之间的关系,指出语文课堂教学应通过优化语言实践活动,发展学生的形象思维能力、逻辑思维能力、创
<正>1.引论 近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明,软件技术同生物技术有很大相似
<正>一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作
<正>PVM(Parallel Virtual Machine)是一种基于现成局域网(典型的是Ethernet)的异构并行计算环境,一个纯软件系统,由美国Oak Ridge国家验室、田纳西大学等联合开发而成,异构
这篇文章分析了基于模型（转换系统）的规格说明方法的特点，给出了形式方法和严格定义，并且通过实例，探讨了基于模型的规格说明方法在公平条件下约束下，描述系统安全和活动性质的能力
<正> 六十年代初期,计算机技术开始应用于教学领域,这时的计算机辅助教学(CAI)系统只能于简单的课程安排和进阶测验。七十年代,随着人工智能(AI)的不断发展和成熟,人们开始考
<正> 四、XDUCS Windows的实现 XDUCS Windows主要由输入模块、输出模块、代码转换模块和其它辅助模块组成。 1.输入的实现 UCS字符的输入是利用MS-Windows提供的系统钩子(Ho
新时代下,在应试教育背景下,提高学生的写作水平一直是小学语文教学中的首要难题。小学语文作文教学不再仅仅强调学生的思考和体会,对其逻辑思维能力和学习积极性的激发同样