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

１つのセマフォで管理している複数の共有リソースのうち、個別のセマフォで管理すべき共有リソースをソースコードの静的解析で検出。例文帳に追加

To detect shared resources to be managed by individual semaphores among a plurality of shared resources managed by one semaphore by the static analysis of source codes. - 特許庁

静的タイミング解析装置は、時刻関数生成部１２と、スラック関数生成部１３と、電源ドメイン電圧定数決定部１４と、スラック値計算部１５と、出力部１６と、を備える。例文帳に追加

A static timing analysis device includes a time function generation part 12, a slack function generation part 13, a power supply domain voltage constant determination part 14, a slack value calculation part 15, and an output part 16. - 特許庁

デンドログラムにより階層的クラスタリング解析の結果を表示する際に、リーフの位置などが固定された静的な表示は多変量データの挙動の把握が難しい。例文帳に追加

To solve the problem that it is difficult to understand the behavior of multivariate data by static display with the position of a leaf or the like fixed therefor when displaying the result of hierarchical clustering analysis by a dendrogram. - 特許庁

ルールの重要度を不具合の発生と連携させることによって、実際に稼動しているプログラムでの不具合発生を未然に防ぐことに貢献できるプログラム静的解析システムを提供することを目的とする。例文帳に追加

To provide a static program analysis system for contributing to prevent errors in an actually running program by cooperating an importance of a rule with occurrence of an error. - 特許庁

沸点が１５０℃以上である有機溶媒に染料が溶解している油相を水性媒体中に乳化させ、２５℃における静的表面張力を２０乃至５０ｍＮ／ｍに調整する。例文帳に追加

This ink composition is prepared by emulsifying an oil phase comprising an organic solvent having a boiling point of 150°C or higher and a dye dissolved therein in an aqueous medium and adjusting the static surface tension at 25°C to 20-50 mN/m. - 特許庁

ビルドサーバ１２のビルド部１２１は、構成管理サーバ１１のソフトウェア部品のソースに更新があった場合、ソースを取得して実行プログラムを作成し、静的解析を行い、レポートを作成する。例文帳に追加

In an automatic performance evaluation system, a build part 121 of a build server 12 obtains a source of software component and prepares a program for execution when the source of software component of a configuration management server 11 is updated to analyze it statically and prepare a report. - 特許庁

ソースプログラムの静的解析において，欠陥であるか否かを確定できないと判定された箇所の指摘を提示する際に，それらの指摘を確認するユーザの手間を軽減する技術を提供する。例文帳に追加

To provide a technology which reduces labor of a user to confirm indication, when presenting the indication about a place which is determined that it cannot be confirmed whether or not it is a defect, in static analysis of a source program. - 特許庁

内容置換手段は解析条件入力部９１を用いて、プログラム稼働状況データベース部３および静的情報データベース部５の少なくとも何れかの記憶内容を置き換えることができるようになっている。例文帳に追加

While using an analytic condition input part 91, the content replacing means can replace the stored contents in at least one of the program operating condition data base part 3 and the static information data base part 5. - 特許庁

表示情報作成部１５は、これら静的解析情報及び実行時情報に基づいて、表示の対象となる図表などを表す表示情報を作成する。例文帳に追加

A display information preparing part 15 prepares display information indicating graphic charts to be displayed or the like based on the static analysis information and the execution time information. - 特許庁

その後、トランザクションデータ解析処理（ステップＳ３）にてトランザクションデータを解析し、その解析結果から生成される最適なバスのビット幅、エンコーディング方式、または動作周波数などを静的または動的に制御する制御部を生成する（ステップＳ４）。例文帳に追加

Then the transaction data are analyzed by transaction data analysis processing (step S3) and a control part for statically or dynamically controlling the bit width of an optimum bus, an encoding system, operation frequency, or the like which are generated from the analytical result is generated (step S4). - 特許庁

本発明のインクカートリッジ１６は、２０℃における溶解酸素ガス量基準で測定したとき３ｐｐｍ未満の溶解ガス量と３４ｄｙｎｅ／ｃｍを超える２５℃における静的表面張力とを有するインク液で充填されたインク容器７０を備える。例文帳に追加

The ink cartridge 16 comprises an ink container 70 filled with an ink liquid having a less than 3 ppm dissolved gas content measured based on the dissolved oxygen gas content at 20°C and a 34 dyne/cm or more static surface tension at 25°C. - 特許庁

本発明のインク組成物は、着色剤と水溶性キャリアを備え、２０℃における溶解酸素ガス量基準で測定したとき３ｐｐｍ未満の溶解ガス量と３４ｄｙｎｅ／ｃｍを超える２５℃における静的表面張力とを有する。例文帳に追加

