面向自主飞行器的嵌入式计算平台

基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。     

基于X语言的起飞场景民机协同设计与仿真一体化方法

针对大型复杂产品,传统基于模型的系统工程（model-based system engineering, MBSE）方法存在系统设计和仿真验证的多语言、多平台集成实现,难以保证高效、准确地反馈系统设计的缺陷,无法达到快速优化设计目的等问题,提出采用基于面向复杂系统支持MBSE的新一代一体化建模仿真语言—X语言实现面向起飞场景的民机跨域子系统的一体化建模仿真。从民机起飞过程需求分析出发,建立了起飞场景的系统级模型和物理级模型,并在X语言的建模仿真软件—XLab进行统一的建模仿真验证,给出了基于X语言面向复杂产品协同设计与仿真一体化方法,为不同领域的设计人员实现复杂产品设计的协同与优化提供了全新的理论与方法参考。     

一种改进的相控阵雷达信号级建模与仿真方法

传统的相控阵雷达信号级建模方法算法复杂,仿真模型计算量大、运行效率低,严重制约了信号级仿真的广泛应用,针对此问题,提出了一种改进的相控阵雷达信号级建模仿真方法,给出了改进后的信号级仿真模型,并据此构建了仿真系统,仿真验证结果表明,改进后的仿真系统计算效率明显提高,验证了建模方法和仿真模型的有效性、正确性,为相控阵雷达信号级仿真的广泛应用提供了支撑.     

语音信号倒谱特征提取建模与仿真

随着嵌入式语音识别的应用形式和领域的不断拓展，系统设计的复杂性也随之增加，仅仅支持单一数学模型的系统级设计工具已经不能满足这类复杂系统设计的需求。为了在系统执行这个层面之上更精确定义提取语音信号特征的行为，研究了面向角色的系统级建模方法，分析和论述了如何利用线性预测分析方法提取语音倒谱特征参数的基本原理，介绍了嵌入式系统级建模和仿真平台PtolemyⅡ，最后在PtolemyⅡ平台上完成语音信号倒谱特征提取的建模，并对模型中的预处理、端点检测等进行了仿真实验。     

基于SMP2的复杂系统生成式仿真建模方法

复杂系统仿真迫切需要能够同时支持多领域分别独立针对性建模和全系统统一集成仿真的方法. 将当前用于复杂系统仿真的建模方法分为统一型、组合型和生成式三大类, 分析指出生成式建模方法具有较之其它方法的独特优势, 有望解决复杂系统仿真建模面临的问题. 研究了当前仿真领域应用的各类生成式建模方法存在的不足. 提出了以仿真模型可移植性标准(SMP2)为基础, 综合利用生成式建模方法的两大流派-模型驱动架构(MDA)和模型集成计算(MIC)-的先进技术和规范, 构建复杂系统生成式仿真建模方法的研究思路. 分析了其中的多领域生成式仿真模型公共表示规范、各类仿真形式体系到SMP2的映射与模型变换以及面向领域的仿真建模工具的自动生成等三大关键技术问题. 设计了生成式仿真建模一体化支撑环境的体系结构, 介绍了其中已经完成的工作和下一步的重点.     

模型驱动的复杂人机系统过程建模仿真方法

复杂人机系统涉及复杂的技术系统过程、认知决策过程以及人机协同过程,是当前系统工程研究最具挑战的领域之一。建模仿真在很多情况下是分析复杂人机系统过程性能效能的唯一可行选择。分析了复杂人机系统过程建模以及系统仿真模型表示的主要方法。结合平台级作战过程建模应用问题,给出了一种物理域、认知域、模型框架三分的复杂人机系统过程建模框架。在模型驱动方法的指导下,综合运用多方法建模、领域特定建模等方法讨论了复杂人机系统过程仿真模型设计问题。对其他领域的复杂人机系统过程建模仿真问题研究具有示范意义。     

基于双变迁Petri网的嵌入式系统建模

介绍了双变迁Petri网的基本理论,分析了其在复杂系统建模中的不足,引入了面向对象技术,论述了该方法在嵌入式系统建模中的应用.采用该模型,进行了实例分析,表明该方法能够较好地解决复杂嵌入式系统的建模问题.     

基于Ptolemy II嵌入式防火墙系统级设计与仿真研究

传统的防火墙难以抵御网络内部用户的攻击,而分布式防火墙又过分依赖于主机的操作系统,嵌入式防火墙研究已成为当前防火墙研究主流。本文提出了一种嵌入式防火墙的体系结构,介绍了嵌入式系统级建模仿真平台Ptolemy II,在该仿真平台上进行了嵌入式防火墙的建模,并对系统模型中的RTOS实时调度和包过滤算法等主要部分进行了仿真和分析。     

武器装备效能仿真的可组合建模框架研究

武器装备效能仿真不同于一般的复杂系统仿真, 具备很大的组合建模潜力和迫切的组合仿真需求. 当前的统一仿真协议、统一建模方法、统一模型规范等组合仿真途径主要还是从技术角度出发的, 没有充分结合应用领域的实际, 难以真正实现组合仿真. 提出了基于模型框架实现组合仿真的思路, 通过将领域共性不变知识(DIK)固化为可组合的模型框架, 而应用可变知识(AVK)则可在模型框架基础上通过定制或扩展的方式进行描述. 设计了武器装备效能仿真的可组合建模框架(CMF), 应用实践表明能够明显地提高仿真开发效率, 有力地支持模型级可组合.     

基于Ptolemy的嵌入式计算系统级建模与仿真

嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求。本文探讨了目前建模仿真平台的不足,介绍了Ptolemy如何运用层次异构设计思想解决嵌入式系统的异构问题,以及该设计原理在其第二代建模仿真平台PtolemyII中的实现方法。并基于PtolemyII对一复杂控制系统进行了建模与仿真。     

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     

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

正June 22-24,2015Guangzhou,China http://iec.cnsba.com/index.htmlCo-Sponsored by:ffiEE SMC(pending)South China University of Technology The Chinese University of Hong Kong Tsinghua UniversityHosted bv:School of Business Administration,South China University of Technology,China Conference Co-Chairs:     

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

正~~