1016万例文収録!

「"線形時間"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > "線形時間"に関連した英語例文

セーフサーチ:オン

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

"線形時間"を含む例文一覧と使い方

該当件数 : 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. - 特許庁


索引トップ用語の索引



  
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会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS