实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

现代教育理念下计算机创新实践平台的构建

以布鲁纳的知识结构组织理论和发现学习理论、罗杰斯的非指导学习理论、约翰逊的合作学习模式等现代教育理念为依据,结合大学生的认知特点,构建了以提高学生的元认知能力为特色的计算机创新实验平台,通过调查表明该创新实验平台不但有利于学生提高理论和实践水平,而且学生的元认知能力也有了较大的提高.     

并发Z规格说明在系统需求分析与设计中的应用

阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段。     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

空气中222Rn/220Rn子体α潜能浓度测量方法的研究进展

综述了空气中222^Rn／220^Rn子体α潜能浓度的各种测量方法，重点介绍了联合测量222^Rn／220^Rn子体α潜能浓度的各种方法的实验设备和基本原理，并且根据实际情况分析了各种方法的优缺点．     

多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力，成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言，也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统，分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架，以支持多视点工程的思想，充分利用形式化方法的精化推理机制，同时具有对实时约束的描述能力，可作为并发实时系统开发中的基本模式．     

一种多主体信息交互的逻辑系统

通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过"泥孩问题"的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.     

PEARL语言在实时系统开发模式中的应用研究

通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.     

微机系统仿真软件的设计

讨论了微机仿真软件开发中的若干基本问题，论述了使用形式化方法进行规格说明的基本原则以及面向对象的方法和UML在设计中的应用．重点论述了微机仿真系统中采用形式化方法进行需求描述的特点和关键问题，并在系统状态分析的基础上，提出了相关解决方案。