基于FOXPR0的演绎数据库系统

演绎数据库是人工智能与数据库技术结合的产物 ,它具有数据处理及逻辑推理功能。本文在分析演绎数据库实现技术的基础上 ,重点地介绍我们设计并实现的基于FOXPRO的演绎数据库系统的系统结构及实现机制     

基于FOXPRO的演绎数据库系统

演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。本文在分析演绎数据库实现技术的基础上，重点地介绍我们设计并实现的基于FOXPRO的演绎数据库系统的系统结构及实现机制。     

Authorware中音视频再压缩及数据库集成技术研究

在讨论Authorware的不足之处后,重点探讨音频文件的再压缩技术和视频文件的再压缩技术及实现方法,并对Authorware对音视频文件的压缩的引用做了进一步的分析与研究.另外对数据库在Authorware中的引用做了较为深入的研究,并用程序描述在Authorware中怎样实现对外部数据库的调用.     

计算机网络数据库存在的安全威胁及措施

随着计算机网络数据库技术的飞速发展,计算机网络数据库存在的安全威胁越来越突出,网络数据库的安全问题也成为了当今网络系统的建设的一个关键问题.计算机的网络数据库主要是实现网络中的信息的存储和信息的管理,而由于计算机网络技术的迅速发展和其的普及程度,使得计算机网络数据库的安全性成为整个网络安全中及其重要的问题.网络数据库作为一个网络环境中开放式的信息库,存储着极其庞大的重要数据信息,如果遭受到网络攻击,将会给数据库带来不可估量的损失.当今网络中各种各样的数据库技术成为造成计算机威胁的主要的原因,由于这些数据库中包含着多种弊端,从而使得计算机系统面对着各种各样的风险.基于上述情况,我们对计算机网络数据库存在的安全威胁及措施进行了探讨.     

计算机数据库技术在信息管理中的应用研究

21世纪进入信息高速发展的时代,随着互联网事业的不断发展,计算机数据库技术逐渐为大多数人所接受并广泛使用.数据库技术将数据管理作为主要目的,由于数据内容的日益庞大,计算机数据库技术不断的发展和进步,以适应时代发展的需求.计算机数据库技术促进了信息管理效率的提高,为人们的生活带来了极大的便利,成为人们日常生活不可缺少的部分.     

基于.NET技术的数据库技术与应用研究

数据库技术作为一项新型技术,虽然仅具有短短四十年的发展历史,但是已经取得了显著的成绩。而.NET技术的出现也为数据库技术的应用及推广带来了更多机遇。文章将从.NET技术概念入手,深入了解数据库技术后,结合学生管理工作构建数据库系统,最后对系统进行测试,证明系统可行性,旨在为系统构建及相关领域发展提供参考和借鉴。     

基于日志技术的异构数据库复制技术研究

研究了通过数据库日志分析技术来实现异构数据库之间的数据交换的技术方案,并对关键技术点进行了分析研究。     

基于面向对象技术的空间数据库设计和实现

随着计算机技术的快速发展,数据库技术已经步入了第三代面向对象的数据库,而基于面向对象的数据库设计与实现是现在IT软件研究的一个热点。本文将以数据库的设计与实现为基础,继而分析应用于数据库的面向对象技术的主要特点,并研究其在数据库中的应用方式,讨论基于面向对象技术的数据库的发展趋势。     

基于XML技术资源组件库的管理及调度研究

XML是一种可扩展的文本标记语言,可以用来标记数据、定义数据类型,XML技术独立于平台,特别适合于环境各异的分布式组件之间数据交互.因此采用XML技术实现异质资源组件库的构建,为了实现对接入资源进行有效管理和操作,提出基于关系型的数据库管理与操作技术.     

基于.NET技术的数据库技术与应用

ADO.NET数据库技术是基于.NET技术最为有效的方法之一,利用ADO.NET数据库技术,可以更好地解决一些现实问题。文章基于.NET技术的数据库技术与应用的研究,主要分析了ADO.NET数据存取技术,阐述了ADO.NET数据库技术的原理以及实际应用。     

海上蒸发波导中电波传播特性实验研究

随着海战场日趋重要,对电磁波在海面蒸发波导中传播特性的研究越来越被重视,研究方法更是成为备受关注的问题。提出了蒸发波导中电波传播特性的实验方法,主要对大气折射率的变化进行了研究,方法包括无线电高空探测仪、气象分析与预测系统和推导预测3种。通过具体的实验数据对几种方法进行了仿真与对比分析,分析表明推导预测的方法更接近理论预测值。     

Implicit deductive fault simulation for complex delay fault models

This paper introduces an implicit version of the well-known deductive fault simulation technique suitable to delay fault models with an exponential number of faults. The proposed method calculates the fault coverage by generating lists of entities for each line during a single topological circuit traversal. Each stored entity only contains a number and a subset of the test vectors. No delay faults are stored, and no special data structures are required. There are significant differences between the presented implicit method and fault coverage using deductive fault simulation. The method is shown to be effective for delay the path and segment delay fault models.     

一个专家系统设计工具的演绎求解技术

EXTOOL是我们基于扩展PROLOG之上设计的一个专家系统工具语言.本文详细介绍了该工具语言演绎求解实现中的控制、数据基、回溯和合一、不确定性的描述、组合及传播的具体技术.     

On the informatics laws and deductive semantics of software

A fundamental finding in computer science is that software, an artifact of human creativity, is not constrained by the laws and properties known in the physical world. Thus, a natural question we have to ask is "what are the constraints that software obeys?" This paper attempts to demonstrate that software obeys the laws of informatics and mathematics. This paper explores a comprehensive set of informatics and semantic properties and laws of software as well as their mathematical models. In order to provide a rigorous mathematical treatment of both the abstract and concrete semantics of software, a new type of formal semantics known as the deductive semantics is developed. The deductive models of semantics, semantic function, and semantic environment at various composing levels of programs are formally described. The findings of this paper can be applied to perceive the basic characteristics of software and the development of fundamental theories that deal with the informatics and semantic properties of software.     

A Deductive Method for the Incomplete Far-Infrared Reflection Spectrum Analysis

We report a deductive method used in the incomplete far-infrared reflection spectrum analysis. The inherent restriction between the oscillator model and Kramers-Kronig relation is used to deduct the dielectric constant. In this way, one can analysis the incomplete far-infrared reflection spectrum of a crystal by combining both oscillator model and Kramers-Kronig relation.     

TD-SCDMA网络规划关键问题的研究

本文从分析TD-SCDMA的技术特点切入,用对比的演绎方法阐述了TD-SCDMA网络规划的特点,并进一步明确了TD-SCDMA链路预算相关内容,最后给出了两个系统共存时的干扰状况,及相应隔离度要求.     

Axiomatization for 1-level universal AND operator

The aim of this article is the partial axiomatization for 1-level universal logic. A propositional calculus formal deductive system UL-h∈(0,1] based on 1-level universal AND operator of universal logic is built up. The corresponding algebra L∏G- is introduced. The soundness and the completeness of system UL-h∈(0,1] are proved.     

非线性跟踪微分器稳态性能分析及仿真研究

针对非线性跟踪微分器无法实现对所有输入信号的无差跟踪问题,研究3种不同形式跟踪微分器的稳态性能.通过分析抑制函数的特性和典型输入情况下系统的稳态误差,确定其适用范围,并对推论结果进行验证.仿真实验表明,非线性跟踪微分器为一阶无差系统,只能实现对阶跃输入信号的无差跟踪.     

基于时序关系的消息推理及安全协议符号迹分析

如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题。提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型。在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架。最后给出了一个实例分析,并指出该框架以后的研究方向。