一个描述内存工作区操作的公理语义方法

本文定义了一个内存工作区处理语言ＭＰＬ，并提出了用于描述语言的形式化方法，作为示例，文中最后给出一个程序部分正确性的验证提纲。     

专业硕士研究生双语教学的混合式协作方法

分析了专业硕士研究生双语教学的必要性和基本问题,结合双语教学的基本模式和现代高等教育的基本教学理论,提出了专业硕士研究生双语教学的＂混合式协作教学＂模式。旨在以研究生系列的专业双语教学为契机,以培养学生的问题解决能力和工程实践能力为目标,在有效地改善专业硕士研究生英语水平的同时提升他们的技术创新能力。     

遗传算法在图像水印嵌入技术中的实现

在数字水印技术中,将数字水印嵌入到原始图像的过程,通常会对目标图像的质量产生不同程度的影响。将两点交叉的遗传算法应用到数字水印的嵌入中,以最大限度地减少因数字水印的嵌入而对原始图像造成的破坏。仿真试验表明,该算法能在被嵌入图像中确定出数字水印的嵌入方案,从而实现水印的优化嵌入。     

自助服务系统的排队模型

本文为自助服务系统建立了排队模型，并简述了解析过程及其应用。     

一个描述FOXPRO汇总程序的形式化方法

对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过程。     

多任务并行调度系统中的一种订票算法

本文提出多道相关任务系统并行调度方法,文中引入了一种描述任务资源分配的数据基ＴＣＢ（任务控制块）,并提出一个用于任务定序的“订票”算法,简称ＢＴ算法,改善了系统的处理能力。     

采用类遗传算法实现任务分布问题

本文提出了一种类遗传算法QGO（Quasi Genetic Operator）,用于解决传统遗传算法CGA（Canonical Genetic Algorithm）搜索效率较低的问题。文中最后论述了用该算法解决异构机群系统中的任务分布问题的可能性。     

改进型抢先位级调度方法

本文建立了一个改进的位级数计算模型，使多机相关任务调度中有大量直接后继任务者能尽快投入运行．这样，可使较多的任务提前就绪，以减少处理机的等待．文中最后给出一个示例，并作了简要分析