期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到78篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于混合云架构的电厂运行数据并行迁移系统 被引量：1
1
作者 黄伟 王小波 乔蓓蓓 《电子设计工程》 2023年第2期126-129,134,共5页
传统的电厂运行数据并行迁移系统存在数据迁移速率低的问题,导致系统延迟较高,因此设计了基于混合云架构的电厂运行数据并行迁移系统。在硬件方面,设计了电路模块、单片机模块、传感器模块与处理模块,单片机采用ADN7632,以光敏传感器、... 传统的电厂运行数据并行迁移系统存在数据迁移速率低的问题,导致系统延迟较高,因此设计了基于混合云架构的电厂运行数据并行迁移系统。在硬件方面,设计了电路模块、单片机模块、传感器模块与处理模块,单片机采用ADN7632,以光敏传感器、红外传感器、霍尔传感器组合成传感器模块,利用STN5349完成相关信息处理。同时引入混合云架构设计系统软件,通过原始运行数据转换与迁移、数据同步、并行迁移完成软件设计。实验结果表明,该系统的数据迁移速率更高,系统延迟符合电厂的实际要求,具有更高的应用价值。 展开更多
关键词 混合云架构 电厂运行数据 并行迁移 迁移系统
下载PDF
基于有限迁移系统的线性时态逻辑的计量化方法 被引量：4
2
作者 时慧娴 王国俊 《模糊系统与数学》 CSCD 北大核心 2012年第5期30-35,共6页
基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之... 基于有限迁移系统中全体无穷初始路径之集上的某种均匀概率测度,定义迁移系统TS对于LTL公式φ的满足度,并指出该概念是"TS满足φ"这一概念的计量化推广。在满足度理论的基础上,引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪距离,从而构建LTL逻辑度量空间。 展开更多
关键词 线性时态逻辑 迁移系统 满足度 离散时间马尔可夫链 逻辑度量空间
原文传递
Web服务在线迁移系统研究与实现 被引量：2
3
作者 蔡启申 张勇 +1 位作者 杨成伟 刘士军 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第S1期6-9,共4页
针对在网格计算环境中各个节点之间负载分布不均衡的问题,设计并实现了一个在线Web服务迁移系统,提出了一种服务迁移的方法,通过服务的迁移,实现了Web服务在应用服务器之间的自治无缝迁移及计算资源合理有效的使用,达到了负载均衡的目的... 针对在网格计算环境中各个节点之间负载分布不均衡的问题,设计并实现了一个在线Web服务迁移系统,提出了一种服务迁移的方法,通过服务的迁移,实现了Web服务在应用服务器之间的自治无缝迁移及计算资源合理有效的使用,达到了负载均衡的目的.提出的迁移策略保证了当某一节点负载过高时,及时地进行服务迁移,并保证了服务在迁移过程中和迁移之后的可用性.实验证明这种方法有效地解决了网格节点间负载不平衡的问题. 展开更多
关键词 WEB服务 迁移系统 迁移策略 服务迁移 负载
原文传递
R-偏序集及其Scott拓扑 被引量：3
4
作者 高泾萍 何伟 +1 位作者 樊磊 李娜 《中央民族大学学报（自然科学版）》 2006年第4期330-333,共4页
本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑.
关键词 R-偏序集 SCOTT拓扑 迁移系统 部分模拟
下载PDF
人口迁移系统观
5
作者 陈冰 解书森 《学习与探索》 1986年第4期75-82,共8页
我国经济社会正处于除旧布新的伟大转换时期。新技术革命浪潮与经济体制改革的进行不断为社会主义事业的发展创造着物质前提和社会条件,其中包括解决人口问题在内。正是在这种背景下,通过人口迁移来下活中国人口问题这盘棋的设想,逐渐... 我国经济社会正处于除旧布新的伟大转换时期。新技术革命浪潮与经济体制改革的进行不断为社会主义事业的发展创造着物质前提和社会条件,其中包括解决人口问题在内。正是在这种背景下,通过人口迁移来下活中国人口问题这盘棋的设想,逐渐为人们所认识。象研究任何事物都必须首先解决方法论问题一样,要卓有成效地推进对人口迁移认识的深化,掌握“时代的理论思维”方法至关重要。下面,我们试图利用现代思维方式,探讨人口迁移系统及其优化问题。 展开更多
关键词 人口迁移 迁移系统 迁移过程 自组织机制 生存环境 迁移行为 优化问题 系统结构 要素 经济社会发展
下载PDF
足球运动员迁移系统研究 被引量：2
6
作者 栗元辉 《辽宁体育科技》 2017年第2期9-13,共5页
对英国、南美、南欧等几个主要的足球运动员迁移系统进行分析,结合足球运动员迁移的历史数据和最新的联赛球员迁移数据,进一步证实了足球运动员迁移系统的运行机制,同时揭示了英格兰作为世界顶级足球联赛赖以发展壮大的体制机制问题,以... 对英国、南美、南欧等几个主要的足球运动员迁移系统进行分析,结合足球运动员迁移的历史数据和最新的联赛球员迁移数据,进一步证实了足球运动员迁移系统的运行机制,同时揭示了英格兰作为世界顶级足球联赛赖以发展壮大的体制机制问题,以期为中超联赛的改革发展提供参考。 展开更多
关键词 足球 运动员 迁移系统
下载PDF
基于小波多尺度分析的输电线路交互式数据迁移系统设计 被引量：2
7
作者 匡小青 凌宇 万新 《电子设计工程》 2021年第17期147-151,共5页
针对输电线路交互式数据迁移系统迁移接口与传输对象结构过于复杂,导致迁移效率过低等问题,提出基于小波多尺度分析的输电线路交互式数据迁移系统。选用三台服务器作为元件的虚拟机,应用通信协议与文件读取,同时采用DS-CRM型号的数据接... 针对输电线路交互式数据迁移系统迁移接口与传输对象结构过于复杂,导致迁移效率过低等问题,提出基于小波多尺度分析的输电线路交互式数据迁移系统。选用三台服务器作为元件的虚拟机,应用通信协议与文件读取,同时采用DS-CRM型号的数据接口。应用小波多尺度降噪分析法连续对输电线路中的数据进行分析计算,通过变换输电线路中的通信频率改变交互数据的信号,再利用信号的平稳程度转换交互数据迁移系统的运行方式,实现软件迁移。实验结果表明,基于小波多尺度分析的输电线路交互式数据迁移系统传输对象结构得到有效改善,提高了迁移效率。 展开更多
关键词 小波多尺度分析 输电线路 交互式数据 迁移系统
下载PDF
论写作教学的迁移系统
8
作者 祝兆炬 《黑龙江高教研究》 北大核心 1996年第3期46-50,共5页
论写作教学的迁移系统祝兆炬知识传授和能力训练，是高校进行一般课程教学的双轨；两者关系：相互依存、相互促进、并行不悻。但是，写作教学情况特殊，它是一门应用技术课，而不是基础理论课，诚如《基础写作概论》①在前言部分指出的... 论写作教学的迁移系统祝兆炬知识传授和能力训练，是高校进行一般课程教学的双轨；两者关系：相互依存、相互促进、并行不悻。但是，写作教学情况特殊，它是一门应用技术课，而不是基础理论课，诚如《基础写作概论》①在前言部分指出的那样：“写作是一门以书面语言为其表... 展开更多
关键词 写作教学 迁移系统 知识迁移 写作能力 迁移能量 教师 “用” 写作课 “举一反三” 写作原理
下载PDF
反应式软件形式化系统研究系统分析 被引量：1
9
作者 许明 开金宇 肖蕾 《哈尔滨商业大学学报（自然科学版）》 CAS 2014年第4期477-481,共5页
从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件... 从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路. 展开更多
关键词 形式化方法 形式化系统 形式化语言 迁移系统 计算模型
下载PDF
广东电视台高清播控系统——几种常见软故障的排除及注意事项 被引量：1
10
作者 郑仕云 《中国传媒科技》 2012年第04X期207-208,共2页
高清数字电视的发展,已经成为电视台技术工作的重点,高清播控系统是保证系统播放安全的关键。通过结合实际工作,分析数据流向,找出问题所在,对工作站假死、待播素材不存在等问题提出解决方案,并提出关于主播控机的注意事项,为相关工作... 高清数字电视的发展,已经成为电视台技术工作的重点,高清播控系统是保证系统播放安全的关键。通过结合实际工作,分析数据流向,找出问题所在,对工作站假死、待播素材不存在等问题提出解决方案,并提出关于主播控机的注意事项,为相关工作的开展提供参考。 展开更多
关键词 播控系统 迁移系统 软故障 播出安全
下载PDF
软件工程教学中需求分析的验证 被引量：1
11
作者 刘跃军 苏静 《轻工科技》 2016年第3期70-71,共2页
利用PRISM检测工具可视化的将系统模型是否满足"需求"直观地、显式地呈现出来,验证建立系统模型的正确性和可靠性,增强学生对《软件工程》课程中"需求分析"知识点的理解和掌握。最后,指出模型验证技术将会对其他课... 利用PRISM检测工具可视化的将系统模型是否满足"需求"直观地、显式地呈现出来,验证建立系统模型的正确性和可靠性,增强学生对《软件工程》课程中"需求分析"知识点的理解和掌握。最后,指出模型验证技术将会对其他课程教学产生积极的促进作用。 展开更多
关键词 软件工程 需求分析 模型检测 迁移系统
下载PDF
基于迁移系统分析的线性混成系统安全验证 被引量：1
12
作者 蒋慧 卜磊 李宣东 《计算机工程与应用》 CSCD 2013年第4期58-64,76,共8页
混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理... 混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。 展开更多
关键词 线性混成自动机 迁移系统 安全性验证 不变式生成
下载PDF
论写作教学的迁移系统
13
作者 祝兆炬 《绍兴文理学院学报（哲学社会科学版）》 1992年第4期14-19,共6页
【正】 知识传授和能力训练,是进行一般课程教学的双轨,两者关系:相互依存、相互促进、并行不悖。但是,写作教学情况特殊,它是一门应用技术课,而不是基础理论课,诚如《基础写作》在前言部分所指出的那样:“写作是一门以书面语言为其表... 【正】 知识传授和能力训练,是进行一般课程教学的双轨,两者关系:相互依存、相互促进、并行不悖。但是,写作教学情况特殊,它是一门应用技术课,而不是基础理论课,诚如《基础写作》在前言部分所指出的那样:“写作是一门以书面语言为其表达形式,具有训练性质的智能——技能的课程,它是为培养学生的写作能力,提高人们的写作水平服务的。”因此,写作教学不应双轨并进,而应以能力训练为主,将知识迁移为能力。 展开更多
关键词 写作教学 迁移系统 知识迁移 写作能力 引导学生 教师 相互依存 知识传授 培养学生 能力训练
下载PDF
非对称^(χ≠)-演算的基同余
14
作者 钟发荣 傅育熙 《计算机学报》 EI CSCD 北大核心 2005年第10期1626-1637,共12页
该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模... 该文研究非对称χ≠-演算的基同余.文中引入一组L-互模拟关系,并确定基互模拟就是由L-互模拟定义导出的12个互异的互模拟关系中的最小关系,给出了某些L-互模拟的开模拟性质,利用开模拟性质引入开基互模拟概念,并证明开基互模拟与基互模拟是一致的,构造了基于基同余的可靠和完备的等式系统,最后给出了基同余的完备性定理. 展开更多
关键词 非对称χ^≠-演算 进程代数 L-互模拟关系 等式系统 迁移系统
下载PDF
加权迁移系统线性时间属性及其安全性检测
15
作者 林运国 《计算机应用》 CSCD 北大核心 2014年第5期1413-1417,共5页
针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它... 针对加权迁移系统,提出了线性时间属性及其安全性检测。首先定义了半环K上的加权迁移系统,提出了加权线性时间属性概念,并根据权重函数确定加权线性时间属性的上确界、下确界和闭包;接着给出了几种常见的加权线性时间属性并且讨论了它们的关系;然后重点研究了加权安全性,通过加权自动机和闭包给出了加权正则安全性;最后基于加权有穷自动机,建立了加权正则安全性的检测方法。检测过程结合半环和形式幂级数,构造了加权迁移系统和加权有穷自动机的乘积系统,将加权安全性检测问题转化为验证乘积系统的不变性,给出了加权正则安全性检测的算法和复杂度。实例结果表明,所提的方法能够对加权迁移系统的安全性进行检测。 展开更多
关键词 迁移系统 线性时间属性 模型检测 安全性 半环
下载PDF
一种UML状态图模型检测方法
16
作者 张涛 黄少滨 +2 位作者 黄宏涛 吕天阳 刘刚 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第8期1035-1039,共5页
为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图... 为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率. 展开更多
关键词 模型检测 迁移系统 操作语义 UML 状态图
下载PDF
板模型具广义周期边界条件的迁移系统的临界解
17
作者 汪文珑 温忠 《上饶师范学院学报》 1995年第6期11+5-11,共8页
研究板几何具广义周期边界条件的迁移系统的临界解，使用泛涵分析方法，特别是Ｌ￣ｐ空间上的线性算子理论，１≤ｐ＜＋∞，证明了相在的Ｂｏｌｔｚｍａｎｎ积分算子主本征值（临界参数）的性质。获得了迁移系统处于次临界和超临界状态... 研究板几何具广义周期边界条件的迁移系统的临界解，使用泛涵分析方法，特别是Ｌ￣ｐ空间上的线性算子理论，１≤ｐ＜＋∞，证明了相在的Ｂｏｌｔｚｍａｎｎ积分算子主本征值（临界参数）的性质。获得了迁移系统处于次临界和超临界状态的条件，并证明了临界解的存在性。 展开更多
关键词 迁移系统 临界解 紧算子 弱紧算子 半非支柱算子
下载PDF
基于微云三层模型的移动云计算高可用研究
18
作者 张博 张晓光 张文博 《电信快报（网络与通信）》 2019年第1期30-33,共4页
针对移动云计算系统的鲁棒性和高可用性问题,提出一种移动云计算服务的高可用系统方案。从系统架构设计、数据传输量优化、服务迁移时间3个方面,与传统微云三层模型迁移服务的优缺点进行对比分析,并在OpenStack平台上通过实验验证其分... 针对移动云计算系统的鲁棒性和高可用性问题,提出一种移动云计算服务的高可用系统方案。从系统架构设计、数据传输量优化、服务迁移时间3个方面,与传统微云三层模型迁移服务的优缺点进行对比分析,并在OpenStack平台上通过实验验证其分析结果。比较结果表明,该高可用系统方案可以有效地提高移动云计算服务的鲁棒性和高可用性。 展开更多
关键词 移动云计算 鲁棒性 高可用性 迁移系统 OPENSTACK
下载PDF
具反射边界条件的板模型迁移系统的临界性
19
作者 汪文珑 《绍兴文理学院学报》 2001年第8期1-6,共6页
研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分算子的主本征值(即临界参数)的性质,并获得了系统处于次临界状态的条件以及使系统处于临界状态的板厚度的... 研究非均匀介质,各向同性,具反射边界条件的板模型迁移系统的临界解.借助泛函分析方法,特别是Lp空间上的线性算子理论,证明了积分算子的主本征值(即临界参数)的性质,并获得了系统处于次临界状态的条件以及使系统处于临界状态的板厚度的存在性. 展开更多
关键词 迁移系统 临界解 紧算子 半非支柱算子
下载PDF
统一存储网数据迁移系统的设计与实现 被引量：5
20
作者 谢长生 陈宁 万继光 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第4期26-29,共4页
针对统一存储网数据安全的需要,根据ServerFree存储设备点到点相互直接备份数据的解决方案,利用网络通信和分级存储技术,分别建立起数据迁移源端和迁移目的端.这两端是相互独立的,各自包括一个主线程和一个处理子线程,其中主线程负责初... 针对统一存储网数据安全的需要,根据ServerFree存储设备点到点相互直接备份数据的解决方案,利用网络通信和分级存储技术,分别建立起数据迁移源端和迁移目的端.这两端是相互独立的,各自包括一个主线程和一个处理子线程,其中主线程负责初始化、监听端口连接请求和创建处理子线程,而处理子线程则负责处理命令请求和传输数据等.通过让备份的数据在存储设备间进行直接传输,可以解脱备份对LAN的影响,使得服务器在备份命令提交后不必再进行数据的读写控制,释放了服务器的CPU周期,提高了传输速度,从而实现了一个新的基于统一存储网的数据迁移系统.测试表明,在相同的网络环境下对同等大小的数据进行传输,采用统一存储网数据迁移系统的数据传输速度比采用samba技术的数据传输速度快2 0 % . 展开更多
关键词 数据迁移系统 统一存储网 迁移源 迁移目的
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
使用帮助 返回顶部