针对燃气-蒸汽联合循环且余热锅炉不补燃的热电联产机组(combined power and heat unit,CHP),首先,基于能量守恒建立天然气流量与电力电压、电流的等值关系,进而考虑功率进行变换的物理特性,构建CHP的气电变换等效电路;考虑功率进行传...针对燃气-蒸汽联合循环且余热锅炉不补燃的热电联产机组(combined power and heat unit,CHP),首先,基于能量守恒建立天然气流量与电力电压、电流的等值关系,进而考虑功率进行变换的物理特性,构建CHP的气电变换等效电路;考虑功率进行传递、释放的物理特性,构建CHP的气热转换、烟气排放及运行热损失方程;据此,确立CHP的物理特性等值模型,并定义该模型“以热定电”和“以电定热”策略下的控制参量。其次,利用牛顿法和管网水力计算基本原理,推导电潮流和气、热能流的修正方程及其雅可比元素表达式,提出计及CHP固有特性参数随系统运行状态变化的气-电-热混合能流统一分析方法。最后,通过具有不同CHP控制策略的气-电-热混合系统,验证所提方法的有效性及可行性。展开更多
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代...进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.展开更多
An unmanned aerial vehicle （UAV） is arranged to explore an unknown environment and to map the features it finds when GPS is denied.It navigates using a statistical estimation technique known as simultaneous localiza...An unmanned aerial vehicle （UAV） is arranged to explore an unknown environment and to map the features it finds when GPS is denied.It navigates using a statistical estimation technique known as simultaneous localization and mapping （SLAM） which allows for the simultaneous estimation of the location of the UAV as well as the location of the features it sees.Obscrvability is a key aspect of the state estimation problem of SLAM.However,the dimension and variables of SLAM system might be changed with new features.To solve this issue,a unified approach of observability analysis for SLAM system is provided,through reorganizing the system model.The dimension and variables of SLAM system keep steady,then the PWCS theory can be used to analyze the local or total observability,and under special maneuver,some system states,such as the yaw angle,become observable.Simulation results validate the proposed method.展开更多
文摘针对燃气-蒸汽联合循环且余热锅炉不补燃的热电联产机组(combined power and heat unit,CHP),首先,基于能量守恒建立天然气流量与电力电压、电流的等值关系,进而考虑功率进行变换的物理特性,构建CHP的气电变换等效电路;考虑功率进行传递、释放的物理特性,构建CHP的气热转换、烟气排放及运行热损失方程;据此,确立CHP的物理特性等值模型,并定义该模型“以热定电”和“以电定热”策略下的控制参量。其次,利用牛顿法和管网水力计算基本原理,推导电潮流和气、热能流的修正方程及其雅可比元素表达式,提出计及CHP固有特性参数随系统运行状态变化的气-电-热混合能流统一分析方法。最后,通过具有不同CHP控制策略的气-电-热混合系统,验证所提方法的有效性及可行性。
文摘进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.
基金Project(2020203)supported by the Weapon Research Foundation,China
文摘An unmanned aerial vehicle （UAV） is arranged to explore an unknown environment and to map the features it finds when GPS is denied.It navigates using a statistical estimation technique known as simultaneous localization and mapping （SLAM） which allows for the simultaneous estimation of the location of the UAV as well as the location of the features it sees.Obscrvability is a key aspect of the state estimation problem of SLAM.However,the dimension and variables of SLAM system might be changed with new features.To solve this issue,a unified approach of observability analysis for SLAM system is provided,through reorganizing the system model.The dimension and variables of SLAM system keep steady,then the PWCS theory can be used to analyze the local or total observability,and under special maneuver,some system states,such as the yaw angle,become observable.Simulation results validate the proposed method.
