A Development of Perfect Sampling with SAT/SMT Solvers

SAT/SMT 求解器完美采样的开发

• 批准号: 20K11694
• 负责人: Okamura Hiroyuki
• 金额: $ 2.75万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2023-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11694/
• 关键词: シミュレーション; パーフェクトサンプリング; マルコフ過程; SAT/SMTソルバ

项目成果

An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets

基于SMT的随机Petri网完美采样算法

• DOI: 10.1145/3388831.3388844
• 发表时间: 2020
• 作者: Hiroyuki Okamura; Kazuya Morihara Tadashi Dohi
• 通讯作者: Kazuya Morihara Tadashi Dohi

パーフェクトサンプリングアルゴリズムの確率的モデルチェッキングへの応用に関する一考察

完美采样算法在概率模型检验中的应用研究

• 发表时间: 2022
• 作者: 安藤清佳;岡村寛之;土肥正
• 通讯作者: 土肥正

A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing

具有基于时间的非周期性更新和检查点的非马尔可夫可用性模型的阶段扩展

• DOI: 10.1080/03610926.2019.1708400
• 发表时间: 2020-01-13
• 期刊: Communications in Statistics - Theory and Methods
• 作者: Junjun Zheng;H. Okamura;T. Dohi
• 通讯作者: T. Dohi

On perfect sampling algorithm for generalized stochastic Petri nets

广义随机Petri网的完美采样算法

• 发表时间: 2022
• 作者: Hiroyuki Okamura; Tadashi Dohi
• 通讯作者: Tadashi Dohi

Quantitative Security Evaluation of Intrusion Tolerant Systems With Markovian Arrivals

马尔可夫到达的入侵容忍系统的定量安全评估

• DOI: 10.1109/tr.2020.3026570
• 发表时间: 2021
• 影响因子: 5.9
• 作者: Zheng Junjun;Okamura Hiroyuki;Dohi Tadashi;Trivedi Kishor S.
• 通讯作者: Trivedi Kishor S.