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

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

移动数据库中支持车辆交通管理的时空模型

提出了一种用于有效管理交通,基于基本空间对象模型,紧密结合时间维的时空模型.针对当前大多数时空模型的局限性在于把复杂立体化的交通网络变成平面化的实体、导致网络分析效率不高的问题,以现有成熟的关系数据库为底层架构,采用自底向上的嵌套方式对移动对象(交通工具)和固定空间对象(交通网络、路标、区域等)进行建模,以及分层和栅格化处理交通网络的各个区域,有效地提高了时空查询和各种操作的效率.     

与数据库相联的闪速熔炼平衡计算软件

在Ｓｈｉｍｐｏ－Ｇｏｔｏ模型的基础上，采用改进后的迭代计算方法，编制了一套与数据库联结的用于用多元多相平衡计算（如铜闪速熔炼）的计算程序。该算法对初值的适应性较好，计算速度快，收敛性较好，该程序具有较强的实用性，可自动完成有关热力学数据的检索与计算，并可根据物质生成自由能的大小自动赋给迭代计算的初值。     

概念树方法在F--KDD中的应用研究

数据采掘是数据库中知识发现的核心,详细描述了数据采掘中概念树方法在模糊性问题中的应用.     

路径表达式的并行正向指针跟踪算法:设计与性能分析

在对象数据库系统中,路径表达式是用于定位复杂对象的不可缺少的工具·由于路径表达式的计算非常耗时,因此若要提高数据库性能,优化和并行计算路径表达式的执行是关键环节·并行正向指针跟踪算法(PFPC)充分利用了管道并行性和I/O并行性·在基于分布式共享虚拟存储器(DSVM)的分布式对象数据库FISH系统上完成了实现和测试·对算法的设计进行了详细描述并分析其性能·     

决策树算法的教育应用探讨

简单介绍了数据挖掘的概念和决策树算法技术,尤其是它所牵涉的信息论原理,并结合相关事例简要概述了决策树算法在教育层面上的应用．     

STN数据库收录宝鸡2006年研究成果统计报告

目的研究2006年宝鸡的研究成果分布情况。方法通过STNeasy数据库进行统计分析。结果2006年宝鸡有62项成果被STNeasy数据库收录,发明专利2项,学术论文54篇,但是有6篇论文同时被CA和INSPEC数据库收录。结论以理论研究为主,应用开发研究明显不足,合作意识和知识产权保护意识有待强化,需要政策导向引领产学研相结合,为宝鸡企业发展和经济腾飞提供技术支撑。     

利用生物信息学数据及工具合成表达链霉亲和素基因

目的:人工合成表达链霉亲和素基因,制备链霉亲和素磁珠复合物用于核酸分离.方法:利用NCBI、BCM等提供的生物信息及软件工具,将链霉亲和素蛋白的基因进行密码子优化,并分割成互为重叠的小片段寡聚核苷酸链,采用化学和酶促合成相结合的方法合成编码链霉亲和素蛋白基因.将纯化的链霉亲和素通过偶联剂与带羧基的磁粒共价结合,用于快速...     

《科技信息检索》教学新模式的研究

根据大学生信息素质教育的要求和发展趋势,就如何提高《科技信息检索》课程的教学效果,培养创新型人才,提出了改善性措施及对策,并就案例式、互动式教学和利用虚拟数据库等新的教学模式进行了探讨。     

面向对象的客户机／服务器应用软件的开发平台—PowerBuilder

介绍了最新的客户机/服务器应用软件开发平台PowerBuilder，着重突出了其面向对象程序设计的特色及支持多数据库的能力。