检索结果-维普期刊中文期刊服务平台

基于简约空间序列二次规划算法和混合求导方法的精馏塔操作优化被引量：7: 1; 作者江爱朋邵之江 +4 位作者陈曦郑小青耿大钊方学毅钱积新《化工学报》 EI CAS CSCD 北大核心 2006年第6期1378-1384,共7页; 以开放式方程建立精馏塔严格机理模型,对精馏塔的操作优化进行了研究·根据精馏塔操作优化命题自由度低、模型结构稀疏且导数难以解析求解的特点,提出了基于简约空间序列二次规划算法(SQP)和混合求导方法相结合的精馏塔操作优化计... 展开更多; 关键词序列二次规划算法简约空间自动微分精馏塔实时优化操作优化; 在线阅读下载PDF 职称材料

嵌入式实时操作系统内核混合代码的自动化验证框架被引量：12: 2; 作者郭建丁继政朱晓冉《软件学报》 EI CSCD 北大核心 2020年第5期1353-1373,共21页; "如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出... 展开更多; 关键词实时操作系统 VCC 混合程序验证自动验证 Z3求解器; 在线阅读下载PDF 职称材料

实时嵌入式软件测试执行引擎的设计与实现被引量：6: 3; 作者殷永峰刘斌王晨《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第6期723-727,共5页; 自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出... 展开更多; 关键词实时系统嵌入式软件自动化测试编译器引擎调度; 在线阅读下载PDF 职称材料

基于GEP-DES的柔性流水车间机器与AGV集成实时调度方法被引量：4: 4; 作者白朝阳张昊楠 +2 位作者苗琪琪刘晓冰熊麟《计算机集成制造系统》 EI CSCD 北大核心 2023年第12期4161-4174,共14页; 智能制造背景下,考虑机器与AGV集成实时调度对整个生产系统效率提高具有重要的意义。针对工件动态到达、加工时间存在波动的情况,提出一种将基因表达式编程算法与离散事件仿真(GEP-DES)相结合的实时调度方法以解决基于最小化最大完工时... 展开更多; 关键词柔性流水车间机器自动导引小车实时调度基因表达式编程; 在线阅读下载PDF 职称材料

含先进绝热压缩空气储能电站的电力系统实时调度模型被引量：25: 5; 作者李姚旺苗世洪 +2 位作者尹斌鑫罗星王吉红《电工技术学报》 EI CSCD 北大核心 2019年第2期387-397,共11页; 先进绝热压缩空气储能(AA-CAES)具有规模大、成本低、无需燃料、效率高等优点,是压缩空气储能(CAES)技术领域的主流发展趋势之一。本文将AA-CAES电站作为重要的调度资源,与常规机组、风电共同参与电力系统实时调度。首先,基于AA-CAES电... 展开更多; 关键词先进绝热压缩空气储能实时调度自动发电控制模糊机会约束规划; 在线阅读下载PDF 职称材料

考虑源荷双侧预测误差的实时发电计划闭环控制模型被引量：13: 6; 作者殷加玞赵冬梅《电力系统自动化》 EI CSCD 北大核心 2018年第6期98-105,共8页; 针对源荷双侧不确定性对电网实时调度运行的影响,提出了模糊信息粒与机会约束目标规划相结合的建模求解方法,建立了实时发电计划与自动发电控制(AGC)闭环控制模型,动态优化系统的可调备用容量。针对服从不同概率分布函数的随机预测误差... 展开更多; 关键词模糊信息粒机会约束目标规划源荷双侧不确定性实时发电计划自动发电控制; 在线阅读下载PDF 职称材料

多机实时通信系统及其程序自动生成器的设计: 7; 作者杨根兴耿刚勇《火力与指挥控制》 CSCD 1997年第1期44-50,共7页; 介绍了多机实时通信系统的设计方法，并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。; 关键词多机系统实时通信程序自动生成器军事通信; 在线阅读下载PDF 职称材料

