...计-毕业设计门户网 关键字:Petri网;状态变迁模型;并发;停等协议 [gap=434]Key words: Petri net; States transition model; Concurrency; Stop-and-wait protocol ...
基于28个网页-相关网页
以任务为核心集成过程模型与生命周期模型,采用过程与生命周期的松耦合互动驱动文档生命周期状态的变迁。
The loosely coupled process and lifecycle model were integrated by tasks and were interplayed to drive the transition of document lifecycle states.
基于渗透模型的网络攻击路径挖掘方法,通过匹配知识库定义的基本渗透过程,模拟攻击过程中网络安全状态变迁,挖掘可能达到特定攻击目标的攻击路径。
An infiltration model-based attack path analysis method was proposed which can simulate network security state changes and give out attack paths that may lead to certain attack goals.
将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态组成的序列对。
A model termed probabilistic configuration transition systems was proposed, which are composed of a pair of a PKAT expression and a data-state.
应用推荐