权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Supporting Manufacturing by Category Theory and Mathematical Logic: Transfer of Software Science to Systems Engineering

用范畴理论和数理逻辑支持制造：软件科学向系统工程的转移

基本信息

批准号：
15KT0012
负责人：
Hasuo Ichiro
金额：
$ 11.56万
依托单位：
National Institute of Informatics (2017-2019)The University of Tokyo (2015-2016)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2015
资助国家：
日本
起止时间：
2015-07-10 至 2020-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（114）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Waterloo 大学(カナダ)

滑铁卢大学（加拿大）

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

Two-layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search

蒙特卡罗树搜索引导的混合系统两层证伪

DOI：
10.1109/tcad.2018.2858463
发表时间：
2018
期刊：
Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
0
作者：
Zhenya Zhang;Gidon Ernst;Sean Sedwards;Paolo Arcaini;Ichiro Hasuo
通讯作者：
Ichiro Hasuo

Moore-Machine Filtering for Timed and Untimed Pattern Matching

用于定时和不定时模式匹配的摩尔机器过滤

DOI：
10.1109/tcad.2018.2857358
发表时间：
2018
期刊：
Proc. EMSOFT 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
0
作者：
Masaki Waga;Ichiro Hasuo
通讯作者：
Ichiro Hasuo

研究代表者個人ウェブページ

研究代表个人网页

DOI：
发表时间：
期刊：
影响因子：
0
作者：
通讯作者：

自動照明装置，及びプログラム

自动照明设备及方案

DOI：
发表时间：
2017
期刊：
影响因子：
0
作者：
通讯作者：

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Hasuo Ichiro其他文献

フランス・リヨンにおけるレジー・ド・カルチエ（RQ）による生活・就労支援―その活動とその意義

法国里昂 Régie de Quartier (RQ) 的生活和就业支持 - 其活动及其意义

DOI：
发表时间：
2019
期刊：
影响因子：
0
作者：
Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam;Masaki Waga;和賀正樹;Masaki Waga;Masaki Waga;Masaki Waga;Masaki Waga;長谷川敦也
通讯作者：
長谷川敦也

Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation

通过搜索空间变换在（不）等式约束下进行混合系统证伪

DOI：
10.1109/tcad.2020.3013073
发表时间：
2020
期刊：
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
影响因子：
2.9
作者：
Zhang Zhenya;Arcaini Paolo;Hasuo Ichiro
通讯作者：
Hasuo Ichiro

Enumerating all pairwise compatibility graphs with a given number of vertices based on linear programming

基于线性规划枚举给定顶点数的所有成对兼容性图

DOI：
发表时间：
2018
期刊：
影响因子：
0
作者：
Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam
通讯作者：
Naveed Ahmed Azam

Decision Tree Learning in CEGIS-Based Termination Analysis

基于 CEGIS 的终止分析中的决策树学习

DOI：
10.1007/978-3-030-81688-9_4
发表时间：
2021
期刊：
Proceedings of CAV 2021, Springer LNCS
影响因子：
0
作者：
Kura Satoshi;Unno Hiroshi;Hasuo Ichiro
通讯作者：
Hasuo Ichiro

Goal-Aware RSS for Complex Scenarios Via Program Logic

通过程序逻辑实现复杂场景的目标感知 RSS

DOI：
10.1109/tiv.2022.3169762
发表时间：
2022
期刊：
IEEE Transactions on Intelligent Vehicles
影响因子：
8.2
作者：
Hasuo Ichiro;Eberhart Clovis;Haydon James;Dubut Jeremy;Bohrer Rose;Kobayashi Tsutomu;Pruekprasert Sasinee;Zhang Xiao-Yi;Pallas Erik Andre;Yamada Akihisa;Suenaga Kohei;Ishikawa Fuyuki;Kamijo Kenji;Shinya Yoshiyuki;Suetomi Takamasa
通讯作者：
Suetomi Takamasa