transition state propertyとは 意味・読み方・使い方

The property correction device or the like uses a condition in the property used in a differential state transition line in a positive example side or a negative example side, as a candidate of insufficient condition.例文帳に追加

また、正例側あるいは反例側の差分状態遷移列で用いられているプロパティ中の条件を、不足条件の候補として利用する。 - 特許庁

When the Kripke property is obtained, a trap property 105 for use case state coverage (UCSC) and a trap property 106 for use case transition coverage (UCTC) can be obtained only by applying the Kripke property to a known form verification tool.例文帳に追加

Ｋｒｉｐｋｅプロパティが求まれば、Ｋｒｉｐｋｅプロパティを公知の形式検証ツールに与えるだけで、ユースケースの状態カバレッジ（ＵＣＳＣ）用Ｔｒａｐプロパティ１０５とユースケースの遷移カバレッジ（ＵＣＴＣ）用Ｔｒａｐプロパティ１０６を得ることができる。 - 特許庁

A precondition of the property can be thereby corrected by generating/adding a condition satisfying a required condition for eliminating an insufficient precondition of a property to be corrected, such as maintaining the positive example and guarding the negative example, from the property as to a driven event out of the differential state transition line in the positive example side of the positive example and the negative example.例文帳に追加

これにより、正例と反例の正例側差分状態遷移列中で駆動されたイベントに関するプロパティから正例の維持と反例のガードという修正対象プロパティの事前条件不足解消の要件を満たす条件を生成・追加することで、プロパティの事前条件が修正可能になる。 - 特許庁

To provide a ultraprecise gear mechanism with precise gears having a module of 0.2 or smaller, having improved power transmitting efficiency in the state of meshed rotation and capable of being operated with long-time-stable property transition, and to provide a micro geared motor.例文帳に追加

歯車の噛合せ回転状態において、動力伝達効率が改善され、長時間安定した特性推移で動作させることが可能なモジュール０．２以下の精密歯車による超精密歯車機構並びにマイクロギヤードモータを得る。 - 特許庁

To provide speech signal section estimation technique capable of estimating a speech signal section with high precision by accurately grasping state transition of a signal in spite of an unsteady noise such that statistical property of the noise signal changes with time.例文帳に追加

雑音信号の統計的性質が時間に伴い変化する非定常雑音においても、信号の状態遷移を正確に把握して高精度に音声信号区間を推定することができる音声信号区間推定技術を提供する。 - 特許庁