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

It can view and listen to two or more contents according to the regenerating sequence, hold the acquired content when you want to use a thing included in mind as a content for performing the call termination broadcast or the hold broadcast, and establish as a content for performing the call termination broadcast or the hold broadcast.例文帳に追加

再生順序に従って複数のコンテンツを視聴し、気に入ったものを着信報知または保留報知を行うためのコンテンツとして使用したい場合は、取得したコンテンツを保持し、着信報知または保留報知を行うためのコンテンツとして設定することができる。 - 特許庁

Video data divided into a plurality of unit data (cell), attribute information which instructs the reproduction sequence of the plurality of unit data (cell) and first control information (cell type) which instructs the propriety of the reproduction with respect to each of these unit data (cell) are recorded on the recording medium (optical disk 11).例文帳に追加

複数の単位データ（セル）に区切られた映像データと、この複数の単位データ（セル）の再生順序を指示する属性情報と、この複数の単位データ（セル）毎に再生の可否を指示する第１の制御情報（セルタイプ）とを、記録媒体（光ディスク１１）に記録するようにしている。 - 特許庁

To provide a method and a system of communications and a relay device in a vehicle, which are capable of shortening a relay time and preventing frames from being reversed in relay sequence when the frames, which are transmitted from one device on a first communication bus to the other device on a second communication bus, are relayed.例文帳に追加

第１通信用バス上の装置から第２通信用バス上の装置へ送信するフレームを中継する場合に、中継時間を短縮し、かつフレームの中継順序が逆転することを防止する車内通信方法、車内通信システム及び中継装置を提供する。 - 特許庁

In another embodiment, the metallic melting heat transfer ribbon is constituted at least of the vapor deposition heat-resistant layer, the metal vapor deposition layer and the adhesion layer in this sequence from the base, and the ribbon has an intermediate layer containing the coloring agent between the metal vapor deposition layer and the adhesion layer.例文帳に追加

メタリック溶融熱転写リボンの構成が、基材から少なくとも蒸着耐熱層、金属蒸着層、接着層の順にあり、金属蒸着層と接着層の間に着色剤を含む中間層を有することを特徴とするメタリック印画用の溶融熱転写リボン。 - 特許庁

An image signal, i.e., DATA, is subjected to pixel modulation at a modulating section 78 and a logic element 70 turns a switch 79 on/off by ORing the output signal from the modulating section 78 and a full lighting signal FULL from a sequence controller 77 thus controlling the pulse current of a laser 73A.例文帳に追加

画像信号であるＤＡＴＡは、変調部７８において画素変調され、その出力信号とシーケンスコントローラ７７からのフル点灯信号ＦＵＬＬのＯＲを出力する論理素子７０によりＯＮ／ＯＦＦするスイッチ７９によって、レーザ７３Ａのパルス電流は制御される。 - 特許庁

In the document matching processing, when selecting surrounding feature points to the focused feature point, after sequentially eliminating the feature points from the nearest neighbor point to a score designated in advance in a sequence close to the focused feature point, the designated number of the feature points are selected.例文帳に追加

文書照合処理において、注目特徴点に対して周辺の特徴点を選択する際に、最近傍の点から予め指定された点数までの特徴点を注目特徴点に対して近い順に除いた上で、所定の数の特徴点を選択する。 - 特許庁

A seal 7 is furnished at is undersurface with a first 7a, a second 7b, and a third ring-shaped projection 7c located from the inside surface to the periphery in the sequence as named, and in the innermost surface part, a positive electrode carbon rod supporting part 7d is provided apart from the first projection.例文帳に追加

封口体７の下面に、内周側から外周側に向けて順に設けられた第１の環状突起部７ａ、第２の環状突起部７ｂおよび第３の環状突起部７ｃを設け、最内周部において第１の環状突起部に離間して正極炭素棒支持部７ｄを設ける。 - 特許庁

When the TCP connection to the unique port is made successfully, the opposite party is discriminated to be its own terminal and image/audio data are sent/received by the video/audio socket to omit the conventional connection sequence and image/audio communication (S205) is started.例文帳に追加

独自のポートへのＴＣＰのコネクションが成功すれば、相手が自端末であると判定し、あらかじめ決められたポートで開いていた画像／音声用のソケットに画像／音声データを送受信することにより通常の接続シーケンスを省略し、画像／音声通信を開始する（Ｓ２０５）。 - 特許庁

