一个通用数据库管理工具的研究与实现

目前我国行业信息化建设已经跨越了初级阶段,但在许多行业的信息化应用中还存在着烟囱效应和信息孤岛效应。为了将行业信息化引向深入,需要对原有系统进行数据集成。文中首先对数据集成的基本概念进行了探讨,并进一步对数据集成的一个重要工具——通用数据库管理工具的功能及实现方法进行了研究。文中所讨论的通用数据库管理工具与其他工具的区别在于:能够对物理上分布的、异构的多个数据库进行管理,还能够在更高的层次上对多个数据库中的数据进行逻辑上的重新组织。文中所讨论的通用数据库管理工具是为最终用户服务的,而不是一个开发工具。     

基于扩展Petri网的防空C~4ISRK系统建模分析

针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据和思路。     

城市消防远程监控系统建设过程中的几点体会

通过对国内自动消防设施设备存在问题的归纳,结合城市消防远程监控系统实际功能的实现,从监控终端、通信网络、信息中心三个方面提高系统的容错能力,阐述了实际建设和调试过程中的解决办法,并对系统的可靠性和安全性进行了讨论。     

对我国农村环境污染防治对策的系统分析

分析了现阶段我国农村环境污染的主要特点，并对农村环境污染防治的宏观对策进行了系统性分析。由手农村污染严重、防治形势严峻且比城市环境污染情况复杂，在制定农村环境污染防治对策时，需要运用系统工程原理全方位、全过程分析实际情况，制定整体效果最优的系统化对策组合，并注意对策措施的系统性、协调性、连续性和针对性。     

非线性奇异摄动系统的反馈线性化

研究了一类非线性奇异摄动系统的反馈线性化问题。首先,利用积分流形的概念,建立了原系统关于小参数的N阶近似系统,然后,讨论了N阶近似系统的线性化,导出了线性化变换的计算公式,并举例说明了方法的应用。     

Novell网络环境下分布式文件系统的设计与实现

在局部网络环境下实现分布式文件系统和远程过程调用是实现高层分布式软件的基础。本文在分析Netware层次结构的基础上,给出了一个在网络层上的分布式文件系统和远程过程调用的设计与实现,详细讨论了该系统的功能、用户界面和实现中的技术问题,包括可靠性和并发控制等必须解决的问题。本文的工作是为在Novell网上实现分布式数据库而设计的。     

针对复杂检测系统的微机数据管理系统设计方法探讨

本文以陆军战术导弹性能检测系统为研究对象,探讨复杂检测系统中微机数据管理系统的设计方法,给出了此类系统标准化设计的规范步骤。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

多自由度系统及结构非线性自由振动的摄动谐波平衡法

本文在谐波平衡法的基础上,引入摄动的思想,得出了解多自由度系统及结构的非线性自由振动的新方法。其解的形式为小参数和谐波的级数形式,因此,其解不会遗漏任何项,方程为线性的代数方程;利用线性变换,将系数矩阵变换为对角阵,一旦求出线性模态,就可得其解,比线性化迭代法优越得多。算例表明,本文方法对于小振幅有较高的精度,对于较大振幅其结果也是令人满意的。     

NiCl_2-(CH_2)_6N_4·HCl-H_2O三元体系组成及热致变色性能研究

本文用相平衡法研究了NiCl_2—(CH_2)_6N_4·HCl—H_2O 三元体系在30℃的溶解度,测定了各液相的折光率。结果表明生成了复合物2NiCl_2·(CH_2)_6N_4·HCl·9H_2O.文中介绍了该三元体系在13°O 时平衡固相的热致变色性能,通过TG—DTA 研究初步探讨了热致变色机理。