实时容错调度算法的自动模拟系统模型与设计

1

作者 韩宗芬 秦 啸 庞丽萍 《计算机工程与应用》 CSCD 北大核心 2000年第11期48-49,共2页

实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题.传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性.首先给出一个实时... 实时容错技术是实时系统中的关键技术之一,而实时容错调度算法则是实时容错研究领域中需要重点研究的问题.传统的实时容错调度算法的性能模拟是通过手工完成的,如果采用自动模拟方法,可以提高模拟实验的效率和准确性.首先给出一个实时容错调度算法的自动模拟系统模型,该模型定义了自动模拟系统中的关键参数.然后,提出了实时容错调度自动模拟算法.最后,研究了该自动模拟系统的软件结构.文章研究的自动模拟系统具重要的指导意义,可以参考该系统设计其他类型的调度算法的自动模拟系统.该系统的实现可大大节省用于研究实时容错调度算法的时间和费用. 展开更多

关键词 实时容错 调度算法 自动模拟系统 计算机

在线阅读 下载PDF 职称材料

基于多代理的主动配电网规划样本自动模拟研究 被引量：9

2

作者 李天友 刘智煖 +3 位作者 林焱 林芳 柴雁欣 刘俊勇 《电力系统保护与控制》 EI CSCD 北大核心 2019年第18期152-160,共9页

可再生能源的高渗透率接入、柔性负荷的高参与度、运行协调管理的高效可靠要求,均使得传统的管理投资方式难以满足多主体接入下配电网的投资发展要求。为适应主动配电网中多主体接入,促进清洁能源的消纳,为配电网精确投资规划提供丰富样... 可再生能源的高渗透率接入、柔性负荷的高参与度、运行协调管理的高效可靠要求,均使得传统的管理投资方式难以满足多主体接入下配电网的投资发展要求。为适应主动配电网中多主体接入,促进清洁能源的消纳,为配电网精确投资规划提供丰富样本,提出基于多代理的主动配电网规划样本自动模拟模型。基于构建的分布式电源、储能及柔性负荷的多代理时序模型,提出了以电网代理引导的主动配电网自动协调模拟策略;考虑负荷增长模式与配电网技术路径更迭,实现不同投资方案下主动配电网的规划样本自动模拟,以提高主动配电网中多主体的利用效率。算例结果表明,所提模型通过追随主动配电网技术路径的发展,能够有效实现配电网长时间尺度的运行模拟。通过自动模拟方法产生的分布式电源出力与负荷波动情况等配电网特征量可用取代作为后续配电网投资规划的数据样本。 展开更多

关键词 多代理 自动模拟 动态协调 负荷增长模式 技术路径

在线阅读 下载PDF 职称材料

搅拌设计新平台自动模拟平折桨的N_p-Re曲线 被引量：1

3

作者 徐德华 《化学工程》 CAS CSCD 北大核心 2015年第4期51-55,共5页

以平折桨为例,按机理模型组计算搅拌功率,自动绘制Np-Re功率曲线,取代以实验获取Np,及依靠P=Npρn3d5加修正的计算搅拌功率方法。在搅拌设计新平台(ADP),对常用的桨式与折桨式的单层与双层桨进行搅拌功率的计算和功率曲线的模拟,对不同... 以平折桨为例,按机理模型组计算搅拌功率,自动绘制Np-Re功率曲线,取代以实验获取Np,及依靠P=Npρn3d5加修正的计算搅拌功率方法。在搅拌设计新平台(ADP),对常用的桨式与折桨式的单层与双层桨进行搅拌功率的计算和功率曲线的模拟,对不同结构搅拌器的Np进行对比,结果表明:模拟速度快,模拟值与实验值吻合较好,折桨较平桨的Np平均下降28%—29%;并成功应用到桨径与槽径比高达0.72的生产设备,提高了设备的生产能力。ADP搅拌设计与功率计算新平台可以直接用于生产,快速进行搅拌器的优化设计和功率计算,进行Np-Re功率曲线的自动模拟,有助于推动化工搅拌技术的进一步发展。 展开更多

关键词 搅拌设计新平台 平(折)桨搅拌器 功率计算 功率曲线 自动模拟

在线阅读 下载PDF 职称材料

企事业过程模型自动模拟和优化算法

4

作者 江婉婷 张莉 谭文安 《科学技术与工程》 2002年第3期45-47,共3页

