基于矩阵关系模式到2NF、3NF(保FD)的分解

利用矩阵工具，研究了到２ＮＦ、３ＮＦ（保持函数依赖）的模式分解。给出了判定２ＮＦ、３ＮＦ的若干定理，并提出矩阵行相容、矩阵包含等定义。给出了基于矩阵到２ＮＦ、３ＮＦ（保ＦＤ）的模式分解算法。     

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

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

一种基于FD集特征的3NF判定算法

详细研究了属于３ＮＦ的关系模式ＦＤ集的特征，在此基础上，提出了一个基于ＦＤ集特征的３ＮＦ判定算法，并对算法的正确性及优点进行了证明和阐述。     

网上资源知识制导检索的知识求精

文章通过对一种基于多Ａｇｅｎｔ、Ｎｅｔ及Ｄｏｍａｉｎ的开放式组件化ＣＡＳＥ模型（ＡＮＤ－ＣＡＳＥ）的分析,提出了一个基于知识的规则匹配的检索机制,并针对其中存在的知识冗余问题,引入一种知识求精的工具—ＫＢＡＮＮ加以解决。     

一个约简非环数据库模式的算法

利用数据库模式与超图的对应关系，将对数据库的讨论转化为对超图的讨论，设Ｈ＝｛Ｎ，Ｅ｝是θ非环超图，ｓ是Ｎ的一个子集，给出了一个根据ｓ约简超图Ｈ的算法ＮＭＣ［Ｈ，Ｓ，ＤＣ（Ｈ）］＼算法的输出仍是θ非坏的，且ＤＣ（Ｈ）中任何一个结点都是非冗余点，并证明了算法的时间复杂度为Ｏ（｜Ｎ｜．｜Ｅ｜＾２）。     

功能人造板的研究

功能人造板的研究傅峰关键词木质复合材料，木质单元，功能人造板，抗静电刨花板，导电胶合板，轻质层积板－ｄＦＵＮＣＴＩＯＮＡＬＲＥＳＥＡＲＣＨＥＳＯＮＷＯＯＤ－ＢＡＳＥＤＰＡＮＥＬＳ$ＦｕＦｅｎｇＫｅｙｗｏｒｄｓ：Ｗｏｏｄｃｏｍｐｏｓｉｔｅｍａｔｅｒｉａ?..     

ACOUSTIC NONLINEARITY PARAMETER TOMOGRAPHY WITH FINITE AMPLITUDE SOUND WAVE

ＡＣＯＵＳＴＩＣＮＯＮＬＩＮＥＡＲＩＴＹＰＡＲＡＭＥＴＥＲＴＯＭＯＧＲＡＰＨＹＷＩＴＨＦＩＮＩＴＥＡＭＰＬＩＴＵＤＥＳＯＵＮＤＷＡＶＥＺｈａｎｇＤｏｎｇ；ＧｏｎｇＸｉｕｆｅｎ；ＹｅＳｈｉｇｏｎｇ（ＩｎｓｔｉｔｕｔｅｏｆＡｃｏｕｓｔｉｃｓ，ＫｅｙＬａｂ...     

Banach空间中非线性互补问题的解的存在性

证明了一个非线性互补问题ＮＣＰ（Ｔ，Ｋ）的解的存在定理、其中，Ｋ是自反Ｂａｎａｃｈ空间Ｅ中的闭弱局部紧凸锥、Ｔ是从ＫＥ到Ｅ中的非线性算子；另一方面，证明了当ＫＥ是一个Ｇａｌｅｒｋｉｎ锥，Ｔ具有形式Ｔ＝Ｊ－Ｆ时的问题ＮＣＰ（Ｔ，Ｋ）的解的存在定理．其中，Ｊ是对偶映像，Ｆ满足适当的附加条件．     

ON THE EXPONENT SET OF PRIMITIVE LOCALLY SEMICOMPLETE DIGRAPHS

ＯＮＴＨＥＥＸＰＯＮＥＮＴＳＥＴＯＦＰＲＩＭＩＴＩＶＥＬＯＣＡＬＬＹＳＥＭＩＣＯＭＰＬＥＴＥＤＩＧＲＡＰＨＳ￥ＺｈａｎｇＫｅｍｉｎｇ１）；ＢｕＹｕｅｈｕａ２）（１）ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｃｍａｔｉｅｓ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙ，Ｎ...     

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

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

求解最小覆盖问题的快速近似算法的进一步研究

