【摘 要】
：
该论文从程序设计方法的角度,利用人工智能的思想,在分析软件的可靠性模型基础上研究了在不同的系统环境下软件容错设计的策略与实现方法.论文首先介绍了软件可靠性的一般概
论文部分内容阅读
该论文从程序设计方法的角度,利用人工智能的思想,在分析软件的可靠性模型基础上研究了在不同的系统环境下软件容错设计的策略与实现方法.论文首先介绍了软件可靠性的一般概念、软件可靠性的定义、软件可靠性的重要性,软件可靠性的研究历史和现状.然后分析了硬件和软件的可靠性特征,定义软件错误和软件失效的内容,并对软件可靠性模型进行了分类,阐述了软件可靠性设计的方法,尤其对软件的容错设计方法进行了研究.该文重点研究了:●Client/Server体系结构下软件容错设计方法.●联机事务环境下(OLTP)软件容错设计方法.●故障诊断的智能策略与实现方法.●在注入故障模型时,必须按一定的次序依次测试各个故障模型,使得形成各个故障模型的状态所需的读/写等操作数目最小.该文基于Hamilton路径的生成原理,定义了任意两个故障模型的逻辑距离(Distance),提出了一种读/写操作个数最小的故障模型的最优化测试序列.●异种数据库之间的数据采集在数据仓库技术中占有相当重要的位置.该文针对目前数据仓库中数据采集问题,提出了异构数据库之间的数据采集方法和容错设计方法.●研究了如何利用日志文件对数据库文件的故障恢复技术.分析并给出了TANDEM计算机系统中采用事务模型和日志记录结构进行故障处理的程序设计方法,并提出了在不同的故障模式下故障恢复策略的使用方法.
其他文献
该文在介绍了投资基金管理运作基本工作的基础上,结合中国的实际情况,对投资基金管理运作中的若干问题进行了大量研究工作.投资管理问题是基金管理问题的核心,所以该文研究的
近年来,随着信息多元化的发展,以及计算机技术、微电子技术和多传感器网络的日益成熟,信息融合作为一种有效的信息综合处理方法,其理论及应用研究都得到了快速的发展。信息融
在通信网中利用手写签名进行个人身份认证的技术有着广阔的应用前景.该文系统、深入地研究了表征个人签名特点的在线手定签名动态特征及其鉴别方法,开发了一个基于手写签名鉴
该文首先分析了模糊控制设计的一般方法,然后介绍了二自由度机械手的数学模型,基于对该模型的仿真控制经验提出了一种新的模糊控制思路,即把位置误差和速度误差按比例叠加,作
目前中国的烫金机大都是手工操作的.这种机器效率低安全性差,新一代烫金机的研制势在必行.用步进电机可以解决烫金箔的定位.通过实验和研究确定控制步进电机运行的频率曲线,
该文在模糊模型参考自学习控制的基础上,引入遗传算法来提高控制系统的学习能力.由于遗传算法在优化问题中的特殊优点,采用遗传算法对模糊控制规则进行修改可以达到较好的效
该文应用计算机代数算法结合数学机械化的理论和方法,对串联机器人逆运动学、并联机器人运动学正解、实解结构分析、并联机器人工作空间等问题进行研究.
一个独立于特定的数据库管理系统的用户界面是实现DBMS应用的广泛和多样化的最快的方式,JAVA语言应用程序的开发者正是基于此观点,提出了下通用的一般的SQL数据库访问和存储
论文阐述了实现感应电动机解耦控制的意义以及国内外的研究现状。根据感应电动机本身的特性、逆系统方法的特点和支持向量机(SVM)的优越性,提出了将SVM逆系统方法应用于感应电动机的解耦控制的方法。论文简单介绍了逆系统方法和SVM的相关理论知识,详细论述了逆系统方法与SVM相结合,并应用于感应电动机控制的原理。论文分析验证了感应电动机基于电压控制型和电流控制型的两种模型的系统可逆性,确定了电压控制型和电
该文根据金陵石化公司南京炼油厂的实际需求,论述了石化企业物资管理系统的规划、分析与设计的方法.该文首先简要介绍了企业物资管理的基本理论.接着,采用CSF方法对石化企业