使用适合的优化算法,并依靠计算机的不断模拟执行,企事业过程模型可以得到一定程度的改善和提高。简要介绍了最优化方法和常用的优化算法,着重阐述了企事业过程模型的参数优化问题中所采用的优化算法。

关键词 企事业过程模型 自动模拟 最优化方法 优化算法 过程优化

在线阅读 下载PDF 职称材料

自动模拟法优化设计矿区控制网

5

作者 马洪滨 《沈阳黄金学院学报》 1993年第3期60-68,共9页

关键词 最化设计 自动模拟法 矿区控制网

在线阅读 下载PDF 职称材料

计及自动装置模拟的大电网在线静态安全分析 被引量：9

6

作者 汤必强 李峰 +3 位作者 於益军 冯树海 王毅 王勇 《电力系统自动化》 EI CSCD 北大核心 2011年第14期107-111,共5页

传统省级以上电网在线静态安全分析软件未考虑安全自动装置动作的影响,导致计算结果不能准确反映系统实际情况。文中提出了一种计及自动装置模拟的大电网在线静态安全分析的实用方法。采用基于启动条件集和动作行为集的自动装置自定义建... 传统省级以上电网在线静态安全分析软件未考虑安全自动装置动作的影响,导致计算结果不能准确反映系统实际情况。文中提出了一种计及自动装置模拟的大电网在线静态安全分析的实用方法。采用基于启动条件集和动作行为集的自动装置自定义建模,有效减轻了模型维护的工作负担;通过局部网络拓扑获得自动装置动作后发生变化的逻辑节点,引入因子表快速修正技术,形成装置动作后的因子表,实现了在静态安全分析软件中对自动装置进行正确快速的模拟。通过对实际系统算例的分析计算,表明该方法能够满足大规模电网的在线应用的需要。 展开更多

关键词 静态安全分析 自动装置模拟 电力系统

在线阅读 下载PDF 职称材料

计及自动装置模拟的连锁过载跳闸静态安全分析方法 被引量：2

7

作者 王毅 张轩 +2 位作者 董毅峰 王虹富 侯俊贤 《中国电力》 CSCD 北大核心 2014年第6期38-42,共5页

提出一种连锁过载跳闸的静态安全分析方法。该方法以预想故障后的潮流分析为基础,分析每次设备跳闸后的潮流,如果潮流转移引发支路过载,则断开过载元件,继续进行潮流分析,直到系统过载消除;如果设备跳闸导致系统解列、输电断面越限或者... 提出一种连锁过载跳闸的静态安全分析方法。该方法以预想故障后的潮流分析为基础,分析每次设备跳闸后的潮流,如果潮流转移引发支路过载,则断开过载元件,继续进行潮流分析,直到系统过载消除;如果设备跳闸导致系统解列、输电断面越限或者潮流不收敛,则认为故障导致了严重的后果,分析终止。通过评估每次设备过载跳闸引发的后果,能够发现故障传播路径,有助于找到预防措施以及切断故障路径的最佳控制手段。计算过程考虑输电断面功率限值的自动匹配和安全自动装置的模拟,保证了分析结果的准确性。通过对广东电网的实际系统仿真分析,证明了该方法的有效性和实用性。 展开更多

关键词 连锁过载跳闸 自动装置模拟 静态安全分析

在线阅读 下载PDF 职称材料

基于断言的模拟矢量自动生成方法 被引量：4

8

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2004年第10期1441-1450,共10页

VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输... VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高. 展开更多

关键词 VLSI 断言 模拟矢量自动生成

在线阅读 下载PDF 职称材料

GATEST:使用遗传算法自动生成模拟矢量的验证平台 被引量：7

9

作者 易江芳 佟冬 程旭 《北京大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第5期668-673,共6页

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是... 对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。 展开更多

关键词 路径覆盖率 数据流分析 遗传算法 模拟矢量自动生成

在线阅读 下载PDF 职称材料

RTL级模拟矢量自动生成设计化简方法研究 被引量：2

10

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第5期671-677,共7页

提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 。

关键词 VLSI Verilog程序切片 有限状态机 模拟矢量自动生成 RTL级

在线阅读 下载PDF 职称材料

一种改进自动气象站信号模拟器温度通道的方法 被引量：5

11

作者 徐伟 冯晓宇 +1 位作者 盛沨 王迪 《电子测量与仪器学报》 CSCD 北大核心 2017年第11期1869-1874,共6页