To enhance interests of games, by changing the count of notifying players that the specified combination is internally won by lottery which is given as requirements for ending the state relatively advantageous for players according to the sequence of the stop operation, when the specified combination linked to the operation of the bonus game is won.例文帳に追加

遊技者にとって相対的に有利な状態の終了の条件となる特定役に内部当籤していることを遊技者に報知する回数をボーナスゲームの作動にかかる特定役に入賞した際の停止操作の順序に応じて変えるようにして、遊技の興趣を高める。 - 特許庁

In a system control part 21, a scan sequence control part 14 is controlled so as to send out an ultrasonic pulse with a phase 0° on a different scanning line without waiting for sending out of an ultrasonic pulse with a phase 180° after sending out the ultrasonic pulse with a phase 0° on 1 scanning line.例文帳に追加

システム制御部２１において、１走査線上に位相０°の超音波パルスを送出後、位相１８０°の超音波パルスの送出を待つことなく、異なる走査線上に位相０°の超音波パルスを送出するようにスキャンシーケンス制御部１４を制御している。 - 特許庁

To provide a rice cooker capable of cooking boiled rice including proper moisture by reducing burnt deposit/drying in a boiling process and absorbing and evaporating excessive moisture in the rice cooker cooking the rice in a rice cooking sequence having at least the boiling process and a steaming process.例文帳に追加

少なくとも炊き上げ工程とむらし工程を有する炊飯シーケンスで炊飯する炊飯器において、炊き上げ工程時の焦げ・乾燥を低減し、さらに余分な水分を吸収、蒸発し適正な水分を含んだご飯を炊くことができる炊飯器を提供する。 - 特許庁

The guest system(GS) includes a dispersion reference 35 for dispersing the sequence operation to the host server(H-SVR), and a guest net server management part 34:342 for issuing a job execution request for causing the host server(H-SVR) to execute to the guest program 111 according to the dispersion reference 35.例文帳に追加

ゲストシステム（ＧＳ）は、シーケンス動作をホストサーバ（Ｈ−ＳＶＲ）に分散する分散基準（３５）と、同分散基準（３５）に従って、ゲストシステムプログラム（１１１）にホストサーバ（Ｈ−ＳＶＲ）に実行させるジョブ実行要求を発行するゲストネットサーバ管理部（３４：３４２）とを含む。 - 特許庁

The operation panel 11a of the input device 11 is provided with three operation positions to be operated by three players simultaneously, and the small operation button 11S, medium operation button 11M, and large operation button 11L are arranged from the left in sequence at each operation portion.例文帳に追加

入力装置１１の操作パネル１１ａには、３人が同時に操作できるように３つの操作位置が設けられ、各操作位置に、それぞれ、小型の操作ボタン１１Ｓと、中型の操作ボタン１１Ｍと、大型の操作ボタン１１Ｌとが左から順番に配置されている。 - 特許庁

A method of generating the modulation image on the basis of a source image to be modulated is disclosed to locate the pattern at the position of an image at which the pattern can interfere with a person viewing an illegitimate copy of a video sequence (e.g., photographed by a video camera).例文帳に追加

本発明に従って、映像シーケンス（例えば、ビデオカメラにより撮影された）の違法複写を見ている人を妨害することが可能である、画像の位置においてパターンを位置付けるように、変調されるソース画像に基づいて変調画像を生成する方法を提供する。 - 特許庁

The scanning sequence of scanning lines in an address period is inverted every field or sub-field to suppress the occurrence of abnormal discharging due to the unbalance of a stray potential which is caused by asymmetrical discharging in an address operation, and thus a PDP of high definition and high picture quality is realized.例文帳に追加

アドレス期間における走査線を走査する順序を、フィールド毎あるいはサブフィールド毎に反転させることによって、アドレス動作における非対称放電に起因する浮遊電位のアンバランスによる異常放電の発生を抑制し、高精細で非常に高画質なＰＤＰを実現する。 - 特許庁

A document storage part 124 stores an element sequence in which a text element as a document element for a text and an image element depending on a platform having a server character image acquired from a server as a view and having a character code value as attributes are mixed in a document as the form of a document element.例文帳に追加

