Interval constraint programming techniques for large and complex hybrid systems

大型复杂混合系统的区间约束规划技术

基本信息

项目摘要

项目成果

期刊论文数量（18）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
Artifact for NFM'22 Submission
NFM22 提交的工件
  • DOI：
  • 发表时间：
  • 期刊：
  • 影响因子：
    0
  • 作者：
  • 通讯作者：
Duracz らの操作的意味論に基づく ハイブリッドシステムの高信頼シミュレータの実装
基于 Duracz 等人的操作语义实现混合系统的可靠模拟器。
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    小嶋翔太;石井大輔
  • 通讯作者：
    石井大輔
A scalable Monte-Carlo test-case generation tool for large and complex simulink models
适用于大型复杂 simulink 模型的可扩展蒙特卡罗测试用例生成工具
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Takashi Tomita;Daisuke Ishii;Toru Murakami;Shigeki Takeuchi;Toshiaki Aoki
  • 通讯作者：
    Toshiaki Aoki
Simulink モデルの SMT-LIB エンコード方法に関する実験
Simulink 模型的 SMT-LIB 编码方法实验
  • DOI：
  • 发表时间：
    2019
  • 期刊：
  • 影响因子：
    0
  • 作者：
    武仲紘輝;石井大輔
  • 通讯作者：
    石井大輔
{{ 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 }}

Ishii Daisuke其他文献

An Effective Wavelength/Route Resevation Scheme Using Signaling Protocol in nonuniform traffic WDM network
非均匀业务WDM网络中使用信令协议的有效波长/路由预留方案
  • DOI：
  • 发表时间：
    2005
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Honma Junichiro;Ishii Daisuke;Yamanaka Naoaki
  • 通讯作者：
    Yamanaka Naoaki
Role of the right frontal orienting field in visuospatial attention
右额叶定向场在视觉空间注意力中的作用
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ishii Daisuke;Osaki Hironobu;Yozu Arito;Ishibashi Kiyoshige;Kawamura Kenta;Miyata Mariko;Kohno Yutaka
  • 通讯作者：
    Kohno Yutaka
Effects of medication and dual tasking on postural sway in Parkinson’s disease: A pilot case study
药物和双重任务对帕金森病姿势摇摆的影响：试点案例研究
  • DOI：
    10.1080/01691864.2021.1948353
  • 发表时间：
    2021
  • 期刊：
    Advanced Robotics
  • 影响因子：
    2
  • 作者：
    Yozu Arito;Kaminishi Kohei;Ishii Daisuke;Omura Yuichiro;Matsushita Akira;Kohno Yutaka;Chiba Ryosuke;Ota Jun
  • 通讯作者：
    Ota Jun
Microglia mediate peripheral nerve injury-induced plasticity to the thalamus.
小胶质细胞介导周围神经损伤引起的丘脑可塑性。
  • DOI：
  • 发表时间：
    2020
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ishii Daisuke;Osaki Hironobu;Yozu Arito;Ishibashi Kiyoshige;Kawamura Kenta;Miyata Mariko;Kohno Yutaka;Ueta Yoshifumi,Sekino Sachie ,Katayama Yoko,Miyata Mariko
  • 通讯作者：
    Ueta Yoshifumi,Sekino Sachie ,Katayama Yoko,Miyata Mariko
Synthesis, properties and chemical modification of a persistent triisopropylsilylethynyl substituted tri(9-anthryl)methyl radical
持久性三异丙基甲硅烷基乙炔基取代的三(9-蒽基)甲基的合成、性质和化学修饰
  • DOI：
    10.1039/d2cc00548d
  • 发表时间：
    2022
  • 期刊：
    Chemical Communications
  • 影响因子：
    4.9
  • 作者：
    Nishiuchi Tomohiko;Ishii Daisuke;Aibara Seito;Sato Hiroyasu;Kubo Takashi
  • 通讯作者：
    Kubo Takashi

Ishii Daisuke的其他文献

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

{{ truncateString('Ishii Daisuke', 18)}}的其他基金

Establishment of a mouse model of unilateral spatial neglect
小鼠单侧空间忽视模型的建立
  • 批准号：
    18K17725
  • 财政年份：
    2018
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
The Consolidation of Habsburg Monarchy: Landsschaftsschule und Gymnasium in Linz
哈布斯堡王朝的巩固：林茨的Landsschaftsschule und Gymnasium
  • 批准号：
    18K01029
  • 财政年份：
    2018
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
Development of environment-responsive liquid manipulation method applying open flow path inspired by the surface microstructure of living organisms
受生物体表面微观结构启发，开发应用开放流路的环境响应型液体操纵方法
  • 批准号：
    17H03412
  • 财政年份：
    2017
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
Interval constraint programming technique for discrete-continuous hybrid systems
离散连续混合系统的区间约束规划技术
  • 批准号：
    15K15968
  • 财政年份：
    2015
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Biomimetic water and oil selective open capillary
仿生水油选择性开放毛细管
  • 批准号：
    26660267
  • 财政年份：
    2014
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Challenging Exploratory Research
Development of highly processible and antimicrobial materials by esterification of cellulose with aromatic hydroxyl acids
通过纤维素与芳香族羟基酸的酯化反应开发高度可加工的抗菌材料
  • 批准号：
    25870921
  • 财政年份：
    2013
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)

相似海外基金

非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
  • 批准号：
    11J03810
  • 财政年份：
    2011
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
  • 批准号：
    16016286
  • 财政年份：
    2004
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Scientific Research on Priority Areas
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
  • 批准号：
    12780252
  • 财政年份：
    2000
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミングによる幾何学制約充足問題の一般的解法の研究
基于约束规划的几何约束满足问题通用解研究
  • 批准号：
    07780345
  • 财政年份：
    1995
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミング言語による統合ロボットプログラミング
使用约束编程语言进行集成机器人编程
  • 批准号：
    06780339
  • 财政年份：
    1994
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
並行制約プログラミング言語の表示的手法を用いた意味論に関する研究
使用指示方法研究并发约束编程语言的语义
  • 批准号：
    04750343
  • 财政年份：
    1992
  • 资助金额：
    $ 2.75万
  • 项目类别：
    Grant-in-Aid for Encouragement of Young Scientists (A)
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了