期刊文献+
共找到72篇文章
< 1 2 4 >
每页显示 20 50 100
有限状态机的一种实现框架 被引量:39
1
作者 徐小良 汪乐宇 周泓 《工程设计学报》 CSCD 2003年第5期251-255,共5页
有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往存在复用性差,维护困难等问题.传统的FSM实现模式,如结构化方法和State模式,由于软件结构简单,与状态图不... 有限状态机(FSM)是对反应式系统建模的一种强大工具.虽然一些高级特征和可视化状态图的引入,使FSM的表达能力更强,但是其实现往往存在复用性差,维护困难等问题.传统的FSM实现模式,如结构化方法和State模式,由于软件结构简单,与状态图不能有效匹配,难以解决这些问题.通过引入良好的数据结构和事件触发机制,提出了一种面向对象的高度结构化的FSM实现框架,并给出了事件触发转换的调度算法.新框架清晰地表达了FSM中的所有主要元素及它们之间的关系,并将行为部分与结构部分相分离,不仅改善了软件的灵活性和重用性,而且提高了系统的健壮性与可维护性. 展开更多
关键词 有限状态机 反应式系统 实现框架 状态模式
下载PDF
一种新的两部制无功定价方法 被引量:17
2
作者 牛怀平 刘俊勇 吴集光 《电网技术》 EI CSCD 北大核心 2005年第7期1-6,共6页
提出了一种新的两部制无功定价方法。其中以无功电量成本最优为目标函数,以潮流方程为等式约束,以运行及安全约束尾部等式约束。所建议的无功电价模型的核心想法为:一方面提出电力市场下无功源以电量成本参与竞争,以解决现有的一部制电... 提出了一种新的两部制无功定价方法。其中以无功电量成本最优为目标函数,以潮流方程为等式约束,以运行及安全约束尾部等式约束。所建议的无功电价模型的核心想法为:一方面提出电力市场下无功源以电量成本参与竞争,以解决现有的一部制电价对无功的运行成本补偿不足的问题;另一方面提出一种新的无功容量电价分解方案解决现有的一部制电价对无功投资成本回收不明确的问题。电量电价加容量电价形成了一种新的两部制无功电价。IEEE-30母线系统算例验证了该无功价格模型的有效性和实用性。 展开更多
关键词 电力系统 无功功率补偿 电网 电容器 电力工业 两部制无功定价方法 电力市场
下载PDF
基于转换系统的广义反应系统形式模型 被引量:5
3
作者 张广泉 《计算机科学》 CSCD 北大核心 2000年第1期28-30,共3页
1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正... 1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正确性和可靠性是具有挑战性的重要课题,我们认为通过建立系统的形式化模型,对其计算行为进行描述和分析,可以深入认识系统的本质特性。有助于解决上述问题。 展开更多
关键词 软件系统 转换系统 反应系统 计算模型 广义
下载PDF
电力系统中无功功率平衡对电压的影响 被引量:6
4
作者 蔡雄雁 《煤炭技术》 CAS 北大核心 2009年第7期38-40,共3页
在电力系统中,不可忽视无功功率的平衡对电压的影响,无功功率的增加或减少,均对系统电压产生较大的波动及增加电能损耗,必须调整无功功率的输出,安装无功补偿装置等均可保持无功功率的平衡,以保持电压在正常范围内,同时减少功率损耗。
关键词 电力系统 无功功率 系统电压
下载PDF
C_3选择性加氢能量耦合催化精馏结构与分析 被引量:5
5
作者 田禾 罗祎青 袁希钢 《化工学报》 EI CAS CSCD 北大核心 2014年第1期244-250,共7页
提出了一种C3选择性加氢能量耦合催化精馏新工艺,首先将催化精馏构件放置在丙烯精馏塔的提馏段,再将丙烯塔与脱乙烷塔通过气液流股连接成热耦合结构。与传统加氢工艺相比,能量耦合催化精馏工艺通过分离和加氢反应的结合使丙炔、丙二... 提出了一种C3选择性加氢能量耦合催化精馏新工艺,首先将催化精馏构件放置在丙烯精馏塔的提馏段,再将丙烯塔与脱乙烷塔通过气液流股连接成热耦合结构。与传统加氢工艺相比,能量耦合催化精馏工艺通过分离和加氢反应的结合使丙炔、丙二烯加氢过程的选择性得到较大幅度的提高,并通过热量耦合消除丙烯在脱乙烷塔内的返混,从而降低分离能耗。采用AspenPlus化工流程模拟软件对该流程进行模拟。模拟结果表明,能量耦合催化精馏工艺可以使丙烯收率提高0.74%-2.19%,年度冷剂费用降低2.44%-3.61%。同时,热量耦合催化精馏工艺对于重质裂解原料油具有更好的适用性。 展开更多
关键词 计算机模拟 反应精馏 系统工程
下载PDF
配电系统无功电压优化的简化动态规划法 被引量:5
6
作者 张鹏 张文 刘玉田 《山东工业大学学报》 1999年第5期417-422,共6页
应用动态规划法综合求取有载调压变压器分接头、配电站电容器和馈线电容器的控制策略,实现电压控制和无功优化,并满足控制调节次数约束. 为了减少计算量,提出了一种启发式的简化算法. 算例结果表明了算法的有效性及可行性.
关键词 电压调整 无功补偿 配电系统 动态规划 无功电压优化
下载PDF
醚化反应精馏研究进展 被引量:4
7
作者 王晓达 陈宇 +4 位作者 王清莲 黄智贤 杨臣 王红星 邱挺 《化工进展》 EI CAS CSCD 北大核心 2021年第4期1797-1811,共15页
醚化反应是生产燃油添加剂这一关系国计民生重要化工产品的关键途径,反应精馏是其生产的核心技术。对醚化反应精馏技术进行总结和回顾,既有利于推进反应精馏基础理论的发展,也可促进醚化产品生产技术的升级。本文全面系统地介绍了生产... 醚化反应是生产燃油添加剂这一关系国计民生重要化工产品的关键途径,反应精馏是其生产的核心技术。对醚化反应精馏技术进行总结和回顾,既有利于推进反应精馏基础理论的发展,也可促进醚化产品生产技术的升级。本文全面系统地介绍了生产甲基叔丁基醚、乙基叔丁基醚、甲基叔戊基醚、乙基叔戊基醚和二甲醚这几种燃油添加剂的反应精馏技术研究进展,涉及基础研究和工业应用,包括反应原料选择、工艺系统开发和多稳态现象调控,分析了不同反应路径和工艺系统的优缺点,总结了反应精馏多稳态研究的基本问题和结论。展望了反应精馏技术在聚甲氧基二甲醚合成和甘油、5-羟甲基糠醛、糠醇等生物质平台化合物制备新型醚类化合物的应用前景和挑战。指出了醚化反应精馏技术在工艺系统开发和催化填料设计方面存在的核心共性问题,并提出了相应的解决方案。 展开更多
关键词 反应精馏 系统工程 生物能源 过程强化 醚化反应 燃油添加剂
下载PDF
基于变迁系统的反应型控制系统建模与分析 被引量:1
8
作者 张广泉 《计算机工程与设计》 CSCD 2001年第2期1-4,共4页
文中通过对基本变迁系统进行相应的扩充,分别给出并发、实时及混成等3个不同抽象层次反应型控制系统的计算模型,并分析它们各自不同的特点。
关键词 变迁系统 计算模型 反应型控制系统 建模 控制理论
下载PDF
一种新的Statechart模型验证方法 被引量:2
9
作者 陈丽娜 赵建民 《计算机科学》 CSCD 北大核心 2011年第2期144-147,165,共5页
在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言... 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。 展开更多
关键词 状态图 模型检查 模型验证 时序逻辑 状态爆炸问题 形式化语义 反应系统
下载PDF
10kV并联电容器组的运行故障及应对探讨 被引量:2
10
作者 杨长河 《科技与创新》 2014年第24期75-76,共2页
对10kV并联电容器组的运行故障进行了分析,并结合具体实例,对10kV并联电容器组的故障原因和应对措施进行了深入探讨,以期能为有关方面提供有益的参考。
关键词 并联电容器组 无功系统 三次谐波 继电保护
下载PDF
Autonomous Evolutionary Information Systems
11
作者 Jing\|de Cheng Department of Information and Computer Sciences, Saitama University,Urawa, Saitama 338 8570, Japan 《Wuhan University Journal of Natural Sciences》 CAS 2001年第Z1期333-339,共7页
Traditional information systems are passive, i.e., data or knowledge is created, retrieved, modified, updated, and deleted only in response to operations issued by users or application programs, and the systems only c... Traditional information systems are passive, i.e., data or knowledge is created, retrieved, modified, updated, and deleted only in response to operations issued by users or application programs, and the systems only can execute queries or transactions explicitly submitted by users or application programs but have no ability to do something actively by themselves. Unlike a traditional information system serving just as a storehouse of data or knowledge and working passively according to queries or transactions explicitly issued by users and application programs, an autonomous evolutionary information system serves as an autonomous and evolutionary partner of its users that discovers new knowledge from its database or knowledge base autonomously, cooperates with its users in solving problems actively by providing the users with advices, and has a certain mechanism to improve its own state of “knowing” and ability of “working”. This paper seminally defines what is an autonomous evolutionary information system, explain why autonomous evolutionary information systems are needed, and presents some new issues, fundamental considerations, and research directions in design and development of autonomous evolutionary information systems. 展开更多
关键词 autonomous evolution knowledge discovery reactive systems self measurement principle entailment calculus temporal relevant logic
下载PDF
SIGNAL模型多线程代码生成研究 被引量:1
12
作者 阚双龙 黄志球 杨志斌 《计算机科学与探索》 CSCD 北大核心 2018年第4期536-549,共14页
反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码... 反应式系统是指与环境不断发生交互的控制系统。这类系统通过接收外部环境输入,对输入进行计算,并将计算结果反馈到外部环境来控制系统的行为。同步语言是一种规约反应式系统的建模语言,同步语言的优势在于支持形式化验证和精确的代码自动生成。面向多时钟同步语言SIGNAL,提出了一种SIGNAL模型到多线程Java代码生成过程。该代码生成过程基于以下3种中间结构:同步时钟卫式操作、卫式操作和带划分的卫式操作。将整个代码生成过程分为4个主要转化步骤,给出每一步转化规则。最后对空客A340的警报系统进行实例分析,评估生成代码的正确性。多线程Java代码生成可以为SIGNAL模型在分布式和多核体系下的应用提供支撑。 展开更多
关键词 反应式系统 同步语言 SIGNAL 代码生成 卫式操作
下载PDF
基于多引擎并行协作的SCADE模型检测
13
作者 方雨瑶 张聪 《计算机技术与发展》 2023年第11期86-90,共5页
SCADE语言是一种同步数据流语言,通常被用于实时嵌入式自动控制系统的开发,在航空航天、交通、核工业等领域有广泛的应用。已有的SCADE同步语言模型检测工具存在无法验证部分复杂程序和验证效率低下的问题。为了解决现有的问题,该文提... SCADE语言是一种同步数据流语言,通常被用于实时嵌入式自动控制系统的开发,在航空航天、交通、核工业等领域有广泛的应用。已有的SCADE同步语言模型检测工具存在无法验证部分复杂程序和验证效率低下的问题。为了解决现有的问题,该文提出了多引擎并行协作的方法,通过并行执行BMC引擎、归纳法引擎和程序抽象引擎三个模型检测引擎来实现对SCADE同步语言程序验证的协作,其中程序抽象引擎通过反例引导的抽象精化方法解决了大型复杂程序验证效率低下的问题。实现了一款针对SCADE同步语言程序的模型检测工具PSMC,该工具采用多引擎并行协作方法来提升SCADE同步语言程序模型检测的效率。手动构造了887个SCADE同步语言程序用于对PSMC进行实验验证,结果表明提出的优化方法可以有效地对SCADE同步语言程序进行自动的验证,并且可以提升模型检测的验证效率(约31%)。 展开更多
关键词 同步语言 形式化验证 一阶逻辑 反应系统 可满足性模理论
下载PDF
外部环流反应精馏塔的分散控制方案设计 被引量:1
14
作者 陈海胜 王腾飞 +3 位作者 黄克谨 苑杨 钱行 张亮 《化工学报》 EI CAS CSCD 北大核心 2019年第2期440-449,F0004,共11页
对于具有最不利相对挥发度排序(即反应物为最轻和最重组分,生成物为中间组分)的四元反应分离物系而言,在反应精馏塔的顶部和底部之间引入外部环流能够提高系统的反应分离效率,从而大幅度地降低系统的能量消耗和固定投资成本。以理想四... 对于具有最不利相对挥发度排序(即反应物为最轻和最重组分,生成物为中间组分)的四元反应分离物系而言,在反应精馏塔的顶部和底部之间引入外部环流能够提高系统的反应分离效率,从而大幅度地降低系统的能量消耗和固定投资成本。以理想四元可逆放热反应的分离为例,研究了外部环流反应精馏塔的分散控制方案的设计问题。结果表明外部环流的引入提高了系统的反应速率,使得外部环流反应精馏塔的闭环控制效果更好(与传统反应精馏塔相比),对干扰的处理能力更强。另外,由于外部环流反应精馏塔比常规反应精馏塔有更多的操作变量(即外部环流流量),利用该变量对出料浓度进行控制,可以进一步提高系统的闭环控制效果。 展开更多
关键词 反应精馏 外部环流 过程控制 动态仿真 过程系统
下载PDF
Cartilage-targeting and inflammatory-responsive nanocarriers for effective osteoarthritis treatment via reactive oxygen species scavenging and anti-angiogenesis
15
作者 Sixiang Wang Yan Gao +3 位作者 Lili Dong Peixing Chen Wanqian Liu Li Yang 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2023年第12期30-42,共13页
Osteoarthritis(OA),a common disabling joint disease,is highly associated with microenvironmental changes in the cartilage and subchondral bone.Elevated reactive oxygen species(ROS)in the cartilage and subchondral bone... Osteoarthritis(OA),a common disabling joint disease,is highly associated with microenvironmental changes in the cartilage and subchondral bone.Elevated reactive oxygen species(ROS)in the cartilage and subchondral bone angiogenesis accelerate articular cartilage erosion.New cartilage-targeting drug deliv-ery systems that are aimed at preventing ROS production and angiogenesis may be of clinical significance for OA treatment.Herein,an ROS scavenger and an inflammatory-responsive nanocarrier are designed by immobilizing the natural polyphenol(curcumin)in chitosan-catechol nanoformulations(Cur-CS-C NPs)via boronate ester.The robust cartilage-targeting effects and ROS scavenging capacities of Cur-CS-C NPs were respectively determined in cartilage explants and chondrocytes.Intra-articular injection of Cur-CS-C NPs in OA rat models efficiently suppressed angiogenesis and cartilage degradation partially via the ROS-mediated NF-κB/PI3K-Akt signaling pathway.The developed curcumin-functionalized nanocarriers can significantly delay OA progression and provide a promising therapeutic strategy for other inflamma-tory diseases that are characterized by oxidative stress and angiogenesis. 展开更多
关键词 OSTEOARTHRITIS reactive oxygen species Angiogenesis Cartilage-targeting Drug delivery systems Chitosan-catechol nanocarriers
原文传递
基于事件集的反应系统模型的验证
16
作者 张磊 马光胜 《微型机与应用》 2012年第8期13-15,共3页
在总结前人工作的基础上,提出了一种有效检测并发或反应系统的动态行为模型中违反安全属性的方法,目的是减少为检测违反安全属性所需检测的状态数量,验证过程包括构造一个由所有独立状态图组成的全局状态空间图,并遍历这个全局状态空间... 在总结前人工作的基础上,提出了一种有效检测并发或反应系统的动态行为模型中违反安全属性的方法,目的是减少为检测违反安全属性所需检测的状态数量,验证过程包括构造一个由所有独立状态图组成的全局状态空间图,并遍历这个全局状态空间图中的状态以便检测安全协议。首先读待验证的安全属性和可能会违反这些属性的相关事件集,构造全局状态空间图只考虑相关事件产生的状态转换。使用该方法验证了"火车道口"系统,减少了59%的搜索空间。 展开更多
关键词 反应系统 安全属性 UML状态空间图 相关事件集 状态转换
下载PDF
Grid-Connected PV Solar Energy Converter with Active and Reactive Power Control
17
作者 Roberto F. Coelho Artur Pagnoncelli Galbiatti Denizar Cruz Martins 《Journal of Energy and Power Engineering》 2014年第2期331-342,共12页
This work proposes a 12 kW three-phase grid-connected single stage PWM DC-AC converter destined to process the energy provided by a photovoltaic array composed of 57 KC200GT PV modules with high power factor for any s... This work proposes a 12 kW three-phase grid-connected single stage PWM DC-AC converter destined to process the energy provided by a photovoltaic array composed of 57 KC200GT PV modules with high power factor for any solar radiation. The PWM inverter modeling and the control strategy, using dqO transformation, are proposed in order to also allow the system operation as an active power filter, capable to compensate harmonic components and react power generated by the non-linear loads connected to the mains grid. An input voltage clamping technique is proposed to impose the photovoltaic operation on the maximum power point. Simulation and experimental results are presented to validate the proposed methodology for grid connected photovoltaic generation system. 展开更多
关键词 Active and reactive power dqO transformation grid-connected PV systems three-phase DC-AC PWM converter.
下载PDF
A pooled-neighbor swarm intelligence approach to optimal reactive power dispatch
18
作者 GUO Chuang-xin ZHAO Bo 《Journal of Zhejiang University-Science A(Applied Physics & Engineering)》 SCIE EI CAS CSCD 2006年第4期615-622,共8页
This paper presents a pooled-neighbor swarm intelligence approach (PNSIA) to optimal reactive power dispatch and voltage control of power systems. The proposed approach uses more particles’ information to control the... This paper presents a pooled-neighbor swarm intelligence approach (PNSIA) to optimal reactive power dispatch and voltage control of power systems. The proposed approach uses more particles’ information to control the mutation operation. The proposed PNSIA algorithm is also extended to handle mixed variables, such as transformer taps and reactive power source in- stallation, using a simple scheme. PNSIA applied for optimal power system reactive power dispatch is evaluated on an IEEE 30-bus power system and a practical 118-bus power system in which the control of bus voltages, tap position of transformers and reactive power sources are involved to minimize the transmission loss of the power system. Simulation results showed that the proposed approach is superior to current methods for finding the optimal solution, in terms of both solution quality and algorithm robustness. 展开更多
关键词 reactive power dispatch Swarm intelligence Multi-agent systems Global optimization
下载PDF
基于Tabu搜索方法的电力系统无功优化 被引量:73
19
作者 刘玉田 马莉 《电力系统自动化》 EI CSCD 北大核心 2000年第2期61-64,共4页
将 Tabu搜索方法用于电力系统无功优化 ,采用二进制和十进制编码 2种方案。对IEEE30节点系统和 1 2 5节点山东省某地区电网进行了优化计算 ,并与简单遗传算法、结合模拟退火的遗传算法进行了比较 ,结果表明 Tabu搜索方法具有更强的全局... 将 Tabu搜索方法用于电力系统无功优化 ,采用二进制和十进制编码 2种方案。对IEEE30节点系统和 1 2 5节点山东省某地区电网进行了优化计算 ,并与简单遗传算法、结合模拟退火的遗传算法进行了比较 ,结果表明 Tabu搜索方法具有更强的全局寻优能力 ,可用于运行方式安排 。 展开更多
关键词 TABU搜索 遗传算法 无功优化 电力系统
下载PDF
基于遗传算法的无功优化在鄂州电网中的实现 被引量:55
20
作者 文劲宇 江振华 +3 位作者 姜霞 程时杰 杨文祥 黄金明 《电力系统自动化》 EI CSCD 北大核心 2000年第2期45-47,60,共4页
在简要分析传统的电力系统无功优化方法的局限性之后 ,指出了在无功优化问题中引入遗传算法 ( GA)的必要性和可行性 ,然后将基于遗传算法的无功优化方法用于鄂州电网操作票管理专家系统无功优化子系统中 ,论述了基于 GA的无功优化方法... 在简要分析传统的电力系统无功优化方法的局限性之后 ,指出了在无功优化问题中引入遗传算法 ( GA)的必要性和可行性 ,然后将基于遗传算法的无功优化方法用于鄂州电网操作票管理专家系统无功优化子系统中 ,论述了基于 GA的无功优化方法的程序流程 ,着重解决了在实际应用时遇到的几个问题 ,即无功优化中离散变量的处理、目标函数及相关参数值的选取等。所开发系统的实际运行结果表明 ,该算法可有效地减少系统的网络损耗 。 展开更多
关键词 遗传算法 无功优化 专家系统 电力系统 电网
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部