Backward Simulation for Evaluating System Safety

用于评估系统安全性的逆向仿真

基本信息

批准号：
25540006
负责人：
HIRANAKA YUKIO
金额：
$ 1.33万
依托单位：
Yamagata University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2013
资助国家：
日本
起止时间：
2013-04-01 至 2015-03-31
项目状态：
已结题

项目摘要

项目成果

期刊论文数量（2）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Numerical Backward Simulation Model with Case Branching Capability

具有案例分支功能的数值逆向仿真模型

DOI：
发表时间：
2014
期刊：
影响因子：
0
作者：
Yukio Hiranaka;Houjin Sakaki;Kenta Ito;Toshihiro Taketa and Shinichi Miura
通讯作者：
Toshihiro Taketa and Shinichi Miura

Case Branching Backward Simulator for Integer Factorization

用于整数分解的案例分支向后模拟器

DOI：
发表时间：
2013
期刊：
影响因子：
0
作者：
Yukio Hiranaka;Toshihiro Taketa and Shinichi Miura
通讯作者：
Toshihiro Taketa and Shinichi Miura

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 }}

HIRANAKA YUKIO其他文献

HIRANAKA YUKIO的其他文献

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

相似海外基金

安全マージンの個人適応による自動化システムの安全性向上手法の提案・検証

提出并验证一种通过单独调整安全裕度来提高自动化系统安全性的方法

批准号：
24K17477
财政年份：
2024
资助金额：
$ 1.33万
项目类别：
Grant-in-Aid for Early-Career Scientists

早産低出生体重児に向けた胎盤型ECMOシステム開発：有効性と安全性の検証

早产儿低出生体重儿胎盘式ECMO系统的开发：有效性和安全性验证

批准号：
21J15455
财政年份：
2021
资助金额：
$ 1.33万
项目类别：
Grant-in-Aid for JSPS Fellows

Practical Software Development Support based on Safety Verification using Information Flow Analysis

基于信息流分析的安全验证的实用软件开发支持

批准号：
17K12666
财政年份：
2017
资助金额：
$ 1.33万
项目类别：
Grant-in-Aid for Young Scientists (B)

Developing Automated formal Verification System for Cryptology

开发密码学自动化形式验证系统

批准号：
17K00182
财政年份：
2017
资助金额：
$ 1.33万
项目类别：
Grant-in-Aid for Scientific Research (C)

Design and development of multi-stage languages for verification

用于验证的多阶段语言的设计和开发

批准号：
15K12007
财政年份：
2015
资助金额：
$ 1.33万
项目类别：
Grant-in-Aid for Challenging Exploratory Research