等価式の英語

１階論理のすべての式は冠頭標準形における等価な式に変換し得る。例文帳に追加

Every formula of first-order logic can be converted to an equivalent formula in prenex normal form.発音を聞く  - コンピューター用語辞典

再帰を伴う確率的凸計画は非線形凸計画問題として等価に定式化できる。例文帳に追加

Stochastic convex programs with recourse can equivalently be formulated as nonlinear convex programming problems.発音を聞く  - コンピューター用語辞典

等価なモデル内のバスごとに、二次の分離した電力不一致方程式が生成される。例文帳に追加

Decoupled power mismatch equations with second orders are generated for each bus in the equivalent model. - 特許庁

サービス対価に対して支払うべき譲渡株式数及び現金額とを算出する株式等価交換方式の最適支払い方法算出プログラム例文帳に追加

OPTIMUM PAYING METHOD CALCULATION PROGRAM OF STOCK EQUIVALENT EXCHANGE SYSTEM FOR CALCULATING NUMBER OF TRANSFERRED STOCK AND CASH AMOUNT TO BE PAID FOR SERVICE VALUE - 特許庁

複数の表形式の結合は、複数の表形式データの間で等価な項目を見出して、等価な項目に関する情報ブロックに含まれる値リストを比較して、双方の値リストを同値にすることにより実現される。例文帳に追加

A plurality of tabular formats are joined by finding an equivalent item between the plurality of the tabular format data, comparing the value lists included in the information block regarding the equivalent item, and turning both value lists to the same value. - 特許庁

操舵制御装置は、実舵角に対するステアリングへの反力トルクを示す数式をテイラー展開して、０次項を等価剛性とし、１次項を等価減衰とし、２次項を等価慣性モーメントとしてステアリング系に取り込んで操舵制御を行う。例文帳に追加

In this device, a mathematical expression indicating the reaction torque to steering relative to the actual steering angle is Taylor-expanded, and taken into the steering system with 0-order, first-order, and second-order terms as equivalent rigidity, equivalent damping, and equivalent inertial moment, respectively, and thus, the steering control is executed. - 特許庁

等価交換方式という,土地保有者と土地を持たないデベロッパーとの間でとり結ぶマンション建設のための契約方式例文帳に追加

an arrangement for constructing a condominium which is concluded between a land holder and a developer who has no land c発音を聞く  - EDR日英対訳辞書

電源および負荷回路の等価回路を想定し、所望の電流レベル付近の複数の時間ポイントにおける等価回路の電圧降下に関する連立方程式について、電流電圧の測定データから数値解を求める。例文帳に追加

An equivalent circuit of the power supply and the load circuit is assumed, and a numerical solution is obtained from measurement data of the current and the voltage based on simultaneous equations associated with voltage drops of the equivalent circuit at a plurality of temporal points near a desired current level. - 特許庁