123,123,123

內(nèi)容簡(jiǎn)介

　　介紹航空航天領(lǐng)域計(jì)算機(jī)仿真系統(tǒng)建模語(yǔ)言的文本描述方法，包括詞法、語(yǔ)法、語(yǔ)義等。該文本支持支持連續(xù)系統(tǒng)、離散系統(tǒng)、定性系統(tǒng)、優(yōu)化系統(tǒng)、半實(shí)物系統(tǒng)及其混合系統(tǒng)和變結(jié)構(gòu)系統(tǒng)的建模與仿真。介紹建模語(yǔ)言的編譯器技術(shù)，包括自動(dòng)識(shí)別建模語(yǔ)言語(yǔ)義并將其轉(zhuǎn)換為C等編程語(yǔ)言，面向可重用組件的代碼生成技術(shù)。介紹并行仿真引擎等關(guān)鍵支撐技術(shù)，包括面向負(fù)載均衡的仿真引擎組件調(diào)度方法。

作者簡(jiǎn)介

　　宋曉，男，副教授，博導(dǎo)。開(kāi)發(fā)了一種面向并行化的建模與仿真語(yǔ)言，提出了一種面向組件的多核離散事件并行仿真引擎，研究提出了復(fù)雜系統(tǒng)建模仿真語(yǔ)言并行編程模型及其并行編譯技術(shù)，設(shè)計(jì)實(shí)現(xiàn)了并行仿真編譯器及相關(guān)運(yùn)行庫(kù)。成果獲2016年中國(guó)仿真學(xué)會(huì)科技進(jìn)步一等獎(jiǎng)、國(guó)際建模仿真大會(huì)杰出論文獎(jiǎng)和教育部科技進(jìn)步二等獎(jiǎng)等獎(jiǎng)勵(lì)。發(fā)表SCI論文29篇，主持國(guó)家自然基金兩項(xiàng)，指導(dǎo)學(xué)生獲國(guó)際數(shù)學(xué)建模競(jìng)賽特等獎(jiǎng)提名。

圖書(shū)目錄

第1章復(fù)雜系統(tǒng)建模仿真語(yǔ)言文本規(guī)范
1.1 概述
1.1.1 復(fù)雜系統(tǒng)建模與仿真語(yǔ)言的概念及特點(diǎn)
1.1.2 CSMSL語(yǔ)言的相關(guān)系統(tǒng)視圖
1.1.3 CSMSL與其他仿真語(yǔ)言的對(duì)比
1.1.4 仿真語(yǔ)言文本描述的層次框架
1.2 CSMSL關(guān)鍵詞、操作符及數(shù)據(jù)類型
1.2.1 關(guān)鍵詞
1.2.2 操作符
1.2.3 數(shù)據(jù)類型
1.3 原子組件模型
1.3.1 初始?jí)K
1.3.2 模型塊
1.4 復(fù)合組件模型
1.4.1 初始?jí)K
1.4.2 模型塊
1.4.3 實(shí)驗(yàn)塊
1.5 函數(shù)庫(kù)及算法庫(kù)
1.5.1 函數(shù)的定義
1.5.2 函數(shù)的調(diào)用
1.5.3 外部函數(shù)封裝
1.5.4 數(shù)學(xué)函數(shù)庫(kù)
1.5.5 傳遞函數(shù)庫(kù)
1.5.6 優(yōu)化算法庫(kù)
1.5.7 引用外部模型
1.6 CSMSL描述案例分析
1.7 CSMSL詳細(xì)規(guī)范總結(jié)
1.7.1 關(guān)鍵詞
1.7.2 詞法正則表達(dá)式
1.7.3 CSMSL的巴克斯范式
1.7.4 復(fù)合組件中的類型定義
1.7.5 函數(shù)類

