當(dāng)前位置：首頁(yè) > 科技文檔 > 自動(dòng)化 > 正文

基于AOP的時(shí)空Petri網(wǎng)的CPS建模

計(jì)算機(jī)科學(xué) 頁(yè)數(shù)： 5 2017-07-15
摘要： 信息-物理融合系統(tǒng)(Cyber-Physical System,CPS)作為一系列物理過(guò)程和計(jì)算過(guò)程的緊密集成,體現(xiàn)為物理世界和信息世界的交互與融合。針對(duì)CPS的時(shí)空及非功能屬性,提出一種面向方面的時(shí)空Petri網(wǎng)建模方法,在保證時(shí)空一致性的前提下,分離系統(tǒng)中的核心關(guān)注點(diǎn)和橫切關(guān)注點(diǎn),將橫切關(guān)注點(diǎn)單獨(dú)作為方面進(jìn)行分析,并將構(gòu)建規(guī)則方面重新織入系統(tǒng)。該方法在系統(tǒng)設(shè)計(jì)階段可以對(duì)不同的非功能屬性進(jìn)行形式化分析,提高了系統(tǒng)的可靠性和可維護(hù)性。最后通過(guò)實(shí)例說(shuō)明了該方法的可行性。 （共5頁(yè)）

開(kāi)通會(huì)員，享受整站包年服務(wù)
科技文檔
數(shù)學(xué) 力學(xué) 化學(xué) 金融 證券 保險(xiǎn) 投資 會(huì)計(jì) 審計(jì) 園藝 林業(yè) 旅游 體育 物理學(xué) 生物學(xué) 天文學(xué) 氣象學(xué) 海洋學(xué) 地質(zhì)學(xué) 新能源 金屬學(xué) 農(nóng)藝學(xué) 農(nóng)作物 管理學(xué) 領(lǐng)導(dǎo)學(xué) 自然科學(xué) 系統(tǒng)科學(xué) 資源科學(xué) 無(wú)機(jī)化工 有機(jī)化工 燃料化工 化學(xué)工業(yè) 材料科學(xué) 礦業(yè)工程 冶金工業(yè) 安全科學(xué) 環(huán)境科學(xué) 工業(yè)通用 機(jī)械工業(yè) 無(wú)線(xiàn)電子 電信技術(shù) 鐵路運(yùn)輸 汽車(chē)工業(yè) 船舶工業(yè) 動(dòng)力工程 電力工業(yè) 農(nóng)業(yè)科學(xué) 農(nóng)業(yè)工程 植物保護(hù) 動(dòng)物醫(yī)學(xué) 教育理論 學(xué)前教育 初等教育 中等教育 高等教育 職業(yè)教育 成人教育 自然地理 地球物理 經(jīng)濟(jì)統(tǒng)計(jì) 農(nóng)業(yè)經(jīng)濟(jì) 工業(yè)經(jīng)濟(jì) 交通經(jīng)濟(jì) 企業(yè)經(jīng)濟(jì) 文化經(jīng)濟(jì) 信息經(jīng)濟(jì) 貿(mào)易經(jīng)濟(jì) 財(cái)政稅收 市場(chǎng)研究 科學(xué)研究 互聯(lián)網(wǎng) 自動(dòng)化 輕工業(yè) 核科學(xué) 服務(wù)業(yè) 石油然氣 服務(wù)業(yè) 野生動(dòng)物 水產(chǎn)漁業(yè) 硬件 儀器儀表 航空航天 武器軍事 公路運(yùn)輸 水利水電 建筑科學(xué) 軟件