1) state space reduction techniques
状态空间简化技术
1.
Through the study of the method of security protocol analysis based on the Strand Space Model,this paper proposes an advanced state space reduction technique,which combines state space reduction techniques with pruning-theorems during the protocol analysis in order to reduce the state space more efficiently.
通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。
2) state space technique
状态空间技术
1.
The analytical results for various boundary conditions were obtained by means of the generalized Levy method and state space technique, taking the lateral shear deformation into consideration.
针对任意铺设的纤维增强复合材料层合圆柱壳的自振特性，计及横向剪切效应，采用推广的Ｌｅｖｙ解法及状态空间技术进行分析，求得各种边界条件下的解析结果。
3) spatialization technology
空间化技术
1.
Study on spatialization technology of terrestrial eco-information in China (Ⅰ): The approach of spatialization in meteorology/climate information;
中国陆地生态信息空间化技术研究(Ⅰ)——气象/气候信息的空间化技术途径
4) state reduction
状态化简
1.
It is very important for circuit complexity by state reduction in finite state machine(FSM)synthesis.
有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。
2.
To solve the problem that control flow synthesis takes so much time that circuit design cycle is prolonged, this article analyzes the basic steps and problem of control flow synthesis, focusing on the special circumstance of finite-state machine that is handled by control flow synthesis, and discusses the feasibility of omitting the step of state reduction to save time.
为解决控制流综合用时过多而造成的电路设计周期较长的问题 ,从分析控制流综合的基本步骤和现存问题入手 ,着眼于控制流综合所接收的有限状态机的特殊性 ,讨论了省略状态化简的可行性 ;并且给出了在 EDA综合工具中省略状态化简的具体实施方案 。
5) state minimization
状态化简
1.
According to state compatibility, P k partition of state set can be obtained,so a state minimization algorithm for such kind of machine is derived.
应用矩阵模型，提出了一类非完全定义时序机的映射矩阵Ａｉ和Ｂｉ的计算方法和状态相容条件，根据状态相容求出Ｐｋ划分，从而得到了该类时序机状态化简的算法。
2.
On this basis,an algorithm for state minimization of completely specified sequential machine is obtained.
在此基础上，得到了求完全定义时序机状态化简的算法。
补充资料：离散时间状态空间模型
分子式：
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
CAS号：
性质：状态空间模型的一种，是时间变量为离散的状态空间模型。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条