第2章復(fù)雜系統(tǒng)建模仿真語(yǔ)言圖形描述規(guī)范
2.1 概述
2.2 原子組件模型
2.2.1 初始?jí)K
2.2.2 模型塊
2.3 復(fù)合組件模型
2.3.1 初始?jí)K
2.3.2 模型塊
2.3.3 實(shí)驗(yàn)塊
2.4 實(shí)際案例
2.4.1 復(fù)合組件模型描述
2.4.2 原子組件模型描述

第3章 CSMSL的模型體系及其并行仿真引擎
3.1 CSMSL仿真模型技術(shù)體系
3.1.1 模型接口層規(guī)范
3.1.2 模型架構(gòu)層規(guī)范
3.2 CSMSL并行仿真引擎負(fù)載均衡組件調(diào)度方法
3.3 CSMSL并行仿真引擎中的組件模型時(shí)間管理
3.3.1 基本原理
3.3.2 時(shí)間管理模型
3.3.3 組件模型時(shí)間管理的軟件實(shí)現(xiàn)方法
3.4 CSMSL并行仿真引擎編程框架示例

第4章 CSMSL編譯器原理及實(shí)現(xiàn)
4.1 CSMSL文本編譯器架構(gòu)
4.1.1 編譯器的功能
4.1.2 編譯器的結(jié)構(gòu)
4.1.3 CSMSL主程序框架
4.2 CSMSL文本編譯器的實(shí)現(xiàn)方案
4.2.1 聯(lián)合編譯中編譯器的工作機(jī)理
4.2.2 詞法分析器的實(shí)現(xiàn)
4.2.3 語(yǔ)法分析器的實(shí)現(xiàn)
4.2.4 語(yǔ)義解釋器的實(shí)現(xiàn)
4.2.5 CSMSL編譯器開(kāi)發(fā)環(huán)境
4.2.6 CSMSL原子組件模型的聯(lián)合編譯實(shí)現(xiàn)流程
4.3 CSMSL編譯案例
4.3.1 混合仿真系統(tǒng)的編譯要點(diǎn)
4.3.2 原子/復(fù)合組件模型作業(yè)級(jí)并行的語(yǔ)法實(shí)現(xiàn)
4.3.3 三維流體氣動(dòng)模型求解

第5章基于CSMSL的混合仿真系統(tǒng)設(shè)計(jì)
5.1 坐標(biāo)系及其變換
5.1.1 三種坐標(biāo)系
5.1.2 三種坐標(biāo)系之間的轉(zhuǎn)換
5.2 防空反導(dǎo)作戰(zhàn)實(shí)體模型
5.2.1 來(lái)襲目標(biāo)彈道模型求解方法1
5.2.2 來(lái)襲目標(biāo)彈道模型求解方法2
5.2.3 預(yù)警雷達(dá)模型
5.2.4 防空武器系統(tǒng)火力單元模型
5.2.5 防空武器系統(tǒng)指揮中心模型
5.2.6 被保衛(wèi)要地模型
5.3 防空反導(dǎo)作戰(zhàn)過(guò)程模型
5.3.1 防空反導(dǎo)作戰(zhàn)過(guò)程邏輯框圖
5.3.2 系統(tǒng)的輸入輸出參數(shù)
5.4 防空反導(dǎo)系統(tǒng)效能評(píng)估方法
5.4.1 效能準(zhǔn)則
5.4.2 效能計(jì)算

第6章 CSMSL仿真系統(tǒng)分布式運(yùn)行效率
6.1 面向CSMSL的分布式仿真引擎
6.2 與HLA架構(gòu)效率對(duì)比
6.3 跨平臺(tái)分布式運(yùn)行效率
6.3.1 實(shí)驗(yàn)設(shè)計(jì)及運(yùn)行
6.3.2 想定應(yīng)用
6.4 高性能集群系統(tǒng)分布式運(yùn)行效率
6.4.1 集群運(yùn)行調(diào)度
6.4.2 集群運(yùn)行流程
6.4.3 集群運(yùn)行結(jié)果
6.4.4 集群InfiniBand支持
總結(jié)

參考文獻(xiàn)