课题基金 / 基金详情

A Development of Perfect Sampling with SAT/SMT Solvers

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ソルバ

项目摘要

项目成果

Okamura Hiroyuki的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing
DOI： 10.1080/03610926.2019.1708400
发表时间： 2020-01
期刊： Communications in Statistics - Theory and Methods
影响因子： --
作者： [Junjun Zheng;H. Okamura;T. Dohi]
通讯作者： Junjun Zheng;H. Okamura;T. Dohi
An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets
基于SMT的随机Petri网完美采样算法
DOI： 10.1145/3388831.3388844
发表时间： 2020
期刊： Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools
影响因子： --
作者： [Hiroyuki Okamura, Kazuya Morihara Tadashi Dohi]
通讯作者： Kazuya Morihara Tadashi Dohi
パーフェクトサンプリングアルゴリズムの確率的モデルチェッキングへの応用に関する一考察
完美采样算法在概率模型检验中的应用研究
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： [Shiori Matsuura, Kenjiro Takazawa, 栗田実佳，佐藤博亮，吉田千紗，門脇聡，綿田裕孝, K. Murota, 安藤清佳，岡村寛之，土肥正]
通讯作者： 安藤清佳，岡村寛之，土肥正
On perfect sampling algorithm for generalized stochastic Petri nets
广义随机Petri网的完美采样算法
DOI： --
发表时间： 2022
期刊：
影响因子： --
作者： [Hiroyuki Okamura, Tadashi Dohi]
通讯作者： Tadashi Dohi
共 10 条
    Development of an ionic liquid extraction luminescence sensing system for phosphate ions with multipoint recognition-type rare earth complexes
    • 批准号：
      19K15605
    • 项目类别：
      Grant-in-Aid for Early-Career Scientists
    • 资助金额：
      $2.66万
    • 财政年份：
      2019
    • 负责人：
      Okamura Hiroyuki
    • 依托单位：
      Japan Atomic Energy Agency
    Expansion of Applicability of Phase Approximation for Non-Markovian Models
    • 批准号：
      17K00033
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2017
    • 负责人：
      Okamura Hiroyuki
    • 依托单位：
      Hiroshima University
    Development of Scalable Algorithms of MRSPN/MRGP Analysis for the Automation
    • 批准号：
      26330028
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.83万
    • 财政年份：
      2014
    • 负责人：
      Okamura Hiroyuki
    • 依托单位：
      Hiroshima University
    海外基金