「static analysis」に関連した英語例文の一覧と使い方(3ページ目) - Weblio英語例文検索

To provide a structure design method for executing the static/dynamic analysis of an architectural structure including inner walls of plane of structure such as the side walls, hanging walls, spandrel walls and slits of the architectural structure, and to provide its program and a computer-readable and executable recording medium in which the program is written.例文帳に追加

建築構造物の袖壁、垂れ壁、腰壁、スリット壁等の構面内壁を含めた建築構造物の静的・動的解析が可能な構造設計方法を提供し、そのプログラム及びそのプログラムが記録媒体に書き込まれ、コンピュータが読み出して実行可能な記録媒体を提供する。 - 特許庁

To provide a hardware simulation system which improves simulation circumstance of designers and supports removal of bugs which cannot be found by static analysis of a specific model only, using a means which memorizes and analyzes various kinds of information on the simulation executing process of the specific model which describes the hardware behavior.例文帳に追加

ハードウェアの動作を記述した仕様モデルのシミュレーション実行過程の各種情報を記憶して解析する手段を用いて、設計者のシミュレーション環境を向上させ、仕様モデルの静的な解析だけでは発見できないバグを取り除くための支援を行う。 - 特許庁

A static nonlinear analysis is taken by using data which are stored in a data area so far to calculate the horizontal displacement quantity of the top position of the structure model and after the yield displacement quantity δy and yield seismic coefficient Khy of the elevated bridge structure are extracted, an equivalent natural cycle Teq is calculated.例文帳に追加

これまでにデータ領域に格納されたデータを用いて、静的非線形解析を行い、構造物モデルの天端位置の水平変位量を算出し、前記高架橋構造物の降伏変位量δy、降伏震度Khyを抽出した後、等価固有周期Teqを算出する。 - 特許庁

Basic characteristic value of a cell when not taking the variation in characteristic values into consideration and the transistor dimension constituting the cell, for example, a variation coefficient of the cell characteristic value corresponding to gate width are read from a memory, and static timing analysis is performed to the LSI using the read variation coefficient and basic characteristic value.例文帳に追加

特性値のばらつきを考慮しない場合のセルの基本特性値と、セルを構成するトランジスタの寸法、例えばゲート幅に対応したセル特性値のばらつき係数とをメモリから読み出し、読み出したばらつき係数と基本特性値とを用いて、ＬＳＩに対する静的タイミング解析を実行する。 - 特許庁

Functional verification between a net list 12 generated by the test synthesis and a timing verified net list by the static timing analysis is verified (step S15), the function verified net list is released to a manufacturing section (step S17) and a test pattern is automatically generated by using the net list 15 by an ATPG tool (step S18).例文帳に追加

テスト合成により生成されたネットリスト１２と、静的タイミング解析によるタイミング検証済みのネットリストとのファンクション検証をおこない（ステップＳ１５）、ファンクション検証済みのネットリストを製造部門へリリースし（ステップＳ１７）、そのネットリスト１５を用いてＡＴＰＧツールによりテスト・パターンを自動生成する（ステップＳ１８）。 - 特許庁

To accurately and easily estimate in a short time the effects of a gate overhead of a clock synthesizing part and of power consumption generated in a circuit by automatically creating a CTS (clock tree synthesis) constraint file from clock definition information of STA (static timing analysis) regarding a clock synthesizing method, a semiconductor device and a program.例文帳に追加

本発明は、クロック合成方法、半導体装置及びプログラムに関し、ＳＴＡのクロック定義情報からＣＴＳ制約ファイルを自動生成することにより、短時間で、正確に、且つ、容易にクロック合成部分のゲートオーバーヘッドの影響と回路に生じる消費電力の影響を見積もることを可能とすることを目的とする。 - 特許庁

This system performs matching of coordinate axes of dynamic information including satellite images of a specified area, and static information including map data by latitude and longitude, performs combined analysis, discriminates types of the dynamic information and computes data of discharging factor of carbon dioxide gas containing at least one of green tract area, number of vehicles and electric power consumption from houses or factories.例文帳に追加