The ink composition including a coloring agent and a water-soluble carrier, has a less than 3 ppm dissolved gas content measured based on the dissolved oxygen gas content at 20°C and a 34 dyne/cm or more static surface tension at 25°C. - 特許庁

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

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. - 特許庁

「プロパティー」ウィンドウで、静的テキストコンポーネントの「id」プロパティーを「transcriptText」に変更し、「escape」のチェックボックスを選択解除してプロパティーを「false」に設定します。 「escape」プロパティーを「false」に設定すると、このテキストに埋め込まれた任意のマークアップタグがブラウザで評価されます。例文帳に追加

In the Properties window, change the id property of the Static Text component to transcriptText, and clear the checkbox for escape to set that property to false.Setting the escape property to false causes the browser to evaluate any markup tags embedded in the text.  - NetBeans

（１） 検査マニュアルを改定し、「重要なリスクに焦点をあてた検証」、「問題点の指摘と適切な取組の評価、静的・動的な実態の検証」、「検査結果に対する真の理解（納得感）」など、検査官が金融検査を行う際に配意すべき事項を明記（平成 20年８月）。例文帳に追加

(1) The FSA revised the Inspection Manuals so as to specify the matters that inspectors should bear in mind when conducting financial inspection, such as a “priority-driven approach focusing on important risks,” “identification of problems, evaluation of appropriate improvement efforts and examination of static and dynamic aspects” and “promotion of accurate understanding of examination findings (sense of satisfaction)” (August 2008).  - 金融庁

ソースコードに対する静的解析により検出された警告に対し、どの警告に対応する修正から行うべきかの優先度付けを行うことができるソースコード修正優先度付けシステムおよびその優先度付け方法を提供する。例文帳に追加

To provide a source code correction priority setting system and its priority setting method that can carry out priority setting with respect to the correction processings corresponding to warnings detected by static analysis to source codes. - 特許庁

巧妙な因数分解および効率的な内部表現の両方の結果として、２次元画像（フレーム）を生成するために必要な動的計算を大幅に低減し、必要な静的計算を低頻度で実行することにより、レンダリング時間全体を低減する。例文帳に追加

To reduce entire rendering time by remarkably reducing dynamic calculation required for generating a two-dimensional(2D) frame and executing required static calculation with low frequency as a result of both skillful factorization and efficient internal expression. - 特許庁

実験により耐震性能に関わる構造特性を調べて構造モデルを作成し、この構造モデルに建築基準法に規定された静的地震荷重に適合させた動的地震荷重を作用させて応答解析を行い精度の高い応答値を得る。例文帳に追加

The structural characteristics on aseismic performance are investigated by an experiment to prepare a structure model, and a dynamic seismic load conforming to a static seismic load specified in the Building Standard Law is allowed to act on the structure model for response analysis to provide highly accurate response values. - 特許庁

静的最適化部１０５１において、計数部１１２はソースプログラムを解析することによりアクセス箇所数を計数し、第１算出部１１４は基本ブロックアクセス頻度推定値を算出し、第２算出部１１６は関数アクセス頻度推定値を算出する。例文帳に追加

In a static optimization part 1051, a counting part 112 counts the number of accessed parts by analyzing the source program, a first calculation part 114 calculates a basic block access frequency estimation value and a second calculation part 116 calculates a function access frequency estimation value. - 特許庁

担持材料上で不動態化された、金属有機化合物の部分水解生成物の製造法の場合に、金属有機化合物および水を連続的に静的混合装置中に炭化水素の存在で供給し、生じる反応生成物を担持材料と接触させる。例文帳に追加

The method for manufacturing a partial hydrolyzate of an organometallic compound passivated on a support material comprises continuously feeding an organometallic compound and water into a static mixer in the presence of a hydrocarbon and bringing the resultant reaction product into contact with a support material. - 特許庁

また、静的超高圧処理、高電圧パルス放電処理、光パルス処理、紫外線照射処理、ろ過処理、電解処理、オゾン処理のうちのいずれかまたは複数からなる処理工程と、液状食品に衝撃液圧を加える衝撃液圧処理工程とを、備えたことを特徴とする。例文帳に追加

The process characteristically comprises the impact liquid pressure process adding the impact liquid pressure to the liquid food, combined with any one or a plurality of processes comprising a static super high pressure processing, a high voltage pulse discharge process, an optical pulse process, a process irradiating with UV light, a filtration process, electrolyzing process or ozone process. - 特許庁

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

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. - 特許庁

