「logical program」を含む例文一覧(264)
＜前へ 1 2 3 4 5 6- To provide a system wherein a character string resource of a display apparatus in the system can be unified by the same font size without changing the existing screen display program by judging whether the display can be performed in the optimum font size on a display apparatus and changing the correspondence between logical fonts and physical fonts of the display apparatus into the optimum correspondence.
表示装置で最適なフォントサイズで表示できるかどうかを判断し、表示装置の論理フォントと物理フォントの対応を最適な対応に変更して既存の画面表示プログラムを変更することなく、システム内の表示装置の文字列リソースを同じフォントサイズで合わせることができるシステムを提供する。 - 特許庁 - To provide a device and method and a computer program for supporting the detection of an obstacle event for improving the application efficiency of a symptom, and for highly maintaining the detecting precision of an obstacle occurrence event even when any system configuration information is not applied to knowledge such as a logical formula necessary for configuring a dependency model.
依存関係モデルを構成するために必要となる論理式等の知識にシステム構成情報が付与されていない場合であっても、シンプトンの適用効率を向上させ、障害発生イベントの検出精度を高く維持することができる障害イベントの検出を支援する装置、方法及びコンピュータプログラムを提供する。 - 特許庁 - In a checking condition creating part 16, a checking condition logical formula, which corresponds to a checking condition to check the error of soft data of a switching equipment or the like and which is used when a data checking program 30 of the soft data is generated, is created by combining an operator and a function of a symbol with a data name of the soft data.
チェック条件作成部１６において、交換機などのソフトデータの誤りをチェックするためのチェック条件に対応し、且つソフトデータのデータチェックプログラム３０を生成する際に用いられるチェック条件論理式を、ソフトデータのデータ名に、記号である演算子および関数を組み合わせることにより作成する。 - 特許庁 - On the information storage medium 1 including a management region 30 and object regions 40 and 50, an extended video object (in HDVTS) whose reproduction is managed in logical units called a program chain and/or an advanced object (in AHDVTS) whose reproduction is controlled by using a mark-up language is stored in the object regions.
管理領域３０およびオブジェクト領域４０、５０を含む情報記憶媒体１において、オブジェクト領域は、プログラムチェーンという論理単位で再生管理される拡張ビデオオブジェクト（ＨＤＶＴＳ内）、および／またはマークアップ言語を用いて再生制御されるアドバンスドオブジェクト（ＡＨＤＶＴＳ内）を格納する。 - 特許庁 - In an information recording medium 1 having a data region 12 which includes a control region 30 and an object region 40, the object region 40 stores an expanded video object 42 which is reproduced and controlled by a logical unit called a program chain and an advanced objects 44 and 45 which are recorded separately from the expanded video object.
管理領域３０およびオブジェクト領域４０を含むデータ領域１２を有する情報記録媒体１において、オブジェクト領域４０が、プログラムチェーンという論理単位で再生管理される拡張ビデオ・オブジェクト４２と、この拡張ビデオ・オブジェクトとは別に記録されるアドバンスド・オブジェクト４４、４５を格納する。 - 特許庁 - An I/O target change section on a disk control unit for processing I/O issued to a logical volume by an application program determines whether or not the I/O target should be changed, based on the change control information and the computer identification information of an I/O issue source given to the I/O.
アプリケーションプログラムが論理ボリュームに対して発行した入出力を処理する、ディスク制御装置上の入出力対象変更部は、変更制御情報および入出力に付与されている入出力発行元の計算機識別情報に基づき入出力対象の変更を行うか否かを判断する。 - 特許庁 - The disk array has a disk power source control instruction reception program for receiving an instruction for turning on/off the power source to the disk device from a host, and a disk power source control circuit for turning on/off the power source of the disk device corresponding to a logical unit designated by the computer.
コンピュータは、特定のディスク装置の電源をON／OFFするようディスクアレイに指示するディスク制御指示プログラムを備え、ディスクアレイは、ホストからディスク装置への電源のON／OFF指示を受信するディスク電源制御指示受信プログラムと、コンピュータから指定された論理ユニットに対応するディスク装置の電源をON／OFFするディスク電源制御回路とを備える。 - 特許庁 - The compression/coding means and the transmission/ coding means provided within the picture transmission unit 200-1 each has a rewritable nonvolatile memory for storing programs with procedures corresponding to the coding format and the communication protocol respectively, a digital signal processor which executes signal processing according to the program stored in the memory, and a field programmable logic array which executes logical operation according to set logic conditions.
映像伝送ユニット２００−１内に設けられる画像圧縮符号化手段と伝送符号化手段は、例えば、書き換え可能な不揮発性メモリに格納されたプログラムによって信号処理を行うディジタル信号プロセッサと、設定された論理条件で演算処理を行うフィールド・プログラマブル・ロジック・アレイとで構成されている。 - 特許庁 - To provide a simulation device for a PLC, the simulation device capable of making it easy to understand specifications of an error memory provided by the PLC and to change the logical value of a desired error bit into an error equivalent value by a simple operation without incorporating any dedicated logic for generating errors into a ladder diagram program in using a dedicated error generating command.
そのＰＬＣが提供する異常メモリの仕様を容易に理解させることができると共に、専用の異常発生命令を使用する場合のように、ラダー図プログラム中に別途異常発生用の専用ロジックを組み込むことなく、所望する異常ビットの論理値を簡単な操作で異常相当値へと変化させることができること。 - 特許庁 - This program makes a computer execute: a procedure 1 for receiving the input of a logical description to an integrated circuit and a plurality of paths to be evaluated from a memory; a procedure 2 for obtaining the path evaluation value indicating the delay of the paths from the respective input paths; and a procedure 3 for estimating paths with the large evaluation value to be the critical paths.
本発明のプログラムは、集積回路に対する論理記述と、評価の対象としての複数のパスとの入力をメモリから受け取る手順と、入力された各パスに対してパスの遅延を表すパス評価値を求める手順と、評価値の大きいパスをクリティカルパスとして推定する手順とを計算機に実行させる。 - 特許庁 - A check-in/check-out control program 132 selects the content control information file 161 in which the content control information is stored on the basis of the logical product of content ID being a value of an item "content ID" included in the content control information and (Lth power of 2-1), and the content control information is stored in the selected content control information file 161.
チェックイン/チェックアウト管理プログラム１３２は、コンテンツ管理情報に含まれる項目「コンテンツＩＤ」の値であるコンテンツＩＤと、（２のＬ乗—１）との論理積に基づいて、コンテンツ管理情報を格納するコンテンツ管理情報ファイル１６１を選択し、その選択したコンテンツ管理情報ファイル１６１に、コンテンツ管理情報を記憶させる。 - 特許庁 - A verification apparatus extracts circuit configurations assuming a conflict state resulting from concurrent operation unique to hardware, specifically, circuit configurations having a priority setting assuming concurrent arrival of requests, from a hardware program as a group of coverage points by semantic interpretation, and measures whether they are activated by logical simulation in percentage.
ハードウェアならではの同時動作によって発生し得る競合状態を想定した回路構成、具体的には、同時にリクエストが到着することを想定した優先付けが成されている回路構成を、ハードウェアプログラムから意味解釈によってカバレッジポイント群として抽出して、それらが論理シミュレーションによって活性化されたか否か、の百分率として測る検証装置により、達成できる。 - 特許庁 - This digital control software fault simulation test device includes at least a plant simulation (Process) device of program simulation; a controller (Controller) including a high pressure spray substance control and software simulation control (Control Logical Simulation); and an operation interface device for enabling an operator (Operator) to observe a high pressure core sparay controller and special safety control system control.
少なくとも、プログラム模擬のプラント模擬（Ｐｒｏｃｅｓｓ）装置と、高圧注水実体制御とソフト模擬制御（Ｃｏｎｔｒｏｌ Ｌｏｇｉｃａｌ Ｓｉｍｕｌａｔｉｏｎ）とが含有される制御装置（Ｃｏｎｔｒｏｌｌｅｒ）と、作業者（Ｏｐｅｒａｔｏｒ）が高圧炉心注水制御装置と格別安全制御システム制御を観察するための操作インターフェース装置とが含有される。 - 特許庁 - Before recording digital data in a recording type DVD disk by a series of lead-in, a file specification program, lead-out, a file identification descriptor composed in a (UDF file) structure of UDF bridge logical specifications from DVD video specifications is retrieved 319, and a process 320 to invalidate at least one of file identifiers for a video contents file in the sector of the retrieved file identification descriptors is implemented.
デジタルデータをリードイン、ファイル規格プログラム、リードアウトを連続して記録型ＤＶＤディスクに記録する前に、ＤＶＤビデオ規格の中からＵＤＦブリッジ論理規定上の[ＵＤＦファイル]構造で構成されたファイル識別記述子を検索し３１９、前記検索されたファイル識別記述子セクター内のビデオコンテンツ・ファイル用ファイル識別子の少なくとも一つは，無効にされる処理３２０が施される。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
