关系数据库自动生成器

本文论述了使用函数依赖(FD)的概念进行关系数据库的设计。对于给定一组函数依赖,确定全部最小覆盖的传统综合算法进行了改进,给出了一个改进的新算法。并且开发了称为“关系数据库自动生成器”的关系数据库自动设计工具,该工具使用编译dBASEⅢ语言编写,在长城0520机上运行,它支持需求分析阶段的信息收集,关系数据库设计阶段的概念性和逻辑性设计。     

泛函在射表逼近中的应用

运用泛函理论,对方差最小原则下射表逼近进行分析,给出了在给定基函数形式条件下的统一计算公式,并对最小二乘方法作了改进,消除系数矩阵的原理误差,给出了提高精度的方法。最后,提出了一个选择基函数的有效方法。     

自蔓延高温合成技术的研究动态

对自蔓延高温合成技术(SHS)的最新研究动态进行了介绍,指出SHS技术作为一种制备和合成材料的新技术,以其高效、节能、经济、材料性能优良等优点,现已成为制备新材料的崭新途径,并提出自蔓延高温合成技术今后的研究方向。     

试论军事刑事司法专属管辖的根据

军事刑事司法专属管辖划分的根据在军事法学界存在着争议,在法律规范的规定中也是非常原则,缺乏可操作性。本文从军事法学界对军事刑事司法专属管辖根据的不同学术观点入手,依据我国现行法律规范的零散性规定,以军事司法权的内在属性为理论依托,论证了我国军事刑事司法专属管辖根据的原则与例外。     

汇编语言的单元测试技术研究

汇编语言具有非结构化、非标准化、硬件相关性高、灵活性极大等特性,单元测试难度较大.针对汇编语言的特点,论述了汇编语言单元测试过程中功能测试、结构覆盖率测试和性能测试的方法和步骤.     

论研究型大学本科学生工作功能定位问题

在研究型大学成为许多高校追求目标的同时,应当关注除知识生产、传播和应用之外的领域,学生工作便是其中之一。本文试图探究在研究型大学中,本科生学生工作的功能应当如何定位这一问题。这与研究型大学本科生的培养目标息息相关。     

一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的极限环

研究一类具Holling-Ⅲ类功能性反应的食物有限捕食-被捕食模型的动力学性态。应用微分方程定性理论,证明当正平衡点不稳定时该模型存在唯一稳定的极限环。