基于PWA模型安全診斷方法在CSTR系統(tǒng)中應(yīng)用

提出了一種基于云模型的主機(jī)安全評(píng)估方法,方法全面考慮影響主機(jī)安全的連續(xù)型及離散型因素,設(shè)計(jì)了一套完整的指標(biāo)因素集,并把離散參數(shù)加入云的不確定推理器,改進(jìn)了單純依靠連續(xù)型參數(shù)進(jìn)行評(píng)估的推理算法.通過(guò)推理算法可以實(shí)現(xiàn)云的不確定性評(píng)估,解決評(píng)估知識(shí)表達(dá)的不確定性,實(shí)現(xiàn)定性概念與定量數(shù)據(jù)之間的不確定性轉(zhuǎn)換,為用戶提供可靠的決策信息,并且通過(guò)實(shí)驗(yàn)仿真驗(yàn)證了方法的可行性.

0引言信息安全是我國(guó)信息產(chǎn)業(yè)發(fā)展中比較重要的一個(gè)問(wèn)題,它影響著我國(guó)信息網(wǎng)絡(luò)的發(fā)展前景。要做好信息安全保護(hù),必須要進(jìn)行信息安全評(píng)估。根據(jù)信息安全評(píng)估發(fā)現(xiàn)信息安全風(fēng)險(xiǎn)并采取防范措施,是目前我們研究的重要的信息安全保護(hù)手段。而要對(duì)信息安全進(jìn)行評(píng)估,必須要先進(jìn)行信息安全關(guān)系模型的構(gòu)建,然后根據(jù)信息安全評(píng)估的模型,采取相應(yīng)的評(píng)估方法進(jìn)行信息安全評(píng)估。隨著國(guó)家經(jīng)濟(jì)的發(fā)展,我國(guó)信息網(wǎng)絡(luò)技術(shù)也逐漸得到了迅速

為完善安全理論模型構(gòu)建方法論體系,論述安全理論模型的定義、內(nèi)涵與結(jié)構(gòu)等基礎(chǔ)問(wèn)題,并提煉安全建模方法論理論基礎(chǔ)和構(gòu)建原則.從系統(tǒng)粒度、安全科學(xué)原理研究路徑與模型表達(dá)形式抽象程度3維度厘清安全理論模型的研究取向,并構(gòu)建安全理論模型體系空間.提煉安全理論模型構(gòu)建的一般方法,從已知與未知2個(gè)視角探析安全理論建模步驟.基于此,建立安全模型構(gòu)建方法論的范式體系.

演化算法在求解大型、復(fù)雜的工程優(yōu)化問(wèn)題時(shí),由于大量耗時(shí)的詳細(xì)分析計(jì)算,導(dǎo)致算法的優(yōu)化效率很低。文中將均勻設(shè)計(jì)、徑向基神經(jīng)網(wǎng)絡(luò)技術(shù)以及演化算法結(jié)合起來(lái),發(fā)展了一種“基于均勻設(shè)計(jì)的逐步修正近似模型構(gòu)造方法”。利用該方法可以建立目標(biāo)及約束的近似模型,不僅避免了耗時(shí)的詳細(xì)分析計(jì)算,而且提高了演化算法的效率。演化算法采用粒子群優(yōu)化算法,以六峰值駝背測(cè)試函數(shù)以及某載人返回艙氣動(dòng)布局優(yōu)化設(shè)計(jì)作為算例,驗(yàn)證了該方法的有效性。

\"工業(yè)4.0\"和\"中國(guó)制造2025\"為制造業(yè)產(chǎn)業(yè)結(jié)構(gòu)調(diào)整提供了新方向,針對(duì)制造業(yè)發(fā)展的多視角研究現(xiàn)狀,確定了以產(chǎn)業(yè)能源安全角度對(duì)實(shí)現(xiàn)\"智造強(qiáng)國(guó)\"新路徑進(jìn)行探析的新思路?；谙到y(tǒng)分析的\"物理-事理-人理\"理論和方法,構(gòu)建了制造業(yè)能源安全的wsr三維解鎖模型,并對(duì)制造業(yè)能源安全的物理(人類(lèi)社會(huì)-能源系統(tǒng)狀態(tài))、事理(制造業(yè)能源安全預(yù)警)、人理(制造業(yè)能源立法)進(jìn)行辯證分析,為制造業(yè)能源安全的系統(tǒng)研究提供了理論和方法支撐。

