论文部分内容阅读
软件实现的容错技术是保障软件可用性和可靠性的主要方法,继续保持网构软件的高可用性和高可靠性,建立了计算机软件体系结构的容错机制动态配置技术框架,提出一种基于模型检查的计算机软件容错风格选择方法,可以直接用于有效性验证,并很好地适用于目前的主流中间件.
探讨计算机软件体系结构的容错机制动态配置技术
【摘 要】
：
软件实现的容错技术是保障软件可用性和可靠性的主要方法,继续保持网构软件的高可用性和高可靠性,建立了计算机软件体系结构的容错机制动态配置技术框架,提出一种基于模型检
【机 构】
：
长春工业大学软件学院,吉林长春,130012
【出 处】
：
华章
【发表日期】
：
2013年11期
其他文献
目前,培养合格的电梯安装、维保人员是电梯行业发展的需要,在该专业的实训教学中存在很大探索的空间.本文以电梯专业的教学过程为例,介绍了电梯安装与维修专业教学及实训管理
目前中职学校计算机专业实践课程的设置与内容以及教学方法不能很好的适应社会企业的用工需求,导致学生的实践操作能力差,造成教育和社会需求的脱节.如何激发学生的学习兴趣,
随着嵌入式产品在安全相关领域的应用的发展,可靠性和安全性的提高.结合软件工程的思想和IEC61508功能安全规范,提出采用可测性约束语言OCL约束计算机嵌入式软件的系统模型,
在人的一生中,语言是进行思想交流的主要途径,如果没有语言交流,我们将在无声的世界中度过,那是十分痛苦的!美国教育家霍华德.加纳德曾提出:人的智能包括七种,语言交往能力是
在新技术条件下,窃密的技术和手段越来越高,高校档案的安全性面临考验,笔者通过在工作中的体会对档案管理中的制度建设、人员素质建设等方面进行探讨,如何做好在信息化社会高
空间移动对象的轨迹和查询是移动对象数据库中的关键技术,成为当前数据库领域研究的热点问题.本文重点研究了移动对象轨迹的表达和更新问题、非约束环境和网络环境中移动对象
高校图书馆电子阅览室是大学生学习、生活的重要场所之一.本文主要分析了当前高校图书馆电子阅览室管理中存在的问题,对高校图书馆电子阅览室的服务创新进行了探讨,并提出了
新闻人物专访因其一对一和面对面,对记者的采访技巧是个考验.记者若想从采访对象身上了解到情况,必须使用各种技巧,来让对方开口.运用谈话的方式研究采访对象心理,从而掌握采
随着计算机发展,计算机嵌入式系统中软件系统的规模和复杂性不断增加,本文从理论角度对计算机嵌入式软件进行研究,提出了一种适合于计算机嵌入式软件构件提取的过程,在源代码
本文将从图书馆员综合素养的现状分析、馆员素质的建设和改善以及馆员素质对我国社会主义事业的意义三方面入手,对我国图书馆员的综合素养进行深入的剖析,提出切实可行的解决