XML强闭包依赖范式的研究

为了解决从数据库整体的角度来消除基于不完全信息的XML数据冗余问题,研究了在不完全信息环境下XML数据库的各个模式之间存在的XML强闭包依赖引起数据冗余的判定条件和规范化算法.首先,给出了XML强函数依赖和XML强闭包依赖两者互不影响的定义;其次,提出了XML强函数依赖和非循环XML强闭包依赖互不影响的判定定理,研究了XML强闭包依赖范式以及相应的判定定理;最后,提出了把XML数据库模式转化为XML强闭包依赖范式的规范化算法,对时间复杂度进行了分析.该算法消除了冗余路径,避免了更新异常,实现了整个XML数据库模式更合理的设计.     

关于凸分析中代数闭包和向量闭包的概念研究

研究了线性空间中代数闭包和向量闭包的关系,给出了凸集的代数闭包是凸集的新证明,利用代数闭包与向量闭包的关系,得到了一个涉及向量闭包的分离定理。     

模板依赖和其它几种依赖之间的关系研究

本文分析了模板依赖分别和多值依赖、嵌入多值依赖、连接依赖之间的关系。在此基础上给出了且三种依赖均可表示成模板依赖的形式。     

极小函数依赖集的正确算法及其证明

极小函数依赖集是关系数据库理论中的一个重要概念,它在模式分解中起到了重要作用,但是一些国内文献介绍的算法存在问题。本文通过一个例子说明了该极小函数依赖集算法的错误,给出了正确的算法,并且出具了详细证明。     

时态数据库初等关键字范式问题的研究

为了探索能避免存储异常(插入,删除,修改异常,冗余),保证数据的完整性和一致性的数据库模式,依据具有多时间粒度的时态函数依赖约束的理论,采用时态数据库规范化方法,提出了时态初等关键字范式的概念,并分析了时态初等关键字范式与时态三范式和时态BC范式之间存在的联系,得到了用TEKNF分解来解决如果把TBCNF作为最终目标,很难实现保持函数依赖性,若把T3NF作为最终目标,又很难实现想要得到的规范化要求的问题,是时态数据库进一步规范化的基础．     

Z（X1,...,Xs）上一类理想的有限基

作者研究了整系数多元多项式环Ｚ（ｘ１，．．．，Ｘｓ）上的一类理想，给出了这类理想的一组有限基。     

径向基函数插值的有限体积方法

构造了一类基于径向基函数插值思想的有限体积格式.依据ENO思想建立自适应模板,在选定的模板上利用Multiquadric函数逼近控制单元边界处的守恒变量,再构造高阶数值通量.对经典的一维和二维问题的数值模拟结果表明,这种格式具有高阶精度和高分辨率.     

主动数据库中交叉数据依赖关系的研究

针对在ADB中出现的交互数据依赖关系,提出如何在基于语叉的ADB模型中保证分布在相关的不同数据库的交互数据依赖关系．参照实例模型对ADB中数据元素之间的匹配和依赖关系进行分类细化,并依据概念级解释器的方法,在实例模型基础上导出依赖图,解决了带有计算性的交互数据依赖关系,使得事件执行的正确性通过依赖关系的加强得到保证．     

面向程序理解的系统依赖图构建算法

为降低程序理解中的程序标准化和程序匹配等复杂度,提出了面向程序理解的系统依赖图构建算法,将其划分为3个阶段:程序信息的提取、控制依赖子图的构建和数据依赖子图的构建.采取控制依赖和数据依赖分别求解,直接基于控制依赖子图分析数据流,无需额外的控制流图表示,并且可按需计算数据流,降低了算法复杂度;将选择语句和循环语句统一表示,并将表达式表示为抽象语法树,使之便于程序转换和分析.在编程题自动评分系统和程序识别中的应用中结果表明构建的系统依赖图为程序理解和分析提供了方便,降低了复杂度.     

基于模糊粗糙集依赖度的两步属性约简方法

为获取连续属性值数据集的最小属性子集,提出了一种两步约简方法.该方法以模糊粗糙集模型为基础,将描述条件属性和决策属性依赖关系的模糊依赖度概念进行了扩展,使其能对条件属性之间的依赖关系进行度量,利用属性与类别之间的依赖度选出候选属性集,然后根据单个属性与类别和属性之间的依赖度对候选属性集进行约简.仿真结果表明,该方法在有效降低属性维数的同时一定程度上保证了分类正确率.     

