空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法

对文献「１」提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的，并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ科教 包Ｆ出发，重新给出二个必要条件，另外，还给出二个空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的算法，这二种算法均是进行二叉树搜索物算法，每次分解均是对非（Ｎ）ＢＣＮＦ的子式进行一分为二且无损连接的分解，由一个父结点得到二个子结点，若可能，就     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

函数依赖集在属性子集上投影的新方法

研究了函数依赖集在属性子集上投影的理论问题.在此基础上开发了算法,成功地利用消元法解决了函数依赖集在属性子集上投影的计算问题,对于数据库模式设计有一定的参考价值.     

6L60MCE柴油机燃烧系统故障的仿真计算

建立一种基于径向基函数（ＲＢＦ）神经网络算法模型,应用于船用柴油机气缸组件与燃烧系统的故障诊断,以沪东重机生产的ＨＵＤＯＮＧ ＭＡＮ－Ｂ＆Ｗ ６Ｌ６０ＭＣＥ机型为例,设计征兆／故障样本集,采用一个单隐层的ＲＢＦ网络对样本进行训练和仿真实验,以验证该诊断方法的可行性和有效性。     

关于C（X,E）到F的等距同构

本文给出从Ｃ（Ｘ，Ｅ）到Ｆ的算子Ｔ的集函数表示，其中Ｘ是紧Ｈａｕｓｄｏｒｆｆ空间，Ｅ和Ｆ都是Ｂａｎａｃｈ空间。进而研究了当Ｔ是等距同构时，集函数表示ｍ的一些性质。     

一种复合型前馈神经网络结构

ＢＰ网络是一全局逼近的网络,通常,在对样本数据的选取要求上,它不如ＲＢＦ网络高,即ＢＰ网络在训练样本数据的代表性不强时也可表现出对非线性函数较强的逼近性能,鉴于此,作者提出了一种复合型前馈神经网络结构在此结构中,笔者采用了ＢＰ神经网络对训练数据进行预处理而得到径向基函数（ＲＢＦ）网络的初始中心矢量点集的方法该方法使得ＲＢＦ网络中心矢量点集由传统的随机确定改为对它的优化选取,由它确定的ＲＢＦ网络的中心矢量具有相当的柔性,从而增强了径向基函数（ＲＢＦ）神经网络整体的泛化性及鲁棒性,最终使得该复合型神经网络具有了很好的精度和泛化性仿真结果表明了本文所提网络的有效性     

基于矩阵到3NF保持函数依赖的模式分解

利用矩阵这一工具，研究了到３ＮＦ保持函数依赖的模式分解，文中基于矩阵给出了判定３ＮＦ的若干定理，并提出矩阵行相容，矩阵包含和矩阵合并等新的定义，给出了基于矩阵到３ＮＦ保持函数依赖的模式分解算法。     

开放数据库互连及其在FOXPRO下的应用

作者介绍了开放数据库互连的基本原理及应用，探讨了在ＦＯＸＰＲＯ下ＯＤＢＣ的调用方法及规律，最后给出了一个在ＦＯＸＰＲＯ环境下应用ＳＱＬ ＳＥＲＶＥＲ数据库的实例。     

一种复合型前馈神经网络结构

ＢＰ网络是一全局逼近的网络,通常,在对样本数据的选取要求上,它不如ＲＢＦ网络同,即ＢＰ网络 训练样本数据的代表性不强时 表现出对非线性函数较强的逼近性能,鉴于此,作者提出一种复合型前馈神经经网络结构,在此结构中,笔者采用了ＢＰ神经网络对训练数据进行预处理而得到径向基函数（ＲＢＦ）网络的初始中心矢量点集的方法,该方法使得ＲＢＦ网络中心矢量点集由传统的随机确定改为它的优化选取,由它确定的ＲＢＦ网络的中     

关于完全近一致凸和局部完全近一致凸Banach空间的一些几何性质

本文证明了如下结果：定理１设Ｘ是Ｂａｎａｃｈ空间，则：（Ⅰ）若Ｘ是Ｌω─ＵＲ，则Ｘ是ＬＦＮＵＣ；（Ⅱ）若Ｘ是严格凸的ＬＦＮＵＣ空间，则Ｘ是ＬωＲ空间。定理２设Ｘ是Ｂａｎａｃｈ空间，则：（１）若Ｘ是ω─ＵＲ，则Ｘ是ＦＮＵＣ；（Ⅲ）若Ｘ是严格凸的ＦＮＵＣ空间，则Ｘ是ωＲ空间。定理３：若Ｘ是ＵＫＫ空间且有ＢＳＰ；则Ｘ是ＦＮＵＣ空间。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

