基于Modelica语言的PDE与DAE问题的一致表示

Modelica语言是为解决复杂物理系统多领域统一建模与仿真问题而提出的一种面向对象基于方程的陈述式建模语言.它对DAE问题的表示已相对成熟,而对PDE问题的表示则相对缺乏.在多领域统一建模框架下,基于面向对象的思想,提出一种PDE与DAE问题一致的表示方法,实现对PDE问题的简单自然描述.然后使用直线法将PDE模型转化为DAE模型,并在Modelica仿真平台MWorks环境中进行求解,初步扩展了Modelica语言以支持三维PDE问题的建模与仿真.最后通过一个热传导PDE问题进行了验证.     

奇异线性二次型微分鞍点对策的小波逼近解法

研究广义状态系统中线性二次型微分对策鞍点策略的数值求解问题。基于小波多尺度多分辨逼近特性 ,提出了一种数值求解新方法。该法基于Daubechies小波的优良性质 ,特别是将Daubechies小波基的积分运算矩阵、乘积矩阵和快速离散小波变换系数矩阵应用于原问题的主要方程 ,将原问题转化为矩阵代数优化问题 ,避免直接计算耦合Riccati微分方程。算法简洁明了 ,适合于计算机求解。实例计算结果显示 ,该算法是可行的     

基于MODELICA的采摘机械手运动控制建模

多领域物理系统建模的Modelica语言适合求解常微分方程和微分代数方程,但对多变量函数的偏微分方程和分布式参数求解困难.针对水果采摘机械手运动控制的多变量函数和非线性的复杂不确定问题,采用基于Modelica的虚拟设计方法,提出用Laplace变换把多变量函数的偏微分方程转换成传递函数的算法,给出了机电运动控制的数学模型和耦合关系,设计机器人的本体结构模型,构建了机械手的DriveLib模型库.最后以机械手的单轴控制为例进行仿真,验证了模型的有效性,为机械手设计提供了理论依据.     

基于广义微分Petri网的混合系统仿真方法

针对混合动态系统仿真的特点，建立其广义微分Petri网仿真模型，将混合系统的仿真统一于同一建模框架下，在此框架下，离散事件和连续状态变化对混合系统演化的推动作用均可以通过仿真模型中的变迁激发来完成，通过对广义微分Petri网的仿真过程进行分析，给出了基于该模型框架的仿真算法，并对仿真过程中出现的由资源共享引起冲突现象及其解决方案进行分析，最后讨论了仿真系统的死锁及其避免问题。     

基于HLA/RTI的分布式交互仿真中的死锁问题研究

从避免死锁的角度出发,深入地研究了RTI实现中的保守同步协议,并分析了RTI中为预防死锁的发生所采取的策略。在HLA标准下,其中重要的一点就是通过引入Lookahead以使时间管理机制能够得到更多的信息,这样可以有效地解决保守算法中的死锁问题。但如果物理系统出现死锁,那么基于HLA/RTI进行仿真时,仿真系统还是会出现死锁。最后,以一个机床加工系统为例进行了仿真,证实了上述看法的正确性。     

HEV多领域物理建模与模式切换控制仿真

为了加快某新型混动力汽车控制系统开发、降低成本,利用基于Matlab/Simulink平台的多领域物理系统建模工具SimPowerSystem和SimDrivelines建立其动力驱动系统及传动系统的仿真模型.在此基础上,提出了纯电动至发动机驱动、发动机驱动至联合驱动典型模式切换过程的控制策略,并对这两种模式切换过程控制策略的性能进行仿真分析.仿真结果表明所设计的模式切换控制策略可以保证模式切换过程动力传递的平稳性,所建立的混合动力汽车多领域物理系统模型的合理性和可行性,为混合动力汽车建模与控制仿真提供一条快捷而有效的新途径.     

基于Modelica语言的多领域模型仿真优化研究

在分析多领域物理系统仿真优化特点的基础上,研究了Mode1ica模型仿真优化的关键问题:基于模型的编译信息实现多实例、多目标启发式仿真优化建模;并利用Modelica语言的结构化注解特征实现仿真优化模型的混合表达;在自主研发的多领域统一建模与仿真平台MWorks下实现了多领域仿真优化流程和若干优化算法.最后以F14战机简易模型的控制参数优化为例验证以上方法的有效性.     

二阶动力学系统的干扰解耦与抑制

利用二阶动力学系统的比例加微分反馈特征结构配置结果,给出了利用比例加微分反馈实现二阶动力学系统干扰解耦的充要条件和求解二阶动力学系统干扰抑制问题的一种有效算法。该方法在优化特征结构配置提供自由参数的同时,亦可在一定希望的区域内优化闭环极点,使闭环系统满足一定的性能要求。此外,该方法直接基于二阶动力学系统参数矩阵,便于工程应用。以三级质量弹簧系统为例进行了仿真实验,实验结果表明了所提方法的有效性。     

Modelica模型的相容初始化

基于Modelica语言建立的仿真模型可以映射为一个微分代数方程系统。求解微分代数方程系统需要为其设定初始值。简要介绍了Modelica语言,讨论了Modelica模型初始条件的设定方式,给出了隐含约束的获取方法,以及初始条件的相容性判定方法和相容初始值求解策略。给出实例表明了方法的有效性。     

基于多智能体原理的人工鱼交互仿真建模方法

为解决计算机动画中人工生命体存在的数学模型复杂、计算量大、交互性差的问题,提出一个基于多智能体原理的虚拟生物交互自组织行为建模方法,并以人工鱼为例,将多智能体原理和微分对策方法结合,可以在不需大量计算的情况下实现人工鱼的多种竞争交互行为仿真.试验表明,采用交互建模方法的人工鱼同环境和其他生物的竞争交互仿真行为更加高效、自主和智能.     

The 12th International Conference on Service Systems and Service Management ICSSSM'15

正~~     

THE 8~(th) INTERNATIONAL CONGRESS ON INDUSTRIAL AND APPLIED MATHEMATICS

正August 10-14,2015Beijing,ChinaThe International Congress on Industrial and Applied Mathematics(ICIAM)is the premier international congress in the field of applied mathematics held every four years under the auspices of the International Council for Industrial and Applied Mathematics.From August 10 to 14,2015,mathematicians,scientists     

2014 List of Referees

正~~     

《Journal of Systems Science and Systems Engineering》Contents of Volume 23,2014

正~~     

TSINGHUA UNIVERSITY,Beijing, China

正AF:Any Field The School of Economics and Management at Tsinghua University(Tsinghua SEM)invites applications for faculty positions at all levels(Assistant Professor,Associate Professor and Full Professor)in any fields of business administration and management.Tsinghua SEM is the only school     

Enterprise resource planning implementation decision & optimization models

To study the uncertain optimization problems on implementation schedule, time-cost trade-off and quality in enterprise resource planning (ERP) implementation, combined with program evaluation and review technique (PERT), some optimization models are proposed, which include the implementation schedule model, the timecost trade-off model, the quality model, and the implementation time-cost-quality synthetic optimization model. A PERT-embedded genetic algorithm (GA) based on stochastic simulation technique is introduced to the optimization models solution. Finally, an example is presented to show that the models and algorithm are reasonable and effective, which can offer a reliable quantitative decision method for ERP implementation.