信息安全与通信保密
信息安全與通信保密
신식안전여통신보밀
CHINA INFORMATION SECURITY
2010年
1期
88-92
,共5页
可生存性%MARC模型%描述语言%移动Ad%hoc网络
可生存性%MARC模型%描述語言%移動Ad%hoc網絡
가생존성%MARC모형%묘술어언%이동Ad%hoc망락
文中提出了一种针对移动Ad hoc网络可生存性模型的建模方法,构建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,并且支持利用该方法构建的可生存性模型向仿真实例的自动转换.详细分析并形式化描述了M A R C模型中涉及的网络服务和事件等概念,并以此为基础设计了可生存性模型描述语言MARCDL,列举了语言中主要的EBNF范式描述.实例分析表明,运用该建模方法,不仅可以抽象地构造出面向战术环境的移动Ad hoc网络可生存性模型,而且为可生存性模型的从高层描述到低层仿真的自动转换提供了有力支持.
文中提齣瞭一種針對移動Ad hoc網絡可生存性模型的建模方法,構建MARC(MANET Actor,Role and Coordinator Model)可生存性描述模型,併且支持利用該方法構建的可生存性模型嚮倣真實例的自動轉換.詳細分析併形式化描述瞭M A R C模型中涉及的網絡服務和事件等概唸,併以此為基礎設計瞭可生存性模型描述語言MARCDL,列舉瞭語言中主要的EBNF範式描述.實例分析錶明,運用該建模方法,不僅可以抽象地構造齣麵嚮戰術環境的移動Ad hoc網絡可生存性模型,而且為可生存性模型的從高層描述到低層倣真的自動轉換提供瞭有力支持.
문중제출료일충침대이동Ad hoc망락가생존성모형적건모방법,구건MARC(MANET Actor,Role and Coordinator Model)가생존성묘술모형,병차지지이용해방법구건적가생존성모형향방진실례적자동전환.상세분석병형식화묘술료M A R C모형중섭급적망락복무화사건등개념,병이차위기출설계료가생존성모형묘술어언MARCDL,열거료어언중주요적EBNF범식묘술.실례분석표명,운용해건모방법,불부가이추상지구조출면향전술배경적이동Ad hoc망락가생존성모형,이차위가생존성모형적종고층묘술도저층방진적자동전환제공료유력지지.
