基于可能性测度的计算树逻辑

首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。     

基于局部控制器的非线性多智能体一致性分析

研究非线性多智能体系统的一致性问题,由于多智能体要求在网络中所有个体状态趋于一致,所以采用有向图表示的多智能体系统的拓扑结构形式.为了验证一致性,提出一类由自反馈控制器和协调控制器构成的局部控制器,由自反馈控制器保证每个动态节点的稳定性,协调控制器保证网络的全局稳定性和信息的正常交流.根据Lapunov稳定性理论,利用线性化方法,分别采用非线性多智能体系统在固定和切换网络拓扑中进行一致性实验.最后采用6个非线性智能体组成的网络拓扑结构进行计算机仿真,结果验证了理论的正确性.     

用于灾难恢复的异步远程卷复制系统的设计

给出一个用于灾难恢复异步远程卷复制系统的总体设计框架,并说明系统的工作原理、数据流程,而且进一步解决卷复制中日志溢出的问题。该协议框架在保证具有良好的系统性能的同时,也能够很好地保持系统的数据一致性。     

Linux上LVM快照数据一致性迁移

在基于Linux的生产系统中,人们越来越普遍地利用LVM的快照技术做数据一致性迁移和文档版本回溯,但是对于性能分析方面目前还没有相关论述文章。详细介绍LVM快照数据一致性迁移,着重分析迁移失真度以及由此带来的生产系统性能损耗,并通过实验证明性能损耗不会超过10%的结论。     

P2P系统中基于副本链的一致性维护算法

提出一种无结构纯P2P的副本一致性维护算法。利用副本节点发起的第一次更新消息在P2P网络中的广播,由其他收到消息的副本节点给出响应,构建副本链。副本链建立后,更新消息在副本节点间进行传播,不再在网络中洪泛。副本链的维护通过记录首次发起更新的副本节点IP地址完成。仿真试验证明该算法是简单有效的。     

论网站页面设计的一致性原则

随着网络技术与电子商务的发展,网站页面设计也越来越受重视,优秀的网页虽然各有特色,但都遵守最基本的原则即保证页面的一致性。通过从页面结构、色彩、导航栏以及页面标准元素功能四个角度分析应如何设计网站页面,既保证页面之间的一致性,又使得读者不会因页面风格过于一致而产生视觉疲劳,并在此基础上提出了一个基本的保证页面一致性的设计方法。     

高校学生综合测评系统的设计与实现

文章建立了适合当前高校对学生进行综合测评的指标与体系并基于面向对象技术设计开发了高校学生综合测评系统。该系统开发实现以后可以对学生综合素质按照测评体系进行正确评价,为高校教学活动开展和评奖评优提供正确的参考数据,同时能节约大量的人力、物力和财力,提高工作效率。     

测试测量

泰克推出示波器模块80C10B 泰克公司为DSA8200数字串行分析仪系列推出新款光采样示波器模块80C10B。80C10B及选配了F1选件的80C10BF1可以为下一代40Gbps和100Gbps及以上发射机标准的一致性验证提供完整的测试解决方案。此外,泰克公司还针对100Gbps以太网（100GbE）的制造和一致性验证推出了80C25GBE模块。     

海量邮件分布式文件系统的设计与实现

本文通过归纳分析已有的分布式系统体系结构,研究并设计了一个针对于海量邮件存储的分布式文件系统.受Google File System架构的启发,针对单个元数据服务器带来的瓶颈问题,提出了多个元数据服务器的解决方案.针对邮件写入格式的特殊性和数据源的多样性,设计并实现了多数据源的相同接口的写入支持,并对写入文件的格式进行压缩和添加sync字段,使整个系统具有更好的I/O性能以及更好的数据完整性.     

ETG测试中心认证50种EtherCat设备

到目前为止,约有50种EtherCat设备在ETG测试中心得到认证。ETG组织2009年的计划包括：为2008年发布的ETG一致性测试工具扩展设备配置文件,在日本成立一个新的测试中心,以及在欧洲、亚洲和北美举办更多的多厂商互通性测试。