针对传统正负关联规则置信度阈值设置方法难以控制低可信度规则数量和易遗漏有趣规则的问题，提出了一个结合项集相关性的两级置信度阈值设置方法（PNMC-TWO）。首先，基于规则的无矛盾性、有效性和有趣性考虑，以相关度-支持度-置信度为框架，从规则置信度与项集支持度的计算关系出发，系统地分析了正负关联规则置信度取值随规则的项集支持度大小变化的规律；然后，与实际挖掘中用户对高可信度且有趣的规则需求相结合，提出了一个新的设置模型，避免了传统方法设置阈值时的盲目性和随意性；最后，从规则数量和规则质量两方面对所提方法与原双阈值法进行了实验对比。实验结果表明，所提方法不仅可以更好地确保提取出的关联规则有效和有趣，还可以显著地降低可信度低的关联规则数量。

目前以虚拟云服务平台作为强大计算平台的虚拟云环境下，许多现存调度方法致力于合并虚拟机以减少物理机数目，从而达到减少能源消耗的目的，但会引入高额虚拟机迁移成本；此外，现存方法也没有考虑导致用户高额支付成本的成本因子影响。以减少云服务提供者能源消耗和云服务终端用户支付成本为目标，同时保障用户任务的时限要求，提出一种能源与时限可感知的非迁移调度（EDA-NMS）算法。EDA-NMS利用任务时限的松弛度，延迟宽松时限任务的执行从而无需唤醒新的物理机，更无需引入虚拟机动态迁移成本，以达到减少能源消耗的目的。多重扩展实验结果表明，EDA-NMS采用成本和能耗有效的虚拟机实例类型组合方案，与主动及响应式调度（PRS）算法相比，在减少静态能耗的同时，能更有效地满足用户关键任务的敏感时限并确保用户支付成本最低。

针对现有拜占庭容错协议的假设(要求被保护的对象是被动的和独立的)不适用于服务计算等新兴计算模型的问题,提出一种面向服务计算的拜占庭容错协议。该协议在服务请求方和服务提供方两端均创建服务复制品,采用基于状态机的主动复制技术,在服务复制品间进行三轮通信,就该请求的编号和内容达成一致,随后该请求被提交给上层应用逻辑处理;收到应答后,服务请求方的复制品进行三轮通信就应答的编号和内容达成一致后接受该应答。针对现有面向服务计算的拜占庭容错协议只有简单的正确性推理缺乏形式化验证的问题,采用I/O自动机和模拟关系方法进行正确性证明,更加严谨和正式。构造一个高度抽象的简单I/O自动机 S,此自动机满足安全性和及时性;将协议中的各方分解成若干简单I/O自动机:前端自动机、后端自动机和多播通道自动机;最后用模拟关系方法证明各成员自动机构成的系统实现了自动机 S,从而证明协议的正确性。使用I/O自动机可以精确描述协议,以此为基础进行证明比感性推理的证明方法更加规范。