针对现有自动气象站信号模拟器温度通道存在误差大、难以兼容不同型号采集器的问题,分析了CAWS600、ZQZ系列自动气象站采集器的测温原理,利用不同型号的采集器对JJQ1型信号模拟器的温度通道进行了测试,指出了测试数据存在抖动的原因,提... 针对现有自动气象站信号模拟器温度通道存在误差大、难以兼容不同型号采集器的问题,分析了CAWS600、ZQZ系列自动气象站采集器的测温原理,利用不同型号的采集器对JJQ1型信号模拟器的温度通道进行了测试,指出了测试数据存在抖动的原因,提出基于采集器的四线制测温原理,以定制的高精度、极低温漂电阻为核心,利用信号继电器构造四线制网络,辅以软件补偿,能适应不同型号的采集器的温度通道改进方法。最后,分别利用采集器和高精度万用表对改进的温度通道进行了测试,数据表明模拟的温度最大误差为±0.03℃,对应电阻的最大误差为±12 mΩ,满足行业标准QX/T 346—2016《自动气象站信号模拟器》,为自动气象站信号模拟器的优化提供了参考。 展开更多

关键词 自动气象站信号模拟器 温度 检定 误差

在线阅读 下载PDF 职称材料

交互状态机模型模拟矢量自动生成方法 被引量：1

12

作者 李暾 郭阳 李思昆 《软件学报》 EI CSCD 北大核心 2003年第3期628-634,共7页

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生... 模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题. 展开更多

关键词 交互状态机模型 模拟矢量自动生成方法 数字系统 覆盖率测度

在线阅读 下载PDF 职称材料

功能验证模拟矢量自动生成技术研究综述 被引量：1

13

作者 李暾 李思昆 郭阳 《计算机工程与科学》 CSCD 2003年第6期81-86,共6页

功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主... 功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向。 展开更多

关键词 功能验证 模拟矢量自动生成 覆盖率 有限状态机 伪随机 高层ATPG

在线阅读 下载PDF 职称材料

RTL数据通路模拟矢量自动生成方法研究与实现 被引量：2

14

作者 李暾 郭阳 李思昆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第8期1062-1069,共8页

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约... 针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。 展开更多

关键词 RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解

在线阅读 下载PDF 职称材料

模拟通信信号调制方式自动识别算法 被引量：2

15

作者 张志民 欧建平 皇甫堪 《计算机工程与科学》 CSCD 北大核心 2013年第3期163-167,共5页

通信信号调制方式的自动识别在军用和民用方面都十分重要。为自动识别常用模拟通信信号的调制方式,本文提出一种信号特征参数提取方法,即在实现载波同步、将接收信号变换到零中频后,将复基带信号矢量围绕原点逆时针旋转90度。本方法有... 通信信号调制方式的自动识别在军用和民用方面都十分重要。为自动识别常用模拟通信信号的调制方式,本文提出一种信号特征参数提取方法,即在实现载波同步、将接收信号变换到零中频后,将复基带信号矢量围绕原点逆时针旋转90度。本方法有效克服了DSB信号处理过程中相位不连续带来的影响。本文提出五个基于接收信号一阶统计矩的特征参数,这些参数提取过程的运算量小、鲁棒性强。以判决理论为基础提出了一种调制方式自动识别算法并给出实现流程。计算机仿真结果表明,在信噪比大于-7dB时,识别算法平均识别率不低于97%,可望用于实际非协作通信系统中信号的检测和快速识别。 展开更多

关键词 模拟调制方式自动识别 信号矢量旋转 特征参数

在线阅读 下载PDF 职称材料

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

16

作者 李暾 李思昆 +2 位作者 )郭阳 万海 冷彪 《计算机学报》 EI CSCD 北大核心 2004年第6期721-728,共8页

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各... 提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 . 展开更多

关键词 HDL描述 路径覆盖 模拟矢量自动生成 约束逻辑求解 VLSI

在线阅读 下载PDF 职称材料

改进单神经元PID控制器在自动送钻模拟加载中的应用

17

作者 王潜龙 冯全科 +1 位作者 刘维湘 周为 《天然气工业》 EI CAS CSCD 北大核心 2004年第5期65-67,共3页

