基于RBAC的高校办公自动化系统设计

分析了基于角色的访问控制的工作原理,提出了一种基于Web应用的RBAC权限控制有效实现方法,并将其应用于高校办公自动化系统设计.介绍了OA系统的设计与配置方法,重点阐述了基于Web的RBAC控制模型在OA系统中的实现方法.基于该模式开发的系统具有较高的安全性与稳定性,很好地满足了高等学校办公自动化的需求.     

基于PAR 的排序算法自动生成研究

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.     

迭代算子及其在可重用软件研究中的应用

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式，最后以实例说明了它们在可重用软件开发中的作用和使用方法.     

循环不变式开发技术研究

高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。     

计算机程序设计ICAI教学决策实验系统研究

PAR方法是一种实用统一的形式化程序设计方法，并有以PAR方法为指导思想的计算机程序设计ICAI模型。本文实现该模型的教学决策部分。首先基于建构主义等认知理论以及程序设计知识的自身特点，研究设计了领域知识库、学生知识库和教学知识库，并按照启发式教学方式，归纳整理一些教学决策规则，选用适当的方式组织、描述相关知识、规则，建立系统决策模型。已经在PC机上用Java语言结合Access数据库实现了此实验系统。此实验系统能够根据配套的测试实验系统的测试结果，选取相应的教学策略和教学内容，在一定程序上实现了因材施教。     

基于JATLite代理平台的程序设计ICAI的实现

Agent技术的发展为程序设计ICAI的研制提供了新的思路和解决办法, Agent平台为Agent的构建以及Agent之间的通信提供了支撑。该文提出了基于Agent的程序设计ICAI模型,并在JATLite代理平台的基础上设计和实现了该模型,利用多Agent之间的合作将现代教育技术贯彻在教学过程中。     

虚拟现实软件系统开发方法研究

虚拟现实技术是一门综合性技术,涉及计算机图形学、多媒体技术、人机交互和人工智能等多个领域,在教育、医疗、娱乐、军事等众多领域有非常广泛的应用。所有这些技术和应用最终都要靠计算机软件来实现,这就使得虚拟现实系统的软件变得十分庞大和复杂,涉及许多多媒体数据。传统软件开发方法和程序设计技术侧重于处理文本数据,显然不能满足开发虚拟现实软件的需要。试图以所在团队研发成功的PAR方法和PAR平台为基础,根据虚拟现实软件系统的特征,探寻虚拟现实软件系统开发的新方法,进一步扩充和完善PAR平台中已有多媒体处理技术、形式化建模技术和C#等高级语言程序自动生成系统。     

接口技术课虚拟实验环境的设计与实现

利用软件技术构建硬件虚拟实验环境 (VEE)是提高计算机硬件教学及实验效率、降低实验成本的一条有效途径。本文以接口技术课CAI为例 ,首先介绍了VEE的概念及特征 ,总结出VEE的一些开发原则及开发策略。并最终以接口技术CAI课件的形式部分实现了VEE环境 ,通过实践证明了VEE技术在CAI领域中的有效性和实用性     

一种基于规约精化的货物分发问题求解方案分析

介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想,以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题（GDP）的规约精化。现实生活中存在许多像货物分发问题这样需求可被规范化描述的仿真实际问题,我们认为这种规约精化思想对于解决和设计此类仿真实际问题是非常适用和有效的。     

关系代数派生算子语义表达式间等价性证明

关系代数的派生算子在关系数据库查询语言中得到了广泛应用。它们的语义有两种常见的表示方式,一种是基于原始算子的表达式,一种是基于一阶逻辑的表达式。但有关的文献资料都没有给出这两种表达式等价性的严格证明。文章尝试通过一系列等价变换,证明派生算子语义的这两种表达式间的等价性。从派生算子（主要是除算子）语义的原始算子表达式出发,根据关系代数表达式的特点,通过一步步的等价变换,得到派生算子语义的一阶逻辑表达式。所使用的变换方法能为关系代数表达式的正确性证明打下基础。