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

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

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

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

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

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

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

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

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

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

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

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

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

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

论高中地理教学与环境教育

进入21世纪,环境问题更为突出,在全世界范围内普及环境知识,实施环境教育尤为重要。本文在介绍了环境教育及其意义的基础上,阐明了高中地理教学是对高中生实施环境教育的重要组成部分,随后提出了在高中地理教学中实施环境教育的方法。     

微机系统仿真软件的设计

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

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

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