針對(duì)信息系統(tǒng)安全評(píng)價(jià)現(xiàn)有方法中各評(píng)價(jià)指標(biāo)由研究者主觀提出的實(shí)際情況,提出了一種新的綜合層次分析法并結(jié)合德?tīng)柗品ǖ腶-delphi方法構(gòu)建分層結(jié)構(gòu)評(píng)價(jià)體系,運(yùn)用該評(píng)價(jià)體系建立了一個(gè)適用于信息系統(tǒng)安全評(píng)價(jià)的通用數(shù)學(xué)模型。最后利用模糊綜合評(píng)價(jià)法在該模型基礎(chǔ)上對(duì)一個(gè)實(shí)際信息系統(tǒng)進(jìn)行了安全等級(jí)評(píng)估。

針對(duì)傳統(tǒng)故障模式及影響分析（failuremodeandeffectsanalysis,簡(jiǎn)稱(chēng)fmea）不能識(shí)別裝備或零部件的故障機(jī)理,其故障原因分析、故障影響推理及潛在故障模式識(shí)別能力較弱,故障信息描述不規(guī)范等導(dǎo)致的分析效率低、可信度差、分析結(jié)果重復(fù)使用性差等問(wèn)題,提出一種新的故障機(jī)理、模式及影響分析（failuremode,mechanismandeffectsanalysis,簡(jiǎn)稱(chēng)fmmea）方法。首先,根據(jù)系統(tǒng)結(jié)構(gòu)、功能及其內(nèi)部物質(zhì)流、能量流、信號(hào)流、部件故障等信息建立系統(tǒng)的功能-結(jié)構(gòu)-故障模型;其次,采用模糊認(rèn)知圖推理分析各故障模式的傳播途徑及影響,得到規(guī)范化的故障模式及影響分析表格,可為系統(tǒng)的可靠性、測(cè)試性設(shè)計(jì)與分析提供基礎(chǔ)數(shù)據(jù);最后,以某燃油供給系統(tǒng)為例進(jìn)行了fmmea分析,驗(yàn)證了該方法的可行性和有效性。

介紹了基于模型參考故障診斷的閘門(mén)優(yōu)化維護(hù)系統(tǒng)的設(shè)計(jì)思想及構(gòu)成。結(jié)合清江隔河巖水利樞紐閘門(mén)傳動(dòng)系統(tǒng),介紹了監(jiān)測(cè)量的選擇標(biāo)準(zhǔn)。考慮到液壓傳動(dòng)系統(tǒng)的非線性特性,為了提高模型的準(zhǔn)確性,采用了分布式物理圖網(wǎng)建模方法建立液壓系統(tǒng)模型。以油缸為例說(shuō)明了建模方法及狀態(tài)觀測(cè)器的設(shè)計(jì)方法。實(shí)踐證明該系統(tǒng)能夠有效地檢測(cè)液壓傳動(dòng)系統(tǒng)的典型故障

該文把靜態(tài)分析技術(shù)與基于模型的演繹驗(yàn)證結(jié)合起來(lái)提供了一個(gè)框架,分析應(yīng)用源代碼,自動(dòng)生成一個(gè)分析器,它能夠推斷關(guān)于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來(lái)描述api調(diào)用語(yǔ)義。這些斷言構(gòu)成分析器使用的模型。通過(guò)實(shí)驗(yàn),該方法可被用來(lái)識(shí)別java程序中的關(guān)于安全的邏輯錯(cuò)誤。

