基于有向图的对象范式生成算法

对Tari等人提出的面向对象数据模型规范化理论的基本思想进行了介绍,分析了他们给出的对象范式生成方法,指出了这些方法所存在的问题.为了研究新的对象范式生成方法,对有向图顶点的含义进行了扩充,使其不仅可以是一个简单的顶点,还可以是一个有向图.基于这种扩充有向图,提出了一种对象范式生成算法,并给出了算法的时间复杂度分析和正确性证明.

求解SAT问题的似人下降搜索算法

为了解决求解合取范式的可满足性（简称为ＳＡＴ）问题的坐标轮换法中所存在的函数增量的变化、优化方向的顺序、跳出局部极小陷井的策略和堵绝走回头路的措施等４个问题，引入拟人策略和伴随价值量等概念，构造出一种新的求解ＳＡＴ问题的非完整快速算法拟人下降搜索算法。新的算法对坐标轮换法中频繁使用的函数增量计算作了公式化的递推，对涉及的处理对象诸如函数增量和未满足子句作了科学的排序，对跳出局部极小陷井的策略作了拟人化的运用。实验结果表明，新算法比现有的同类算法更有效。

规范化对象模式森林——复杂对象模式的范式

首先 ,我们基于对象间的语义关系 ,定义对象依赖 ,并讨论了其相关的定义及其性质 ,然后定义了对象范式 - - - -规范化对象模式树和规范化对象模式森林 ,指出规范化对象模式森林是我们所要求的复杂对象模式的结构 .

OODB设计中的范式理论及求解算法

针对面向对象数据库规范化问题,在面向对象数据模型的数据依赖基础上,依据面向对 象的方法论,给出了对象范式的定义及定理,提出了对象范式求解算法,并进行了算法分析.该算法 的时间复杂度达到o(m-1)!pn),适用于面向对象渐进型开发方法.

复杂对象语义在ANGEL系统中的实现

ＡＮＧＥＬ系统是西北工业大学软件教研室在“八五”期间，为满足工程应用领域的特殊要求而研制开发的一个新一代工程数据库管理系统．文中首先介绍ＡＮＧＥＬ系统数据模型及其具体特征，并在此基础上，进一步讨论它对复杂对象丰富语义的表达和对复杂对象的建模和操作，重点阐述该系统数据操纵语言——ＡＤＭＬ（ＡＮＧＥＬｄａｔａｍａｎｉｐｕｌａｔｉｏｎｌａｎｇｕａｇｅ）的实现技术．鉴于该系统的具体特点，ＡＤＭＬ能对复杂对象语义。

重点学科管理面向对象数据库设计思想

充分利用面向对象方法的优点实现数据库的数据一致性、完整性及数据安全性.整个项目使用面向对象的软件工程(OOSE)开发方法和数据库用户定义数据库模式的思路(面向对象数据库设计).用户可以使用面向对象的方法定义任何一种DBMS数据库,本项目使用的是SQL Server 2000关系数据库.

大学排课系统关系模式分析与设计

论述了大学排课工作重要性,指出排课信息化是实现教务数字化的重要环节,并从排课的本质入手,深入分析当前排课系统存在的问题,运用面向对象分析的方法进行排课系统关系模式分析与设计,注重设计的科学性、灵活性和可操作性,基于数据库范式理论建造了一个规范化的排课系统关系模型,为同类信息系统关系模式分析设计提出了可行的参考方案。

从面向对象模型到关系模型

文章首先概述了面向对象模型设计的方法，然后着重讨论了将面向对象模型转换为关系模型及关系模型优化的问题，最后给出一个应用实例。

改进型归一化差值不透水表面指数探讨——以兰州市建成区为例

深入分析研究区不透水表面和其他城市基本组分土地覆盖类型的特征后,通过研究已有归一化不透水表面指数(NDISI)提取方案的适用性和研究区域特点,创建出一种改进型归一化差值不透水表面指数(MNDISI),并结合实地调查分析,在中等分辨率影像上运用基于对象的方法,提出新的指数增强提取方案,实现不透水表面信息的自动准确提取,并将其作为一个范例供其他西北内陆城市借鉴。

积极推动师范教育转型 构建开放式教师教育体系

师范教育转型是世界性潮流 ,目前我国正在加速推动师范教育转型 ,因此应结合我国国情 ,进行有关模式的实验探讨。我国的师范教育转型面临三大难题 :一是教师需求趋缓 ,供需渠道不畅通 ;二是师范类毕业生就业制度改革 ,引起生源素质大幅度下降 ;三是教师资格制度的实行不仅使教师来源多元化 ,而且使师范类毕业生就业竞争压力加大。要解决这些问题 ,需借鉴其他国家先进经验 ,采取措施 ,构建新的开放式教师教育体系。