完全连接依赖及其有效公理系统的研究与应用

关系数据库理论中给出的完全连接依赖的有效公理系统并不能完全适应应用的需要，本文在对有效公理系统的研究基础上对其作出扩充，使其应用范围更为广泛，并能直接用于找出蕴含的所有连接依赖及判断连接 依赖是否存在推导有向无回路图DAG。     

基于线索抽象语法树的程序依赖图自动生成算法

提出了一种基于线索抽象语法树的程序依赖图自动生成算法,将代码的抽象语法树自动转换成为DOT语言表征的标准程序依赖图.该算法一方面通过在抽象语法树上自动标注表示程序语句流向的线索边,构建线索抽象语法树;另一方面将线索抽象语法树转换为标准程序依赖图.实验结果表明:中间模型线索抽象语法树的建立,可以减少转换过程中遍历树的次数,有效降低自动生成程序依赖图的时间复杂度.     

关于五点图的多部图设计

讨论了完全多部图的G设计的存在性,其中G是五点四边图和五点五边图。并给出其存在谱。     

Bager第二图的改进

１９７３年绘制的Ｂａｇｅｒ第二图，包含了８３个关于三角形角变元的规范对称函数的不等式。通过细致的分析，本文证明了其中１５个三角不等式可被１１个更强的不等式所取代，从而改进了Ｂａｇｅｒ第一图．     

Hamilton图的特定生成子图问题的一般反例

文「２」对文「１」中定理３在ｐ＝２情况下给出了一个反例，本文在ｐ≥３情况下给出一般性反例。     

关系模式规范化的几个算法

本文在不计算函数依赖集闭包的情况下,给出了求关系模式关键字、BCNF判定和分解、寻找BCNF分解中丢失的函数依赖等几个算法。     

一致收敛映射列的极限映射是m-敏感依赖的充要条件

在紧致系统中,利用数族的性质给出了一致收敛映射列的极限映射具有m-敏感依赖性,m-遍历敏感依赖性,m-Banach遍历敏感依赖性,m-syndetic敏感依赖性和m-余有限敏感依赖性等的充要条件。 更多还原     

关系模式规范化的几个问题

本文讨论了关系数据库中实际数据依赖和用于规范化的函数依赖集之间的差异及过度规范化问题。研究了函数依赖集的闭包及Boyce-Codd范式的判定问题。提出了原子函数依赖集的概念,以此取代函数依赖集的闭包进行关系模式的规范化。并定义了一类对某NP-完全问题可解的实际问题。     

广义太阳图与路的笛卡儿积图的任意可分性

给定n个顶点的图G. 如果对于n的满足 kΣi=1ni=n的任意一个正整数序列τ =(n1,n2,···,nk),都存在顶点集V (G)的划分(V1,V2,···,Vk)满足|Vi|=ni,并且Vi导出的子图G[Vi]是连通的,其中1≤i≤k,则称图G是任意可分图(简称为AP). 我们用S??=S(n; k1, k2,...     

关系模式关键字的一个求解算法

本文给出了关系数据库模式中求解关键字的一个算法。算法很简洁并且对于[1]定义的一大类问题,执行时间是多项式级的。     

弱耦合一维扩展赫伯特模型的基态相图

我们利用玻色化和重整化群分析的方法研究了半满填空且排斥势小于跃迁动能时的一维扩展赫伯特模型的基态相图,发现基态相图是由自旋密度波,电荷密度波和键荷密度波组成.这些结果揭示了扩展赫伯特模型和赫伯特模型基态相图的差异.     

镓一镁二元相图研究

本文用两种差热分析方法即“一步法”和“二步法”以及多晶X-射线衍射法对镓-镁二元系相图进行了研究.修正了前人的工作. 为了考察该二元体系的金属间化合物是否以镓原子多面体簇状结构存在,作者对富镓部分相图(镓原子百分含量大于71.4％)进行了较为细致的研究.在三种不同比例下(含镓量分别为85at.％、90at.％、95at.％)合成,分离得到了颗粒状晶体.对这些晶体进行了差热分析和多晶X-射线研究.分析结果表明:从这三种不同比例的合金中分离得到的晶体为同一金属间化合物Mg_2Ga_5,也是该二元系镓含量最高的金属间化合物.考察Ga-Mg体系中存在的五种金属间化合物的结构,未能发现镓原子以多面体簇状结构存在的现象.     

弱相互作用下的一维半满t-U-J-J0赫伯德模型的相图研究

利用场论方案、结合玻色化技术及重整化的手段,我们研究了在弱耦合情况下,最近邻各向异性对t-U-J-J0模型相图的影响。研究表明,在J0<2U/3情况下,基态相图包含SDW, BCDW, TS这三种序;然而在J0≥2U/3情况下,基态相图除了SDW, BCDW, TS这三种序外,尚有CDW序产生。因此,次近邻的阻锉J0作用促成了CDW序产生,并且对BCDW序有加强的作用。     

基于J2EE的数据持久模型的设计与实现

针对面向对象技术和关系数据库企业应用开发的通用环境,对数据的持久解决方案并实现数据持久模型进行了研究．基于对象一关系映射技术,使用代理模式进行持久化管理,将底层的数据访问进行独立封装,并根据业务请求和映射信息文件动态地生成SQL代码,从而使得对象模型与关系数据库之间具有无关性;同时,通过动态分配机制和缓冲机制大大提高了数据访问的效率．     

结合依存关联分析和规则统计分析的情感词库构建方法

为了夯实自媒体时代的信息内容安全基础,本文把依存分析方法和传统的规则统计方法结合起来,构建了一个新型情感词库———钮库,与国内同行的情感新词识别公开评测结果比较,使用钮库辅助的本文方法表现优良,主要技术指标:微平均的准确率、召回率和F值,都在作者原有方法基础上提高了44%以上.     

中国中部规模养殖沼气工程系统顶点赋权图分析

基于系统动力学反馈分析理论,提出定性与定量紧密结合的系统顶点赋权因果关系图分析法。以萍乡地区兰坡村泰华猪场规模养殖沼气工程系统为实例,对我国中部农村生猪养殖沼气工程系统的利润、粪尿等废弃物二次生物质再生能源开发、沼肥对水稻和蔬菜种植促进的正效益以及过剩招气对大气的污染、沼液与灌溉用水混合排灌造成水稻苗发青、由于承载沼肥的农田不足和长达七个月的冬闲季节沼肥浪费引发的二次污染等问题进行定量动态反馈分析研究,得出系统蕴含的四条增长、四条制约反馈环的反馈规律。给出针对我国中部地区小流域地域特征的,有利于规模养殖系统可持续发展的沼气工程系统建设的三条对策建议。     

关系数据库的数字水印新技术

提出一种能嵌入有意义水印信息并可由用户定义各种约束的水印算法CAMW（Constraints Allowahie Meaningful Watermark Algorithm），该算法将水印信息映射成二进制串，并把每个水印信息位重复嵌入多次，最后经选举过程确定出完整的水印，较大地提高了正确提取水印的概率，CAMW不仪使嵌入水印的数据能有效保持关系数据的语义特征，而且有很强的鲁棒性，仿真试验表明能有效抵御子集删除，子集添加，数据修改等多种攻击。     

有序二叉决策图在防火墙规则库设计中的应用

在防火墙规则库的设计中利用有序二叉决策图（ordered binary decision diagram，OBDD）来表示防火墙的访问控制规则集，改变了传统的顺序存储规则的规则库设计方法，以增加预处理时间为代价，有效地提高了规则的匹配速度，从而提高了防火墙的性能及其安全性．