您要查找的是不是:
- Parallelization of state space generation is an important technical method to deal with the state space explosion problem. 摘要 状态空间生成的并行化是针对状态空间爆炸问题而提出的一种重要手段。
- A scheme of applying technique of conditioning to preprocess a program is proposed to alleviate the problem of state space explosion faced by software model checking. 提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。
- Aiming at the state space explosion problem in the actual application, a new method which combines the Fault Petri net and GSPN is put forward to analyze system dynamic reliability based on the modularization concept. 针对广义随机Petri网在实际应用中存在的状态空间爆炸问题,基于模块化思想,本文提出一种集故障Petri网和广义随机Petri网优点于一体的系统动态可靠性建模新方法,结合具体实例说明了该方法的应用步骤。
- With SSM someone has developed an automatic verification tool, ATHENA, which is able to prove the correctness of some authentic and secret protocols, suffered from seriously state space explosion problem and do an imperfect work on secret protocols. 基于此模型开发的自动验证工具ATHENA已经实现了对协议的认证性特性验证,但未能克服模型检测方法所造成的状态空间严重爆炸的问题,对秘密性协议的证明也是不完善的。
- Program Conditioning to Reduce State Space Explosion for Software Model Check 用于克服程序状态空间爆炸的条件化预处理
- State space explosion 状态空间爆炸
- Keywords: VBARX, system identification, state space model, modal parameters. 关键词:VBARX、系统识别、状态空间、模态参数。
- A multiple ARX model has been set up based on the state space theory. 从状态空间理论出发,建立多维ARX模型,推得了结构的模态参数。
- A multi-variable process may be imaged to a multidimensional state space. 化工过程中存在多种状态,多变量过程可以在多维的状态空间中描述。
- In effect, each developer and tester samples a semi-random set of the program's state space when looking for the etiology of a symptom. 实际上,每一个开发者和测试者在寻找一个症状的病原的时候都是在检查该程序的状态空间的一个“半随机”的集合。
- Each observable is represented by a densely defined Hermitian( or self-adjoint) linear operator acting on the state space. 每个可见由详细定义的厄密共轭(者同一伴随矩阵)用于状态矢量空间线性操作者来表现。
- Each observable is represented by a densely defined Hermitian (or self-adjoint) linear operator acting on the state space. 每个可见由详细定义的厄密共轭(或者同一伴随矩阵)作用于状态矢量空间线性操作者来表现。
- Analytical solutions for plates with various boundary conditions were developed using the state space approach . 采用状态空间法得到了各种边界条件组合条件下板的解析解。
- A backpropagation neural network is adopted to generalize the large input state space to reduce memory requirement. 为降低存储需求,算法引入了反向传播神经网络用于泛化其输入状态空间。
- By the analysis of state space, nonlinear transfer function was employed to improve the performance of FH sequence. 通过分析输出序列的状态空间,提出了一种改进的非线性转移函数来改善跳频序列的性能。
- In order to conquer the state space exploring,Hierarchical Task Network(HTN) planning technology has been presented. 为了克服经典状态空间规划中的状态空间的指数爆炸问题,研究者们提出了分层任务网络规划(HTN)技术。
- A subspace-based state space system identification method is applied to identify the model of rotorcraft in hover. 基于其离散状态空间模型,采用子空间方法进行线性系统识别。
- The work mechanics of the electrostatically-actuated MEMS is discussed based on the state space method. 利用状态空间分析法分析了MEMS静电驱动结构的工作机理。
- By the analysts of state space, nonlinear transfer function is employed to improve the performance of FH sequence. 通过分析输出序列的状态空间,提出了一种改进的非线性转移函数来改善跳频序列的性能。
- In order to conquer the state space exploring,Hierarchical Task Network(HTN) planning technology has been presented. 摘要 为了克服经典状态空间规划中的状态空间的指数爆炸问题,研究者们提出了分层任务网络规划(HTN)技术。