一种高可用异构容错系统的混合可用性模型

为解决高可用异构容错系统的可用性评价问题,提出了一种针对高可用异构容错系统的混合可用性评价模型。设计实现异构容错原型系统,包括硬件体系结构框架及软件系统。采用Markov过程与随机Petri网相结合的方式,从可用性量化和系统状态转换两方面构建系统的可用性模型。根据该可用性模型估算系统的高可用指标,并与同构及非容错单机系统进行比较分析。结果表明,该可用性模型能够对异构容错系统进行准确的可用性评价,验证了系统5个9的高可用指标要求。最后总结了影响系统高可用性的主要因素及提升系统可用性的有效方法。     

量化评估用户感知的可用性

为了量化分析Web服务失效和性能降级的原因，提出了基于Web集群服务器的用户感知的可用性模型．首先使用Markov生灭过程估算系统状态概率，再利用排队论估算系统稳定状态下的请求丢失概率，最后结合二者建立起用户感知的可用性数学表达式，并以此来量化评估用户感知的可用性对各系统性能参数的敏感性．数值计算结果表明，影响用户感知的可用性的主要因素有2种，即低负载下的平均故障检测时间与平均无故障时间之比值，高负载下的平均故障修复时间与平均无故障时间之比值，同时用户感知的可用性可以通过增加后端节点的个数来改善，当后端节点数增加到一定程度时，该性能将趋于平稳．     

多工位制造系统尺寸偏差线性化建模与控制

为解决传统状态空间模型的系统矩阵存在非线性因子的问题，在定义了零件模型与零件偏差以及零件、夹具、机床3个坐标系的基础上，运用齐次变换方法进行了零件坐标系到机床坐标系的转换，实现了对传统状态空间模型的系统矩阵的线性化，给出了描述多工位制造系统中产品尺寸偏差传递的线性状态空间模型，增强了传统状态空间模型的可用性.实例验证了线性状态空间模型的有效性和实用性.     

分级分散计算机系统的等效可用性

本文定义了一种新的分级分散计算机系统的可用性──系统等效可靠性，这种定 义建立在系统的相对经济收益上。文中对失效与修复均为负指数分布时的两级分散计 算机系统进行了等效可用性分析，得出了工程计算用的公式，并对在一定可用性要求 下使投资最少与一定投资下可用性最高的优化问题进行了讨论，得出了对投资时进行 考虑的参考结论。     

浅谈船舶机电设备状态的评估

船舶机电设备种类繁多,要实现这些设备的有序管理,例如检修、保养、更新、后勤保障等,就必须对这些设备的状态及其运行趋势有一个清晰的了解。在机电设备的管理实践中,经常采用一些测量物理量来表征各个具体设备的现实状态性能和以及可用性来表达设备、系统即时执行任务的能力。本文对设备劣化度和可用性这两个评价指标进行了详细阐述,并在可用性基础上提出了现时可用性和任务可用性的概念,以便实现对船舶机电实现全面、动态以及系统的评估。     

pH过程测控系统可用性研究

文章是针对pH过程测控系统的可用性问题而提出的,从技术角度分析何为pH过程测控系统的可用性,如何设计pH过程测控系统的可用性,及如何测试与评估pH过程测控系统的可用性,从而为pH过程测控系统的可用性设计和测试提供方法理论支撑,设计出适合大多数用户使用的pH过程测控系统,促进pH过程测控系统的推广与应用。     

基于随机Petri网的容灾系统安全性分析

该文采用基于状态的随机模型对容灾系统进行安全性分析。通过构建一个通用的远程容灾系统模型,使用随机回报网SRN描述了整个系统模型的备份与恢复过程,包括SRN模型中的各个位置、变迁的含义,对该系统模型进行建模。使用随机Petri网软件包SPNP对所建立模型进行仿真,通过对不同概率参数的设定得出系统可用性的量化值。仿真实验结果表明:不同的参数变化对系统可用性的影响不同,在本地备份中失效检测对于系统可用性的影响最大,远程备份中的失效检测对于系统可用性的影响最小。     

基于分布式数据库系统的数据分配模型研究

提出一种基于分布式数据库的数据分配策略问题，数据分配得好对整个应用系统的改进、数据的可用性、提高分布式数据库（DDB）的效率和可靠性有很大影响．数据片段分配得好，整个系统的性能才会处于一个良好的状态．以通信代价作为衡量标准，通过实例研究数据分配方法的原理及用法，并对各自的优缺点进行了比较与分析的研究．     

多态k-out-of-n:G型系统可用性评测

