描述CPS物理实体的时空Petri网模型

时间Petri网在经典Petri网的基础上引入了时间因素,不仅能分析逻辑层次的系统性能,还能分析时间层次的系统性能,然而包含空间因素的信息物理融合系统(cyber-physical system,CPS)的产生需要对时间Petri网进行拓展。CPS集成计算系统和物理系统,不仅能够实时感知物理环境信息,并且能够通过物理实体改变物理环境。对CPS的物理层面特点进行了深入分析,研究了CPS物理实体的属性及其位置变迁过程,提出了一种CPS物理实体的形式化建模方法。在时间Petri网的基础上引入了空间因素,构造了时空Petri网模型,使其不仅能够描述物理实体逻辑及时间层次的行为,并且能够描述物理实体位置变迁所引起的状态变化。最后以机器人控制系统为例,进一步阐述了时空Petri网模型的有效性。

基于混成自动机的车联网服务建模方法

针对汽车信息物理融合系统(CPS)软件的异构性、分布式等特点,提出一种车联网服务建膜方法.对混成自动机进行通信端口扩展,采用扩展的混成自动机作为形式化建模工具,从服务提供的角度,分别将待监测和控制的设备实体抽象为服务作为系统的基本组成单元.以汽车速度控制系统为例,说明该建模方法的有效性.

一种面向CPS软件的可信性评估框架

信息物理融合系统(Cyber Physical System,CPS)是一种新型复杂的网络化嵌入式系统,在CPS中存在多种软件通过网络进行交互,如何确保软件及其交互可信性是开发高可信CPS的基础。针对这一问题,提出一种面向CPS软件的可信性评估框架,该框架包括两个模型:可信性指标模型和可信性评估模型。可信性指标模型通过分析用户需求得到,而可信性评估模型则利用建立的可信性指标模型评估CPS软件及其交互的可信性。最后给出的实例分析,说明了提出框架的有效性。

交错式PFC在变频空调中的研究与应用

对比分析了单相功率因数校正电路与两相交错式功率因数校正电路的工作原理及特点。之后着重介绍了在变频空调上研究与应用交错式功率因数校正电路的设计思路,并提供了一种适用于变频空调的高性能、高效率、低成本的交错式功率因数校正电路应用方案。最后对研究方案的实际应用效果进行了详细测试分析,并给出了试验结果及部分波形。实验表明应用该方案设计的交错式功率因数校正电路可以稳定地将输入功率因数提高到0.99以上,并将总谐波失真降至8%左右。

氧化锆对镍氢电池性能影响的研究

研究了不同温度下在MH-Ni电池正极中添加ZrO2对其高温充电效率和比容量的影响,以及不同的ZrO2添加量对镍氢电池高温充电效率和比容量的影响。结果表明,在MH-Ni电池正极中添加ZrO2可以明显提高电池在高温下充电效率以及比容量,而且当ZrO2添加量为1.0%时,镍氢电池的总体性能最佳。

降低烧结式镍电极成本

对比了采用INCO公司 2 5 5 #Ni粉 ,国产羰基Ni粉 ,电解Ni粉生产的烧结正极性能 ;并探索了部分采用廉价非Ni材料取代INCO公司Ni粉来降低烧结式镍电极的生产材料成本的可行性。

软件交错式PFC在变频空调的应用

本文介绍了交错式PFC方案的原理以及对比普通升压PFC的优势,采用TI公司的TMS320LF28035芯片实现了交错式PFC的软件控制算法。