数据的可靠性和软件容错系统的实现

指出了保障计算机数据可靠的重要性 ,并针对计算机数据的特性和在不同系统中的应用 ,分析了保证计算机数据可靠性的可行性解决方案 .最后 ,以 Sentinel系统为例 ,介绍了软件双机容错系统的实现方法 .

管理软件生成器系统CDBAG-4GL

阐述了“管理软件生成器系统CDBAG-4GL”的研制背景、系统组成、逻辑结构、功能及特点;并简要介绍了设计思想、生成原理以及实现技术要点等。“CD-BAG一4GL”已商品化,它可根据用户要求自动生成各类专用的管理信息系统。为应用开发人员和最终用户提供一个一体化的通用的快速开发工具和环境。作为第四代软件开发工具的生成器和第四代语言是提高应用开发效率和质量的有效途径。

在飞行模拟机系统中建立备件计划管理体系

论文对在飞行模拟机系统中利用计算机辅助计划管理手段,建立科学的备件计划管理系统进行了探讨,提出了确定飞行模拟机系统所需备件品种与数量的方法,以及实现备件计划自动化管理的计算机程序功能设计与软件环境。这种方法对于在其它大型系统中建立计算机备件计划管理系统,有重要参考借鉴价值。

一种基于远程控制技术的网上培训系统

分析了远程控制技术的应用原理,针对远程培训的应用特点设计并实现了一种基于虚拟网络计算(VirtualNetworkComputing,VNC)的网上培训系统,为网上培训提供了一条便捷有效的解决方案。重点阐述了系统架构的设计理念和关键技术,并进行了身份认证及安全机制等相关特性分析。

XML安全服务综述

随着电子商务的全球化,XML语言的应用也越来越广泛。但XML本身仅仅是一种语言,它无法保证基于它的应用的安全性。因此建立一个安全的XML应用平台便成为其应用的前提和基础。从XML的加密,签名以及XML文档的访问控制三个方面介绍XML安全服务平台的建立。

GSCoL:OGSA框架下的网格服务组合语言

网格计算领域一个重要进展就是采用WEB服务计算模型作为其基本的体系结构,这就是开放网格服务体系结构(OGSA),它已经逐渐成为一种重要的分布式计算基础实施。对网格服务的使用者和提供者来说,一种全新的以网格服务集成和通过组装已有网格服务来创建新的增值服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中一个重要课题。鉴于此,该文提出了一个OGSA框架下的网格服务组合语言GSCoL,讨论了GSCoL的设计,并介绍了在OGSA参考实现GT3核心的基础上完成的GSCoL的概念验证原型。

Web服务环境中的业务过程建模语言比较框架

基于Web服务的价值链集成越来越受到人们的重视,相应的业务过程建模语言成为研究的焦点,各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为基于Web服务的信息系统集成研究和开发中的一个重要问题。该文在分析Web服务环境下系统集成的体系结构模型基础上,提出了一个Web服务环境下业务过程建模语言比较框架,作为验证,对常见的建模语言进行了比较分析和评述。

二阶逻辑有效公式集的非递归可枚举性

证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的