「logical model」を含む例文一覧(64)
1 2 次へ＞- LOGICAL CIRCUIT OPERATION MODEL GENERATION DEVICE AND LOGICAL CIRCUIT OPERATION MODEL GENERATION METHOD
論理回路動作モデル生成装置及び論理回路動作モデル生成方法 - 特許庁 - STATISTICAL LANGUAGE MODEL FOR LOGICAL FORM
論理形式のための統計的言語モデル - 特許庁 - To allow a logical simulation model to match measured data by optimizing the logical simulation model.
理論的シミュレーションモデルを最適化することにより測定されたデータに適合させる。 - 特許庁 - This data is compared with the logical model to identify data exceptions for the logical model rule.
このデータを論理モデルと比較して、論理モデルのルールに対してデータの例外を識別する。 - 特許庁 - The retrieval logic 2 evolves based on a logical model 6.
検索論理２は、論理モデル６に基づいて進化する。 - 特許庁 - The retrieval logic 2 evolves, on the basis of a logical model 6.
検索論理２は、論理モデル６に基づいて進化する。 - 特許庁 - A logical layer provides an object model around the functions of an application.
論理層は、アプリケーションの機能に関するオブジェクトモデルを提供する。 - 特許庁 - METHOD AND DEVICE FOR GENERATING LOGICAL SIMULATION MODEL, RECORDING MEDIUM AND PROGRAM
論理シミュレーションモデル生成方法、装置、記録媒体、及びプログラム - 特許庁 - Then, a logical form is generated at run-time by using the data model and the selected logical form type.
次いで、データモデルおよび選択された論理フォームタイプを使用して、論理フォームが実行時に生成される。 - 特許庁 - GENERATING METHOD FOR CIRCUIT OPERATION MODEL DESCRIPTION AND LOGICAL DESIGN VERIFYING DEVICE
回路動作モデル記述の生成方法および論理設計検証装置 - 特許庁 - A logical model detecting means 104 detects a model matching the type of the document to be processed among models and a logical element extracting means 105 extracts logical elements from the document image by using the detected model.
論理モデル検出手段１０４は、複数のモデルの中から処理対象文書タイプに一致するモデルを検出し、論理要素抽出手段１０５は、検出された論理モデルを用いて文書画像から論理要素を抽出する。 - 特許庁 - Among document logical element features defining the extracted document logical element, only the stable features are used, and a model for each document logical element is formed.
抽出した文書論理要素を規定する文書論理要素特徴のうち安定した特徴のみを用いて、文書論理要素毎のモデルを生成する。 - 特許庁 - To obtain a method and a device for generating a logical simulation model, a recording medium and a program therefor capable of remarkably reducing generation man hour and maintenance man hour of the logical simulation model.
論理シミュレーションモデルの作成工数やメンテナンス工数を大幅に低減することができる論理シミュレーションモデル生成方法、装置、記録媒体、及びプログラムを得る。 - 特許庁 - A logical simulator 101 as a detail circuit model including clock information is provided with a processor model 102, memory models 103 and 104, and a peripheral circuit model 105.
クロック情報を含む詳細な回路モデルとしての論理シミュレータ１０１は、プロセッサモデル１０２、メモリモデル１０３，１０４、周辺回路モデル１０５を備えている。 - 特許庁 - When the generated document logical element model is applied to the layout element or the logical element of the inputted document image, the logical element specific to each document is extracted with high precision.
入力文書画像のレイアウト要素や論理要素に対して生成した文書論理要素モデルを適用して、各文書固有の論理要素を高精度に抽出する。 - 特許庁 - The logical model 6 can be transplanted by separating from the actual data content of the data group 5.
論理モデル６はデータ群５の具体的なデータ内容とは分離して移植できる。 - 特許庁 - The database system 1 also optimizes a data structure 9 on the basis of the logical model 6.
また、データベースシステム１では、論理モデル６に基づいてデータ構造９を最適化する。 - 特許庁 - The logical model 6 can be separated from the concrete data contents of the data group 5, and implanted.
論理モデル６はデータ群５の具体的なデータ内容とは分離して移植できる。 - 特許庁 - In a logical circuit fault simulation device 10 for simulating the normal operation and fault operation of a logical circuit, a fault generation part 42 selectively uses a logical cell model suited to fault generation and a fault simulation execution part 43 selectively uses the logical cell model suited to the description of a logical function.
論理回路の正常動作および故障動作のシミュレーションを行う論理回路の故障シミュレーション装置１０において、故障生成部４２は、故障生成に適した論理セルモデルを選択して用い、故障シュミレーション実行部４３は、論理機能を記述するのに適した論理セルモデルを選択して用いる。 - 特許庁 - The defining sub-process 902 defines a logical model 908 for the audio/visual medium of a certain class.
定義サブプロセス（９０２）はあるクラスのオーディオビジュアル媒体に対し論理モデル（９０８）を定義する。 - 特許庁 - An input document icon is dropped to the logical model folder of a certain category so that the input document can be identified by using only the model.
入力文書アイコンをあるカテゴリの論理モデルフォルダにドロップすることにより、そのモデルのみを用いて入力文書の識別処理を行う。 - 特許庁 - The logical model 908 is also used for locating the audio/visual resource fragment related with the address.
論理モデル（９０８）は、そのアドレスと関連するオーディオビジュアル資源フラグメントをロケートするためにも使用される。 - 特許庁 - The analytic algorithm for the cluster analysis creates at least one analytic model in an analytical logical data model from the resident data in the relational database.
クラスタ分析に対する分析アルゴリズムは関係データベース内に常駐するデータから分析論理データ・モデル内に少なくとも１つの分析モデルを作り出す。 - 特許庁 - The AST is a model obtained by structuring nodes corresponding to components of a source code according to its logical structure.
ＡＳＴは、ソースコードの構成要素に対応するノードをその論理構造にしたがって構造化したモデルである。 - 特許庁 - By utilizing collected data and the logical model, which requirement is applicable to a specific situation, is identified.
収集されたデータと論理モデルを利用して、特定の状況にどの要件が適用されるかを識別する。 - 特許庁 - At the time of simulating a program 106, the logical simulator 101 extracts and holds interface information 107 between the processor model 102 and the peripheral circuit model 105.
論理シミュレータ１０１はプログラム１０６をシミュレーションするときに、プロセッサモデル１０２と周辺回路モデル１０５との間のインタフェース情報１０７を抽出し、保存する。 - 特許庁 - A rule-based logical model is provided to a particular process to receive data related to the particular process.
ルールベースの論理モデルを特定のプロセスに提供し、特定のプロセスに関連するデータを入力する工程を備える。 - 特許庁 - A mono-layer logical volume model of technique of the present time is extended by the system for a multi-layer logical volume management system (LVM) and its method to opperate the aggregation of more than one level.
複数層論理ボリューム管理（「ＬＶＭ」）システムのシステムおよび方法によって、複数レベルのアグリゲーションを扱うために現在の技術の単一層論理ボリューム・モデルを拡張する。 - 特許庁 - The model inspection device further includes an inspection performing unit that performs the inspection by satisfiability modulo theories based on the logical formula generated by the logical formula generating unit.
また、論理式生成部によって生成された論理式に基づいて充足性モジュロ理論による検査を実行する検査実行部を備えるようにモデル検査装置を構成する。 - 特許庁 - To provide a logical circuit operation model generation device which realizes simulation precision which is sufficient for achieving a purpose of verification, completes simulation within a permissible range of time even in a large-scale system, and generates an adequate logical circuit operation model in a short period even if a designer of the circuit is different from the designer of a logical circuit operation model.
検証目的を達成するに十分なシミュレーション精度を達成し、かつ大規模なシステムであってもシミュレーション実行時間を許容範囲に収めることが可能であり、回路設計者と「論理回路動作モデル」設計者が異なる場合であっても短期間で的確な「論理回路動作モデル」を生成することができる論理回路動作モデル生成装置を提供する。 - 特許庁 - This invention provides a logical model for the general requirement documents and includes to receive data related to a specific situation.
本発明は、一般要件文書のための論理モデルを提供し、特定の状況に関するデータを受け取ることを備える。 - 特許庁 - To increase the speed of logical emulation by reducing the number of stages of a digital circuit model and expanding band width of data transfer between LSIs.
デジタル回路モデルの段数を減らし、ＬＳＩ間データ転送のバンド幅を広げることにより、論理エミュレーションを高速化する。 - 特許庁 - A logical value "X2 (indefinite value)" whose signal intensity is a strength level "5" is added to an output expected value of a conventional logic simulation model.
従来の論理シミュレーションモデルの出力期待値に、信号強度がストレングス・レベル「５」の論理値「Ｘ２（不定値）」を加えた。 - 特許庁 - The document logical element is modeled to be used for collation with the input element, and as to the document image with the same type as that of the document image used for production of the model, extraction of the logical element can be omitted.
文書論理要素をモデル化して入力要素との照合に用いており、モデルの生成に用いた文書画像と同一種別の文書画像については、論理要素の抽出が略可能となる。 - 特許庁 - A data model is created for storing the network elements, including the physical ports, physical links, network nodes, logical links, and SCTP connections.
物理ポート、物理リンク、ネットワーク・ノード、論理リンク及びＳＣＴＰ接続を含むネットワーク要素を記憶するため、データ・モデルが生成される。 - 特許庁 - Here, the logical model 6 is the general relationship for introducing results 8 from conditions 7 on a phenomenal group aimed by a data group 5.
ここで、論理モデル６は、データ群５が対象としている事象群に関する条件７から結果８を導く一般的関係である。 - 特許庁 - The system is provided with plural processor simulation models 103 for simulating software instruction operation, a logical circuit simulation model 105 for simulating a logical circuit part, a model switching means 102 for dynamically switching plural processor simulation models 103, and a synchronizing means 104 for synchronizing the simulation of the processor simulation models 103 with that of the logical circuit simulation model 105.
ソフトウェアの命令動作をシミュレートする複数のプロセッサシミュレーションモデル（１０３）と、論理回路部をシミュレートする論理回路シミュレーションモデル（１０５）と、複数のプロセッサシミュレーションモデルを動的に切り替えるモデル切替手段（１０２）と、プロセッサシミュレーションモデルと論理回路シミュレーションモデルのシミュレーションを同期させる同期手段（１０４）とを備え、相互に作用を及ぼし合うプロセッサ部の命令動作と論理回路部の動作の検証を行う。 - 特許庁 - Therefore, the logical model 6 can be exported to another database system same in kind, and also imported from the same kind database system.
このため、論理モデル６を同種の他のデータベースシステムにエクスポート可能であるとともに、同種のデータベースシステムからインポートされることもできる。 - 特許庁 - The grid model is divided into rectangular regions each including one or more logical nodes associated with one or more service requests made from outside.
格子モデルは、外部からなされる一つまたは複数のサービス要求に対応付けられた一つ以上の論理ノードを含む方形領域に分割される。 - 特許庁 - A logical model 908 is used by the encoding sub-process 904 so that the address of an audio/visual resource fragment belonging to the class of an audio/visual medium can be encoded.
論理モデル（９０８）は符号化サブプロセス（９０４）で使用されて、オーディオビジュアル媒体のクラスに属するオーディオビジュアル資源フラグメントのアドレスを符号化する。 - 特許庁 - In order to use the method to generate a form user interface for representing a data model such as a business model, a selection is made to identify which of a plurality of different logical form types is to be used to generate the form user interface for representing the data model.
この方法を使用して、ビジネスモデルなどのデータモデルを表すためのフォームユーザインターフェイスを生成するために、データモデルを表すためのフォームユーザインターフェイスの生成に異なる複数の論理フォームタイプのうちのどれを使用するべきかを特定するための選択が行われる。 - 特許庁 - Middleware environment defining information for each server and a job execution program component operated on the middleware are generated based on the model pattern and the logical job designing information.
そして、モデルパタンと論理ジョブ設計情報に基づき、サーバ毎のミドルウェア環境定義情報とミドルウェア上で動作するジョブ実行プログラム部品を生成する。 - 特許庁 - The next logical step is to try to understand how these components interact well enough to model those biological systems in silico.
次の論理段階は、これらの構成要素がインシリコでそれらの生物系を充分良くモデル化するのに、どのように相互作用するかを理解しようと試みることである。 - コンピューター用語辞典 - The method for generating fault tree analysis which is configured to generate a fault tree analysis diagram from a state transition model which is represented in terms of events and transitions includes steps of interpreting the state transition model, as at least one logical formula and generating a fault tree analysis where the given event is disposed at a top event, based on the logical formula.
本発明は、イベントと遷移とで表される状態遷移モデルから故障の木解析図を生成する故障の木解析生成方法であって、状態遷移モデルを少なくとも一以上の論理式として解釈し、論理式に基づいて、与えられたイベントをトップイベントとする故障の木解析を生成する故障の木解析生成方法である。 - 特許庁 - The computer-mounted method for dynamically updating the geometric model uses a data structure related to a pointer dynamically linked with a selected constitution element so that the constitution element selected as to the model form a logical element.
動的に幾何モデルを更新するためのコンピュータ実装される方法は、そのモデルに関して選択された構成エレメントが、論理エレメントを形成するために、選択された構成エレメントに動的にリンクされたポインタと関連付けられる、データ構造を使用する。 - 特許庁 - This power consumption estimation part 15 sets the value of the calculated unknown parameter to the energy consumption calculation model of each equipment to calculate a logical energy consumption value of each equipment.
消費電力推定部１５は、求めた未知パラメータの値を上記各機器毎の消費エネルギー算出モデルに設定することで、各機器毎の消費エネルギー理論値を算出する。 - 特許庁 - To generate an order machine model usable by a multipurpose logical simulator, etc., from brief specification description in hardware to execute a plurality of transactions in parallel like a pipeline.
複数のトランザクションをパイプライン的に並行して実行するハードウェアにおいて、汎用の論理シミュレータ等で利用可能な順序機械モデルを簡潔な仕様記述から生成すること。 - 特許庁 - The model is changed when an output directly relies on the output of a combination loop itself and a design includes the combination loop which requires an logical end within a single bus cycle.
出力が組合せループ自体の出力に直接依存し、単一のバスサイクルで論理的に完了する必要がある組合せループをデザインが含む場合に、モデルの変更が行われる。 - 特許庁 - This model is obviously opposite to a usual multiple resolution analysis which classifies an image as the hierarchy of a geometrical object in a physical and logical screen.
このモデルは、画像を物理的及び論理的画面において幾何学的なオブジェクトの階層として分類する従来の多重解像度解析とは明らかな対照を成すものである。 - 特許庁 - A program generating part 193 operates the extraction and assembly of a logical logic from a model program group 194, and prepares a complementary program 197 exclusive for the IDL file 8 (a step A-3).
プログラム生成部１９３は雛形プログラム群１９４より処理ロジックの抽出と組み立てを行い、ＩＤＬファイル８専用の補完プログラム１９７を作成する（ステップＡ−３）。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
