实时系统开发与PEARL语言

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

西文状态下汉字图形用户界面的设计

本文讨论了在西文操作系统下汉字图形界面的实现方法,以及在这类程序中的输入控制技术。     

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

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

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

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

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

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

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

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

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

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

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

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

一种基于光栅显示器图形填充算法的改进

本文提出了对常用的基于光栅显示器图形填充算法的改进。     

探讨电子商务新兴市场——高校校园电子商务

随着高校里网络应用的普遍。电子商务给人们带来的方便也将在这块宝地发芽成长。然而因为现代信息的巨量和不对称。使我们更加应该推进以目标市场集中战略的高校校园电子商务。充分利用和发挥我们的校园资源。这不但为我们的师生提供了日常生活的方便,节省资源与金钱的同时,也使我们已有的高校校园网络得到高效的发挥。