提出了一種基于云模型的主機安全評估方法,方法全面考慮影響主機安全的連續型及離散型因素,設計了一套完整的指標因素集,并把離散參數加入云的不確定推理器,改進了單純依靠連續型參數進行評估的推理算法.通過推理算法可以實現云的不確定性評估,解決評估知識表達的不確定性,實現定性概念與定量數據之間的不確定性轉換,為用戶提供可靠的決策信息,并且通過實驗仿真驗證了方法的可行性.

0引言信息安全是我國信息產業發展中比較重要的一個問題,它影響著我國信息網絡的發展前景。要做好信息安全保護,必須要進行信息安全評估。根據信息安全評估發現信息安全風險并采取防范措施,是目前我們研究的重要的信息安全保護手段。而要對信息安全進行評估,必須要先進行信息安全關系模型的構建,然后根據信息安全評估的模型,采取相應的評估方法進行信息安全評估。隨著國家經濟的發展,我國信息網絡技術也逐漸得到了迅速

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

演化算法在求解大型、復雜的工程優化問題時,由于大量耗時的詳細分析計算,導致算法的優化效率很低。文中將均勻設計、徑向基神經網絡技術以及演化算法結合起來,發展了一種“基于均勻設計的逐步修正近似模型構造方法”。利用該方法可以建立目標及約束的近似模型,不僅避免了耗時的詳細分析計算,而且提高了演化算法的效率。演化算法采用粒子群優化算法,以六峰值駝背測試函數以及某載人返回艙氣動布局優化設計作為算例,驗證了該方法的有效性。

\"工業4.0\"和\"中國制造2025\"為制造業產業結構調整提供了新方向,針對制造業發展的多視角研究現狀,確定了以產業能源安全角度對實現\"智造強國\"新路徑進行探析的新思路。基于系統分析的\"物理-事理-人理\"理論和方法,構建了制造業能源安全的wsr三維解鎖模型,并對制造業能源安全的物理(人類社會-能源系統狀態)、事理(制造業能源安全預警)、人理(制造業能源立法)進行辯證分析,為制造業能源安全的系統研究提供了理論和方法支撐。

針對信息系統安全評價現有方法中各評價指標由研究者主觀提出的實際情況,提出了一種新的綜合層次分析法并結合德爾菲法的a-delphi方法構建分層結構評價體系,運用該評價體系建立了一個適用于信息系統安全評價的通用數學模型。最后利用模糊綜合評價法在該模型基礎上對一個實際信息系統進行了安全等級評估。

針對傳統故障模式及影響分析（failuremodeandeffectsanalysis,簡稱fmea）不能識別裝備或零部件的故障機理,其故障原因分析、故障影響推理及潛在故障模式識別能力較弱,故障信息描述不規范等導致的分析效率低、可信度差、分析結果重復使用性差等問題,提出一種新的故障機理、模式及影響分析（failuremode,mechanismandeffectsanalysis,簡稱fmmea）方法。首先,根據系統結構、功能及其內部物質流、能量流、信號流、部件故障等信息建立系統的功能-結構-故障模型;其次,采用模糊認知圖推理分析各故障模式的傳播途徑及影響,得到規范化的故障模式及影響分析表格,可為系統的可靠性、測試性設計與分析提供基礎數據;最后,以某燃油供給系統為例進行了fmmea分析,驗證了該方法的可行性和有效性。

介紹了基于模型參考故障診斷的閘門優化維護系統的設計思想及構成。結合清江隔河巖水利樞紐閘門傳動系統,介紹了監測量的選擇標準。考慮到液壓傳動系統的非線性特性,為了提高模型的準確性,采用了分布式物理圖網建模方法建立液壓系統模型。以油缸為例說明了建模方法及狀態觀測器的設計方法。實踐證明該系統能夠有效地檢測液壓傳動系統的典型故障

該文把靜態分析技術與基于模型的演繹驗證結合起來提供了一個框架,分析應用源代碼,自動生成一個分析器,它能夠推斷關于給定程序行為的邏輯約束方面的信息。該文引入了一階邏輯斷言來描述api調用語義。這些斷言構成分析器使用的模型。通過實驗,該方法可被用來識別java程序中的關于安全的邏輯錯誤。

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

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

為預測民航安全業績發展趨勢,通過散點圖、相關系數、主因子分析等多種統計方法,篩選5大類、共計20項與民航安全運行關系密切的社會經濟指標,建立民航綜合安全指數mlr模型;依據中國民航在1995—2014年間的安全生產歷史數據,分析其發展歷史、現狀、特征與存在的問題,并利用arima模型進行預測分析。結果表明,人員素質因子和技術能力因子對民航安全均有顯著影響;民航安全綜合指數預測值在2015—2017年間總體穩定;mlr方法和arima模型對民航安全趨勢的耦合分析結果良好。

