迁移系统相关论文
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
迁移技术是当终端发生改变时能够延续原互联网服务的一种网络技术。在传统互联网时代,迁移主要作用是当服务器更新或发生故障时,将......
针对输电线路交互式数据迁移系统迁移接口与传输对象结构过于复杂,导致迁移效率过低等问题,提出基于小波多尺度分析的输电线路交互......
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。因此其安全性验证问题也难以解决，即使是线性混成自动机，它的可达性问......
高能物理计算是典型的数据密集型计算应用。以BESⅢ实验为例，所有原始、模拟及重建的数据总和将达到4PB。为了保证数据的快速读写，如......
近年来，集群系统资源的共享及有效利用一直是研究的核心，使进程能够动态的在集群节点间迁移是实现负载平衡的一种基本而有效的方法。......
动态二进制翻译系统是一种基于软件的跨平台代码迁移系统,它动态地将一种体系结构的二进制代码翻译成另一种体系结构的二进制代码.......
高清数字电视的发展,已经成为电视台技术工作的重点,高清播控系统是保证系统播放安全的关键。通过结合实际工作,分析数据流向,找出......
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变......
研究板几何具广义周期边界条件的迁移系统的临界解，使用泛涵分析方法，特别是Ｌ￣ｐ空间上的线性算子理论，１≤ｐ＜＋∞，证明了相在的Ｂｏｌｔｚｍａｎｎ积分算子主本征值......
该文研究非对称χ≠-演算的基同余.文中引入一组L -互模拟关系,并确定基互模拟就是由L -互模拟定义导出的12个互异的互模拟关系中......
从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......
研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分......
论写作教学的迁移系统祝兆炬知识传授和能力训练，是高校进行一般课程教学的双轨；两者关系：相互依存、相互促进、并行不悻。但是，写作教......
<正> 我国经济社会正处于除旧布新的伟大转换时期。新技术革命浪潮与经济体制改革的进行不断为社会主义事业的发展创造着物质前提......
本文给出了从一个集合构造、R-偏序集的方法，并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明，同时还给出．R-偏序集上......
针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重......
针对在网格计算环境中各个节点之间负载分布不均衡的问题，设计并实现了一个在线Web服务迁移系统，提出了一种服务迁移的方法，通过......
本文的目的在于建立模态逻辑的计量化理论,并将其基本方法用于解决模型检验的计量化问题以及简化模型检验的过程.计量逻辑学的提出......
针对移动云计算系统的鲁棒性和高可用性问题,提出一种移动云计算服务的高可用系统方案。从系统架构设计、数据传输量优化、服务迁......
为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法......
混成自动机行为中既包含离散行为又包含连续行为，非常复杂。其安全性验证问题难以解决，即使是线性混成自动机，它的可达性问题也被证明......
