1) Discrete timed automata
离散时间自动机
2) discrete automation
离散自动机
3) timed automata
时间自动机
1.
Testcase automatic generation and execution method based on timed automata;
基于时间自动机的测试用例自动生成及执行方法
2.
Minimizing state space of timed automata;
时间自动机状态空间的一个极小化构造方法
3.
Model-checking Tool Based on Finite Precision Timed Automata (FPTA);
一种基于有限精度时间自动机的模型检测工具
4) timed automaton
时间自动机
1.
Region Construction Method for Timed Automaton;
一种基于时间自动机的域构造方法
2.
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性 ,可归结为判定两个时间正则语言的包含问题 ,亦可归结为判定两个时间正则语言的交是否为空的问题 。
3.
The property of timed automaton is presented.
给出时间自动机的基本概念 ,描述了区域自动机的构造方法 ,并且实现了区域自动机的构造算法 。
5) discrete-time
离散时间
1.
The analysis of discrete-time queueing system with batch arrival;
批量到达的离散时间排队系统
2.
On the observability of discrete-time fuzzy-state control systems;
离散时间模糊状态控制系统的可观性分析
3.
A discrete-time warm-fund maintainable system composed of two types of components with priority
有优先权两部件离散时间温贮备可修系统
6) discrete time
离散时间
1.
Dynamic measurable disturbance decoupling for discrete time singular nonlinear systems;
离散时间奇异系统的可测扰动解耦
2.
Analyzes a model of wireless mult services communication system with gated service in discrete time.
在离散时间状态下对Geom(N ,1) /Geom(g) / 1系统 ,采用嵌入马尔可夫链理论和概率母函数的方法进行了分析 ,推导出了系统N个一般级对列和高优先级队列的平均排队队
3.
By taking into consideration the discrete time renewal risk model under constant interest rate,this paper obtained recursive algorithm finite-time non-ruin probability,and infinite-time non-ruin probability and its upper bound.
考虑了常利率离散时间更新风险模型,导出了有限时间不破产概率的递推表达式和最终生存概率的递推表达式,并利用鞅方法得到了最终破产概率的上界估计。
补充资料：离散时间周期序列的离散傅里叶级数表示
(1)
式中χ((n))N为一离散时间周期序列，其周期为N点，即
式中r为任意整数。X((k))N为频域周期序列，其周期亦为N点，即X(k)=X(k+lN)，式中l为任意整数。
从式(1)可导出已知X((k))N求χ((n))N的关系
(2)
式(1)和式(2)称为离散傅里叶级数对。
当离散时间周期序列整体向左移位m时,移位后的序列为χ((n+m))N，如果χ((n))N的离散傅里叶级数(DFS)表示为,则χ((n+m))N的DFS表示为
式中χ((n))N为一离散时间周期序列，其周期为N点，即
式中r为任意整数。X((k))N为频域周期序列，其周期亦为N点，即X(k)=X(k+lN)，式中l为任意整数。
从式(1)可导出已知X((k))N求χ((n))N的关系
(2)
式(1)和式(2)称为离散傅里叶级数对。
当离散时间周期序列整体向左移位m时,移位后的序列为χ((n+m))N，如果χ((n))N的离散傅里叶级数(DFS)表示为,则χ((n+m))N的DFS表示为
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条