BooleanConsecutiveFunction

BooleanConsecutiveFunction[k,n]

変数が n 個で，連続する k 個の変数がTrueのときにTrueを与えるブール関数を表す．

BooleanConsecutiveFunction[{k,True},n]

変数のリストを循環的に扱う．

BooleanConsecutiveFunction[{k1,k2,…,kd},{n1,n2,…,nd}]

変数が n1 n2 ⋯ nd 個で， 変数配列の ブロックのすべての変数がTrueのときTrueを与えるブール関数を表す．

BooleanConsecutiveFunction[{{k1,k2,…,kd},{c1,c2,…,cd}},{n1,n2,…,nd}]

ciがTrueのときは，変数配列の i 番目のレベルを循環的に扱う．

BooleanConsecutiveFunction[spec,{a1,a2,…}]

spec で指定されたブール連続関数に対応する変数 aiのブール式を与える．

BooleanConsecutiveFunction[spec,{a1,a2,…},form]

form で指定された形式でブール式を与える．

詳細

例題

すべて開くすべて閉じる

例  (3)

連続型2アウトオブ3のブール関数を作る：

明示的な形に変換する：

BooleanConsecutiveFunctionをReliabilityDistributionで使う：

生存関数を計算する：

BooleanConsecutiveFunctionをFailureDistributionで使う：

生存関数を計算する：

スコープ  (10)

線形モデル  (4)

BooleanConsecutiveFunctionは未評価のまま残る：

BooleanConvertを使ってこれを展開する：

格子状の形をした二次元関数を定義する：

変数もまた平坦なリストで与えることができる：

1列になった連続する4つの成分の少なくとも3つが動けば動く系：

BooleanConsecutiveFunctionは構造で使うことができる：

1列になった連続する4つの成分の少なくとも3つが故障すると故障する系：

BooleanConsecutiveFunctionは構造で使うことができる：

円形モデル  (4)

BooleanConsecutiveFunctionは未評価のままで残る：

BooleanConvertを使ってこれを展開する：

トーラス形状の二次元関数を定義する：

変数もまた平坦なリストで与えることができる：

円状になった連続する4つの成分のうち少なくとも3つが故障すると故障する系：

BooleanConsecutiveFunctionは構造に使うことができる：

円状になった連続する4つの成分のうち少なくとも3つが動くと動く系：

BooleanConsecutiveFunctionは構造に使うことができる：

混合モデル  (2)

ラッピングは次元が異なると異なることがある．円柱を定義する：

BooleanConvertを使ってこれを展開する：

互いの内側にスタックして連結する円柱：

BooleanConvertを使ってこれを展開する：

アプリケーション  (2)

一連の10台の無線等塔は，隣り合う2台の塔が故障すると故障する：

各塔の寿命は指数分布に従い，寿命の期待値は10年である：

一連の塔の片方の端から網一方の端への接続の生存関数：

整備をせずに5年間経った後で機能している確率：

カメラが重なり合う格子上に配置されている．2×2の格子が故障するまでは全領域がカバーされている：

各カメラの寿命の期待値は6年である：

完全なカメラの系の寿命分布は’FailureDistributionでモデル化することができる：

オーバーラップを最小にして同じ領域をカバーするのに4台のカメラが必要である：

重なり合う構造の方が信頼度は高いが，より多くのカメラが必要である：

代りに同じ台数のカメラを待機モードで使う：

業務時間によっては，待機構造の方がオーバーラップする格子よりも信頼性が高くなる：

特性と関係  (2)

より低い次元はより高い次元の特殊ケースである：

BooleanConsecutiveFunctionのあるReliabilityDistributionはFailureDistributionにおいて対応するブール式を否定したものに等しい：

おもしろい例題  (1)

線形 k アウトオブ n 系のシミュレーションを行う：

10個のうち4個の成分が故障すると系が故障する場合．故障率で：

Wolfram Research (2012), BooleanConsecutiveFunction, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html.

テキスト

Wolfram Research (2012), BooleanConsecutiveFunction, Wolfram言語関数， https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html.

CMS

Wolfram Language. 2012. "BooleanConsecutiveFunction." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html.

APA

Wolfram Language. (2012). BooleanConsecutiveFunction. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html

BibTeX

@misc{reference.wolfram_2024_booleanconsecutivefunction, author="Wolfram Research", title="{BooleanConsecutiveFunction}", year="2012", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html}", note=[Accessed: 15-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleanconsecutivefunction, organization={Wolfram Research}, title={BooleanConsecutiveFunction}, year={2012}, url={https://reference.wolfram.com/language/ref/BooleanConsecutiveFunction.html}, note=[Accessed: 15-November-2024 ]}