クライアント側コンピュータに配置されたオブジェクトプログラムと呼び出される側のコンピュータに配置されたオブジェクトプログラムについて、注釈付けとそのプロパゲーションにより、クライアント側コンピュータのみで独立に実行可能な部分を静的解析器により判定する。例文帳に追加

Concerning an object program arranged at a computer on the client side and an object program arranged at a computer on a side to be called, the part which can independently be executed by only the computer on the client side is judged by annotation and propagation with a static analyzing device 103. - 特許庁

関係構築支援手段２１は複数のノードからなる階層構造において入力装置１から指定されたノードに記述された文章を解析し、その文章の中から抽出された用語を基に静的構造図、シーケンス図、ステートチャート図を出力装置４に提示する。例文帳に追加

A relation construction support means 21 analyzes text described in nodes designated from an input device 1 in the hierarchical structure consisting of a plurality of nodes, and presents the static structure chart, the sequence chart and the state chart to an output device 4 according to terms extracted from the text. - 特許庁

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

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 static NAT formation device, a reverse proxy server, and a virtual connection control device for use in a new network, eliminating the conventional VPN problem and achieving flexible operability and strong security by the addition of quite lightweight software and hardware. - 特許庁

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

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. - 特許庁

この際に、回路設計後（Ｓ１０１）に静的タイミング解析（ＳＴＡ）などの検証（Ｓ１０２）を行い、このＳＴＡの結果に基づいて、ディジタルシステム内に挿入するプログラマブル遅延回路の場所および数を限定する（Ｓ１０３）。例文帳に追加

In this case, after circuit design (S101), verification (S102) such as static timing analysis (STA) is performed, and the place and the number of programmable delay circuits to be inserted into the digital system are limited (S103) based on the result of the STA. - 特許庁

ソースプログラムより不変情報を抽出し、この不変情報を動的及び静的に解析することにより、意味情報を測定及び定量化し、より正確な凝集度測定を可能にする凝集度測定装置、凝集度測定方法及び凝集度測定プログラムを提供する。例文帳に追加

To provide a device, method and program for measuring condensation degrees more accurately by extracting invariable information from a source program, and analyzing this invariable information both dynamically and statically for the measurement and quantization of meaning information. - 特許庁

同じユーザが一度印刷した文書を再印刷する機会は少ないにも関わらずその印刷設定をサーバに静的に保持していたことと、一度印刷した文書が、その後変更されているか、印刷可能であるかを一目で判断することができなかったことを解決すること。例文帳に追加

To solve the problem that although there are a few chances to reprint a document printed once by the same user, the print setting is statically held in a server, and that it is not possible to determine whether the document printed once has been changed afterwards or the document is printable at a glance. - 特許庁

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

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. - 特許庁

建築構造物を構成する部材を任意に選択可能にする部材断面検定方法を提供し、この部材断面検定法によるプログラムが格納され、この部材断面検定結果に対応した部材剛性行列により、静的弾塑性解析及び動的弾塑性解析を可能とするプログラムを格納した記録媒体を提供することを目的とするものである。例文帳に追加

To provide a member cross section examination method allowing a member constituting a construction structure to be arbitrarily selected; and to provide a recording medium having a program by the member cross section examination method stored and allowing a static elastic-plastic analysis and a dynamic elastic-plastic analysis by a member rigidity matrix corresponding to the member cross section examination result thereof. - 特許庁

焼却場設備の解体工法は、ダイオキシン類により汚染された焼却場設備を周囲環境から遮断する工程１０１と、焼却場設備の内面にダイオキシン類埋封剤を付着させてダイオキシン類を埋封する工程１０２と、焼却場設備の地上構造部分を静的に解体する工程１０３を有することを特徴とする。例文帳に追加

The demolition method of the incinerator facility has a process 101, in which the incinerator facility polluted by dioxins is shielded from peripheral environment, a process 102, in which the dioxin embedding agent is attached onto the internal surface of the incinerator facility and to embed dioxins, and a process 103 in which the ground structural section of the incinerator facility is demolished statically. - 特許庁

本発明のＥＭＩ解析手法は、従来の動的なゲートレベルシミュレーションに対して、信号確率伝播手法を使用し、各ノードへの信号の伝播確率を算出するとともに、静的解析手法を用いて各ノードの変化時刻を計算し、その結果からＥＭＩノイズを推定するようにしたものである。例文帳に追加

The transition probability of each node is calculated according to previously prepared net list 1 and transition probability 2, the static delay of a current estimation waveform per change is also calculated 4, and amplitude is corrected by considering the probability and delay 5 of each node and previously defined waveform information at the time of toggle. - 特許庁

