例文 (4件) |
"線形時間"を含む例文一覧と使い方
該当件数 : 4件
リスト x をインプレース処理し、線形時間でヒープに変換します。例文帳に追加
Transform list x into a heap, in-place, in linear time. - Python
線形時間の符号化複雑さを有するLDPCコードにつながるパリティ検査行列を提供すること。例文帳に追加
To provide a parity check matrix connected to an LDPC code having the encoding complexity of a linear time. - 特許庁
さらには、線形時間遅れ系の特性方程式に基づいてモード解析と安定判別とを行って、動吸振器の質量、剛性係数、減衰係数を決定することにした。例文帳に追加
Further, mode analysis and stability determination are performed based on a characteristic equation of a linear time delay system to determine the mass, rigid coefficient and damping coefficient of the dynamic damper. - 特許庁
任意線形時間論理時相特性の有界モデル検査方法であって、Fはeventuality演算子、Gはglobally演算子、Uはuntil演算子、Xはnext−time演算子を表す時相演算子F(p)、G(p)、U(p, q)、X(p)に関連付けられた特性を、ブーリアン充足可能性検査から成る特性検査スキーマに変換するステップから成る。例文帳に追加
This bound model inspection method for a desired linear time logic tense property comprises a step of converting a property related to tense operators F(p), G(p), U(p, q), and X(p), for F as eventuality operator, G as globally operator, U as until operator, and X as next-time operator into a property inspection schema comprising Boolean satisfiability test. - 特許庁
例文 (4件) |
Copyright © Japan Patent office. All Rights Reserved. |
この対訳コーパスは独立行政法人情報通信研究機構の研究成果であり、Creative Commons Attribution-Share Alike 3.0 Unportedでライセンスされています。 |
Copyright 2001-2004 Python Software Foundation.All rights reserved. Copyright 2000 BeOpen.com.All rights reserved. Copyright 1995-2000 Corporation for National Research Initiatives.All rights reserved. Copyright 1991-1995 Stichting Mathematisch Centrum.All rights reserved. |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |