计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
13期
90-94
,共5页
周佳骏%马瑞兴%王峰%李肖坚
週佳駿%馬瑞興%王峰%李肖堅
주가준%마서흥%왕봉%리초견
智能扩散%形式化分析%权策略%堆遍历%蠕虫
智能擴散%形式化分析%權策略%堆遍歷%蠕蟲
지능확산%형식화분석%권책략%퇴편력%연충
抽象蠕虫扩散的一般过程,采用确定的有限自动机理论,对蠕虫扩散行为进行形式化描述.建立智能扩散自动机模型,为研究蠕虫扩散过程提供了一种直观的形式化手段.提出加权树策略,基于该策略设计智能扩散模型并详细阐述权策略的核心算法,描述蠕虫智能扩散的本质特征和执行过程.形式论证结果表明,该模型能够有效地刻画智能扩散的特征,实现基于堆遍历加权策略的扩散仿真.
抽象蠕蟲擴散的一般過程,採用確定的有限自動機理論,對蠕蟲擴散行為進行形式化描述.建立智能擴散自動機模型,為研究蠕蟲擴散過程提供瞭一種直觀的形式化手段.提齣加權樹策略,基于該策略設計智能擴散模型併詳細闡述權策略的覈心算法,描述蠕蟲智能擴散的本質特徵和執行過程.形式論證結果錶明,該模型能夠有效地刻畫智能擴散的特徵,實現基于堆遍歷加權策略的擴散倣真.
추상연충확산적일반과정,채용학정적유한자동궤이론,대연충확산행위진행형식화묘술.건립지능확산자동궤모형,위연구연충확산과정제공료일충직관적형식화수단.제출가권수책략,기우해책략설계지능확산모형병상세천술권책략적핵심산법,묘술연충지능확산적본질특정화집행과정.형식론증결과표명,해모형능구유효지각화지능확산적특정,실현기우퇴편력가권책략적확산방진.