Synthesis of embedded systems satisfying quantitative constraints by formal methods

通过形式化方法综合满足定量约束的嵌入式系统

基本信息

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Improvements of Bounded Realizability Checking
改进有界可实现性检查
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masaya Shimakawa;Shigeki Hagihara;Naoki Yonezaki
  • 通讯作者：
    Naoki Yonezaki
Towards Interpretation of Abstract Instructions using Declarative Constraints in Temporal Logic
使用时序逻辑中的声明性约束来解释抽象指令
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Masaya Shimakawa;Kentaro Hayashi;Shigeki Hagihara and Naoki Yonezaki
  • 通讯作者：
    Shigeki Hagihara and Naoki Yonezaki
Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms
  • DOI：
    10.1007/978-3-319-94806-5_11
  • 发表时间：
    2017-02
  • 期刊：
  • 影响因子：
    0
  • 作者：
    S. Ito;K. Osari;Shigeki Hagihara;N. Yonezaki
  • 通讯作者：
    S. Ito;K. Osari;Shigeki Hagihara;N. Yonezaki
Combining Unification and Rewriting in Proofs for Modal Logics with First-order Undefinable Frames
模态逻辑证明中的统一和重写与一阶不可定义框架相结合
  • DOI：
    10.2991/icmmct-17.2017.140
  • 发表时间：
    2017
  • 期刊：
    Advances in Engineering
  • 影响因子：
    0
  • 作者：
    Shigeki Hagihara;Masahiko Tomoishi;Masaya Shimakawa;Naoki Yonezaki
  • 通讯作者：
    Naoki Yonezaki
Verification of Verifiability of Voting Protocols by Strand Space Analysis
通过链空间分析验证投票协议的可验证性
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Shigeki Hagihara;Masaya Shimakawa;Naoki Yonezaki
  • 通讯作者：
    Naoki Yonezaki
{{ 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 }}

Hagihara Shigeki其他文献

Sequential ambulance dispatch models for optimizing emergency medical services
优化紧急医疗服务的顺序救护车调度模型
  • DOI：
    10.14495/jsiaml.14.100
  • 发表时间：
    2022
  • 期刊：
    JSIAM Letters
  • 影响因子：
    0.4
  • 作者：
    Kawasaki Yujiro;Hagihara Shigeki;Miki Jun'ichi
  • 通讯作者：
    Miki Jun'ichi

Hagihara Shigeki的其他文献

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

相似海外基金

手書き文字認識を組み込んだ記述式自動採点システムの開発と改良
结合手写字符识别的描述性自动评分系统的开发和改进
  • 批准号：
    23K28201
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
自動運転向け周囲環境認識用実時間組込みAIシステムの高精度・低電力化
高精度、低功耗的实时嵌入式AI系统，用于自动驾驶周围环境识别
  • 批准号：
    24K14877
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
生成AIを組み込んだ日本語作文診断システムの開発と普及に関する研究
结合生成人工智能的日语作文诊断系统的开发和传播研究
  • 批准号：
    24K00078
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
近似計算型組込みシステムの効率的解析・設計のための基盤技術
近似计算型嵌入式系统高效分析与设计的基础技术
  • 批准号：
    23K20377
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
手術・ICU部門システム情報を組み込んだ周術期特化型大規模データベースの構築
构建包含外科和ICU科室系统信息的围术期专业大型数据库
  • 批准号：
    24K19466
  • 财政年份：
    2024
  • 资助金额：
    $ 2.83万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了