事务处理型计算机可采用冗余等容错计算技术以延长无故障运行时间和增加可用性。为了评测事务处理型容错计算机的可用性,该文将其抽象为由独立同分布部件组成的多态k-out-of-n:G系统。针对这一类事务处理型容错计算机建立系统模型,考虑系统在不同工作状态等级下的维修率存在差异,利用状态转移方程推导得到系统可用度的表达式。进一步提出基于故障注入的平均修复时间(MTTR)测试方法,通过实地测量来获取不同工作状态等级下的系统维修率,并设计了故障集以及测试方法。     

协同形式验证环境Co-Formal的建立与应用

形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的可用性.     

基于移动多Agent的远程排课问题的研究

排课问题是一个涉及多因素约束的、多目标的、结构复杂的典型组合规划问题,针对分布式环境下的排课特点,采用移动多Agent理论提出远程排课系统的设计思路与关键技术,重点分析排课系统MMACTS的模型结构和多Agent对象的协商交互关系。     

成就归因理论在程序设计课中的效应

阐述了成就归因理论中所涉及的斯金纳的归因理论，自我效能感的归因理论，以及习得无助的归因理论，并分析了这些归因理论对程序设计课学习的影响以及怎样用成就归因理论来指导学生的程序设计课的学习，提高教学效果。     

产品形态设计类课程教学方法改革方向新探

产品形态设计课程是目前各高校产品设计专业学生必修课程,在整个课程体系设置中发挥着重要作用。课程对学生三维空间形态理念的构建、三维形态设计观念培养及形态美学设计意识培养方面发挥决定性作用。基于此课程学科专业特性、教学案例择取方式、教学过渡环节涉及的问题及多样性设计创造手法和内容教学改革展开论述,以确保此类课程能够在较好融合其他课程内容基础上提升学生的形态设计能力,培养形态审美意识,掌握有效的训练方法。     

EXCEL统计分析在概率统计教学中应用

介绍了Excel软件的应用方法,阐述了概率论与数理统计课程特色,探讨了使用统计分析库的具体方法,通过强调注重解决实际问题能力的培养,对课程改革实践和教学思想进行了深入思考．论述了如何利用Excel开展计算机辅助教学,开启了Excel数据分析函数在概率论与数理统计教学中应用方法,探讨了概率论与数理统计课程的改革发展趋势,对推动计算机仿真技术在具体教学实践中应用具有实际指导作用．     

C语言函数调用过程中变量的同名问题的解决

通过C语言函数调用过程中参数传递问题的讨论,进而引出了变量的同名问题,并分别从实参与形参、存储空间分配、复合语句、外部变量与内部变量四个方面深入剖析了程序执行时,同名变量引用的规则和方法的全过程。     

负商誉理论研究的价值探析

负商誉问题是会计实践中的一个难点问题,在中国会计理论中常被边缘化.然而,企业股份制改制是现代企业制度的必由之路,企业并购难以回避负商誉问题.正视负商誉的存在,研究会计对策,既有利于完善中国商誉理论,也有助于推进国有企业改革深入.     

高校学报编辑参与大学科技写作课教学的构想

针对高校缺乏理想的科技写作课教师人选的问题,指出学报编辑参与大学科技写作课教学的优势和益处之所在,并分析了编辑参与教学的具体方式和方法。     

大学微积分课程改革的研究与实践

微积分科学作为大学高等教育体系中的重要基础课程之一,一直以来都是高校教学课程改革的热点问题,本文主要结合目前国内高校高等数学教学的现状,总结了高校对大学微积分课程改革与实践的历程和经验,阐述了大学微积分课程改革的实际意义与作用。     

高职思想政治理论课“教、知、行”统一型学习方式的研究与实践

新的形势下,各高等学校都采取切实有效的措施,把思想政治理论课教育教学提高到一个新的水平。如何对思想政治理论课教学进行教学改革与实践,以适应高校思想政治理论课教学改革与高职院校人才培养目标的双重要求,是摆在高职院校思想政治理论课教师面前亟需探讨的重要课题。文章提出＂教、知、行＂统一型学习的概念,重在通过引导高职学生如何通过学习来自觉提高学习思想政治理论课的积极性和学习效果,并将＂教、学＂结合起来,自觉内化为行为,克服目前政治理论课教学中普遍存在的教师教学与学生的认知和行动背离的现象。     

论三代前黄河下游河道的大致走向

黄河下游河道的走向，历来是史家争议之焦点。但史家关于三代前下游河道的研究却少之又少．所以本文从记载黄河下游河道的古今文献、考古资料等，勾勒出历史时期黄河下游的河道应在今日山东地区。