基于C++STL的Z规格说明数据类型的表示

介绍了Z规格说明的数据类型和它们的分类,从定义出发,阐述了这些数据类型派生的派生与继承关系．以Z规格说明向可执行代码的自动转换为目的,结合C 语言中STL模板库对数据结构和通用算法的强大支持功能,提出了用STL中的容器表示Z规格说明数据类型的方法。     

页面置换算法的Z规格说明

虚拟存储系统中,如果使用段页式存储管理或者页式存储管理,当发生缺页,而主存中已没有空闲页架时,则需要选一页淘汰,进行页面置换.本文首先简要介绍先进先出算法(FIFO)和最近最少使用算法(LRU)的原理.接着对这两种算法用Z规格说明语言进行了比较详尽的描述.最后给出了一些操作模式的前置条件,并对系统中的一个定理进行了证明.     

基于UML的软件结构规范与精化(英文)

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

《Z+Z智能教育平台》的设计与实现

《Z Z智能教育平台》系列软件之《三角函数》提供了程序编写功能,通过程序编写来模拟LOGO(WIN-LOGO版本)中的各个动作,进而设计并实现LOGO语言部分功能．     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。     

基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

Z+Z智能教育平台在高等数学教学中的应用

Z Z智能教育平台具有动态作图功能、轨迹生成功能、测量功能以及自动推理功能和交互推理功能,在高等数学的教学改革中有着相当广泛的应用[1].文章通过举例说明如何在高等数学教学中应用Z Z智能教育平台.     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

如何理解C++中的类

讨论了C 中的类的OO(Object Oriented)的特点(封装、继承、多态)，类的功能(语言模块单元)，类的构成(定义、类名、类体、数据访问方式，继承方式：成员的种类；可见性：virtual，inline，friend，static，const)，类的实现(成员变量、成员函数、构造函数、析构函数)，类的应用(类的实例化一对象，访问方式等)，类对象的初始化，类的扩充(结构、联合、类属类)，并简介相关的类设计和学习方法。     

ADS40生产中坐标系统转换和大地水准面精化成果应用

ADS40生产中利用大地水准面精化成果时,涉及涉及的3个坐标系。介绍了各个平面坐标系的特点及相互转换的方法,阐述了大地水准面精化成果的应用,对平面坐标系的转换精度做了统计分析,从统计结果可知,利用GPSC级点成果和山西省大地水准面精化成果完成坐标转换可以满足小范围的测绘测区（如4000km^2以内）各种比例尺航测成图的要求及一个常规大小的航摄区域范围1∶10000比例尺地形图成图要求。     

代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

环Z_4+vZ_4上的斜循环码

文章研究了环Z4+vZ4上的斜循环码,其中v2=v,利用斜多项式环R[x;θ]的结构性质给出了斜循环码的生成多项式,并讨论了环Z4+vZ4上的斜循环码与循环码和准循环码的关系;确定了在欧几里得内积和厄米特内积下环Z4+vZ4上偶长度的斜循环码的对偶码的生成多项式。     

Visual C+ +与Turbo C处理自增自减运算表达式的区别

通过实验分析了VisualC 与Turbo C在处理由自增自减运算符构成的复杂算术表达式时的区别，对分析方法进行了归纳。对于以C语言为基础进行C 语言教学有一定的帮助。     

利用TvicHW32软件包在C++Builder下实现中断处理

本文介绍了如何利用TvicHW32软件包在C++Builder环境下处理中断的方法,并给出示例。该方法使得原本在windows环境下中断处理的复杂工作变得简单、易行。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

弛豫-析出-控制相变技术中冷却速度对组织的影响

利用热模拟实验,对在非再结晶温度变形后弛豫一段时间,再以不同冷速冷却的低碳贝氏体钢的相变组织进行了研究,并与同等条件不弛豫的试样组织进行了对比.给出了弛豫和冷速对中温转变组织类型及组织细化程度的影响.实验结果表明,弛豫及冷却速度对变形奥氏体的相变组织是有影响的.低冷速下主要得到边界及取向不清晰的粒状贝氏体,这时弛豫时间对细化程度影响不明显,在10℃/s以上冷速下得到的是以板条贝氏体为主的组织,与未弛豫试样比较,其组织更细,板条形状更清晰,弛豫试样组织中残余奥氏体或M/A岛的形状更细长,弛豫有利于在同等冷却条件下得到板条组织,并且在高冷速下,弛豫试样中M/A量较未弛豫试样中的要少.     

用教育目标分类理论改进C++语言课程教学模式

本文讨论如何应用Bloom认知领域教育目标分类理论来改进C++程序设计语言课程的教学模式。首先讨论Bloom教育目标分类理论的基本框架、应用原理及其在C++课程教学中的应用方法,陈述C++课程的宏观教学目标和课程特点,给出较为合理的理论教学和实验教学学时安排,阐述理论教学和实验教学的总体目标。接着讨论应用Bloom教育目标分类理论构建C++课程理论教学目标的方法,给出一个理论教学要点的教学目标具体构建实例及其用途。最后以一个实验的教学设计实例,详细讨论Bloom教育目标分类理论在实验教学环节中的应用模式,按照学习过程和分类理论的相应关系,提出可行的实验教学应用框架、实验教学目标和理论教学目标的关系、实验活动的结构与实验内容的设计方法、实验任务分配和检查表。     

一种基于Visual C++的电子邮件加密技术

对电子邮件常用的两类加密技术进行了介绍，并讨论了IDEA加密算法的原理．阐述了由Visual C 编写Cidea类实现IDEA算法的方法．用户可以通过将Cidea类引入到相应的工程中，并调用它的接口函数就可以实现邮件的加密或解密功能．     

浙江省永嘉县道志地区菜头肾资源调查

通过对野生菜头肾资源的调查,初步摸清了该地区野生菜头肾分布、资源状况及储量,分析了资源消长的主要原因;并提出资源保护的对策,为制定菜头肾资源保护的相关法规提供可靠依据。     

数据结构用C语言描述与C++描述之比较

本文通过用C语言描述的数据结构和用C ++描述的数据结构的对比 ,阐述了不同模式的数据结构教学对软件开发思想的影响 ,提出了关于数据结构教学改革的一些看法