Verification Techniques for Hybrid Systems based on Interval Constraint Programming and Deductive Reasoning
基于区间约束规划和演绎推理的混合系统验证技术
基本信息
- 批准号：25880008
- 负责人：
- 金额：$ 1.75万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Research Activity Start-up
- 财政年份：2013
- 资助国家：日本
- 起止时间：2013-08-30 至 2015-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（9）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A branch and prune algorithm for the computation of generalized aspects of parallel robots
用于计算并行机器人广义方面的分支和剪枝算法
- DOI：10.1016/j.artint.2014.02.001
- 发表时间：2014
- 期刊：
- 影响因子：14.4
- 作者：S. Caro;D. Chablat;A. Goldsztejn;D. Ishii;C. Jermann
- 通讯作者：C. Jermann
Scalable Parallel Numerical CSP Solver
可扩展的并行数值 CSP 求解器
- DOI：
- 发表时间：2014
- 期刊：
- 影响因子：0
- 作者：D. Ishii;K. Yoshizoe;T. Suzumura
- 通讯作者：T. Suzumura
最強事後条件の計算を用いたハイブリッドオートマトンの帰納的検証
使用最强后置条件计算的混合自动机的归纳验证
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：石井大輔;G. Melquiond;中島 震
- 通讯作者：中島 震
{{
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其他文献
Preparation of Glycolether Lignin from <i>Sugi</i> (<i>Cryptomeria japonica</i> D. Don) Woodmeal by Acid-Catalyzed Solvolysis and Preparation of Heat-Resistant Polyester from the Glycolether Lignin
酸催化溶剂分解杉木粉制备乙二醇醚木质素及其制备耐热聚酯
- DOI：
10.4011/shikizai.92.220 - 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
ISHII Daisuke;YAMAZAKI Masao;IBAYASHI Kenta;NAKAOKI Takahiko;HAYASHI Hisao - 通讯作者：
HAYASHI Hisao
The Progress of the Gait Impairment and Brain Activation in a Patient with Post-stroke Hemidystonia
脑卒中后偏肌张力障碍患者步态障碍和脑激活的研究进展
- DOI：
10.1298/ptr.e10032 - 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
YAMAMOTO Satoshi;ISHII Daisuke;KANAE Kyoko;ENDO Yusuke;YOSHIKAWA Kenichi;KOSEKI Kazunori;NAKAZAWA Ryo;TAKANO Hanako;MONMA Masahiko;YOZU Arito;MATSUSHITA Akira;KOHNO Yutaka - 通讯作者：
KOHNO Yutaka
ISHII Daisuke的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('ISHII Daisuke', 18)}}的其他基金
Development of Plant Biomass-derived Carbon Fiber by Environmentally Friendly Process
采用环保工艺开发植物生物质碳纤维
- 批准号：
16K05863 - 财政年份：2016
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
High resistant superhydrophobic hierarchic surface
高耐超疏水多级表面
- 批准号：
23655095 - 财政年份：2011
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Challenging Exploratory Research
Development of High-tenacity and Thermally Stable Plastics byPolymerization of Plant-derived Aromatic Hydroxy Acids
通过植物芳香族羟基酸聚合开发高韧性和热稳定性塑料
- 批准号：
22710084 - 财政年份：2010
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
Microdroplet manipulation on stimuli responsive high adhesive superhydrophobic interface
刺激响应性高粘附性超疏水界面上的微滴操作
- 批准号：
21686065 - 财政年份：2009
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
Fabrication of a water droplet adhesive superhydrophobic substrate for biodevices
用于生物器件的水滴粘合超疏水基材的制造
- 批准号：
19860092 - 财政年份：2007
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Young Scientists (Start-up)
相似海外基金
Speeding-up SAT-based Constraint Optimization Solvers
加速基于 SAT 的约束优化求解器
- 批准号：
23K11047 - 财政年份：2023
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Constraint Acquisition and Compositional Verification of Large and Complex Cyber-Physical Systems
大型复杂信息物理系统的约束获取和组成验证
- 批准号：
22K11969 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号：
22K11973 - 财政年份：2022
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Programming with Constraints and Events for Information Visualization
使用约束和事件进行编程以实现信息可视化
- 批准号：
21K11836 - 财政年份：2021
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Acceleration of SAT-based CSP Solvers using MDD
使用 MDD 加速基于 SAT 的 CSP 求解器
- 批准号：
20K11748 - 财政年份：2020
- 资助金额：
$ 1.75万 - 项目类别：
Grant-in-Aid for Scientific Research (C)