SPIN modelとは 意味・読み方・使い方

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

The model of the signal intensity or signal attenuation to be observed of the electron spin resonance spectrum is used according to the blood sugar level, the administration amount of the electron spin label and the elapse time after the administration to enhance an estimate precision.例文帳に追加

血糖値と電子スピンラベルの服用量と服用後の経過時間に応じて観測されるべき電子スピン共鳴スペクトル信号強度や信号減衰のモデルを用いて推定精度を上げる。 - 特許庁

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example).例文帳に追加

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。 - 特許庁

For this purpose, a competition reaction model by a reaction between m_1 radical molecules R* and n_1 spin trap agent molecules T, and a reaction between m_2 radical molecules R* and n_2 radical scavenger molecules S is established.例文帳に追加

この目的のため、ｍ_１個のラジカル分子Ｒ・とｎ_１個のスピントラップ剤分子Ｔとの反応と、ｍ_２個のラジカル分子Ｒ・とｎ_２個のラジカルスカベンジャー分子Ｓとの反応による競争反応モデルを確立した。 - 特許庁

In addition, a competition reaction model by a reaction between m_1 radical molecules R* and n_1 spin trap agent molecules T, and a reaction between m_2 radical molecules R* and n_2 background molecules L is established by a similar method.例文帳に追加

また同様の方法で、ｍ_１個のラジカル分子Ｒ・とｎ_１個のスピントラップ剤分子Ｔとの反応と、ｍ_２個のラジカル分子Ｒ・とｎ_２個のバックグラウンド分子Ｌとの反応による競争反応モデルを確立した。 - 特許庁

Moreover, among entry leaders are not just entrepreneurs with family-run businesses or small factories, but also university graduates who were previously employed at large enterprises, as under the "spin-out model."We have thus verified that entries are taking place at the hand of a diverse group of leaders.例文帳に追加

また、開業の担い手も「家業的」な個人商店や町工場のような形だけでなく、大学出の大企業出身者のスピンアウト開業など、多様な人材による開業が起こっていることも確認できた。 - 経済産業省