ドキュメント格納部１２４は、ドキュメントエレメントの型式として、テキスト向けのドキュメントエレメントであるテキストエレメントと、サーバから取得したサーバ文字画像をビューに持ち文字コード値を属性に持つプラットフォームに依存した画像エレメントとが交ぜ合わされたエレメントシーケンスをドキュメントに格納する。 - 特許庁

Further, an input timing to input the display signal C2 output from the VGA controller 4 in accordance with the power supply sequence stored in the VGA-BIOS to the FET 7 is delayed by a delay circuit 6 based on the delay time of the display signal C2 set in the delay setting file 3b.例文帳に追加

また、ＶＧＡ−ＢＩＯＳに記憶された電源シーケンスに従ってＶＧＡコントローラ４から出力される表示信号Ｃ２がＦＥＴ７に入力されるタイミングを、遅延設定ファイル３ｂに設定された表示信号Ｃ２の遅延時間で遅延回路６により遅延させる。 - 特許庁

The commutation sequence selection part includes a commutation means for transiting a switching state at a timing of switching between on/off states in a serial-connected switching element, so that current commutates when voltage switches from/to a range between 0 and -E to/from a range between 0 and +E in output voltage level.例文帳に追加

転流シーケンス選択部は、直列接続されたスイッチング素子のオン・オフ状態変化時にスイッチング状態を遷移させる転流手段を備え、出力電圧レベルが０と−Ｅ相互間及び０と＋Ｅ相互間での電圧切り替わり時に転流するようにしたものである。 - 特許庁

When the base sequence of a region between the two genes in the mutant nyc1-1 was analyzed, the presence of one base replacement of P0452F10.4 gene existing between both the genes was confirmed, and it was estimated that the abnormal splicing of the gene was caused in the mutant nyc1-1.例文帳に追加

突然変異体nyc1-1についてこれら２つの遺伝子間の領域の塩基配列を解析したところ、両遺伝子間に存在するP0452F10.4遺伝子の1塩基置換の存在が確認され、突然変異体nyc1-1ではこの遺伝子のスプライシングの異常が起きていることが推定された。 - 特許庁

A unijunction thin film solar cell is equipped with a set of a transparent conductive layer and a photoelectric conversion layer formed on a board in this sequence, a plurality of holes are provided to the surface of the transparent conductive layer that comes into contact with the photoelectric conversion layer, and irregularities are provided to each inner surface of the holes.例文帳に追加

基板上に、透明導電層及び光電変換層がこの順に１組積層されて構成されてなり、 前記透明導電層が光電変換層側の表面に複数の穴を有しており、該穴の表面に凹凸が形成されている単接合型薄膜太陽電池。 - 特許庁

To provide an apparatus and method of setting workpiece carry-in sequence of a plating apparatus in which the utilization efficiency of electrodes is equalized and the improvement in production efficiency is made possible in a plating bath in which the workpieces are simultaneously subjected to plating treatment for every lot by a plurality of plating baths.例文帳に追加

複数のめっき槽によりロットごとに同時にワークをめっき処理するめっき槽において、電極の利用率が均等化され、生産効率の向上が可能となるめっき装置のワーク搬入順序設定装置とワーク搬入順序設定方法を提供する。 - 特許庁

When abnormalities occur in the working device, an abnormal relay contact is displayed (Figure 8 (a)), the address of the corresponding relay coil displayed under the electrical diagram symbol of the relay contact is clicked, and a part including the corresponding relay coil of the sequence circuit (Figure 8 (b)) is displayed by jumping to specify the cause of the abnormalities.例文帳に追加

