知识基的布尔矩阵求解方法

用布尔矩阵方法对知识空间的原子和知识基进行研究.首先,建立知识空间和(反)知识背景之间的联系;其次,用布尔矩阵表示(反)知识背景,研究其对应的关系矩阵和对象关系矩阵的性质;最后,从知识状态、算子、布尔向量和布尔矩阵等角度判定原子的特征,给出知识空间中原子和知识基的求解方法.     

基于布尔矩阵的保持二元关系不变的概念约简

通过布尔矩阵运算,研究保持二元关系不变的概念特征和概念约简问题。首先,用布尔矩阵表示形式背景,用关系矩阵生成对象\属性关系矩阵,并研究其相关性质。其次,通过矩阵运算获取概念约简中三种不同概念的概念特征。最后,用矩阵运算实现概念区间集的极小运算,简化辨识矩阵,给出概念约简的求解方法,与已有的形式背景的概念约简方法进行比较,该矩阵算法简单且时间复杂度更低。     

权限的语义及基于XML的授权信息描述

本文介绍一种支持多个应用系统集成环境下的进行统一用户授权管理所必须的授权信息通用化表示方案.文中首先通过对构成权限对象及其操作的语义进行分析,指出对象的操作属性应由操作类型、操作值和操作语义构成;从而得到权限的通用化描述方法.本文接着介绍了利用XML来描述基于RBAC模型中与权限相关的授权数据的方法,从而可以实现在多应用系统集成环境下的权限自动识别.     

在Windows下数值分析计算软件的编程技术

采用对象－对象消息驱动机制,建立一种层次型的消息管理和传递方法。实现在Ｗｉｎｄｏｗｓ下编写适应多任务环境下客户／服务器模式的数值分析计算程序。     

One-Stop服务的高校电子政务系统的构建

提出一种基于One—Stop服务的高校电子政务系统的体系结构，它使用三层瘦客户／服务器模式，对所有客户提供统一的入口界面，以及可以自定义服务功能，因而能够实现不同部门之间的事务协作处理。同时，探讨基于XML和DCOM的系统实现技术。     

肋片传热与优化分析的通用程序设计

研究多变因素条件下，各种形状肋片传热的通用计算程序及其最优化分析程序，建立了辐射－对流－导热联合作用下的数学模型，并进行数值求解，开发出一套肋片传热及其最优化的计算机辅助设计的小型应用软件。     

多尺度形式背景及其粗糙近似

首先提出一种新的多尺度形式背景的概念。在该背景中,随着尺度的变化,每一个属性所拥有对象呈现单调性的变化。其次,引入形式背景的粗糙近似概念,并讨论在多尺度形式背景下,不同尺度下近似集的关系。最后,在多尺度形式背景和决策多尺度形式背景下,通过借助信任函数和似然函数,研究它们在不同尺度下的关系,给出上、下近似协调集的定义。     

多变因素条件下延伸表面传热通用数值分析计算的研究

研究各种形式肋片在辐射－对流－导热的联合作用下，以及变换特性参数时稳态与非稳态传热的通用数学物理模型和数值计算方法，考虑了辐射与整体肋片传热计算的耦合问题。