几个数学公理系统的独立性

本文证明了:群、欧几里得空间、距离空间和拓扑空间的公理系统的独立性。     

主动数据库技术在高校智能选课系统中的应用

本文讨论主动数据库技术在智能选课系统中的应用.选修课是高校教学中的重要组成部分,智能选课系统可以按照学生当前的学习情况自动安排可选课程的范围,避免了盲目性.     

浅谈审计环境对审计独立性影响

独立性是注册会计师审计的灵魂。本文分析了我国独立审计环境对审计独立性的影响,并针对中国的国情提出了改善我国注册会计师审计独立性的对策。     

基于PKI的数据库加密系统的研究

本文在明确数据库安全性的基础上,剖析了PKI技术的组成及内涵,并重点研究了基于PKI的数据库加密系统的设计与实现。本文的研究有效提高了数据库的安全及稳定性。     

数据库与知识库的数据转换接口的数学模型研究

本文提出智能网络结点－－智能工作站的重要组成部分,即知识库系统中关系数据库与知识库的接口功能实现的数学模型。该模型是在分析关系数据库的关系模型和基于逻辑模式的知识库模型的基础上提出的,并研究了在该模型的基础上的推理查询方法。该数学模型对数据库智能化及将关系数据库扩展成知识库提供了有效的研究途径。     

Web数据库系统的安全性研究

电子政务要求对国家涉密的、特别是核心办公的信息要放在内网上,要通过多种方式来防止信息被破坏,保证信息的保密性、完整性及准确性.因此,加强网络数据库应用的研究,并解决网络数据库应用当中出现的安全问题,建立和完善网络数据的安全机制,是本文研究的主要目的.     

关于虚位移独立性的研究

从虚位移方程的基础解系出发探讨虚位移的独立性，并根据Четаев定义将其结果掖到高阶非完整系统。同时，根据对实位移的相应讨论，明确指出实位移是不相互独立的。     

基于网格的数据库研究

网格计算是一种重要的新的技术,网格上的大量数据需要使用数据库系统来管理。在介绍了与网格环境下数据库系统相关的研究壬作之后,讨论了网格数据库的研究内容,包括网格数据库管理系统、网格数据库集成和网格应用的新需求。建议数据库研究人员对网格数据库作更多的研究,致力于从网格应用中发现并解决网格数据库面临的新问题。     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

网络数据库技术综述

Web数据库实现了数据库与网络技术的结合,数据库系统成为Web的重要组成部分,本文介绍了Web的工作原理,以及常用的Web数据库的访问技术,在新技术的推动下,Web数据库管理系统必将成为Internet和Intranet提供的核心服务。     

航空飞行器维修信息系统中分布式数据库的设计

本文对民用航空生产维修信息系统中分布式数据库子系统的主要特征进行了阐述,包括分布式数据库的设计原则,系统结构、时间统一、数据复制、备份与恢复及分布式查询与数据更新等内容,对我国民用航空事业的信息化建设具有重要的作用。     

远程教学代理竞争模型设计

运用多代理系统进行远程教学系统设计，是智能教学系统(Intelligent Tutoring System，ITS)的一个重要研究方向，目前很多面向远程教育方面的研究中，有很多对代理和智能多代理的研究和运用．但对代理之间的协调、调度研究不多．文中利用智能多代理技术，针对采用客户——服务器模式的协同式智能教学的远程教学系统平台，设计了多个代理之间的竞争模式，通过交互式智能多代理和网络的融合机制，实现了远程网络教学的有关交互式功能．     

分布式数据库系统中Web Services的设计

结合实际应用经验,提出适合分布式数据库系统中的Web Services设计原则与提高Web Services系统扩展性能的方法.通过在实例中的应用,说明其可以有效地增强分布式数据库系统的访问效率、可扩展性与可靠性.     

数据库系统原理课程的教改探讨

数据库系统原理是一门重要的计算机专业课程，理论性和实践性都很强，近年来很多院校对数据库系统原理课程进行了教学改革.主要针对东莞理工学院的特色，结合东莞的地方特点，设计了一个数据库系统原理课程教学的课程体系，分别在课程内容、考试方式、认证和实验环节等方面作了一些改进和尝试，并取得了一定的成果.     

《PowerBuilder程序设计》教学方法探讨

本文在分析《Power Builder程序设计》课堂教学现状的基础上,结合该课程的特点对其课堂教学方法进行了探讨。     

某CAT数据库管理系统设计

某CAT系统测控软件采用组件式设计,系统数据库提供整个测控系统软件的运行支持。本文分析了某CAT系统数据库的需求,进行了数据库模型和数据库接口设计,实现了数据库管理系统的设计。     

会计确认独立性之必要性研究分析

从会计确认、会计人员的地位、会计性质及相关的经济利益分配等方面,分析了会计确认独立性理论研究的必要性,从法律法规角度,探讨了实施会计确认独立性之必要性。     

基于Web的数据库体系结构与容错机制

传统的容错模型大多采用复制和冗余机制,给系统造成大量垃圾.鉴于Web技术的快速发展,本文提出了一种双机容错机制,并给出具体示例.由此,可大大提高系统的灵活性和可扩展性.     

基于OptiConnect的分布式关系数据库互连的实现

OptiConnect是指在本地环境下多道系统之间提供高速互连的区域网络。分布式关系数据库是对关系数据库的一种扩展,它提供了对主机数据的远程工作单元访问和分布式工作单元访问两种访问形式。本文介绍了OptiConnect和分布式关系数据库的工作原理,并详细论述了基于OptiConnect的分布式关系数据库互连的实现。