抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
リッドと液体を有するボックスがいくつかの未知の配向に入る組立ラインを,アマギンする。ボックスは,液体蒸留器で上向きに面する開放蓋を持つ線を残すべきである。コストを節約するために,組立ラインで利用可能な複雑なセンサや画像認識ソフトウェアはないので,リセットシーケンスを計算する必要がある。しかし,ボックスの変態の変形衝撃の,例えば,蓋が開放しているとき,または,再び,リッドを再び開放するか,または,再び,それが閉じるかを,モデル化する。オートマトンの状態が同期単語によって遷移する順序に関して,これらの種類の制約をモデル化する3つの試みを示した。最初の2つの概念は,状態の最後の訪問と,状態がまだ到達する必要のある制約を形成するが,第3のコンセプトは,状態の最初の訪問に関心があり,状態がまだ到達する制約を形成する。オートマトンが各概念で定義された制約を尊重する単語と同期できるかどうか,そして,ほぼ完全な分類を得るために,問題の異なる変異体の計算複雑性を調べた。問題の大部分はPSPACE完全であるが,多項式時間でのNP完全変異体と変形性も観察できる。また,著者らは,アクティブ状態の集合を追跡する代わりに,いくつかの経路上の状態の次数を追跡すれば,複雑性の降下を観察する。さらに,入力関係のサイズに依存して同期単語の長さに上限を与え,Cerny予測が部分弱非環状オートマトンに対して保持することを示した。【JST・京大機械翻訳】
