一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

二维非结构三角形网格的非振荡方法

对非结构三角形网络给出了一种非振荡有限体积方法，该方法在最小平方意义下的构造了非振荡重构良好，对二维Burgers方程国标绕流进行了数值计算，得到比较满意的结果．     

集对分析和协商方法在多媒体教学评价中的应用

教学质量评价就是对评价对象的教学目标实现程度评价分析，在一定条件下可以看成集对的例子。结合运筹学多媒体教学实践引入集对分析SPA(Set Pair Analysis)中同异反定量分析思想方法对多媒体教学效果进行评价。对教学环节中不确定性“客观承认、系统描述、定量刻划、具体分析”，可以较为切合实际的找出多媒体教学中的不足与难点，并动态改进教学形式和内容的建议。     

仿射Weyl群族afs（W）s∈R的结构

本文给出有限维单李代数g( )的s-仿射Weyl群afs(W) (s∈R)的定义 ,讨论了这类变换群的结构性质 .并且证明了以下结论 : 对每个s∈R ,s-仿射Weyl群afs(W)同构于仿射型Kac -Moody代数g(A)的Weyl群W ; 对s∈Z ,afs(W)可由af1 (W)生成 . 对于每个λ∈η s 设Wλ 是λ在W中的稳定子群 ,则afs(Wλ)=(Wafs) λ, λ是λ在 η 上的投影     

Java相关应用技术的兼容性测试

首先介绍了一些兼容性测试的概念,包括概念的引入,兼容性测试的特征及其优越性,随后具体介绍了Sun公司的TCK测试工具,阐述了TCK工具的工作原理,工作界面,结果的处理等情况。     

关于子格格的若干性质

对由子格格中的链构成的偏序集进行了研究，给出了一类链的长度估计式和一些相关性质，另外，还探讨了模格和分配格的子格格性质，给出了一个格是模格或分配格的子格格的充要条件，最后，给出了部分计算公式在DEA方法中的一些应用．     

pqr阶Cayley图的边-Hamilton性的一个注记

设G为限群，|G|=pqr,p,q,r为相异素数，M是G的一个生成集，作者证明了若M中含有p阶正规元，则Calyley图X（G，M）是边-Hamilton图     

关于混合Domain的几个问题

研究了Lawson紧的连续domainD的混合幂domainM(D)，给出了M(D)的极大元的刻画，证明了M(D)是其极大点空间Max(M(D))的domain环境，同时证明了FB-domain关于混合幂domain构造是封闭的。     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

不分明化拓扑中的几乎分离公理

在不分明化拓扑空间中，利用正则开集、R-邻域和δ-闭包等概念导入了AT0-，AT1-，AT2-，AT3-，AT4-分离公理，并且给出了这5个公理的等价命题以及它们的关系．