论文部分内容阅读
<正>1.引言 人们过去更多强调的是计算机系统和计算机硬件系统的体系结构,随着软件系统模和复杂度的日渐升级,人们越来越认识到好的软件体系结构对于好的软件系统的重要性。就系结构的本意而言,
Client／Server计算与现代DBMS的体系结构
【摘 要】
：
<正>1.引言 人们过去更多强调的是计算机系统和计算机硬件系统的体系结构,随着软件系统模和复杂度的日渐升级,人们越来越认识到好的软件体系结构对于好的软件系统的重要性
【机 构】
：
清华大学计算机系,中国农业银行吉林省分行信息处北京100084,北京100084
【出 处】
：
计算机科学
【发表日期】
：
1995年5期
其他文献
<正>1.引论 近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明,软件技术同生物技术有很大相似
<正>一、引言 自从1967年Floyd发表其论文“给程序赋予意义以来,程序自动验证工具的研究持续了数十年。Floyd在文[4]中提出了用“断言式方法”证明程序的正确性。其具体作
<正>PVM(Parallel Virtual Machine)是一种基于现成局域网(典型的是Ethernet)的异构并行计算环境,一个纯软件系统,由美国Oak Ridge国家验室、田纳西大学等联合开发而成,异构
这篇文章分析了基于模型（转换系统）的规格说明方法的特点，给出了形式方法和严格定义，并且通过实例，探讨了基于模型的规格说明方法在公平条件下约束下，描述系统安全和活动性质的能力
<正> 六十年代初期,计算机技术开始应用于教学领域,这时的计算机辅助教学(CAI)系统只能于简单的课程安排和进阶测验。七十年代,随着人工智能(AI)的不断发展和成熟,人们开始考
<正> 四、XDUCS Windows的实现 XDUCS Windows主要由输入模块、输出模块、代码转换模块和其它辅助模块组成。 1.输入的实现 UCS字符的输入是利用MS-Windows提供的系统钩子(Ho
新时代下,在应试教育背景下,提高学生的写作水平一直是小学语文教学中的首要难题。小学语文作文教学不再仅仅强调学生的思考和体会,对其逻辑思维能力和学习积极性的激发同样
<正>一、引言 传统关系模型下的关系数据库所表示的信息都是确定信息,即元组所描述的实确确实实被包含在关系数据库所定义的现实世界中,即使是含有空值及模糊值的不完全关
新课程标准提出“数学教学活动应激发学生兴趣,调动学生积极性,引发学生数学思考,鼓励学生的创造性思维;要注重学生良好的数学学习习惯,使学生掌握恰当的数学学习方法。”在