迁移系统相关论文
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
迁移技术是当终端发生改变时能够延续原互联网服务的一种网络技术。在传统互联网时代,迁移主要作用是当服务器更新或发生故障时,将......
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变......
从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......
研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分......
本文给出了从一个集合构造、R-偏序集的方法，并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明，同时还给出．R-偏序集上......
针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重......
针对在网格计算环境中各个节点之间负载分布不均衡的问题，设计并实现了一个在线Web服务迁移系统，提出了一种服务迁移的方法，通过......
针对移动云计算系统的鲁棒性和高可用性问题,提出一种移动云计算服务的高可用系统方案。从系统架构设计、数据传输量优化、服务迁......
为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法......
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度，定义迁移系统TS对于LTL公式(ω)的满足度，并指出该概念是“TS满......
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。其安全性验证问题难以解决，即使是线性混成自动机，它的可达性问题也被证明......
