您要查找的是不是:
- Discrete Time Markov Chains(DTMCs) of the model was presented by using probabilistic model checking technique. Compared with two familiar time out schemes belonging to predictive schemes by PRISM,the energy efficiency of this scheme is better as a whole. 然后应用概率模型检测技术将其建模为DTMCs,并使用PRISM对这一策略和DPM中另外两种常用预测策略进行了比较,结果表明这一优化策略对网络的拥塞、延时及可靠性影响较小,其总体节能效果优于上述两种预测策略。
- Probabilistic model checking 概率模型检测
- probabilistic model check 概率模型检验
- MWB is a model checking tool based on PI-calculus. MWB是一个基于PI演算的模型检测工具。
- A method to TRM calculation based on probabilistic model is presented. 讨论了TRM和CBM两种裕度的含义,给出计算TRM的随机模型。
- A probabilistic model of events in which the probability of an event is dependent only on the event that precedes it. 事件的一种概率模型,其中一个事件的概率完全取决于它前面的事件。
- Rosenblatt, F. 1958.The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain. 张斐章、梁晋铭,1999,类神经模糊推论模式在水文系统之研究。
- The new index is defined as Line Usage Curtailment, and a probabilistic model is used to calculate the index. 定义了线路削减阻塞电量新指标,并建立了该指标的概率模型。
- The results are statisfied.The probabilistic model and its statistical parameters for seismic load are analysed and practic... 文中还对地震作用的概率模型及其统计参数进行了分析,给出了实用的结果。
- Over the last decade the use of model checking to verify the presence or absence of properties has gained prominence. 近十年以来,使用模型检查来验证有无某些特性已经成为主流。
- For most safety properties and some liveness properties, model checking can be reduced to reachability analysis. 实时系统的绝大多数安全性和部分活性可以通过可达性分析算法来验证。
- Edelkamp S,Helmert M.The model checking integrated planning system.AI-Magazine (AIMAG),2001,67-71. 对动作进行置换的含义见第3节中的"定义3.;2";本节是从宏观上介绍本文内容的组织结构
- The results show that this method can enhance the steadiness in statistical decision-making and bring about the optimum fitting of probabilistic model of geotechnical parameters. 研究结果表明:该方法可以增强统计决策中的稳健性,实现统计意义上概率分布类型的优化。
- The key characteristics of MASM are veri ed and validated through the model checking technique. 利用模型检测技术,建立了验证模型关键属性的方法;
- First of all, in the quantities analysis, the traditional LCA was converted to probabilistic model by incorporating the probabilistic analysis to quantify uncertainty. 在量化分析方面,以机率分析将传统生命周期评估转换成机率式模式,以量化不确定性。
- K.L. McMillan. Symbolic Model Checking: an approach to the State explosion problem. 邵明;李光辉;李晓维.;模型检验中迁移关系的分组策略
- Conditional Random Fields (CRFs), a recently introduced conditioned probabilistic model for labeling and segmenting sequential data, is a statistics-based machine learning model. 条件随机场是近年来提出的一种条件概率模型,主要用于序列标注和分割,是一个基于统计的机器学习方法。
- The remarkable fruits have been made: the improvements on Graphplan including CGP, SGP, the different class of universal plan via model checking. 在这方面已取得的重要成果有:基于图规划所做的一系列改进如CGP、SGP,基于模型检测方法生成各种通用规划等。
- SAT-based bounded model checking is powerful in bug finding,but it does not support specification with mathematic formula. 而基于SAT的有界模型检验方法虽然能较快地发现反例;但它不支持包含数学公式的系统规范;因而难以用于验证运算电路.
- Word level model checking based on decision diagrams can verify arithmetic circuits completely,but its bug finding is time-consuming. 基于决策图的字级模型检验方法虽然能完全验证运算电路;但它从有缺陷的设计中发现系统规范的反例所需时间较长.