たへんすうげんけつごうの英語

モデルパラメータ決定プログラムは、変数およびモデルパラメータの初期値を用いて計算された変数、変数の微分値をモデルに対応する一階述語論理式に代入する手順と、代入後の論理式内の未知パラメータに仮定値を代入する手順と、その後の論理式に限定記号消去法を適用して誤差上限値を求める手順とを計算機に実行させる。例文帳に追加

A model parameter determination program causes a computer to execute; a procedure of substituting variables, variables calculated by initial values of model parameters, and differential values of variables into a first-order predicate logic formula; a procedures of substituting assumes values into unknown parameters in the logic formula after the substitution; and a procedure of applying a quantifier elimination method to the formula to obtain the error upper limit value. - 特許庁

原文・訳文編集部３は、原文に対して行われた文字列の編集操作（文分割、文結合、１文編集等）に応じた位置に特殊記号（＠数字＠）を付加した第３の文書を生成し、この第３の文書を原文を編集した編集履歴として編集履歴記憶部１５に記憶する。例文帳に追加

The original-translation editorial unit 3 generates a third document to which a special symbol (@number@) is attached to the position according to the edit operation of a character string performed to the original (sentence dividing, sentence coupling, one-sentence compiling, etc.), and stores this third document in a compile history memory unit 15 as a compile history which is obtained by editing the original. - 特許庁

（式中、Ｒ_１は水素原子、メチル基。Ｌ_１はフェニレン基。Ｌ_２は単結合又は２価の連結基。Ａｒは炭素数８以上の縮環型芳香環、芳香環が縮環したヘテロ環又は二個以上連結したベンゼン環から誘導される１価の基。）例文帳に追加

Wherein R_1 represents a hydrogen atom or a methyl group, L_1 represents a phenylene group, L_2 represents a single bond or a divalent connection group, and Ar represents a monovalent group derived from a 8 or more C ring-condensed aromatic ring, a hetero-ring having the ring-condensed aromatic ring or two or more-connected benzene ring. - 特許庁

プロセッサと、共有メモリの一部と、メモリコントローラと、キャッシュとを有するノードを複数有し、各ノードは、各ノードに対応する相互結合網ルータにより結合された分散共有メモリ型並列計算機において、共有メモリとキャッシュのデータの一貫性を保ちつつ高速化を実現する。例文帳に追加

To speed up processing while keeping the consistency of data stored in a shared memory and a cache in a shared memory distribution type parallel computer having plural nodes each of which is provided with a processor, a part of the shared memory, a memory controller, and a cache and connecting respective nodes by inter-connection net routers corresponding to respective nodes. - 特許庁

ヘリカルコイルに形状記憶合金を使用し、ホルダとヘリカルコイルを機械的に接合して共振周波数のバラツキを小さくするヘリカルアンテナを提供すること、前記ヘリカルコイル及び前記ホルダを使用することにより自動化を容易にし、工程数を削減することを可能にしたヘリカルアンテナを得る。例文帳に追加

To provide a helical antenna for reducing the dispersion of a resonance frequency by mechanically bonding a holder and a helical coil, while using a shape memory alloy for the helical coil, so that automation can be facilitated by using the helical coil and the holder and the number of processes can be reduced. - 特許庁