实时系统开发与PEARL语言

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

关于化学实验教学改革的研究

当前化学实验内容陈旧,联系实际较少,为适应素质教育的要求,应对实验教学进行改革,逐步形成科学的、先进的化学实验教学思路,以充分、全面的发挥化学实验教学的探究功能和育人功能。     

轴外物点理想成像的条件

用费马原理证明了轴外物点理想成像的条件     

在管理信息系统中单据设计的新方法

在分析PowerBuilder中用户对象的基本概念与特点基础上，提出了利用用户对象技术实现MIS(管理信息系统)中单据设计功能的方法，并给出了详细的实现过程。实际应用表明，该方法可使用户按企业的实际需要对单据的录入界面进行自由设计，无需修改软件即可满足不同用户的需求，适合各种管理信息系统的单据设计，具有通用性。     

Clifford分析中无界域上正则函数的边值问题

在引入修正Cauchy核的基础上,讨论了无界域上正则函数的带共轭值的边值问题：a(t)Φ (t) b(t)Φ (t) c(t)Φ-(t) d(t)Φ=g(t)．首先给出了无界域上正则函数的Plemelj公式,然后利用积分方程方法和压缩不动点原理证明了问题解的存在唯一性．     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

高师武术普修课分块教学的实验研究

采用实验对比的方法 ,探讨武术普修课分块教学的可行性效果 .结果表明 ,武术普修课采用分块教学是可行的 ,且使学生的学习目的性更加明确 ,提高了教学效果     

基于原型的对象类提取技术

在面向对象分析与设计过程中，类和对象的提取具有探索性。本文结合实例分析从需求说明书中寻找对象类的Wirfs-Brock方法，并将原型法融入到面向对象方法之中，总结出基于原型的对象类提取策略。     

基于旋转描述的三维几何造型方法

提出了一种能用凸四边形表示并可作平面展开的三维实体造型的设计方法。该方法用旋转描述表把二维平面展开图和三维实体联系起来，模拟人工折叠过程，由二维平面展开图逐次旋转变换完成三维造型重建。造型重建后，再通过纹理映射将平面设计图案映射到实体的各个面上，完成对实体着色渲染，生成具有真实感的三维实体。