バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットはコンカレントシステムのモデルのーつである.バッチ処理アークはトランジションの一回の発火によって入力プレースのトークンをすべて移動させるアークとして提案されている.この拡張によってペトリネットはチューリング機械と等価なモデル化能力をもつようになる.同時に可達問題を含む多くの解析問題が非可解となる.本報告では,バッチ処理アーク付きマークグラフの可達問題を考察する.これはプレースの入出力アークがちょうど1本ずつであるサブクラスである.さらに,各トランジションに接続するアークはすべて通常のアークかすべてバッチ処理アークかのいずれかであるという仮定を設ける.この仮定の下で(バッチ処理アークのない)マークグラフの可達問題に対して得られている結果がバッチ処理アーク付きの場合に拡張できることを示す.
- 2006-05-26
著者
関連論文
- Miller Fisher 症候群例
- 膵頭十二指腸切除術後の膵液瘻に対するドレーン排液中のアミラーゼ濃度と排液量に関する検討
- レシートログと消費行動に関する未来予測(ライフログ,人工現実感)
- 鈍的外傷による小児の頸部気管裂傷の1手術例
- 腰椎変性における軟骨終板の組織学的変化とChM-1、HSP27の関係
- 船舶摩擦抵抗低減のための翼型気泡発生装置に関する研究(第14回動力・エネルギー技術シンポジウム)
- 気管支喘息及び鼻炎における血清総IgE値及び末梢血好酸球数の検討
- 日本海佐渡島羽茂地先の人工魚礁における超音波バイオテレメトリーを用いたマアジの行動様式
- 13.大量化学療法を含む化学療法,放射線治療後に全摘し得た膵芽腫の1例(第39回九州地区小児固形悪性腫瘍研究会)
- 第2回日・中・韓照明シンポジウム開催報告(総説)(第2回日・中・韓照明シンポジウム)
- バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- Age-Induced Reduction in Mitochondrial Manganese Superoxide Dismutase Activity and Tolerance of Macrophages Against Apoptosis Induced by Oxidized Low Density Lipoprotein
- 透析患者に対する日本版精神健康調査票短縮版（日本版GHQ-28）を用いたうつ病のスクリーニング
- 縦隔悪性胚細胞性腫瘍に対する診断と治療およびその問題点
- 対流項に高次精度の風上差分法を用いたチャネル流のLarge Eddy Simulation
- 小型空冷ファンの風量に及ぼす障害物の影響(流体工学,流体機械)
- ブロイラー胸肉の遊離アミノ酸含有量と肉の軟化に及ぼすブロメライン処理効果
- トコトリエノールによるHaCaT皮膚角化細胞とヘアレスマウス皮膚の紫外線炎症反応の抑制(研究論文紹介)
- 内シャント刺入部感染による胸腹部大動脈人工血管感染をFDG-PETにより診断しえた1症例
- 頸部に発生した胸腺腫例
- ウェゲナー肉芽腫症16例の臨床的検討
- 鼻腔通気度検査についてのアンケート調査結果
- テマトロバンの鼻アレルギー臨床第III相試験 : テルフェナジンとの比較
- 咳反射における呼吸筋・内喉頭筋活動-振幅の解析-
- SUS304およびSUS316Lにおける微小穴からの極低速度疲労き裂伝ぱに及ぼす低圧水素ガスの影響(自動車技術を支える材料力学)
- 129系マウスにおける少ない産仔数の原因の検討
- Critical role for constitutive type I interferon signaling in the prevention of cellular transformation
- 当科における colitic cancer の手術症例の検討
- 不安定面上座位における体幹筋活動と重心動揺との関係
- メッシュを用いたストーマ傍ヘルニア修復術の経験
- K1-11 ヒト卵巣組織のガラス化凍結保存とマウスへの異種移植-臨床応用に向けて(高得点演題3 生殖,高得点演題プログラム,第62回日本産科婦人科学会学術講演会)
- 慢性副鼻腔炎における副鼻腔自然口開大処置, ネブライザー
- 小児がん患児をもつ母親,父親の外傷後ストレス症状 : 出来事インパクト尺度改訂版(IES-R)による解析
- 千葉県銚子産サバ缶詰のカーボンフットプリントを用いた環境教育プログラムの効果
- 418 切除不能膵癌に対する消化管バイパス術の有用性について
- PP207070 ICGを用いた結腸癌Sentinel Node Navigationのトライアル : 赤外線内視鏡の有用性について
- 小腸腸間膜デスモイド腫瘍の1例
- 164. 脚自転車運動時における非活動肢の血流量および筋酸素動態の変化(呼吸・循環, 第61回 日本体力医学会大会)
- バブルジェット式エアリフトポンプによる堆積土砂の浚渫 : 改良型装置の実験と性能予測
- 樹脂モールド構造のための接着・摩擦解析手法の開発と気中絶縁ロッドへの応用(締結・接合・接着部の評価技術)
- メディア操作スキル尺度の作成に関する研究
- 情動に修飾される人物同定障害
- 22308 圧縮を受けるアルミニウム合金を用いた角形断面部材の耐力改善に関する研究(部材:圧縮材,構造III)
- 20pVC-12 Orbital-Free第一原理分子動力学法における運動エネルギー汎関数の評価 : 共有結合系への適用(20pVC 電子系(密度汎関数法),領域11(統計力学,物性基礎論,応用数学,力学,流体物理))
- P2-25 広汎子宮全摘術後にドレーンからの感染が原因で外腸骨動脈破裂をおこした1例(Group36 子宮頸部悪性腫瘍6,一般演題,第61回日本産科婦人科学会学術講演会)
- 平成13年度学術講演会概要
- JPEG2000の解像度スケーラビリティを利用した自由視点テクスチャフィルタリング法の一検討 (ITS)
- MS32-#4 成人喘息患者における環境中アレルゲンモニタリングの有用性の検証-2臨床-(アレルゲン・抗原と症例1,第59回日本アレルギー学会秋季学術大会)
- 25-299 Pain Catastrophizing Scaleの確証的因子分析 : 心療内科を受診する慢性疼痛患者におけるPCSの因子構造(心理テスト4,一般演題(ポスター発表),近未来医療を担う心身医学,第1回日本心身医学5学会合同集会)
- Cyclic AWGを用いたモノリシック分散配置波長群選択スイッチ
- ボロン融体の表面張力と粘性測定
- インフルエンザ菌に対する粘膜ワクチンの開発
- D-16-14 胃生検画像の類似画像検索に関する一検討(D-16.医用画像,一般講演)
- 側脳室三角部の微小外科解剖と手術アプローチ(側脳室腫瘍の診断と治療)
- 頭蓋底・顔面深部へのアプローチについて
- 頭頸部癌における腫瘍マーカー(SCC抗原、シフラ21-1)とFDG-PETを用いた腫瘍糖代謝との関連について
- 花粉症による労働生産性への影響の研究(第一報) : ニンテンドーDSを用いて
- MRI環境に対応した双腕手術支援マスタ・スレーブマニピュレータシステム(医療・福祉ロボティクス・メカトロニクス5)
- FM4-64^TMを用いた培養篩骨洞粘膜上皮細胞における細胞膜リサイクリング過程の観察
- 水田における脱塩・乾燥クラゲの肥料効果と雑草抑制効果(日本作物学会四国支部第46回講演会講演要旨)
- 絶縁されていない積層鉄板の渦電流損に及ぼす諸因子の検討
- 化生性胸腺腫の1例
- 挿管後気管狭窄に対してシリコンTチューブを選択した1例
- 27.肺クリプトコッカス症の1例(第130回日本呼吸器内視鏡学会関東支部会)
- S1-2 胸部悪性腫瘍による気道狭窄に対する内視鏡的ステント治療の検討(肺がんに対する内視鏡的治療の限界と可能性,シンポジウム1,第32回日本呼吸器内視鏡学会学術集会)
- 画像診断Q&A
- 研究・症例 特発性縦隔気腫の3例
- 1.自閉症患者の套管抜去困難症に対するシリコンTチューブ挿入例(第126回日本呼吸器内視鏡学会関東支部会)
- 臨床 末梢小型肺癌
- エレクトロパラトグラフィ (EPG) を用いた口蓋裂術後症例の歯茎音構音動態の分析 : —「口蓋化構音」は“palatalized”か“retracted”か—
- 29-P1-131 アルベカシン初回投与設計における各糸球体濾過率推定式の評価 : Sjostrom式(シスタチンC),MDRD式,SANAKA式の比較(TDM/薬物動態,社会の期待に応える医療薬学を)
- 22q11.2欠失症候群における特徴的顔貌の検討 : 三次元レーザースキャナを用いて
- 小児睡眠時無呼吸症候群に対する学校保健の取り組み
- MS13-11 長期入院療法の変遷 : 過去10年間の実態(第2報)(気管支喘息-治療2,第59回日本アレルギー学会秋季学術大会)
- 小児気管支喘息の心身医療-保護者と担当医の判定とその対応
- 慢性気管支炎の急性増悪に対する biapenem の治療効果と臨床用量の検討
- 極右政党としてのオーストリア自由党(7・完) : ハイダー指導下の台頭期を中心に
- 当科における深頸部膿瘍症例の検討
- 141. 階段昇降時の下肢関節角度の変化について
- マイヅルテンナンショウ(サイトモ科), ハイハマボッス(サクラソウ科), ミズニラ(ミズニラ科)の富山県内における新産地
- FASEモデルにおけるシミュレーション思考の特性評価 : デザイン思考のクリエイティビティ(2)
- 酢じめかまぼこ製造における卵白添加と坐りの影響について
- P20-03 腹壁外デスモイド腫瘍の2治験例(症例/胸壁腫瘍,第25回日本呼吸器外科学会総会)
- P-219 肺硬化性血管腫2例の細胞像(呼吸器(10),グローバル時代の細胞診,第47回日本臨床細胞学会秋期大会)
- 2P183 サルモネラ菌べん毛タイプIII輸送装置構成蛋白質FliJの性質と結晶化(細胞生物的課題(接着・運動・骨格・伝達・膜),ポスター発表,第45回日本生物物理学会年会)
- 602. 段階的圧迫機能を持つスポーツ用弾性圧迫ソックスの運動時着用効果(スポーツ医学的研究/その他,第62回日本体力医学会大会)
- 家電用ユニバーサル赤外線モデムUni-REMOTEの設計と開発(画像映像処理・システム,ネットワーク,放送,一般)
- Sagging型ST下降の解析 : 軽度運動負荷^NH_3-PETによる検討 : 第58回日本循環器学会学術集会
- 集中定数形2周波共用ウィルキンソン分配回路の構成及び設計式
- 有毒藍藻類 Microcystis 属産生ミクロキスチンの葉菜植物への影響解析
- 40123 建設機械によって励起される地盤振動の伝播特性 : (その4. 交通振動下における建設機械振動検出手法)(加振力・地盤振動,環境工学I)
- 大型肝細胞癌に対するレシチン加リピオドールエマルジョンを用いた肝動脈塞栓術の有用性
- 音声・ビデオIP伝送のためのQoEベースビデオ出力方式においてFMOがQoEに及ぼす影響(ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化ストリーム技術,信頼性,一般)
- 569 外傷性多発肋骨骨折外固定術後の理学療法の経験(内部障害系理学療法13,一般演題ポスター発表,理学療法の可能性,第41回日本理学療法学術大会)
- 直腸穿孔に合併したS状結腸経肛門脱出の1例
- PP307041 シャトル肛門鏡とEndoGIA(ロテイキュラーカートリッジ)を用いたMITAS
- パルス電界常圧プラズマCVD法を用いたプラスチック基板上Si成長(TFT(有機,酸化物),一般)
- HP-196-6 大腸癌イレウスの治療方針(大腸癌(手術3),ハイブリッドポスター,第109回日本外科学会定期学術集会)
- 前房蓄膿様所見を示した食道原発の転移性虹彩腫瘍の1例
- 下垂体切除後の犬における視床下部-下垂体後葉系の機能的および形態学的変化(外科学)