题名基于简约空间序列二次规划算法和混合求导方法的精馏塔操作优化被引量：7: 1; 作者江爱朋邵之江陈曦郑小青耿大钊方学毅钱积新; 机构浙江大学工业控制技术国家重点实验室; 出处《化工学报》 EI CAS CSCD 北大核心 2006年第6期1378-1384,共7页; 基金国家自然科学基金项目(20276062) 国家重点基础研究发展规划项目(2002CB312200).~~; 文摘以开放式方程建立精馏塔严格机理模型,对精馏塔的操作优化进行了研究·根据精馏塔操作优化命题自由度低、模型结构稀疏且导数难以解析求解的特点,提出了基于简约空间序列二次规划算法(SQP)和混合求导方法相结合的精馏塔操作优化计算方法·在该方法中优化命题采用简约空间SQP算法求解,求解过程中需要的导数信息采用解析表达和预处理的自动微分技术求取·计算结果表明,本文方法在计算效率上大大高于基于差分求导的标准SQP算法,有利于在线实时优化的实施·另外本文优化结果也表明,精馏塔操作优化对提高产品产量、提高综合经济效益具有明显作用.; 关键词序列二次规划算法简约空间自动微分精馏塔实时优化操作优化; Keywords sequential quadratic programming reduced space automatic differentiation distillation column real-time optimization operation optimization; 分类号 TQ021.8 [化学工程]; 在线阅读下载PDF 职称材料

