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
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（10）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A phase expansion for non-Markovian availability models with time-based aperiodic rejuvenation and checkpointing
An SMT-Based Perfect Sampling Algorithm for Stochastic Petri Nets
基于SMT的随机Petri网完美采样算法
パーフェクトサンプリングアルゴリズムの確率的モデルチェッキングへの応用に関する一考察
完美采样算法在概率模型检验中的应用研究
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shiori Matsuura;Kenjiro Takazawa;栗田実佳，佐藤博亮，吉田千紗，門脇聡，綿田裕孝;K. Murota;安藤清佳，岡村寛之，土肥正
  • 通讯作者：
    安藤清佳，岡村寛之，土肥正
Age replacement with Markovian opportunity process
  • DOI：
    10.1016/j.ress.2021.107949
  • 发表时间：
    2021-12
  • 期刊：
    Reliab. Eng. Syst. Saf.
  • 影响因子：
    0
  • 作者：
    Junjun Zheng;H. Okamura;T. Dohi
  • 通讯作者：
    Junjun Zheng;H. Okamura;T. Dohi
On perfect sampling algorithm for generalized stochastic Petri nets
广义随机Petri网的完美采样算法
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Hiroyuki Okamura;Tadashi Dohi
  • 通讯作者：
    Tadashi Dohi
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Okamura Hiroyuki其他文献

Okamura Hiroyuki的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Okamura Hiroyuki', 18)}}的其他基金

Development of an ionic liquid extraction luminescence sensing system for phosphate ions with multipoint recognition-type rare earth complexes
多点识别型稀土配合物离子液体萃取磷酸根离子发光传感系统的研制
  • 批准号：
    19K15605
  • 财政年份：
    2019
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
Expansion of Applicability of Phase Approximation for Non-Markovian Models
相位近似对非马尔可夫模型的适用性扩展
  • 批准号：
    17K00033
  • 财政年份：
    2017
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Development of Scalable Algorithms of MRSPN/MRGP Analysis for the Automation
自动化 MRSPN/MRGP 分析可扩展算法的开发
  • 批准号：
    26330028
  • 财政年份：
    2014
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

Application of perfect sampling with SAT/SMT solvers
SAT/SMT 求解器完美采样的应用
  • 批准号：
    23K10998
  • 财政年份：
    2023
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Markov chain Monte Carlo method based on perfect sampler
基于完美采样器的马尔可夫链蒙特卡罗方法
  • 批准号：
    23651157
  • 财政年份：
    2011
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
連続と離散の融合によるロバストアルゴリズム構築
通过连续和离散融合构建鲁棒算法
  • 批准号：
    16092204
  • 财政年份：
    2004
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
マルコフ連鎖を用いた組合せ的対象のランダム生成法および数え上げ
使用马尔可夫链随机生成和枚举组合对象
  • 批准号：
    04J11479
  • 财政年份：
    2004
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了