露出型钢柱脚力学性能的有限元分析

露出型钢柱脚是钢结构厂房与基础相连接的重要部位,因此在对此类钢结构进行设计前需要对柱脚的力学性能进行全面深入的研究。采用有限元软件建立了考虑接触的三维有限元模型,对露出型钢柱脚进行了循环荷载下的非线性分析,讨论了轴向力、锚栓枚数等因素对其破坏模式和极限承载力的影响,并通过得到的弯矩—转角滞回曲线及骨架曲线,研究了柱脚的恢复力特性和耗能性能,并与试验结果进行了对比分析。结果表明,露出型钢柱脚呈滑移型滞回特征,滞回曲线较为饱满,耗能能力强,与试验结果吻合较好,研究结果对这种钢柱脚的设计与应用提供了参考。     

具有碎石基层的沥青路面结构的非线性有限元分析

对具有碎石基层的沥青路面结构,采用8节点等参元的弹塑性有限元模型,分析了路面结构的变形、应力及塑性区域.分析结果表明,均布车载下该结构的最大位移发生在路面面层的对称轴上,这与采用弹性层状体系设计沥青路面的最大弯沉点位置一致;最大主应力发生在沥青面层底部且最大塑性应变发生在对称轴上,塑性影响区在离对称轴3.5倍当量圆半径的范围内.与经验公式相比,该计算结果合理,为揭示沥青路面的实际工作状态提供参考.     

发射器座钣的动态有限元分析

为了优化发射器座钣的结构设计,采用有限单元法对某型号发射器座钣三维空间板壳结构进行了整体三维建模,同时运用弹性力学有限元法对座钣建立的有限元模型进行模态分析和瞬态动力学分析.得到了整个座钣的前十阶固有频率及振型、结构应力和变形分布规律以及座钣关键部位的动应力变化曲线,为该类座钣结构武器合理布置筋钣和减轻座钣重量进一步优化座钣结构提供参考.     

基于基面力概念的新型势能原理有限元方法

针对势能原理有限元方法中单元刚度矩阵的显示表达问题,从基面力的概念出发,利用单元刚度矩阵显示表达式,建立了基于基面力概念的势能原理有限元法的数学模型,编制出MATLAB语言的有限元程充序,将该方法应用于解决一些典型的弹性理论问题,进行了各种形状单元的对比计算和分析,数值解与理论解相吻合,从而验证了该方法的可行性.     

连续体简谐基础振动有限元计算方法

针对简谐基础激励下,连续体响应数值计算存在刚体位移、约束方式和载荷施加方式等限制,基于基础振动和有限元实现原理,提出了一种求解简谐基础振动响应的方法——静力等效载荷法。根据连续体等效载荷形式,将简谐基础振动问题转化为固定基础的载荷简谐振动;并结合通用有限元软件和自编数据处理程序,实现了响应特性的数值计算。计算和理论结果表明,该方法实现简单、结果准确,能有效地求解无阻尼和弱阻尼连续体简谐基础振动问题。     

用有限元计算底排弹复杂弹体变形的处理方法

从线性弹性体动力学方程出发,利用应力应变本构方程,并且针对底排弹弹体结构复杂,在发射时所受载荷复杂的特点,就如何使用有限无方法进行应力应变分析,运用了“边界变形位移限量”的实用工程处理方法．简化了有限元法在工程计算中的载荷和边界问题．利用此法,对某厂的远程弹进行了实例计算,计算结果是正确的,并已由工厂做了验证．     

精密板式过滤机铝箱压紧装置底座有限元分析

利用PRO／E三维造型软件建立精密板式过滤机铝箱压紧装置底座的实体模型,并采用ANSYS有限元分析软件进行载荷力分析,计算出最大应变和最大应力,从而为精密板式过滤机底座结构尺寸优化设计和研究提供了理论依据。     

基面力概念在余能原理有限元中的应用

为了改进传统的余能原理有限元方法,利用基面力概念,提出了一种具有边中节点的单元,推导出一种余能原理有限元柔度矩阵精确表达式的具体形式和节点位移显示表达式,运用广义余能原理中的Lagrange乘子法得到以基面力为基本未知量的余能原理有限元法的支配方程,编制出相应的MATLAB语言有限元分析程序.研究结果表明数值解与理论解相吻合.     

群在集合上的广义作用与有限群结构

利用群在集合上的广义作用这一概念来研究有限群结构,得到了若干结果,推广了一些相关的经典定理．