搜索结果: 1-3 共查到“计算机科学技术其他学科 Probabilistic”相关记录3条 . 查询时间(0.026 秒)
Data Cube Approximation and Mining using Probabilistic Modeling
data cubes OLAP data warehouses multidimensional data non-negative multi-way array factorization log-linear modeling
2015/7/29
On-line Analytical Processing (OLAP) techniques commonly used in data warehouses allow the exploration of data cubes according to different analysis axes (dimensions) and under different abstraction l...
Probabilistic Verification over GF(2m) Using Mod2-OBDDs
Verification Probabilistic OBDD Mod2-OBDD Galois Field GF(2m)
2010/3/16
Formal verification is fundamental in many phases of digital systems design. The most successful verification procedures employ Ordered Binary Decision Diagrams (OBDDs) as canonical representation for...
Probabilistic Analysis of a Robot System with Redundant Safety Units and Common-Cause Failures
robot safety availability reliability common-cause failures failure repair redundancy
2009/12/29
This paper presents reliability and availability analyses of a model representing a system having one robot and n-redundant safety units with common-cause failures. At least k safety units must functi...