為了保障水下無(wú)人潛器的安全,降低潛器工作時(shí)損壞或丟失的風(fēng)險(xiǎn),水下無(wú)人潛器上都會(huì)配備安全系統(tǒng)。它可以在潛器遭遇險(xiǎn)情時(shí),如設(shè)備故障、艙室浸水等,準(zhǔn)確定位故障,評(píng)估危險(xiǎn)形勢(shì)并決策應(yīng)急措施,幫助水下無(wú)人潛器實(shí)現(xiàn)自救。故障診斷專(zhuān)家系統(tǒng)是一種基于知識(shí)的故障診斷方法,十分適用于知識(shí)不完整的復(fù)雜系統(tǒng)設(shè)計(jì)。但由于水下無(wú)人潛器的工作環(huán)境十分復(fù)雜,故障類(lèi)型十分多樣且是實(shí)時(shí)變化的,傳統(tǒng)的故障診斷專(zhuān)家系統(tǒng)因需要花費(fèi)較長(zhǎng)的響應(yīng)時(shí)間,可能無(wú)法滿足安全系統(tǒng)的響應(yīng)時(shí)間要求。為此,將有限狀態(tài)機(jī)技術(shù)應(yīng)用到診斷專(zhuān)家系統(tǒng)中,以提高診斷專(zhuān)家系統(tǒng)的響應(yīng)速度,同時(shí)使系統(tǒng)變得更加靈活,功能拓展更為方便。此外,應(yīng)用基于模型的設(shè)計(jì)方法,在stateflow中建立安全系統(tǒng)的模型,進(jìn)行模型驗(yàn)證工作,借助plccoder工具生成目標(biāo)控制器的代碼完成算法部署工作。

為了使電路故障診斷系統(tǒng)更加智能化、高效化,將基于模型診斷的故障診斷技術(shù)應(yīng)用在智能消防小車(chē)電路中。根據(jù)小車(chē)的系統(tǒng)行為信息對(duì)小車(chē)進(jìn)行建模,利用串口模塊將描述文件在線輸入到計(jì)算機(jī)中,再根據(jù)isds算法以及帶有終止節(jié)點(diǎn)的csse-tree算法調(diào)用minisat求解器求解診斷結(jié)果。實(shí)驗(yàn)表明,該系統(tǒng)能夠迅速指示故障元件,診斷效率較高,具有較好的應(yīng)用前景。

為預(yù)測(cè)民航安全業(yè)績(jī)發(fā)展趨勢(shì),通過(guò)散點(diǎn)圖、相關(guān)系數(shù)、主因子分析等多種統(tǒng)計(jì)方法,篩選5大類(lèi)、共計(jì)20項(xiàng)與民航安全運(yùn)行關(guān)系密切的社會(huì)經(jīng)濟(jì)指標(biāo),建立民航綜合安全指數(shù)mlr模型;依據(jù)中國(guó)民航在1995—2014年間的安全生產(chǎn)歷史數(shù)據(jù),分析其發(fā)展歷史、現(xiàn)狀、特征與存在的問(wèn)題,并利用arima模型進(jìn)行預(yù)測(cè)分析。結(jié)果表明,人員素質(zhì)因子和技術(shù)能力因子對(duì)民航安全均有顯著影響;民航安全綜合指數(shù)預(yù)測(cè)值在2015—2017年間總體穩(wěn)定;mlr方法和arima模型對(duì)民航安全趨勢(shì)的耦合分析結(jié)果良好。

近年來(lái),建筑結(jié)構(gòu)的安全性問(wèn)題已成為人們關(guān)注的焦點(diǎn),對(duì)此展開(kāi)全方面的安全評(píng)估是極為必要的,應(yīng)用有效的模型修正方法實(shí)施結(jié)構(gòu)安全評(píng)估,能夠降低檢測(cè)誤差,有利于全面檢測(cè)層剛度系數(shù),提高識(shí)別對(duì)象的準(zhǔn)確度.本文首先對(duì)模型修正算法及方法分類(lèi)進(jìn)行了基本介紹,然后通過(guò)數(shù)值研究對(duì)方法實(shí)施深入探究.

針對(duì)飛行安全風(fēng)險(xiǎn)問(wèn)題,采用層次分析的方法(ahp)建立了評(píng)估模型。將飛行安全目標(biāo)分解,建立層次結(jié)構(gòu)模型;運(yùn)用特爾非法構(gòu)造評(píng)判矩陣;通過(guò)實(shí)例運(yùn)算,層次總排序結(jié)果通過(guò)一致性檢驗(yàn),說(shuō)明模型結(jié)構(gòu)合理,具有很好的實(shí)際應(yīng)用價(jià)值。