作業装置において異常発生時に異常なリレー接点を表示させ（図８(a））、そのリレー接点の電気図記号の下に表示された対応するリレーコイルのアドレスをクリックし、シーケンス回路の対応リレーコイルを含む部分をジャンプ表示させ（図８(b））、異常原因を求める。 - 特許庁

An image interleave unit 112 receives a non-interlace image signal from an image reducing unit 103, temporally interleaves the non-interlace image signal to obtain an interleaved non-interlace image signal, and a lower layer coder 113 codes the interleaved non-interlace image signal to generate a lower layer coding sequence and the local decoding image signal.例文帳に追加

画像間引き器１１２は、画像縮小器１０３よりノンインターレース画像信号が入力され、そのノンインターレース画像信号を時間的に間引いてノンインターレース画像信号を得、下位層符号化器１１３により符号化して下位層符号化系列と局所復号画像信号を生成する。 - 特許庁

Further, the plurality of beam parts 83 are drawn out forward in sequence from beam parts 83 at the front by the connection of a wire 84 directly to the cover part 7 or via other beam parts 83, with spaces between them widened up to a prescribed space set by means of a wire length (a1, b1).例文帳に追加

また、複数の梁部８３は、移動ピットカバー部７との直接または他の梁部８３を介したワイヤ８４の連結により、前方の梁部８３より順次前方に引き出されていき、その間隔を順次、ワイヤ長によって設定した所定間隔まで広げていく（ａ１、ｂ１）。 - 特許庁

The floor mat for automobile is structured so that the obverse sheet, the porous sheet having through-holes, a shield sheet, and the reverse sheet are laminated one over another in the named sequence and consolidated by melting the porous sheet, wherein the degree of aeration of the shield sheet is 9-700 cm^3/(cm^2×s).例文帳に追加

本発明の自動車用フロアマットは、表面シート、貫通孔を有する多孔シート、遮蔽シート及び裏面シートが順に積層されており、前記多孔シートの融着により一体化した自動車用フロアマットであり、前記遮蔽シートの通気度が９〜７００ｃｍ^３／ｃｍ^２・ｓである。 - 特許庁

When the state value stored in the register REG2 becomes unmatched with the normal end value stored in the register REG1, a comparative circuit CMP1 outputs an abnormality signal NG, and the sequence controller SC1 transmits an interruption request to a CPU 4 to interrupt the data transfer.例文帳に追加

レジスターＲＥＧ２に格納した状態値がレジスターＲＥＧ１に格納した正常終了値と不一致になると、比較回路ＣＭＰ１は異常信号ＮＧを出力し、シーケンス・コントローラＳＣ１はＣＰＵ４に割込み要求を発してデータ転送を中断させる。 - 特許庁

The canine Bsep gene which is a new gene being a canine ortholog corresponding to human BSEP (bile salt export pump, ABCB11) is cloned, and the whole base sequence, the gene expression distribution in main internal organs, and the functions in the protein level by baculovirus system of an insect cell are analyzed.例文帳に追加

ヒトＢＳＥＰ(bile salt export pump ,ＡＢＣＢ１１)に対応するイヌのオルソログである新規遺伝子、イヌＢｓｅｐの遺伝子をクローニングし、全長塩基配列、主要臓器における遺伝子発現分布及び昆虫細胞バキュロウイルス系による蛋白質レベルでの機能を解析する。 - 特許庁

To provide a pharmaceutical composition for curing or preventing injury to skin or mucous membrane, and for a healing process of a wound and a tissue regenerating process which contains MP-52 protein coded to a DNA sequence and having a mitogen potential and/or differentiation inducibility.例文帳に追加

ＤＮＡ配列にコードされた、分裂促進因子のポテンシャルおよび／または分化誘発性を有するＭＰ−５２蛋白質を含有する、皮膚または粘膜の損傷を治療するかまたは予防するための、および創傷の治療プロセスおよび組織再生プロセス用の製薬学的組成物を提供する。 - 特許庁

An enzyme mutant that has a plurality of improved properties of a protein is obtained by utilizing the ambiguous additivity in property change caused by the mutation of the amino acid residual groups in the amino acid sequence of the enzyme protein and repeating the mutation and selection using a plurality of the properties as indexes.例文帳に追加

酵素タンパク質のアミノ酸配列中のアミノ酸残基の変異により生ずる特性変化の曖昧な相加性を利用し、複数の特性を指標とした変異・選抜を繰り返すことにより、タンパク質の複数の特性を同時に改良した酵素変異体を得る。 - 特許庁

In the data writing sequence, write currents are fed sequentially in the memory cells according to the write data, or initial resistor states are changed according to the write data after the resistor states of the memory cells are set a predetermined initial resistor states.例文帳に追加

このデータ書込シーケンスとしては、書込データに応じて順次メモリセルに電流を流す方法および書込前にメモリセルの抵抗状態を所定の初期抵抗状態に設定した後に、書込データに応じて初期抵抗状態を変化させる態様を取ることができる。 - 特許庁

A frequency characteristic arithmetic part 4 computes the frequency characteristic of the noise signal to be outputted according to the phase information set by the phase setting part 3 and frequency spectrum information A_n for limiting the band of the noise signal and converts the frequency characteristic into a complex random-number sequence of a frequency area.例文帳に追加

周波数特性演算部４は、位相設定部３で設定された位相情報と、雑音信号の帯域制限を行うための周波数スペクトル情報Ａ_nとに従って、出力する雑音信号の周波数特性を演算し、周波数領域の複素乱数数列に変換する。 - 特許庁

To provide an encryption key management method that updates a secret key synchronously between a sender and a receiver so as to realize secure information transmission/reception in various encryption information transmission/reception forms due to transmission of a recording medium or the like, even when the processing sequence of encryption or decoding as to a plurality of reception object information items is reversed.例文帳に追加

複数の授受対象情報についての暗号化ないし復号化の処理順序が前後した場合にも送り手と受け手との間で秘密キーを同期させつつ更新し、記録媒体の送付等による種々の暗号化情報授受形態で安全な情報授受を実現する。 - 特許庁

Based on these light quantity attenuation amounts, such a driving current variation amount is determined as the quantity of light to be emitted along with the time sequence of driving currents to be supplied to the light-emitting elements, and as the constant quantity during the lighting-on period of a corresponding light-emitting element (403).例文帳に追加

これらの各光量減衰量に基づき、各発光素子にそれぞれ供給されるべき駆動電流の時系列に沿った駆動電流変動量であって、対応の発光素子の点灯期間における発光量が一定となるような駆動電流変動量を求める（４０３）。 - 特許庁

The user operates buttons 10d to 10g to move a cursor 10c to a position of one of the pairs of pieces of information in the information sequence list data, and also operates buttons 10h to 10m to write a pair of pieces of information to the position or delete the pair of pieces of information at the position.例文帳に追加

ユーザは、ボタン１０ｄ〜１０ｇを操作することで、カーソル１０ｃを、情報シーケンスリストデータ中、いずれかの情報の組の位置に移動させ、ボタン１０ｈ〜１０ｍを操作することで、その位置に情報の組を書き込んだり、その位置の情報の組を削除したりする。 - 特許庁

The reproduction tempo of the selected musical piece to be reproduced is adjusted, and a reproduction musical piece list as reproduction instruction information to instruct a reproduction sequence and the reproduction tempo of selected musical pieces to be reproduced is generated and stored.例文帳に追加

選択されたテンポ曲線と選択された楽曲とに基づいて、選択された再生すべき楽曲の再生テンポが調整され、選択された再生すべき楽曲の再生順序と再生テンポを指示する再生指示情報としての再生楽曲リストが生成され、記憶保持される。 - 特許庁

METHOD OF REPRESENTING 2-DIMENSIONAL IMAGE, IMAGE REPRESENTATION, METHOD OF COMPARING IMAGES, METHOD OF PROCESSING IMAGE SEQUENCE, METHOD OF DERIVING MOTION REPRESENTATION, MOTION REPRESENTATION, METHOD OF DETERMINING LOCATION OF IMAGE, USE OF REPRESENTATION, CONTROL DEVICE, APPARATUS, COMPUTER PROGRAM, SYSTEM, AND COMPUTER-READABLE STORAGE MEDIUM例文帳に追加

２次元画像の表現方法、画像表現、画像の比較方法、画像シーケンスを処理する方法、動き表現を導出する方法、動き表現、画像の位置を求める方法、表現の使用、制御デバイス、装置、コンピュータプログラム、システム、及びコンピュータ読み取り可能な記憶媒体 - 特許庁

To reduce power loss while performing constant-current drive irrespective of the unevenness of characteristics of a light emitting element by automatically regulating a voltage applied to a constant-current driver for driving a plurality of light emitting elements sequence to a necessary amplitude for a constant-current operation.例文帳に追加

発光素子の直列数に関わりなく、複数の発光素子系列を駆動する定電流ドライバに掛かる電圧を、定電流動作に必要な大きさに自動的に調整して、発光素子の特性のばらつきに関係なく、定電流ドライブを行いつつ、電力損失を少なくする。 - 特許庁

The magnetic resonance imaging apparatus 1 is provided with a gradient magnetic field coil 3, an inclined magnetic field coil support system 10 for supporting the coil 3, and a means for adjusting at least one of the spring constant and the viscous damping coefficient of the support system 10 according to a sequence.例文帳に追加

磁気共鳴イメージング装置１は、傾斜磁場コイル３と、この傾斜磁場コイル３を支持する傾斜磁場コイル支持系１０と、シーケンスに応じて前記傾斜磁場コイル支持系１０のバネ定数および粘性減衰係数の少なくとも一方を調整する手段とを有する。 - 特許庁

The base station acquires transmission data lengths, the number of spatially multiplexed data used for communication by each terminal station and transmission rate information of each signal sequence as to a plurality of terminal stations selected by the base station for space multiplexing communication opposite stations among the terminal stations.例文帳に追加

基地局は、複数の端末局の中から同時に空間多重する通信相手局として選択した複数の端末局について、該端末局毎の送信データ長および通信に用いる空間多重数ならびに各信号系列の伝送速度情報を取得する。 - 特許庁

Inputted image data 1 are divided into transformation coefficients for frequency bands by discrete wavelet transformation using a band division section 3, while integer embedding information (u) is separation for each digit by an information transformation section 6, and a pseudo-random number sequence wi is generated for each digit by a random number generation section 7.例文帳に追加

入力された画像データ１を帯域分割部３で離散ウェーブレット変換によって周波数帯域の変換係数に分割し、一方整数の埋込情報ｕは、情報変換部６でその桁数毎に分離され、乱数発生部7で各桁毎に疑似乱数列ｗ_iが生成される。 - 特許庁

The window center 10 transfers the encrypted data list to the decoding the j-th shuffle center 20-j when an encrypted data list is decoded, then the window center 10 changes a processing sequence and transfers the received partially decoded data list to the decoding shuffle center 20-(j+1), and the above process is repeatedly carried out.例文帳に追加

また、窓口センタ10は、暗号データリストの復号時、処理順序が第ｊ番目の復号シャッフルセンタ20-jに暗号データリストを転送し、返送されてきた順番入れ替え, 部分復号処理の済んだデータリストを次の復号シャッフルセンタ20-(j+1)へ転送するという処理を繰り返し行う。 - 特許庁

To realize a low-cost ink jet recorder without a sequence complicated for controlling a driving means when driving a shut-off valve and a suction means even when the shut-off valve is set to an ink supply passage, and the suction means for sucking ink in a recording head from a discharge nozzle is set to the recorder.例文帳に追加

インク供給経路に弁を設け、記録ヘッド内のインクを吐出ノズルから吸引する吸引手段を記録装置に設けても、それらの弁や吸引手段を駆動する際に駆動手段を制御するシーケンスが煩雑にならなく、またコストの安いインクジェット記録装置を実現する。 - 特許庁

A method of differentiation and detection of convulsion due to encephalopathy and febrile convulsion due to fever includes performing a measurement on a peptide fragment of VGF nerve growth factor inducible precursor in cerebrospinal fluid from a patient who had a convulsion, the peptide having an m/z value of 4,811±4.8 determined by mass spectrometry and having an amino acid sequence of EAEAEAEE.例文帳に追加

痙攣を起こした患者から採取した脳脊髄液中のVGF nerve growth factor inducible precursorの質量分析により得られるm/z値が4811±4.8であり、アミノ酸配列EAEAEAEEを含む断片ペプチドを測定することを含む、脳症による痙攣と発熱による熱性痙攣を鑑別して検出する方法。 - 特許庁

The method includes at least one symbol decoding step in the course of which at least one modulation value Pwk representative of an amount of power carried by each pulse sequence Tsgk is computed and compared to at least one predetermined threshold value thk1, thk2...thkM(k).例文帳に追加

本発明による方法は、少なくとも１つのシンボル復号ステップを含み、その過程において、各パルス系列Ｔｓｇｋによって搬送される電力量を表す少なくとも１つの変調値Ｐｗｋが計算され、少なくとも１つの所定の閾値ｔｈｋ１、ｔｈｋ２．．．ｔｈｋＭ（ｋ）と比較される。 - 特許庁

To automatically generate "verification characteristics" for model inspection from design information of software, and to automatically add time constraint applied to the design information to the verification characteristics, and to prepare a data transmission/reception sequence and time constraint without being aware of the degree of abstraction (hierarchy).例文帳に追加

ソフトウエアの設計情報からモデル検査用の「検証用性質」を自動生成し、設計情報に付与された時間制約を自動で検証用性質に追加し、抽象度(階層)を意識する必要なく、データ送受信シーケンス及び時間制約を用意できるようにする。 - 特許庁