基于体系结构模型检查分布式控制系统

汪洋 魏峻 王振宇

分布控制系统是大量硬件设备通过计算机系统得以控制和协调的高度复杂系统，它们也是任务关键的系统，需要保障其功能的高度正确性和可靠性．分析复杂控制系统的过程包含了证明或验证设计的系统确实满足某种需求．但由于系统的复杂度，有效分析系统是相当困难的．从系统设计和分析的角度看，基于体系结构方法可以运用层次化构造和抽象的方法来减小模型复杂度．模型检查技术是分析复杂系统构造满足正确和可靠性需求的有效方法．结合软件体系结构描述方法和模型检查技术，提出了基于体系结构的分布式控制系统形式分析方法，通过楼宇综合控制系统实例研究，展示了该方法在提高分布式控制系统设计质量方面的效果。

分布式共享主存结构动态检查点技术的应用研究

Study on Computer Nodes Instantaneous Dynamic Checkpoint Technology of Shared Memory Computer

张定群 尉乔南

介绍在传统检查点技术的基础上提出一种面向分布式共享主存结构计算机节点瞬时故障的动态检查点技术。通过对节点及其运行进程的实时监控数据的分析，给出检查点的引入、保存、恢复和取消的容错技术策略。同时分析该技术在一定的故障模型下，对不同应用程序的有效程度及其应用开销。目的是希望使检查点序列在覆盖故障点的同时，尽可能降低保存检查点的次数，提高系统运行效率。

分布式仿真系统非阻塞式协同检查点协议

Non-blocking Coordinated Checkpointing Protocol for Distributed Simulation System

刘云生 黄健 查亚兵

联邦存储是实现分布式仿真系统容错的基础，IEEE1516—2000中提供了一种阻塞式的系统状态存储协议，实际使用时会给系统带来很大开销。根据对系统状态存储过程中仿真组件状态变化影响因素的分析。提出了一种非阻塞式的系统状态存储协议。该协议完整地解决了由于在系统状态存储期间允许时间推进导致所保存的RTI状态和对应成受状态时间上的不一致、由于成员间消息传递导致不同成员状态的不一致及in-transit消息问题．先完成状态保存的成员不需阻塞，访协议在一定程度上降低了联邦存储的开销.证明了该协议的正确性。

分布式系统中检查点的设计及实现

Design and Implementation of Checkpointing for Distributed Systems

黄敬尧

在并行和分布式计算环境中，随着系统规模的增长，系统出错的概率大大增加．为保证分布式系统的高可靠性，检查点／回滚恢复技术是一种广泛使用的容错技术．在对传统检查点技术进行分析和评述的基础上，介绍了分布式检查点系统设计的关键技术及实现方法．

基于Markov链的分布式仿真系统最佳检查点间隔研究

The Analysis of Best Checkpoint Interval of Distributed Simulation System Using Markov Chains

刘云生 张传富 张童 查亚兵 黄柯棣

基于HLA的分布式仿真系统作为一类特殊的分布式系统，其容错一般基于回卷恢复实现，在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同，根据不同仿真进程对仿真结果的重要程度对其进行了分类，定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度，得到了系统最大可用度对应的检查点间隔的求解等式，通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。

农村原蚕饲养微粒子病检查批内分布规律研究

祁力言 潘沈元 等

对478个农村原蚕批的4927个农户母蛾微孢子带毒状况做了统计分析，结果表明：各原蚕批内的不同饲养户带毒情况具有一定的相关性，但不完全相关，其分布既不同于蚕种统批制种的批内呈随机分布，也不同于各批间呈独立分布，因而指出有必要制定农村原蚕批分户制种的微毒检验标准和抽样方案。

恶性血液病患者鼻部感染的病原菌分布及耐药性分析

Analysis of bacterial distribution and drug resistance in nasal infection among patients with hematological malignancies

胡原 蔡昌枰 糜琛蓉 忻云妹 倪语星

目的了解恶性血液病患者鼻部感染的细菌分布及耐药性，以利于指导早期鼻部感染时的经验性抗菌治疗。方法选择2006年1～12月在该院治疗的60例患有不同程度鼻部感染的恶性血液病患者，取其鼻腔、鼻窦脓液进行细菌培养及药敏检查。结果60例脓液标本中细菌检出率是71．67％，其中真菌占37．25％，G^＋球菌占54．90％，G^-菌占7．84％。在G^＋球菌中，金黄色葡萄球菌占11．76％，凝固酶阴性葡萄球菌占29．22％。其中耐甲氧西林金黄色葡萄球菌的检出率是66．67％，耐甲氧西林凝固酶阴性葡萄球菌的检出率是95．00％。耐甲氧西林葡萄球菌的药敏结果显示对多种抗菌药物耐药，仅对万古霉素、利福平及呋西地酸敏感。结论作者针对恶性血液病患者的鼻部感染存在条件致病菌及耐药菌的感染率高的特点提出了治疗对策。

儿童幽门螺杆菌相关疾病及其年龄分布探讨

郭青

目的：研究儿童HP相关的各种疾病感染率及其与年龄之间分布关系。方法：上消化道症状就诊的263例患儿（男151例，女112例，最小1．5岁，最大1．5岁，最小14岁，平均11．2岁）。所有病例均做胃镜检查并行快速尿素酶试验，判断有无HP感染。结果：慢性活动性胃炎阳性率最高（67．9％）；慢性活动慢胃炎与慢性浅表性胃炎差异显著（X^2=18.771,P<0.05）慢性活动性胃炎与溃疡差异显著（x^2＝34．993，P＜0．05）；胃炎与与溃疡差异显著（x^2＝16．097），P＜0．05）；慢性浅表性胃炎与溃疡无显著性差异（x^2＝3．698，P＞0．05）。结论：HP阳性率排序：慢性活动性胃炎＞慢性浅表性胃炎＞胃溃疡＞十二指肠溃疡；HP感染是胃炎发病的重要影响因素，对慢性活动性胃炎影响程度度大，对慢性浅表胃炎＞胃溃疡＞十二指肠疡；HP感染是胃炎是炎发病的重要影响因素，对慢性活动胃炎影响程度最大，对慢性浅表性胃炎和溃疡的影响程度相对较小，儿童HP阳性总发生率及胃炎HP阳性率均低于国内成人，国外儿童HP阳性总发生率多高于国内；HP阳性随年龄增加而增加，以12－14岁组为最高，临床不可忽视。

抑郁症患者督脉脊柱段压痛点分布的临床研究

张建斌 王玲玲

目的：观察和研究抑郁症与督脉、督脉腧穴的相关性。方法：运用压痛点检查法．检查和记录抑郁症患者督脉脊柱段压痛点的出现频率、分布规律．并探讨抑郁症与督脉及督脉腧穴之间的关系。结果：在抑郁症患者中，约有80％以上者可能在督脉脊柱段出现压痛点．多数患者可能出现2～6个压痛点，压痛点的分布主要集中在身柱穴到至阳穴的区域中。结论：抑郁症与督脉有密切的相关性，并且可以体现在特定区域的腧穴上。