基于区间计算的混合系统定时器设定范围的实例验证

针对混合系统的连续部分存在定时器时难于进行离散模型近似的问题,提出了一种结合阈值切换面划分和变步长区间计算的解决方案,应用区间计算方法能很容易地得出复杂连续动态的过渡状态,不仅可以很好对具有定时器的混合系统在某一时刻上进行验证,还可对定时器处在某一范围内的情况进行验证,化工过程控制中混合系统的实例验证过程,证明了上述思想的可行性。     

一种SET的SPICE宏模型及SET/CMOS混合系统仿真研究

基于单电子晶体管(SET)数学分析模型,改进了它的SPICE宏模型.该模型考虑了背景电荷的影响,由1个电压控制电流源、1个电压控制电压源构成.与准分析模型相比较,该模型准确地表现了SET的I-U特性.通过A/D转换器的仿真实例表明,所设计的3位SET/CMOS混合系统具有良好的适用性和精确度,可以推广到SET/CMOS混合系统的管子级设计.     

Implementation of transaction level AMBA bus models using systemC

This paper deals with how to implement AMBA bus transaction level modeling in SystemC.There are twom ain techniques used in the whole modeling process,which consist of starting the platform modeling at the transaction level and using the uniformed modeling language-System C.According to the concepts of interface,port and hierarchical channel introduced in SystemC 2.0,the system of master-channel (AMBA bus) slave is created as the architecture of the AMBA bus transaction level model,which can make it more extendable.The port and interface classes of the model that are prone to program are defined in accordance with the SoC hierarchical design methodology,In addition,method calls,not signal communication,are used between different modules in the model,so the higher-level abstraction is achieved and the simulation performance is improved.The AMBA bus transaction level model is analyzed and certified by simulation experiment,and proved to be completely compliant to the AMBA specification 2.0.     

基于Petri网的城市交通控制混合系统模型

城市道路交通信号控制是典型的混合动态系统,既包含连续状态变量又包含离散状态变量.本文归纳研究了信号控制交叉口群的主要构成元素：交通信号控制、交叉口与道路路段,其中交通信号控制与交叉口两个元素属于离散事件动态系统（DEDS）,而道路路段交通流属于连续时间动态系统（CVDS）.然后,应用混合系统建模理论,分别构筑了交通信号控制的petri网模型、交叉口的petri网模型、道路路段交通流的连续系统模型,以及交叉口petri网模型与路段交通流模型之间的接口.该模型具有既能够进行交通控制信号优化与交通阻塞机理解析应用,又便于计算机软件实现的优点.     

在水汽逆向流动填料塔内热质同时传递过程的研究

在内径94mm,高2.1m的填料塔内进行了热、质同时传递过程的热模实验研究。结果表明,存在一个合适的(液/汽)质量比为7.7～13.3。当系统内液汽比在该范围附近时,床层内气相温度分布比较稳定。同时,对填料塔内热质同时传递过程建立了数学模型,模型计算值与实验值吻合良好。计算出在本实验系统的操作条件下,全塔平均传质和传热系数分别为:kg=0.060kg/(m2·s·MPa)和αg=2.01W/(m2·K)。本文所建立的数学模型能应用到工业实践中。     

混合系统的形式化模型

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型。本文概述了目前几个重要的混合计算模型,并通过扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。     

混合CPU-GPU加速矩阵的Hessenberg约化

求解一般矩阵特征值问题的第一步即进行Hessenberg约化。给出了矩阵的Hessenberg约化算法在GPU上实现的具体方案。针对CPU-GPU混合系统,对基于块计算的Hessenberg约化算法进行了计算任务的划分,并通过详细分析每次循环时各任务的计算量,设计了一种较为合理的分阶段混合调度策略。数值实验表明,使用CPU-GPU混合调度的方案相比直接使用CUBLAS库方案平均获得了约47%的性能提升,而且相比使用CPU上标准的BLAS库函数最高获得了超过7倍的加速比。     

基于扩展Nataf变换的交直流混合系统概率潮流计算方法

随着新型电力系统高比例新能源与高比例电力电子化的“双高”特征日益凸显,交直流混合已成为中国电力系统的典型特征。伴随着可再生能源出力的随机性,交直流混合系统的潮流也表现出随机性。为此,提出一种基于扩展Nataf变换和拉丁超立方采样的交直流混合系统概率潮流计算方法。首先,建立适用于概率潮流计算的交直流混合系统潮流模型。同时,针对Nataf变换无法处理源荷相关系数矩阵非正定的情况,采用一种基于奇异值分解的扩展Nataf变换,并结合拉丁超立方采样进行交直流混合系统的概率潮流计算。此外,针对传统Gram-charlier级数存在节点电压幅值等状态变量概率为负值的情况,提出一种C型Gram-charlier级数以解决该问题。最后,在改进的57节点交直流混合系统中验证了所提方法的有效性。