Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.
模型检测基于概率系统的反例产生问题，在最近引起人们的关注。
Pouget says a probabilistic decision-making system like this has several advantages.
Pouget认为像这样的概率决策系统有很多优势。
Finally the possible failure mode and the corresponding reliability of the dam are obtained by the system reliability formula from the conditional probabilistic theory.
通过建立在条件概率基础上的体系可靠度公式，找出拱坝的最大可能失效模式与相应的可靠度。
In this paper the probabilistic technique of security function method is used to evaluate the spinning reserve requirements of power system.
利用安全函数的概率性分析方法并针对机组启停问题对系统的旋转备用需求进行评估。
The problem of designing computer external clock synchronization system with probabilistic algorithm is studied.
该文研究了基于概率同步算法的计算机外时钟同步系统设计。
In order to discover probabilistic decision rules in preferential multiple attribute decision system with incomplete information, an extension of the rough sets model is proposed in the paper.
为了从有偏好信息但信息不完全的多属性决策系统中获取概率决策规则，提出一种新的不完全信息的多属性粗糙决策分析方法。
A power system probabilistic dispatching model of coordinating security and economy has been established in this paper.
该文构建电力系统安全与经济相协调的概率调度模型。
A probabilistic information system was used to express the uncertainty relationship between objects and attributes.
用概率信息系统表示对象与属性值之间的概率关系。
Reverse kinetic rate and binding affinity constants were predicted by comparing the measured data with a small system probabilistic model.
采用小系统概率动力学模型对实验数据进行拟合，便得到了逆反应速率和反应亲和性参数。
Using probability theory and mathematical statistics, probabilistic model on randomicity of the dynamic stability analysis system are built.
应用概率论和数理统计方法，建立了无缝线路动力稳定性分析系统中的随机不确定性的概率模型。
The purpose of human reliability analysis(HRA) is to provide a quantitative conclusion for Probabilistic Safety Assessment(PSA) and detect the weak points of a system.
人因可靠性量化分析在于为概率安全评价提供量化结论并找出系统的薄弱环节。
A probabilistic decision-making method for available transfer capability (ATC) considering the existing system conditions in the electricity market is presented.
提出了一种在电力市场环境下考虑现存方式的可用输电能力(atc)概率决策方法。
In this paper, the probabilistic technique is used to evaluate the spinning reserve requirements of the system, that is, the reliability constraint is considered in the model of unit commitment.
论文拟用概率方法评估系统的旋转备用，即在机组最优启停模型中引入可靠性约束。
The probabilistic analysis of power system stability has interested researchers in recent years.
近年来，电力系统稳定性的概率分析问题在国内外已开始引起人们的兴趣。
A model of security region based probabilistic security assessment system of power transmission system was presented.
针对输电系统概率安全评估问题，提出了一种基于安全域的输电系统概率安全分析系统的模型。
The fault tree analysis (FTA) of the probabilistic safety analysis (PSA) is one of the tools for system reliability and safety analysis.
概率安全分析(PS A)中的故障树分析(FTA)是系统可靠性和安全性分析的工具之一。
Because there is limitation in calculating load flow by using determinate method, this paper introduce probabilistic load flow (PLF) to analyze distribution system.
确定性潮流计算在反映配电网运行时的波动情况时存在着缺陷，引入了概率潮流计算理论进行配电网潮流分析。
The Ensemble Prediction System (EPS) in principle can be called the Probabilistic Prediction System (PPS) of which its ultimate goal is to provide the full probabilistic forecast for all variables.
集合预报系统从原理上讲也可称之为概率预报系统，其最终目的是要提供所有大气变量的完全概率预报。
This paper presents power system probabilistic production simulation (PSPPS) including wind power plants.
介绍含风电场的电力系统随机生产模拟方法。
Based on the sequence operation theory, a novel algorithm of probabilistic production simulation for a multi-area power system is proposed.
在序列运算理论基础上提出了一种用于多节点系统的随机生产模拟新算法。
Effect of Human factors on system safety is increasingly serious, which is often ignored in traditional probabilistic safety assessment methods however.
人因对系统安全的影响日益突出，但现有的概率安全评估方法对其重视不足。
Many uncertain factors exists in the real power system, thus the probabilistic small signal stability has been concerned by researchers.
由于实际系统存在大量的不确定因素，近年来概率小扰动稳定性分析方法越来越受到研究人员的重视。
In this paper, the uncertainty analysis and design problems for structural and multidisciplinary system were investigated in detail base on a non-probabilistic approach that is convex model theory.
本文基于不确定参量的凸集合描述，研究了结构和多学科系统的不确定性分析与考虑不确定因素的优化设计问题。
System reliability analysis is the important content and base of Probabilistic Safety Assessment(PSA).
系统可靠性分析是核反应堆概率安全评价的重要内容和基础。
The application of probabilistic load flow analysis in power system planning and operation are investigated in this paper.
文中探讨概率潮流计算在电力系统规划设计和运行方式研究中的应用。
With consideration of small random disturbances of power system loads, a probabilistic voltage stability analysis is proposed.
在考虑负荷波动等随机因素的情况下，运用概率统计方法对电力系统电压稳定问题进行了分析。
With consideration of small random disturbances of power system loads, a probabilistic voltage stability analysis is proposed.
在考虑负荷波动等随机因素的情况下，运用概率统计方法对电力系统电压稳定问题进行了分析。
应用推荐