您要查找的是不是：
- Discrete timed automata 离散时间自动机
- This paper studies algebraic modeling of discrete time series. 摘要主要研究离散时间序列上的代数模型。
- Discrete time survival analysis was used to estimate depressive events risk. 生存分离率用于分析抑郁症发病风险。
- Removing irrelevant atomic formulas for checking timed automata efficiently. In Proc. 因此,无关的原子约束是广泛存在的。
- Discrete time signal(sinusoid) must satisfy N*Ts = qT to be perioic . 一个连续的正弦周期信号，抽样产生的离散信号不一定还是周期信号。
- This paper first briefly introduces timed automata, clock region, region equivalence and clock zone. 摘要首先简介了时间自动机、时钟区域、区域等价、时钟带的概念。
- It supports continuous time, discrete time, and line and unline system. 所以它特别适用于对电子系统进行计算机仿真。
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。
- Based on timed automata,a rigorous schedulability analysis method of the CAN network with aperiodic real-time messages is developed in the paper. 控制网络的可调度性对网络化控制系统的性能有着重要的影响。
- In this paper an extension of timed automata with priorities is introduced,and we present an improved algorithm to compute subtraction on DBMs. 本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。
- This paper solves a reachability problem in priced probabilistic timed automata, which is minimal cost ensuring a probabilistic lower bound. 摘要着重解决代价和概率时间自动机模型的可达性问题，即满足一定概率要求的最小代价问题。
- The data is first decomposed using the dyadic discrete time wavelet transform with the ＂fitrous＂ algorithm. 该文引入小波变换模极大值重建方法去除信号中的运动伪迹。
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- The UPPAAL Timed Automata Parser Library (libutap) is the parser library used by UPPAAL. It includes a type checker and supports the TA, XTA, and XML file formats. 是一种被UPPAAL使用的语法分析程序库。它包括一个类型检测器，并支持TA、XTA和XML文件格式。
- The reachability analysis based on timed automata is one of the most used methods for model checking.Its’ major weakness is the state-space-explosion problem. 摘要 基于时间自动机的可达性分析是模型检测最常用的方法之一，但该方法饱受状态空间爆炸问题的困扰。
- Considering the ruin problems under the discrete time insurance risk model with interest, we proof the surplus is Markov chain. 本文讨论了固定利率下的离散风险模型,首先证明了资产盈余构成一个齐次马尔科夫链,并给出了其转移概率。
- DPD is an off-lattice mesoscopic simulation technique which involves a set of particles moving in continuous space and discrete time. DPD 是非格子模型介观模拟技术，囊括粒子群在连续的空间和间断的时间中运动。
- Based on the method of minimum prediction error control, a multiple model adaptive controller( MMAC) for discrete time is presented. 基于最小预测误差控制器设计方法,设计离散时间系统多模型自适应控制器,并引入“局部化”方法。
- Introduction the Fourier series, Convolution,Laplace transform, Z-transform, Discrete time and fast Fourier transform, Adaptive filter,digital filter. 介绍傅立叶,拉式,Z转换之数学运算,同时应用于离散与计算快速傅立叶转换,而此数学运算使用时数位滤波器之应用
- Based on the method of minimum prediction error control, a multiple model adaptive controller (MMAC) for discrete time is presented. 基于最小预测误差控制器设计方法,设计离散时间系统多模型自适应控制器,并引入“局部化”方法。
