TGM模型的RTL形式化描述

TGM模型是实时仿真参考模型的重要组成模型。它可以描述、构造实时系统行为。本文选取基于事件的RTL语言 ,形式化定义了TGM模型和其表现形式 ,如 :断开子图、任务断开子图、非断开子图和混合子图等。

TGM任务图模型和理论基础

实时仿真系统参考模型中最为重要的组成成员是 TGM任务图模型 ,本文将深入研究TGM模型的定义和理论基础。

基于TGM-ARMA模型的地铁隧道结构沉降预测分析

地铁隧道结构沉降主要受土层状况、地下水位、轨道荷载及周边环境等诸多因素影响,机理复杂,随机性强,而且随时间不断变化,难以用固定的数学模型表示,是一个非平稳的过程。据此,结合以灰色系统理论为基础的TGM(1,1)模型和以时间序列为基础的ARMA(n,m)模型各自的特点,建立了时变参数灰序模型TGM(1,1)-ARMA(n,m),并对地铁隧道主体结构沉降进行了分析与预报,结果表明时变参数灰序模型预测精度较高,且适用于中长期预测。因此,该组合模型在地铁隧道结构沉降预测分析中有较强的适用性,具有一定的应用价值。

实时仿真系统参考模型

实时仿真是一个重要研究领域。我们认为复杂实时仿真系统必须分解，进行分层功能描述。因此，本文根据多年实时仿真工作经验，给出了仿真计算机的体系结构。文章借鉴PERTS[8]系统，提出了实时仿真系统的参考模型。即：TGM模型、AS算法调度器、RGM模型和RACP资源访问控制协议。文章通过例子阐述了此模型的逻辑功能和基本概念。

基于攻击图的渗透测试模型设计

渗透测试模型是渗透测试的关键技术,但现有的渗透测试模型难以模拟网络攻击过程。本文借鉴了攻击图这种成熟的攻击模型,设计了基于攻击图的渗透测试模型(PTGM),将渗透测试全过程映射到PTGM模型中。最后本文还给出了基于PTGM的渗透测试过程。