大壩工作性態(tài)影響因素眾多、屬性的特征多樣、相互關(guān)系復(fù)雜,對(duì)其安全狀況的綜合評(píng)估是一個(gè)典型的不確定性問(wèn)題.充分考慮大壩安全評(píng)估過(guò)程中的模糊性和隨機(jī)性,組合應(yīng)用云模型和d-s證據(jù)理論開(kāi)展了大壩安全多指標(biāo)綜合評(píng)估方法研究.依據(jù)大壩安全評(píng)估多指標(biāo)體系和安全等級(jí)劃分標(biāo)準(zhǔn),借助云模型實(shí)現(xiàn)d-s證據(jù)理論中基本概率賦值,進(jìn)而基于d-s證據(jù)理論并加以改進(jìn),構(gòu)建了大壩安全綜合評(píng)估模型,并提出了相應(yīng)的綜合評(píng)估實(shí)現(xiàn)方法.應(yīng)用于實(shí)際工程案例分析,驗(yàn)證了文中所述方法的合理性與可行性.實(shí)例表明,通過(guò)云模型和d-s證據(jù)理論在大壩安全綜合評(píng)估中的組合使用,有效降低了評(píng)估過(guò)程不確定性對(duì)其結(jié)果的影響,為大壩安全多指標(biāo)綜合評(píng)估提供了一種可行的途徑和思路.

土地生態(tài)安全是資源環(huán)境生態(tài)系統(tǒng)健康的基礎(chǔ)。鑒于土地生態(tài)系統(tǒng)安全各項(xiàng)評(píng)價(jià)指標(biāo)的不相容性,借助經(jīng)典ees-psr模型在土地生態(tài)安全評(píng)價(jià)指標(biāo)體系方面的優(yōu)勢(shì),采用物元模型分析方法,構(gòu)建了土地生態(tài)安全評(píng)價(jià)物元模型。以黑龍江省哈爾濱市的土地生態(tài)安全評(píng)價(jià)為例,利用物元評(píng)價(jià)模型,在gis技術(shù)支持下,實(shí)現(xiàn)了研究區(qū)土地生態(tài)安全評(píng)價(jià)與評(píng)價(jià)結(jié)果的可視化表達(dá)與分析。研究結(jié)果表明:2011—2015年哈爾濱市土地生態(tài)安全水平從“不安全”向“安全”水平不斷轉(zhuǎn)化,2013年后變化最為突出。造林面積、第一產(chǎn)業(yè)占gdp比例、萬(wàn)元gdp能耗標(biāo)準(zhǔn)煤、工業(yè)廢水處理率、人均占有公共綠地面積連續(xù)多年處于“不安全”水平,是哈爾濱市土地生態(tài)安全水平的制約因素。2015年哈爾濱市中部、西南部地區(qū)土地生態(tài)安全水平較差,北部、東南部地區(qū)水平較高。研究表明物元模型分析對(duì)于地區(qū)土地生態(tài)安全評(píng)價(jià)工作具有一定的理論價(jià)值。

本文通過(guò)對(duì)既有隧道擴(kuò)挖施工系統(tǒng)進(jìn)行結(jié)構(gòu)分析,確定了人、機(jī)、環(huán)境、管理和信息等五類(lèi)15個(gè)致因,并考慮各個(gè)因素之間的交互作用,采用dematel/ism方法進(jìn)行既有隧道擴(kuò)挖施工安全影響因素建模。分析結(jié)果表明:安全文化薄弱,應(yīng)變能力差和認(rèn)識(shí)缺陷等是既有隧道擴(kuò)挖施工安全風(fēng)險(xiǎn)關(guān)鍵因素。

從人件、硬件、軟件、應(yīng)急救援以及環(huán)境等方面對(duì)電梯建立安全評(píng)估體系,在genie上建立貝葉斯拓?fù)浣Y(jié)構(gòu)。利用維保部門(mén)的故障記錄作為數(shù)據(jù)訓(xùn)練樣本,得到根節(jié)點(diǎn)概率和條件概率。改變根節(jié)點(diǎn)的邊緣概率,刷新貝葉斯模型對(duì)電梯安全做風(fēng)險(xiǎn)評(píng)估,找出影響電梯安全的最大風(fēng)險(xiǎn)因素。實(shí)驗(yàn)結(jié)果表明,電梯的硬件因素能對(duì)電梯安全產(chǎn)生最大影響。

