期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于离散混合自动机的园区综合能源系统多模式建模与日前优化 被引量:9
1
作者 邱迪 刘东 +2 位作者 高飞 陆海 王达达 《中国电机工程学报》 EI CSCD 北大核心 2023年第1期135-146,共12页
综合能源园区是推进能源系统低碳发展的关键应用场景。针对电、气、冷、热耦合的综合能源园区,给出一种供需互动的园区综合能源系统日前优化方法。基于离散混合自动机(discrete hybrid automaton,DHA)架构,搭建考虑多种运行模式的综合... 综合能源园区是推进能源系统低碳发展的关键应用场景。针对电、气、冷、热耦合的综合能源园区,给出一种供需互动的园区综合能源系统日前优化方法。基于离散混合自动机(discrete hybrid automaton,DHA)架构,搭建考虑多种运行模式的综合能源系统设备级模型与系统级模型;通过搭建用户空调负荷预测模型,给出基于调节价格的园区需求侧负荷响应机制;通过搭建供需互动的园区综合能源系统双层优化模型,计算在低成本模式与低碳模式下的园区综合能源系统日前优化结果。算例仿真验证了所提建模方法在描述设备运行模式的优势,计算园区供需互动带来的经济效益,并评估园区在低碳运行模式下的减排能力。最后,讨论通过清洁机组与储能设备的升级改造实现零碳园区的可行性,以及在设计规划阶段需要考虑的评估指标。 展开更多
关键词 综合能源系统 零碳园区 日前优化 需求侧响应 混合状态系统 离散混合自动机
下载PDF
基于有限状态机的智能车辆交叉口行为预测与控制 被引量:16
2
作者 熊光明 李勇 王诗源 《北京理工大学学报》 EI CAS CSCD 北大核心 2015年第1期34-38,共5页
提出一种智能车辆交叉口行为预测与控制方法.建立交叉口车辆行为预测的有限状态机(FSM)模型,对交叉口其他车辆的行为进行预测.构建应用于智能车辆的混合状态系统,引入有限状态机模型,结合智能车辆交叉口安全条件运行规则,实现智能车辆... 提出一种智能车辆交叉口行为预测与控制方法.建立交叉口车辆行为预测的有限状态机(FSM)模型,对交叉口其他车辆的行为进行预测.构建应用于智能车辆的混合状态系统,引入有限状态机模型,结合智能车辆交叉口安全条件运行规则,实现智能车辆离散状态分析及车辆控制.运用PreScan和Simulink/Stateflow实现交叉口联合仿真.结果表明,该方法可以使智能车辆安全地通过有其他车辆通行的交叉路口. 展开更多
关键词 智能车辆 有限状态 混合状态系统 交叉口 PreScan
下载PDF
Quantum Zeno Effect with Mixed Initial States
3
作者 孙权海 杨名 曹卓良 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第7期71-73,共3页
Quantum Zeno effect with mixed initial state is studied here. Frequent projective measurements performed on a bipartite joint pure state system will result in the quantum Zeno effect on the subsystem of interest. This... Quantum Zeno effect with mixed initial state is studied here. Frequent projective measurements performed on a bipartite joint pure state system will result in the quantum Zeno effect on the subsystem of interest. This shows the existence of Quantum Zeno effect in the system with mixed initial states. 展开更多
关键词 quantum Zeno effect projective measurement mixed state
下载PDF
Optimal sensor scheduling for hybrid estimation
4
作者 LIU Jian-liang SUN Yao +2 位作者 YANG Jian LIU Wei-yi CHEN Wei-min 《Journal of Central South University》 SCIE EI CAS 2013年第8期2186-2194,共9页
A sensor scheduling problem was considered for a class of hybrid systems named as the stochastic linear hybrid system (SLHS). An algorithm was proposed to select one (or a group of) sensor at each time from a set ... A sensor scheduling problem was considered for a class of hybrid systems named as the stochastic linear hybrid system (SLHS). An algorithm was proposed to select one (or a group of) sensor at each time from a set of sensors. Then, a hybrid estimation algorithm was designed to compute the estimates of the continuous and discrete states of the SLHS based on the observations from the selected sensors. As the sensor scheduling algorithm is designed such that the Bayesian decision risk is minimized, the true discrete state can be better identified. Moreover, the continuous state estimation performance of the proposed algorithm is better than that of hybrid estimation algorithms using only predetermined sensors. Finallyo the algorithms are validated through an illustrative target tracking example. 展开更多
关键词 sensor scheduling hybrid systems Bayesian decision risk target tracking
下载PDF
Existence and construction of simultaneous cloning machines for mixed states
5
作者 GUO ZhiHua CAO HuaiXin QU ShiXian 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2015年第4期11-15,共5页
It is a well-known fact that the no-cloning theorem forbids the creation of identical copies of an arbitrary unknown quantum state. In other words, there does not exist a quantum cloning machine that can clone all qua... It is a well-known fact that the no-cloning theorem forbids the creation of identical copies of an arbitrary unknown quantum state. In other words, there does not exist a quantum cloning machine that can clone all quantum states. However, it is possible to clone given quantum states under certain conditions, for instance, k distinct pure states |ψ1〉, |ψ2),....,|ψk) can be cloned simultaneously if and only if they are orthogonal. This paper discusses the existence and construction of simultaneous cloning machines for mixed states. It is proved that k distinct mixed states Pl,P2 Pk of the n-dimensional quantum system Cn can be cloned simultaneously, that is, there exists a quantum channel Ф on .Mn ⊙ Mn and a state ∑ in Mn, such that Ф(ρi ⊙∑) = ρi ⊙ ρi for all i, if and only if ρiρj = 0 (i ≠j). Also, the constructing procedure of the desired simultaneous cloning machine is given. 展开更多
关键词 simultaneous cloning machine quantum channel mixed state
原文传递
AN AUGMENTED BV SETTING FOR FEEDBACK SWITCHING CONTROL
6
作者 Falk M.HANTE Günter LEUGERING Thomas I.SEIDMAN 《Journal of Systems Science & Complexity》 SCIE EI CSCD 2010年第3期456-466,共11页
This paper considers dynamical systems under feedback with control actions limited toswitching.The authors wish to understand the closed-loop systems as approximating multi-scale problemsin which the implementation of... This paper considers dynamical systems under feedback with control actions limited toswitching.The authors wish to understand the closed-loop systems as approximating multi-scale problemsin which the implementation of switching merely acts on a fast scale.Such hybrid dynamicalsystems are extensively studied in the literature,but not much so far for feedback with partial stateobservation.This becomes in particular relevant when the dynamical systems are governed by partialdifferential equations.The authors introduce an augmented BV setting which permits recognition ofcertain fast scale effects and give a corresponding well-posedness result for observations with such minimalregularity.As an application for this setting,the authors show existence of solutions for systemsof semilinear hyperbolic equations under such feedback with pointwise observations. 展开更多
关键词 FEEDBACK functions of bounded variation hybrid dynamical systems partial state observation switching control.
原文传递
Quantum non-demolition phonon counter with a hybrid optomechnical system
7
作者 Qiao Song KeYe Zhang +1 位作者 Ying Dong WeiPing Zhang 《Science China(Physics,Mechanics & Astronomy)》 SCIE EI CAS CSCD 2018年第5期1-9,共9页
A phonon counting scheme based on the control of polaritons in an optomechanical system is proposed. This approach permits us to measure the number of phonons in a quantum non-demolition(QND) manner for arbitrary mode... A phonon counting scheme based on the control of polaritons in an optomechanical system is proposed. This approach permits us to measure the number of phonons in a quantum non-demolition(QND) manner for arbitrary modes not limited by the frequency matching condition as in usual photon-phonon scattering detections. The performance on phonon number transfer and quantum state transfer of the counter are analyzed and simulated numerically by taking into account all relevant sources of noise. 展开更多
关键词 phonon counting OPTOMECHANICS quantum non-demolition quantum hybrid system
原文传递
A formal structure for symbolic reachability analysis of rectangular hybrid systems
8
作者 ZHANG HaiBin ZHAO Cheng LI Rong 《Science China(Technological Sciences)》 SCIE EI CAS CSCD 2016年第2期347-356,共10页
For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reac... For symbolic reachability analysis of rectangular hybrid systems, the basic issue is finding a formal structure to represent and manipulate its infinite state spaces. Firstly, this structure must be closed to the reachability operation which means that reachable states from states expressed by this structure can be presented by it too. Secondly, the operation of finding reachable states with this structure should take as less computation as possible. To this end, a constraint system called rectangular zone is formalized, which is a conjunction of fixed amount of inequalities that compare fixed types of linear expressions with two variables to rational numbers. It is proved that the rectangular zone is closed to those reachability operations-intersection, elapsing of time and edge transition. Since the number of inequalities and the linear expression of each inequality is fixed in rectangular zones, so to obtain reachable rectangular zones, it just needs to change the rational numbers to which these linear expressions need to compare. To represent rectangular zones and unions of rectangular zones, a data structure called three dimensional constraint matrix(TDCM) and a BDD-like structure rectangular hybrid diagram(RHD) are introduced. 展开更多
关键词 rectangular hybrid systems symbolic methods reachability analysis
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部