近年來,建筑結構的安全性問題已成為人們關注的焦點,對此展開全方面的安全評估是極為必要的,應用有效的模型修正方法實施結構安全評估,能夠降低檢測誤差,有利于全面檢測層剛度系數,提高識別對象的準確度.本文首先對模型修正算法及方法分類進行了基本介紹,然后通過數值研究對方法實施深入探究.

針對飛行安全風險問題,采用層次分析的方法(ahp)建立了評估模型。將飛行安全目標分解,建立層次結構模型;運用特爾非法構造評判矩陣;通過實例運算,層次總排序結果通過一致性檢驗,說明模型結構合理,具有很好的實際應用價值。

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

土地生態安全是資源環境生態系統健康的基礎。鑒于土地生態系統安全各項評價指標的不相容性,借助經典ees-psr模型在土地生態安全評價指標體系方面的優勢,采用物元模型分析方法,構建了土地生態安全評價物元模型。以黑龍江省哈爾濱市的土地生態安全評價為例,利用物元評價模型,在gis技術支持下,實現了研究區土地生態安全評價與評價結果的可視化表達與分析。研究結果表明:2011—2015年哈爾濱市土地生態安全水平從“不安全”向“安全”水平不斷轉化,2013年后變化最為突出。造林面積、第一產業占gdp比例、萬元gdp能耗標準煤、工業廢水處理率、人均占有公共綠地面積連續多年處于“不安全”水平,是哈爾濱市土地生態安全水平的制約因素。2015年哈爾濱市中部、西南部地區土地生態安全水平較差,北部、東南部地區水平較高。研究表明物元模型分析對于地區土地生態安全評價工作具有一定的理論價值。

本文通過對既有隧道擴挖施工系統進行結構分析,確定了人、機、環境、管理和信息等五類15個致因,并考慮各個因素之間的交互作用,采用dematel/ism方法進行既有隧道擴挖施工安全影響因素建模。分析結果表明:安全文化薄弱,應變能力差和認識缺陷等是既有隧道擴挖施工安全風險關鍵因素。

從人件、硬件、軟件、應急救援以及環境等方面對電梯建立安全評估體系,在genie上建立貝葉斯拓撲結構。利用維保部門的故障記錄作為數據訓練樣本,得到根節點概率和條件概率。改變根節點的邊緣概率,刷新貝葉斯模型對電梯安全做風險評估,找出影響電梯安全的最大風險因素。實驗結果表明,電梯的硬件因素能對電梯安全產生最大影響。

為了評估某個網絡的安全性,把網絡當中的所有主機系統當作云滴,提出了一種基于云模型的分布式主機安全評估方法,該方法考慮不同主機系統在網絡安全評估中的重要程度,利用云相似度算法,解決了決策層評估不確定型問題,實現定性概念與定量數據之間的不確定性轉換,為用戶提供可靠的決策信息,并且通過實例驗證了該方法的可行性。

從人件、硬件、軟件、應急救援以及環境等方面對電梯建立安全評估體系,在genie上建立貝葉斯拓撲結構。利用維保部門的故障記錄作為數據訓練樣本,得到根節點概率和條件概率。改變根節點的邊緣概率,刷新貝葉斯模型對電梯安全做風險評估,找出影響電梯安全的最大風險因素。實驗結果表明,電梯的硬件因素能對電梯安全產生最大影響。

□□□□□□□□□ 作者單位：100037北京北京信息安全測評中心1 一種基于模型的信息安全風險評估方法 李嵩孟亞平孫鐵劉海峰 [摘要]基于模型的評估方法對信息安全風險評估具有重要的意義。該文提出一種基于統一建模語言、攻擊樹分 析事件樹分析模型的信息安全風險評估方法，運用面向對象的、半形式化的方法分析和描述安全風險相關要素， 基于ata模型深入分析評估關鍵信息資產的安全風險，基于eta分析安全事件對業務的影響，提高風險評估 的精確性和客觀性。基于模型的方法還有利于風險評估相關要素模式的抽象和復用，以及評估工具的開發和應 用，提高風險評估的生產率。 [關鍵詞]信息安全風險評估基于模型統一建模語言攻擊樹分析事件樹分析 amodeldriveninformationsecurity riskassessmentapproach lis

隨著計算機信息技術的快速發展,計算機信息技術在人們的工作生活中得到了廣泛地應用,但由此引發的網絡安全問題,也得到了人們密切關注。為了保證網絡安全,通過利用博弈模型進行攻防交互,可以設計一種網絡安全最優攻防決策。基于博弈模型的網絡安全最優攻防決策應用過程中,根據網絡拓撲信息、節點的可達關系和脆弱性信息,生成狀態攻防圖,從而對各原子的攻擊概率和危害情況進行分析,保證網絡安全防護設計具有較強的針對性,以滿足網絡安全建設實際需要。