クラス依存関係解析部１５によって絞り込まれた静的設計情報と、画面遷移情報特定キー解析部１８によって判定された画面遷移情報特定キーに対応する画面遷移に関連する動的設計情報とを１つの設計情報としてまとめ、この１つの設計情報からソースコードの雛型、外部ファイル、テスト項目を生成する。例文帳に追加

The static design information narrowed by the analysis part 15 and the dynamic design information related to the screen transition corresponding to the screen transition information specification key determined by the analysis part 18 are collected as one piece of design information, and the form of source code, the external file and the test item are generated from the one piece of design information. - 特許庁

上記課題を解決するために本発明のリニアスケールの位置検出精度維持装置１は、動的なキャリッジ搬送用ベルト９の近傍に静的なリニアスケール３を配置することによって生ずる精度低下要因の伝搬を回避するため、両者の間を仕切る仕切り部材として設けられている。例文帳に追加

A position detecting accuracy keeping apparatus 1 for the linear scale of the present invention for solving the above problem is provided as a partition member for partitioning between a dynamic carriage carrying belt 9 and the static linear scale 3 in order to avoid propagation of the factors of decreasing in accuracy generated by arranging the static linear scale 3 in the vicinity of the dynamic carriage carrying belt 9. - 特許庁

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

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. - 特許庁

静的水接触角が４５°以下である表面を有する基材と、該基材表面上に剥離可能に積層された、細胞接着性を有する有機薄膜とを備えることを特徴とする細胞培養担体と、十分な強度を有し且つ細胞接着性である形状保持用シートとを用いることにより上記課題を解決することができる。例文帳に追加

The technique comprises using a cell culture carrier comprising a substrate having a surface 45° or smaller in static water contact angle and an organic thin film laminated peelably on the surface of the substrate and having cell adhesiveness, and a shape-retaining sheet having sufficient mechanical strength and cell adhesiveness. - 特許庁

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

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). - 特許庁

ベースアシスト指令決定手段１は、少なくとも処理対象信号の周波数に応じて振幅増幅を行なう動的振幅増幅手段１−１と、処理対象信号の振幅と車速に応じて振幅増幅を行なう静的振幅増幅手段１−２とを、直列結合した形で、備えることにより課題を解決した。例文帳に追加

The base assist command determination means 1 is provided with a dynamic amplitude amplification means 1-1 for amplifying an amplitude according to at least a frequency of a processing object signal, and a static amplitude amplification means 1-2 for amplifying the amplitude according to the frequency of the processing object signal and vehicle speed, in a serially connected state. - 特許庁

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

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. - 特許庁

前輪ジオメトリー及び後輪ジオメトリーが同時に含まれる一つの新しいジオメトリー設計パラメーターを開発し、準静的解釈の結果だけでも生成が可能なパラメーターの特性及び変化率により、車両の旋回時発生し得る操縦安定性能に対する傾向を予測することができる方法を提供する。例文帳に追加

To provide a method which enables the prediction of a trend of steering stability performance capable of generating at a turning time of a vehicle by characteristics and a rate of change in a parameter which can be generated even by a result of a semi-static interpretation by developing one new geometry design parameter containing simultaneously a front wheel geometry and a rear wheel geometry. - 特許庁

次に、最大容量及び最小容量を用いた静的タイミング解析により（ステップＳ９、Ｓ１０）、回路上のノードの１つあるいは複数の組み合せからなるパスに対し、セットアップ制約を満足しているパスを適合パスに（ステップＳ１２）、セットアップ制約に違反しているパスを違反パスに（ステップＳ１１）、適合パス及び違反パスのいずれにも属さないパスを未決パスに分類する（ステップＳ１３）。例文帳に追加

Passes each of which consists of the combination of one or plural nodes on the circuit are sorted into adaptive passes satisfying set-up restriction (step S12), violation passes violating the set-up restriction (step S11) and pending passes not pertaining to any of the adaptive passes and the violation passes (step S13). - 特許庁

警告情報の各々に対応して、第１ソースコード及び当該第１ソースコードから修正された第２ソースコードの夫々を静的に解析した結果、当該警告情報の警告が検出された回数である第１警告出力数及び第２警告出力数を警告出力数テーブル５２に格納する。例文帳に追加

A first source code and a second source code resulting from the correction of the first source code are each statically analyzed correspondingly to each piece of warning information, and consequently the number of first warning outputs and the number of second warning outputs, i.e., the numbers of times that the warnings based on the warning information are detected, are stored in a warning output number table 52. - 特許庁

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

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. - 特許庁