亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        信息物理系統(tǒng)軟件設(shè)計自動化專題前言*

        2020-12-09 20:45:32陳銘松
        軟件學(xué)報 2020年6期
        關(guān)鍵詞:本專題???/a>稿件

        卜 磊 , 陳銘松 , 朱 祺 , 劉 超

        1(計算機(jī)軟件新技術(shù)國家重點實驗室(南京大學(xué)),江蘇 南京 210093)2(南京大學(xué) 計算機(jī)科學(xué)與技術(shù)系,江蘇 南京 210093)3(軟硬件協(xié)同設(shè)計技術(shù)與應(yīng)用教育部工程研究中心(華東師范大學(xué)),上海 200241)4(華東師范大學(xué) 軟件工程學(xué)院,上海 200241)5(Department of Electrical and Computer Engineering,Northwestern University,Evanston,USA)6(北京航空航天大學(xué) 計算機(jī)學(xué)院,北京 100191)

        為了更精確地認(rèn)識與改造世界,新一代的嵌入式系統(tǒng)必須將計算世界與物理世界作為緊密交互的整體進(jìn)行認(rèn)知,實現(xiàn)集計算、通信與控制于一體的深度融合的理論體系與技術(shù)框架,即信息物理系統(tǒng)(cyber-physical systems,簡稱CPS).與傳統(tǒng)嵌入式系統(tǒng)不同,CPS 充分考慮了計算部件與物理環(huán)境的深度融合,通過將設(shè)備智能化連接,實現(xiàn)物理環(huán)境系統(tǒng)與計算系統(tǒng)之間精確感知與高效協(xié)同.基于CPS 理念設(shè)計出來的計算設(shè)備可以根據(jù)具體任務(wù)需求自適應(yīng)地調(diào)整與配置計算邏輯,精確智能地獲取外部物理環(huán)境信息并做出針對性的實時反應(yīng),完成安全可靠的控制服務(wù),從而實現(xiàn)物理世界與信息世界的有機(jī)統(tǒng)一.

        隨著人們對信息技術(shù)質(zhì)量要求的不斷提高,CPS 迅速在眾多安全攸關(guān)領(lǐng)域得以部署承擔(dān)關(guān)鍵任務(wù).從遠(yuǎn)程精準(zhǔn)醫(yī)療到智能軌道交通,從無人駕駛到航空航天,從智慧城市到智能制造,無處不見CPS 的身影.雖然CPS 在眾多領(lǐng)域獲得成功,然而由于其涉及多維時空約束、異構(gòu)物理/計算進(jìn)程交互、運行環(huán)境不確定等因素,CPS 設(shè)計復(fù)雜度極高.在缺乏設(shè)計自動化方法與技術(shù)的情況下,CPS 開發(fā)周期長且質(zhì)量難于保證.日益復(fù)雜的CPS 設(shè)計與實現(xiàn)在給產(chǎn)業(yè)界與學(xué)術(shù)界帶來巨大挑戰(zhàn)的同時,也創(chuàng)造了大量新的機(jī)遇,CPS 設(shè)計自動化目前已成為國際相關(guān)研究領(lǐng)域的關(guān)注與研究熱點.

        本專題采取自由投稿的方式,共收到14 篇投稿.特約編輯邀請了30 余位領(lǐng)域?qū)<覅⑴c審稿,每篇稿件至少邀請3 位專家進(jìn)行評審,每篇錄用稿件都經(jīng)過至少3 輪審稿.14 篇稿件中共計10 篇稿件通過第1 輪評審,8 篇稿件通過第2 輪評審,并在CCF 軟件工程專業(yè)委員會、系統(tǒng)軟件專業(yè)委員會年會全國軟件與應(yīng)用學(xué)術(shù)會議NASAC2019 會議上進(jìn)行了報告.經(jīng)過第3 輪終審及少數(shù)稿件的第4 輪復(fù)審后,最終有6 篇論文入選本專題.

        《基于SHML 的CPS 行為建模及仿真》提出了一種面向CPS 領(lǐng)域的建模及仿真方法,設(shè)計并實現(xiàn)了一個集成的面向CPS 行為的建模與仿真平臺,為CPS 的建模及仿真提供了一種有效的方法及工具支撐.

        《垂懸指針檢測與防御方法》針對復(fù)雜系統(tǒng)軟件中廣泛出現(xiàn)的懸垂指針問題進(jìn)行研究,提出了一種名為DangDone 的垂懸指針防御方法,通過在編譯時的程序轉(zhuǎn)換來定位潛在的垂懸指針并防御use-after-free 或double-free 漏洞.

        《自主機(jī)器人多智能體軟件架構(gòu)及伴隨行為機(jī)制》提出了基于多智能體的自主機(jī)器人控制軟件軟件架構(gòu),以及基于相應(yīng)架構(gòu)的伴隨行為機(jī)制.該工作基于分步規(guī)劃和動態(tài)決策的思想設(shè)計并實現(xiàn)了相應(yīng)自主決策算法DAAB,并在相應(yīng)仿真環(huán)境和實際機(jī)器人環(huán)境上進(jìn)行了案例分析.

        《軌道交通聯(lián)鎖領(lǐng)域特定語言的形式化》基于軌道交通聯(lián)鎖系統(tǒng)中故障的隨機(jī)性和行為實時性的特點,提出了基于建立隨機(jī)混成系統(tǒng)模型來仿真、預(yù)測軌道交通連鎖系統(tǒng)的方法.該方法在實際聯(lián)鎖系統(tǒng)進(jìn)行實例研究,并在UPPAAL-SMC 平臺上進(jìn)行了事故模型的預(yù)測分析.

        《基于AADL 的失效概率分配及安全性評估方法》綜合考慮 AADL 架構(gòu)的層次化設(shè)計、模型復(fù)雜度和構(gòu)件失效造成影響的嚴(yán)重程度,針對安全關(guān)鍵系統(tǒng)提出基于 AADL 的失效概率分配方法,以應(yīng)對安全性評估過程中如何分配失效概率的問題.相關(guān)技術(shù)在飛控CPS 系統(tǒng)上進(jìn)行了實例研究.

        《馬爾可夫信息物理系統(tǒng)拒絕服務(wù)攻擊安全控制》研究了馬爾可夫跳變信息物理系統(tǒng)在模態(tài)依賴拒絕服務(wù)(DoS)攻擊下的安全控制問題.提出了一種新穎的模態(tài)依賴事件觸發(fā)策略來減少網(wǎng)絡(luò)資源消耗.

        本專題面向信息物理系統(tǒng)的研究人員和工程人員,內(nèi)容涵蓋系統(tǒng)建模、系統(tǒng)架構(gòu)、可信保障等領(lǐng)域,反映了我國學(xué)者在相關(guān)領(lǐng)域的高水平研究成果.感謝《軟件學(xué)報》編委會、CCF 軟件工程專委會、系統(tǒng)軟件專委會對專題工作的指導(dǎo)和幫助,感謝專題全體評審專家及時、耐心、細(xì)致的評審工作,感謝踴躍投稿的所有作者.希望本專題能夠?qū)π问交椒ǖ目蒲泄ぷ饔兴龠M(jìn).

        ??丶s編輯、北航計算機(jī)學(xué)院劉超教授在??幕I劃階段分享了大量寶貴的經(jīng)驗,并在征稿、審稿等環(huán)節(jié)做了大量的工作,使得專刊實施過程得以順利開展.然而,在本??磳⑼瓿芍H,劉超老師卻因病永遠(yuǎn)離開了我們.劉老師睿智、謙遜、淵博、平和,為推動我國軟件工程事業(yè)發(fā)展做出了重要貢獻(xiàn),我們借此表達(dá)深深的懷念和敬意.

        猜你喜歡
        本專題???/a>稿件
        錄用稿件補(bǔ)充說明
        恒河靜默塵世喧囂
        中國三峽(2018年11期)2018-11-30 06:47:08
        佛羅里達(dá),花和陽光的國度
        中國三峽(2018年4期)2018-04-26 07:20:56
        Shanxi Agricultural University Visitor Professor Donald Grierson*
        我們的端午
        中國三峽(2015年5期)2015-03-18 06:13:35
        本刊歡迎下列稿件
        蘇州河的現(xiàn)實與夢境
        中國三峽(2015年9期)2015-01-26 20:38:30
        電影故事(2015年51期)2015-01-11 09:17:17
        ???/a>
        電影故事(2015年49期)2015-01-09 04:52:58
        特約稿件
        物理與工程(2013年6期)2013-03-11 16:06:14
        亚洲视频一区二区三区免费| 国产在线无码制服丝袜无码| 国产精品无码一区二区在线国| 精品视频在线观看一区二区有| 99久久精品人妻少妇一| 午夜精品射精入后重之免费观看| 亚洲日韩国产精品第一页一区| 无码高清视频在线播放十区| 久亚洲一线产区二线产区三线麻豆| 东北少妇不戴套对白第一次| 中文字幕无码av激情不卡| 亚洲区偷拍自拍29p| 国产一级黄色片一区二区| 国产aⅴ无码专区亚洲av| 欧洲日本一线二线三线区本庄铃| 最新国产成人综合在线观看| 全国一区二区三区女厕偷拍| 日韩少妇内射免费播放18禁裸乳 | 国产精品无码一区二区三区在| 无码人妻精一区二区三区| 亚洲国产精品中文字幕日韩| 国产女主播福利在线观看| 成在线人av免费无码高潮喷水| 无码专区久久综合久中文字幕| 国产精品爽爽VA吃奶在线观看| 最新国产女主播在线观看| 国产av自拍视频在线观看| 亚洲一区二区三区99区| 国产免费专区| 亚洲av熟妇高潮30p| 亚洲色无码中文字幕| 国产婷婷成人久久av免费| 亚洲av日韩av在线观看| 亚洲AV无码国产成人久久强迫| 国产少妇露脸精品自拍网站| 无码无套少妇毛多18p| 九九九精品成人免费视频小说| 日本一区二区三区啪啪| 国产日韩厂亚洲字幕中文| 成人免费看吃奶视频网站| 国产精品亚洲ΑV天堂无码|