指定された地域の衛星画像を含む動的情報と地図データを含む静的情報を緯度と経度により座標軸をあわせ、組み合わせ解析し、動的情報の種別を判別し、緑地面積、車両台数、住宅や工場の電力消費量のうち少なくても１つを含む炭酸ガス排出要因データを算出する。 - 特許庁

The content display device, which displays content described in HTML including dynamic elements such as animation display, comprises a content analysis part 204 for, upon a user event by a user operation for cursor movement, screen scrolling or the like, interpreting static elements in the content during event processing, and interpreting only the dynamic elements in the content except during event processing.例文帳に追加

アニメーション表示等の動的要素を含むＨＴＭＬで記述されたコンテンツを表示するコンテンツ表示装置において、カーソル移動や画面スクロール等のユーザ操作によるユーザイベントが発生した場合、イベント処理中は、コンテンツ内の静的要素を解釈し、イベント処理中以外はコンテンツ内の動的要素のみを解釈するコンテンツ解析部２０４を備える。 - 特許庁

A corresponding code addition unit 20 adds a source code line extracted from a source file by referencing position information to each data line in a warning table consisting of data lines each of which has: an identifier indicating a warning type and obtained by static analysis of the source file; and the position information including a line number of the line written with a source code including a warning point.例文帳に追加

該当コード追加部２０は、ソースファイルの静的解析によって得られ、警告種別を示す識別子と、警告箇所を含むソースコードが記述された行の行番号を含む位置情報と、を有するデータ行から構成される警告テーブルに対し、位置情報を参照してソースファイルから抽出したソースコード行を各データ行に追加する。 - 特許庁

A re-convergence path detecting method includes (A) implementing a static timing analysis associated with a pair of a clock terminal and a register included in the design circuit and calculating a maximum and a minimum of clock delay from the clock terminal to the register, and (B) comparing the calculated maximum and minimum with each other to decide whether there is a re-convergence path between the clock terminal and register.例文帳に追加

再収斂パス検出方法は、（Ａ）設計回路に含まれるクロック端子とレジスタのペアに関して静的タイミング解析を実行し、クロック端子からレジスタへのクロック遅延の最小値及び最大値を算出することと、（Ｂ）算出された最小値と最大値とを比較することにより、クロック端子とレジスタとの間の再収斂パスの有無を判定することと、を含む。 - 特許庁

Based on this analysis, we can make the following overall assessment regarding the East Asian region: (1) Japan, the NIEs, China, and ASEAN each have industrial competitiveness according to the characteristics of their individual economic infrastructure, 2) a complementary economic zone for production has been established, and 3) this complementarity is not static, but rather a dynamic complementarity which changes according to stages of economic growth and production technology.例文帳に追加

この分析を通じた総合的判断として、東アジア域内では、日本、NIEs、中国、ASEANがそれぞれの経済基盤の特性に応じた産業の競争力を有しており、生産面で補完的な経済圏が成立していること、しかもその補完性は静的なものではなく、経済成長や生産技術の段階に応じて変化する動的なものであることが結論づけられる。 - 経済産業省

The method comprises a step of splitting a clock cycle of the integrated circuit chip into a plurality of periods, a step of splitting the integrated circuit chip into a plurality of cells, a step of performing a static timing analysis to make the plurality of cells to acquire electric wave data by cell and by period and a step of performing the electric power allocation by using the wave data.例文帳に追加

集積回路チップにおける電力分配を分析する本発明の方法は、集積回路チップのクロック・サイクルを複数の期間に分割するステップと、集積回路チップを複数のセルに分割するステップと、静的タイミング分析を実行して上記複数のセルがセルごと期間ごとに電流波形データを取得するようにするステップと、この電流波形データを用いて電力分配分析を実行するステップとを備えている。 - 特許庁