自动送钻是指钻机在正常钻进过程中 ,不依靠司钻调节 ,而是按钻井工艺要求 ,让送钻装置在给定的条件下实现钻头的自动给进。自动送钻装置可以消除人工控制的缺点 ,能提高钻井质量和经济效益。出于对安全性和可靠性的考虑 ,必须在实际钻... 自动送钻是指钻机在正常钻进过程中 ,不依靠司钻调节 ,而是按钻井工艺要求 ,让送钻装置在给定的条件下实现钻头的自动给进。自动送钻装置可以消除人工控制的缺点 ,能提高钻井质量和经济效益。出于对安全性和可靠性的考虑 ,必须在实际钻机上应用该装置前进行模型模拟实验 ,为自动送钻控制技术的现场推广应用奠定基础。针对钻井过程中的非线性、不确定性和实时性要求 ,采用改进的单神经元PID控制器实现自动送钻模拟加载。实验结果表明 ,和传统的PID控制相比 ,改进单神经元PID控制器的反应速度快 ,振荡幅度小 ,并且稳态误差小。采用改进单神经元PID控制结构简单 ,易于实现 。 展开更多

关键词 PID控制器 自动送钻模拟加载技术 钻机 钻进过程 PID控制算法

在线阅读 下载PDF 职称材料

DTS中基于用户自定义的自动装置模拟 被引量：7

18

作者 孔艳 袁启海 +2 位作者 薛巍 王心丰 翟晓磊 《电力自动化设备》 EI CSCD 北大核心 2002年第6期36-37,44,共3页

在调度员培训仿真器 (DTS)中传统的自动装置仿真方法是对不同类型的装置分别建模 ,其缺点是适应性差、扩展性不强。针对这些问题 ,对自动装置的动作原理进行分析 ,建立了 1个基于用户自定义的自动装置仿真模型。该模型将自动装置抽象为... 在调度员培训仿真器 (DTS)中传统的自动装置仿真方法是对不同类型的装置分别建模 ,其缺点是适应性差、扩展性不强。针对这些问题 ,对自动装置的动作原理进行分析 ,建立了 1个基于用户自定义的自动装置仿真模型。该模型将自动装置抽象为启动元件、信息综合分析单元及联动元件三部分 ,实现对不同自动装置的统一处理。其信息综合分析单元采用带自定义符号元素和语法规则的逻辑表达式实现 ,用特定的表达式解析器进行解析 ,完成对启动信号的综合分析与判断。在天津DTS的实际应用表明 ,该模型具有较好的通用性、灵活性和可扩展性。 展开更多

关键词 DTS 用户自定义 自动装置模拟 电力系统 仿真

在线阅读 下载PDF 职称材料

煤炭地下气化装备自动控制模拟系统研制 被引量：1

19

作者 于志军 端木晓亮 +4 位作者 莫同鸿 虎元林 汤清源 王文军 郭伟 《石油机械》 北大核心 2023年第2期86-92,共7页

为促进煤炭地下气化技术系列成果从实验室、现场试验向产业化应用转变,依据煤炭地下气化技术现场应用需求,将连续管技术与煤炭地下气化技术进行了结合。建立了煤炭地下气化稳定燃烧控制物理模型,分析了煤炭地下气化过程同心连续管受力状... 为促进煤炭地下气化技术系列成果从实验室、现场试验向产业化应用转变,依据煤炭地下气化技术现场应用需求,将连续管技术与煤炭地下气化技术进行了结合。建立了煤炭地下气化稳定燃烧控制物理模型,分析了煤炭地下气化过程同心连续管受力状况,形成基于温度的模糊PID随动控制方案,研制了煤炭地下气化装备自动控制模拟系统;同时基于Unity 3D开发连续管控制仿真模拟软件,形成了对煤炭地下气化过程中作业数据实时监测,以及连续管不同速度起出、下入的自动控制,实现了丛式井气化采煤远程集中控制,形成了基于温度的煤炭地下气化超低速拖动控制技术,并验证了其合理性。该自动控制系统的研制为煤炭地下气化技术的现场应用奠定了设备基础,为实现集中无人化气化采煤提供了技术方向。 展开更多

关键词 煤炭地下气化(UCG) 连续管技术 温度控制 自动控制模拟系统 模糊PID控制 远程控制

在线阅读 下载PDF 职称材料

基于IPC控制模拟机械加工自动线

20

作者 朱阿健 荣大龙 季绍陵 《长沙电力学院学报（自然科学版）》 2002年第3期65-67,共3页

模拟机械加工自动线用IPC控制能使控制部分的结构简单 ,便于集中控制及远程监控 .在进行IPC及VB程序设计时 。

关键词 IPC控制 模拟机械加工自动线 程序设计 在线调试 远程监控 速度控制

在线阅读 下载PDF 职称材料