关系模式的BCNF分解的一种新方法

传统的关系模式的BCNF分解算法必须判断“一个关系模式是否为BCNF”,该判断是一个NP-完全问题,因此传统算法缺乏实用性.本文避免这一判断,给出一个关系模式的BCNF分解的新算法,它的时间复杂性是O(kn~2)级的,其中n为模式中的属性个数,K为产生的模式个数.     

Fast Computation of Sparse Data Cubes with Constraints

For a data cube there are always constraints between dimensions or among attributes in a dimension,such as functional dependencies.We introduce the problem that when there are functional dependencies,how to use them to speed up the computation of sparse data cubes.A new algorithm CFD (Computation by Functional Dependencies) is presented to satisfy this demand.CFD determines the order of dimensions by considering cardinalities of dimensions and functional dependencies between dimensions together,thus reduce the number of partitions for such dimensions.CFD also combines partitioning from bottom to up and aggregate computation from top to bottom to speed up the computation further.CFD can efficiently compute a data cube with hierarchies in a di-mension from the smallest granularity to the coarsest one.     

稀疏数据立方的一种快速计算方法

提出了一种新的稀疏数据立方计算方法CFD(Computation by Functional Dependencies),它采用自底向上的顺序划分数据立方的各个维,同时按自顶向下的顺序计算聚集,从而充分利用了数据立方的各个group-by之间的共性。CFD和以前所有的立方计算方法不同:一是既能避免计算冰山数据立方中不满足最小支持度的grorp-by,同时也利用了聚集函数的特征来加速聚集计算;二是利用维之间的依赖关系能有效减少划分时间。实验表明,和以前的算法相比CFD的性能明显提高。     

矩阵方程AXB＋CXTD=E自反最佳逼近解的迭代算法

为了求Sylvester矩阵方程AXB＋CXTD=E自反（或反自反）的最佳逼近解,提出了一种利用复合最速下降法的迭代算法。不论矩阵方程AXB＋CXTD=E是否相容,对于任给初始自反（或反自反）矩阵Xo,此算法都可以计算出该方程自反（或反自反）的最佳逼近解X。最后,通过两个数值例子验证了算法的可行性。     

钢铁企业产成品发货装船调度的模型与算法

以某钢铁企业产成品发货系统中装船调度问题为背景,建立了产成品装船调度问题多目标资源受限工程调度的数学模型,结合遗传算法和模拟退火的特点,设计了求解该问题的多目标智能优化算法,对算法输出的近似非劣解集提出了评价方法,将此模型和算法应用于某钢铁企业的实际装船调度中,结果表明,实际调度计划或者是非劣解集中的一个解,或者在非劣解集中存在某一计划优于实际调度计划·     

互联电力系统的实用同调分区法

电力系统动态仿真通常可以把系统分解成内部系统及外部系统来处理。本文提出了一种有效的实用算法来计算把系统分成同调区的分群矩阵L_g,此方法不需计算系统的特征值及特征向量,并根据弱耦合的概念能选择出最佳的分区方案。本文对华东地区51节点、16机系统进行了动态等值分析,通过比较全系统及等值系统的摇摆曲线可证实本方法的有效性。     

计算3-Tree网络全终端可靠度的线性时间算法

对于一般网络,计算全终端可靠度是ＮＰ－难问题,３－Ｔｒｅｅ网络是一类具有特殊结构和性质的网络,利用三角子图到Ｋ４的化简,给出了一个计算３－Ｔｒｅｅ网络全终端可靠度的线性时间算法。     

矩阵方程AXB+CXD=F的参数迭代解法

目的建立求解大型线性矩阵方程AXB CXD=F的惟一解的参数迭代方法。方法矩阵变换与矩阵特征值分析方法。结果基于矩阵变换方法导出了矩阵方程的等价形式,并构造出参数迭代格式,得到了格式收敛的充要条件。当A,B,C及D为Herm ite正定矩阵时,导出了最优参数和近似最优参数的计算公式。结论建立了求解大型线性矩阵方程AXB CXD=F的惟一解的参数迭代方法,证明了参数迭代格式的收敛性定理和特殊条件下最优参数的存在性定理。