代数形式の英語

ほとんどの代数的仕様言語は,すべての公理が全称閉包(universal closure)として知られる形式であることを要求する．例文帳に追加

Most algebraic specification languages require that all axioms be in a form known as the universal closure.発音を聞く  - コンピューター用語辞典

ブロセス代数は複合コンピュータシステム、特に通信を行い同時に実行する構成部分を含むシステムについての形式的記述技法の一つである。例文帳に追加

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components.発音を聞く  - コンピューター用語辞典

システムに関する制御及び処理等はブール代数等の形式論理式の真理値を基準に実行され情報の一部を除外もしくは歪曲して扱い、信頼度を低下する要因となっている。例文帳に追加

To solve a problem of becoming a factor in deteriorating reliability because of exclusively or distortedly treating a part of information by executing control and processing on a system with a truth value of a formal logical expression such as Boolean algebra as a reference. - 特許庁

スケジュール作成装置１は、この入力パラメータに基づき、独自のシステム構造を表現する行列Ａ^0，Ｆ，Ｂ^0，Ｃの各要素を決定し、さらにここで決定した行列Ｆから行列Ｆ^*を算出して、簡単にmax-plus代数上で線形なＭＰＬ形式を導出するための行列Ａ^0，Ｆ^*，Ｂ^0，Ｃを取得する。例文帳に追加

The schedule preparation device 1 determines each element in matrixes A^0, F, B^0, C for expressing peculiar system structure, based on the input parameter, calculates a matrix F* based on the matrix F determined therein, and acquires easily the matrixes A^0, F*, B^0 for deriving the MPL system linear on max-plus algebra. - 特許庁