1) timed event graph
赋时事件图
1.
Fault diagnosis of timed event graph;
基于赋时事件图的故障诊断(英文)
2) hybrid timed event graph
混杂时间事件图
1.
Approach to computing minimum initial marking of hybrid timed event graphs;
混杂时间事件图的最小初始标志计算方法
3) extended-timed-event-graph
扩展时间事件图
1.
This paper proposes an extended-timed-event-graph(ETEG)-based modeling method for hybrid processes and expresses system parameters by initial tokens of places of the ETEG.
针对混合生产过程的特性 ,提出了采用扩展时间事件图 ( ETEG)建模方法 ,用位置的初始标志表示系统的配置 ,并采用 Dioid代数推出 ETEG的伪线性代数方程组 ,在此基础上计算最优初始标志 ,从而求得系统的最优配置 。
4) Extended timed event graphs
扩展时间事件图(ETEG)
5) event graph
事件图
1.
This paper attempts to generate test cases for concurrent programs based on event graph.
通过事件图来产生用于并发程序的测试用例。
2.
In order to overcome the problems in the state estimation of unobservable transitions in event graph modeling for discrete event systems,the concepts of pre/post observable paths are proposed to analyze the problem in detail,and a design method is presented for the state estimator to estimate the unobservable transitions according to the row trans- formation of the incident matrix.
针对基于事件图建模的离散事件系统中存在的不可观变迁的状态估计问题,本文提出前向、后向可观路径的概念对其进行了详细分析,并给出一种估计器设计方法,用来根据关联矩阵行变换进行不可观变迁状态的估计。
3.
A calculus of indexed principal processes,which describes the concurrent cryptographic protocols,is the sub-language of the π-calculus,the denotational semantics model of which is an event graph.
为了给出消息子句的测试关系,选择主体角色进程演算为π演算的一个子集,以该子集刻画并发密码协议系统,事件图为其指称语义模型,由图元的前缀、非确定选择和并发合成运算得到,对于图元及其组合运算来说,图元的子句时新性质确定了主体角色消息语句的子句测试关系,且出现在图元中的消息事件满足通信关系和前驱关系约束。
6) events scheme
事件图式
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条