一类混合生产过程的最优配置求解研究

针对混合生产过程的特性 ,提出了采用扩展时间事件图 ( ETEG)建模方法 ,用位置的初始标志表示系统的配置 ,并采用 Dioid代数推出 ETEG的伪线性代数方程组 ,在此基础上计算最优初始标志 ,从而求得系统的最优配置 .最后以一个例子说明本方法的有效性 .     

混合系统在Matlab环境下的建模、仿真与自动验证

针对混合系统既包含连续变量又存在离散事件的特点,给出了混合系统在Matlab环境下的建模方法,仿真过程、为克服仿真的固有局限性,文中出自动验证原理及其实现,并以化工过程控制中的应用实例对整个过程作了介绍。     

考虑旧产品质量和企业服务水平的混合系统批量模型

对一类考虑旧产品质量和服务水平的混合系统进行研究.产品使用后从顾客处返回,但只有满足质量要求的部分旧产品用于再制造,其余的被处置.在一个模型周期里,可再制造品被存储起来,并在期末成批转入生产车间,在需要时用于再制造.需求确定且由制造新品和再制造品来满足,二者构成了服务性产品库存,可再制造品库存由生产车间和旧产品仓库的可再制造品组成.延迟交货是允许的,但缺货量受到企业服务水平的制约.对一次制造准备和至少一次再制造准备的策略与至少一次制造准备和一次再制造准备的策略分别进行研究,提出了准备次数为整数的最优制造批量、再制造批量等的求解方法.本文是对文[11]、文[12]、文[13]研究的进一步推广.     

基于细胞自动机的电梯混合系统建模及仿真

电梯系统是一种典型的混合系统,对电梯系统所包含的连续和离散两种变量进行深入细致地考察分析,是建立准确的电梯运行模型的关键。细胞自动机理论能有效地将混合系统中的连续变量和离散变量连结起来,构建清晰、可靠的数学模型。利用细胞自动机模型模拟电梯运动行为,派梯队列进行派梯控制,构造的基于细胞自动机的电梯混合系统模型,模型结构简单,运行效果良好。在通用的MATLAB开发环境下实现了电梯混合系统模型仿真。该建模方法具有一定的通用性和可扩展性。     

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

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

混合系统的形式化模型

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

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

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

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

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

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

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

拟线性脉冲系统的一致渐近稳定性

利用Lyapunov函数方法研究拟线性脉冲混合系统的一致性渐近稳定性，建立该类系统一致渐近稳定性的充分条件，最后，作为应用给出一个实例。