题名嵌入式实时操作系统内核混合代码的自动化验证框架被引量：12: 2; 作者郭建丁继政朱晓冉; 机构华东师范大学软件工程学院上海市高可信计算重点实验室(华东师范大学) 软硬件协同设计技术与应用教育部工程研究中心(华东师范大学); 出处《软件学报》 EI CSCD 北大核心 2020年第5期1353-1373,共21页; 基金国家自然科学基金(61532019) 上海市重点项目(19511103602)。; 文摘 "如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件,其安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠,将形式化方法引入到操作系统内核验证中,提出了一个自动化验证操作系统内核的框架.该验证框架包括:(1)分别对C语言程序和混合语言程序(C语言和汇编语言)进行验证;(2)在混合语言程序验证中,为汇编程序建立抽象模型,并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型;(3)从规范中提取性质,基于该自动验证工具,对性质完成自动验证;(4)该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-Ⅱ进行了验证.结果显示,利用该框架在对两个不同的硬件平台上内核验证时,框架的可重复利用率很高,高达83.8%,虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中,分别发现了10处~12处缺陷.其中,在ARM平台上两处与硬件相关的问题被发现.实验结果表明,该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.; 关键词实时操作系统 VCC 混合程序验证自动验证 Z3求解器; Keywords real-time operating system VCC mix program verification automatical verification Z3 solver; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名实时嵌入式软件测试执行引擎的设计与实现被引量：6: 3; 作者殷永峰刘斌王晨; 机构北京航空航天大学可靠性与系统工程学院; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2010年第6期723-727,共5页; 基金 "十一五"国防预研课题资助项目(513190701) 航空科学基金资助项目(20095551025); 文摘自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.; 关键词实时系统嵌入式软件自动化测试编译器引擎调度; Keywords real time systems embedded software automatic testing program compilers engineering scheduling; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于GEP-DES的柔性流水车间机器与AGV集成实时调度方法被引量：4: 4; 作者白朝阳张昊楠苗琪琪刘晓冰熊麟; 机构大连理工大学经济管理学院制造管理信息化技术国家地方联合工程实验室中国国际工程咨询有限公司; 出处《计算机集成制造系统》 EI CSCD 北大核心 2023年第12期4161-4174,共14页; 基金国家社科规划基金资助项目(19BGL029)。; 文摘智能制造背景下,考虑机器与AGV集成实时调度对整个生产系统效率提高具有重要的意义。针对工件动态到达、加工时间存在波动的情况,提出一种将基因表达式编程算法与离散事件仿真(GEP-DES)相结合的实时调度方法以解决基于最小化最大完工时间为目标的机器与AGV集成调度模型。该方法在离线阶段设计三段式编码的GEP算法以描述机器与AGV集成运作过程,借助DES过程获取目标函数值以对GEP指标性能进行评估,最终挖掘出高质量的调度规则。挖掘出的调度规则与在线阶段车间实时工况信息交互以实现机器与AGV集成的实时调度。最后,将所提方法与传统调度规则方法进行对比,实验结果验证了所提方法的有效性与优越性。研究成果为快速响应柔性流水车间生产中的机器与AGV集成实时调度提供了方法支持。; 关键词柔性流水车间机器自动导引小车实时调度基因表达式编程; Keywords flexible flow shop machine automatic guided vehicle real-time scheduling gene expression programming; 分类号 TP242.2 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名含先进绝热压缩空气储能电站的电力系统实时调度模型被引量：25: 5; 作者李姚旺苗世洪尹斌鑫罗星王吉红; 机构华中科技大学电气与电子工程学院强电磁工程与新技术国家重点实验室电力安全与高效湖北省重点实验室华威大学工程学院; 出处《电工技术学报》 EI CSCD 北大核心 2019年第2期387-397,共11页; 基金国家重点研发计划(2017YFB0903601) 国家自然科学基金(51777088)资助项目; 文摘先进绝热压缩空气储能(AA-CAES)具有规模大、成本低、无需燃料、效率高等优点,是压缩空气储能(CAES)技术领域的主流发展趋势之一。本文将AA-CAES电站作为重要的调度资源,与常规机组、风电共同参与电力系统实时调度。首先,基于AA-CAES电站的热力学特性,建立能够反映AA-CAES电站变工况条件下运行特性的储能电站运行约束模型。然后,考虑AACAES电站在自动发电控制(AGC)阶段的功率调节不确定性,建立AA-CAES电站AGC约束模型。在此基础上,提出含AA-CAES电站的电力系统实时调度模型,该模型考虑了系统AGC容量需求约束、AGC调节速率需求约束和AGC调节任务量需求约束。最后,基于修改版IEEE30节点系统进行算例仿真,仿真结果证明了调度模型的有效性。; 关键词先进绝热压缩空气储能实时调度自动发电控制模糊机会约束规划; Keywords Advanced adiabatic compressed air energy storage(AA-CAES) real-time dispatch automatic generation control(AGC) fuzzy chance constraints program; 分类号 TM73 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名考虑源荷双侧预测误差的实时发电计划闭环控制模型被引量：13: 6; 作者殷加玞赵冬梅; 机构华北电力大学电气与电子工程学院; 出处《电力系统自动化》 EI CSCD 北大核心 2018年第6期98-105,共8页; 基金国家重点研发计划资助项目(2017YFB0902600)~~; 文摘针对源荷双侧不确定性对电网实时调度运行的影响,提出了模糊信息粒与机会约束目标规划相结合的建模求解方法,建立了实时发电计划与自动发电控制(AGC)闭环控制模型,动态优化系统的可调备用容量。针对服从不同概率分布函数的随机预测误差,引入模糊信息粒理论对可中断负荷切负荷率、负荷预测和风电出力的预测误差进行模糊粒子化,应用机会约束目标规划构建系统备用偏差量约束。在闭环控制过程中,通过动态调整机组的控制模式实现可调备用在不同类型机组间的合理分配,在目标函数中引入风险成本和机组模式转换成本,实现了满足安全备用需求条件下的经济最优性。最后,利用算例验证了模型的有效性和实用性。; 关键词模糊信息粒机会约束目标规划源荷双侧不确定性实时发电计划自动发电控制; Keywords fuzzy information granular chance constrained goal programming source-side and load-side uncertainty real-time generation scheduling automatic generation control; 分类号 TM73 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名多机实时通信系统及其程序自动生成器的设计: 7; 作者杨根兴耿刚勇; 机构华北工学院; 出处《火力与指挥控制》 CSCD 1997年第1期44-50,共7页; 文摘介绍了多机实时通信系统的设计方法，并在此基础上介绍了多机实时通信系统自动生成器的设计原理和方法。; 关键词多机系统实时通信程序自动生成器军事通信; Keywords multicomputers system,real time communication,automatic programming; 分类号 E96 [军事—军事通信学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于简约空间序列二次规划算法和混合求导方法的精馏塔操作优化	江爱朋邵之江陈曦郑小青耿大钊方学毅钱积新	《化工学报》 EI CAS CSCD 北大核心	2006	7	在线阅读下载PDF 职称材料
2	嵌入式实时操作系统内核混合代码的自动化验证框架	郭建丁继政朱晓冉	《软件学报》 EI CSCD 北大核心	2020	12	在线阅读下载PDF 职称材料
3	实时嵌入式软件测试执行引擎的设计与实现	殷永峰刘斌王晨	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
4	基于GEP-DES的柔性流水车间机器与AGV集成实时调度方法	白朝阳张昊楠苗琪琪刘晓冰熊麟	《计算机集成制造系统》 EI CSCD 北大核心	2023	4	在线阅读下载PDF 职称材料
5	含先进绝热压缩空气储能电站的电力系统实时调度模型	李姚旺苗世洪尹斌鑫罗星王吉红	《电工技术学报》 EI CSCD 北大核心	2019	25	在线阅读下载PDF 职称材料
6	考虑源荷双侧预测误差的实时发电计划闭环控制模型	殷加玞赵冬梅	《电力系统自动化》 EI CSCD 北大核心	2018	13	在线阅读下载PDF 职称材料
7	多机实时通信系统及其程序自动生成器的设计	杨根兴耿刚勇	《火力与指挥控制》 CSCD	1997	0	在线阅读下载PDF 职称材料