コンピュータ代数の英語

２組の連立一次代数方程式の同値を判定する、コンピュータ実施される方法（２００）を提供すること。例文帳に追加

To provide a method (200) which decides the equivalence of two sets of simultaneous linear algebraic equations and is performed by computer. - 特許庁

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

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

それらの画像に相互相関アルゴリズムならびに代数的再構成法と呼ばれるコンピュータトモグラフィー解析法を用いて、温度変化による光の屈折率分布を算出する。例文帳に追加

A refractive index distribution of light due to the temperature change is calculated using a mutual correlation algorithm and a computer tomographic analytical method called as an algebraic reconstitution method. - 特許庁

鍵共有方式の安全性をＮＰ完全問題の１つである高次多変数連立代数方程式の解法の困難さに依存する方式を採用することにより、耐量子コンピュータ性を持つ鍵共有方式を提供する。例文帳に追加

There is provided a key sharing system having a resistance to a quantum computer by adopting a method that the safety of the key sharing system depends on the difficulty of solving one of the NP complete problem, high order multi-variable simultaneous algebraic equation. - 特許庁

これをコンピュータにより解くために、モデル化に求めた微分方程式から、離散化手法を用いて離散化した代数方程式（離散化式）を求める（Ｓ１２０）。例文帳に追加

In order to solve this by a computer, a discretized algebraic equation (discretized equation) is obtained, by a discretizing technique, from the differential equation obtained by modeling (S120). - 特許庁

本発明は、目標論理ゲートから得られるカットセット内の論理ゲートに対し決定図を構築し、論理ネットワーク中の潜在的学習領域内の論理ゲートをマークし、正当化ベクトルを目標論理ゲートの所定のブール代数値の決定図から獲得し、論理的相互従属関係を判定し、その表現をコンピュータ支援設計装置の記憶装置に格納する。例文帳に追加

A decision diagram is built for logic gates in a cutest to be obtained from target logic gates, the logic gates in a potential learning area in the topology are marked, justification vectors are acquired from the decision diagram for a predetermined Boolean value of the target logic gate, such logical interdependencies are determined and a representation of the logical interdependencies is stored in a storage device in the computer-aided design system. - 特許庁