x語言編輯器建模仿真軟件，是一套統(tǒng)一多領(lǐng)域的建模與仿真語言。涉及C++和python等開發(fā)語言。是鯨藍(lán)互聯(lián)科技創(chuàng)根據(jù)北京航空航天大學(xué)要求，聯(lián)手合作開發(fā)的x語言編輯器建模仿真軟件項(xiàng)目。

X語言的主要能力是解決復(fù)雜產(chǎn)品的建模與仿真一體化的問題，X語言從復(fù)雜產(chǎn)品跨域模型的關(guān)聯(lián)與協(xié)同描述、統(tǒng)一建模語言的智能化語義拓展和語法/語義感知的建模元語動(dòng)態(tài)解析三個(gè)方面入手，提出面向復(fù)雜產(chǎn)品仿真的一體化智能化建模語言，貫穿需求設(shè)計(jì)和仿真驗(yàn)證等全流程、多學(xué)科、跨階段的協(xié)同設(shè)計(jì)建模與優(yōu)化，建立面向復(fù)雜產(chǎn)品全系統(tǒng)異構(gòu)模型的構(gòu)建框架，實(shí)現(xiàn)在不同仿真應(yīng)用場(chǎng)景和仿真任務(wù)下對(duì)復(fù)雜產(chǎn)品全系統(tǒng)規(guī)范化協(xié)同化智能化建模。

X語言解釋器承擔(dān)著將X語言構(gòu)建的模型解釋為底層仿真器可執(zhí)行代碼的任務(wù)，是實(shí)現(xiàn)X語言全流程驗(yàn)證的有效工具。由于X語言所具備的支持多領(lǐng)域建模的能力，所以在語言設(shè)計(jì)時(shí)包括了基于等式以及基于過程兩種設(shè)計(jì)思想，因?yàn)閮煞N方法對(duì)應(yīng)的解釋器設(shè)計(jì)思路的不一致，導(dǎo)致X語言的解釋器設(shè)計(jì)存在先天性的困難。 本項(xiàng)目基于常用的編程語言解釋器設(shè)計(jì)方案以及基于方程的建模語言解釋器設(shè)計(jì)方案展開對(duì)X語言解釋器的構(gòu)建，結(jié)合現(xiàn)有的詞法、語法解析工具，完成對(duì)X語言語義設(shè)計(jì)中對(duì)連續(xù)、離散以及智能體等多領(lǐng)域模型解析工具的設(shè)計(jì)。并基于設(shè)計(jì)的工具展開總體性驗(yàn)證實(shí)驗(yàn)，實(shí)現(xiàn)解釋器對(duì)多領(lǐng)域模型的合理解析。