為了評(píng)估某個(gè)網(wǎng)絡(luò)的安全性,把網(wǎng)絡(luò)當(dāng)中的所有主機(jī)系統(tǒng)當(dāng)作云滴,提出了一種基于云模型的分布式主機(jī)安全評(píng)估方法,該方法考慮不同主機(jī)系統(tǒng)在網(wǎng)絡(luò)安全評(píng)估中的重要程度,利用云相似度算法,解決了決策層評(píng)估不確定型問(wèn)題,實(shí)現(xiàn)定性概念與定量數(shù)據(jù)之間的不確定性轉(zhuǎn)換,為用戶提供可靠的決策信息,并且通過(guò)實(shí)例驗(yàn)證了該方法的可行性。

從人件、硬件、軟件、應(yīng)急救援以及環(huán)境等方面對(duì)電梯建立安全評(píng)估體系,在genie上建立貝葉斯拓?fù)浣Y(jié)構(gòu)。利用維保部門(mén)的故障記錄作為數(shù)據(jù)訓(xùn)練樣本,得到根節(jié)點(diǎn)概率和條件概率。改變根節(jié)點(diǎn)的邊緣概率,刷新貝葉斯模型對(duì)電梯安全做風(fēng)險(xiǎn)評(píng)估,找出影響電梯安全的最大風(fēng)險(xiǎn)因素。實(shí)驗(yàn)結(jié)果表明,電梯的硬件因素能對(duì)電梯安全產(chǎn)生最大影響。

□□□□□□□□□ 作者單位：100037北京北京信息安全測(cè)評(píng)中心1 一種基于模型的信息安全風(fēng)險(xiǎn)評(píng)估方法 李嵩孟亞平孫鐵劉海峰 [摘要]基于模型的評(píng)估方法對(duì)信息安全風(fēng)險(xiǎn)評(píng)估具有重要的意義。該文提出一種基于統(tǒng)一建模語(yǔ)言、攻擊樹(shù)分 析事件樹(shù)分析模型的信息安全風(fēng)險(xiǎn)評(píng)估方法，運(yùn)用面向?qū)ο蟮?、半形式化的方法分析和描述安全風(fēng)險(xiǎn)相關(guān)要素， 基于ata模型深入分析評(píng)估關(guān)鍵信息資產(chǎn)的安全風(fēng)險(xiǎn)，基于eta分析安全事件對(duì)業(yè)務(wù)的影響，提高風(fēng)險(xiǎn)評(píng)估 的精確性和客觀性。基于模型的方法還有利于風(fēng)險(xiǎn)評(píng)估相關(guān)要素模式的抽象和復(fù)用，以及評(píng)估工具的開(kāi)發(fā)和應(yīng) 用，提高風(fēng)險(xiǎn)評(píng)估的生產(chǎn)率。 [關(guān)鍵詞]信息安全風(fēng)險(xiǎn)評(píng)估基于模型統(tǒng)一建模語(yǔ)言攻擊樹(shù)分析事件樹(shù)分析 amodeldriveninformationsecurity riskassessmentapproach lis

隨著計(jì)算機(jī)信息技術(shù)的快速發(fā)展,計(jì)算機(jī)信息技術(shù)在人們的工作生活中得到了廣泛地應(yīng)用,但由此引發(fā)的網(wǎng)絡(luò)安全問(wèn)題,也得到了人們密切關(guān)注。為了保證網(wǎng)絡(luò)安全,通過(guò)利用博弈模型進(jìn)行攻防交互,可以設(shè)計(jì)一種網(wǎng)絡(luò)安全最優(yōu)攻防決策。基于博弈模型的網(wǎng)絡(luò)安全最優(yōu)攻防決策應(yīng)用過(guò)程中,根據(jù)網(wǎng)絡(luò)拓?fù)湫畔?、?jié)點(diǎn)的可達(dá)關(guān)系和脆弱性信息,生成狀態(tài)攻防圖,從而對(duì)各原子的攻擊概率和危害情況進(jìn)行分析,保證網(wǎng)絡(luò)安全防護(hù)設(shè)計(jì)具有較強(qiáng)的針對(duì)性,以滿足網(wǎng)絡(luò)安全建設(shè)實(shí)際需要。