分析了已有求覆盖平面上给定的若干个点的尽可能小的圆的问题的算法。给出了一个新的求解最小覆盖问题的算法，其计算时间复杂度为平面上给定的点数量的线性函数，该算法已编程实现，通过几万例随机算例的实际计算比较，表明算法所得结果的平均精度比已有的各种快速近似算法所得的精度要高，而且具体每例所需的计算时间均比已有快速近似算法对应的计算时间要短。     

关于近似二部图边覆盖染色的一个充分条件

设G是一个简单图，其顶点集为V(G) 而边集为E(G) . S∈E(G)称为G 的一个边覆盖，如果由S 导出的子图是G 的一个生成子图. G 的边覆盖色数χ’c(G) 是E(G) 所能划分成的最大边覆盖数. 已知 δ-1≤χ’c(G)≤δ ，由此将 χ’c(G)=δ的图称为CⅠ类图，否则称为CⅡ类图. 显然，图的边覆盖染色分类问题是NP-完全的. 给出了近似二部图是CⅠ类图的一个充分条件，而且该条件中的下界是最好的。     

一类边覆盖临界图的构造

在图的边覆盖染色中边覆盖临界图的构造问题一直是研究的热点和难题.给出了一类边覆盖临界图的构造方法.对于任意给定的最小度δ,利用该方法可以构造出相应的一类边覆盖临界图.     

茬地覆盖少耕、免耕播种技术的研究

介绍了国内外旱地保护性耕作技术的发展与现状,茬地覆盖少耕、免耕 播种技术的科学依据和优越性,结合新疆的区域特点提出实施茬地覆盖少耕、免耕播种技术是实现新疆农业可持续发展的必由之路。根据目前我区农学与农机相结合已取得的科研成果及“两早配套”技术的推广、应用情况,指出新疆推广茬地覆盖少耕、免耕播种技术的时机已成熟。     

“最值定理”的教学探究

最值定理是高等数学的重要定理之一,为物理、化学、生物、工程、经济管理和社会等领域的最优化问题奠定了理论基础。由于最值定理具有高度的抽象性,学生很难深刻理解,这对后继课程的学习和将来的研究非常不利。为了帮助学生理解最值定理,借助函数的图像直观感知最值定理;通过最值定理的理论证明完成感性认识到理性认识的升华;利用最值定理中的辩证法思想,培养学生的辩证唯物主义的思维方式。     

水果套袋栽培中存在的问题及对策

果实套袋栽培是生产优质无公害水果的有效措施.对目前水果套袋栽培中的果实袋质量、套袋技术、套袋果实的管理及套袋果实的品质等方面存在的问题进行了分析探讨,并结合实践提出了果实袋生产的质量监督与管理方法、果实袋选购的方法与要求、套袋的适期与规范的套袋技术、套袋前、套袋中与摘袋后的管理技术以及提高套袋果实品质等的对策及建议.     

分支因子的覆盖问题

本文定义了分支因子的恰当覆盖概念,给出了图具有分支因子恰当覆盖的充要条件。应用这一结论,可以得到各种分支因子覆盖性质的刻划,其中包括Little 的关于1-因子覆盖的定理。     

覆盖粗糙集模型转化的方法研究

通过研究邻域覆盖、覆盖导出的划分之间的内在关系,给出了一种新的转化方法.新方法证明了由一个覆盖可唯一导出一个划分、由覆盖与其覆盖约简导出的划分一致等结论,而且得出了由覆盖导出的等价关系的上、下近似算子更加细分等优良性质;提高了集合的近似程度,能更好地用于属性约简、核的求取和规则的生成等方面研究.     

关于覆叠同伦正则态射

目的在点标道路连通CW空间的同伦范畴中,引进覆叠同伦正则态射的概念,研究它存在的条件、性质以及它与覆叠同伦单(满)态和覆叠同伦等价之间的关系。方法利用万有覆叠函子,将映射f:X→Y的研究转化为对它在万有覆叠空间上诱导的映射f~:~X(0)→~Y(0)进行研究。结果推广了同胚映射、同伦等价和同伦正则态射的有关结果。结论若f为同伦正则态射,则f必为覆叠同伦正则态射;若f为覆叠同伦正则态射,则f不一定是同伦正则态射。     

无平方因子奇数DCS的一个必要条件

设A=｛as(ms):s=1, ,k｝为无平方因子奇数不同模覆盖系,设模的最小公倍数N=［m1,m2, ,mk］=p1p2 pn,其中p1相似文献