Interval constraint programming technique for discrete-continuous hybrid systems
离散连续混合系统的区间约束规划技术
基本信息
- 批准号:15K15968
- 负责人:
- 金额:$ 2.41万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Young Scientists (B)
- 财政年份:2015
- 资助国家:日本
- 起止时间:2015-04-01 至 2018-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
项目成果
期刊论文数量(26)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Template-Based Monte-Carlo Test Generation for Simulink Models
Simulink 模型基于模板的蒙特卡洛测试生成
- DOI:
- 发表时间:2017
- 期刊:
- 影响因子:0
- 作者:T. Tomita;D. Ishii;T. Murakami;S. Takeuchi;T. Aoki
- 通讯作者:T. Aoki
Monitoring Bounded LTL Properties Using Interval Analysis
使用区间分析监控有界 LTL 属性
- DOI:
- 发表时间:2015
- 期刊:
- 影响因子:0
- 作者:D. Ishii;N. Yonezaki;A. Goldsztejn
- 通讯作者:A. Goldsztejn
A Parallelotope Method for Hybrid System Simulation
混合系统仿真的平行位法
- DOI:
- 发表时间:2016
- 期刊:
- 影响因子:0
- 作者:A. Goldsztejn;D. Ishii
- 通讯作者:D. Ishii
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ 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 - 期刊:
- 影响因子: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 - 期刊:
- 影响因子: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.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Ishii Daisuke', 18)}}的其他基金
Establishment of a mouse model of unilateral spatial neglect
小鼠单侧空间忽视模型的建立
- 批准号:
18K17725 - 财政年份:2018
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
The Consolidation of Habsburg Monarchy: Landsschaftsschule und Gymnasium in Linz
哈布斯堡王朝的巩固:林茨的Landsschaftsschule und Gymnasium
- 批准号:
18K01029 - 财政年份:2018
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Interval constraint programming techniques for large and complex hybrid systems
大型复杂混合系统的区间约束规划技术
- 批准号:
18K11240 - 财政年份:2018
- 资助金额:
$ 2.41万 - 项目类别:
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.41万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
Biomimetic water and oil selective open capillary
仿生水油选择性开放毛细管
- 批准号:
26660267 - 财政年份:2014
- 资助金额:
$ 2.41万 - 项目类别:
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.41万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
相似海外基金
非線形ハイブリッドシステムのための区間制約プログラミングにもとづくモデル検査技術
基于区间约束规划的非线性混合系统模型检验技术
- 批准号:
11J03810 - 财政年份:2011
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for JSPS Fellows
制約プログラミングによる視覚化モデルの形式化と実現
使用约束规划的可视化模型的形式化和实现
- 批准号:
16016286 - 财政年份:2004
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
大規模グラフィカルユーザーインターフェースのための軽量制約プログラミング技術
大规模图形用户界面的轻量级约束编程技术
- 批准号:
12780252 - 财政年份:2000
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミングによる幾何学制約充足問題の一般的解法の研究
基于约束规划的几何约束满足问题通用解研究
- 批准号:
07780345 - 财政年份:1995
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
制約プログラミング言語による統合ロボットプログラミング
使用约束编程语言进行集成机器人编程
- 批准号:
06780339 - 财政年份:1994
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
並行制約プログラミング言語の表示的手法を用いた意味論に関する研究
使用指示方法研究并发约束编程语言的语义
- 批准号:
04750343 - 财政年份:1992
- 资助金额:
$ 2.41万 - 项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)