Software adaptation with reasonable compromise using information on deductive proof of consistency
使用一致性演绎证明信息进行合理折衷的软件适配
基本信息
- 批准号：19K20249
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Early-Career Scientists
- 财政年份：2019
- 资助国家：日本
- 起止时间：2019-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（13）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Goal-Aware RSS for Complex Scenarios Via Program Logic
通过程序逻辑实现复杂场景的目标感知 RSS
- DOI：10.1109/tiv.2022.3169762
- 发表时间：2022
- 期刊：
- 影响因子：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
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement
在事件 B 中嵌入近似：使用证明和细化的安全混合系统设计
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：Dupont Guillaume;Ait-Ameur Yamine;Singh Neeraj K.;Ishikawa Fuyuki;Kobayashi Tsutomu;Pantel Marc
- 通讯作者：Pantel Marc
{{
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 }}
Kobayashi Tsutomu其他文献
How does S(N)-natural inflation isotropize the Universe?
S(N)-自然膨胀如何使宇宙各向同性？
- DOI：
10.1103/physrevd.107.043508 - 发表时间：
2023 - 期刊：
- 影响因子：5
- 作者：
Murata Tomoaki;Fujita Tomohiro;Kobayashi Tsutomu - 通讯作者：
Kobayashi Tsutomu
A new mechanism for freezing extra dimensions with higher-order curvature terms
一种用高阶曲率项冻结额外维度的新机制
- DOI：
10.1016/j.physletb.2020.135857 - 发表时间：
2020 - 期刊：
- 影响因子：4.4
- 作者：
Tahara Hiroaki W.H.;Kobayashi Tsutomu;Yokoyama Jun'ichi - 通讯作者：
Yokoyama Jun'ichi
インフレーション宇宙における赤外発散問題とLargeゲージ変換
暴胀宇宙中的红外发散问题和大规范变换
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Hirano Shin’ichi;Kobayashi Tsutomu;Yamauchi Daisuke;Yokoyama Shuichiro;田中貴浩 - 通讯作者：
田中貴浩
Nanohertz gravitational waves from a null-energy-condition violation in the early universe
早期宇宙中违反零能量条件的纳赫兹引力波
- DOI：
10.1103/physrevd.102.123533 - 发表时间：
2020 - 期刊：
- 影响因子：5
- 作者：
Tahara Hiroaki W. H.;Kobayashi Tsutomu - 通讯作者：
Kobayashi Tsutomu
電気学会技術報告第1546号「プラズマ材料表面処理技術の最新動向」
日本电机学会第1546号技术报告《等离子材料表面处理技术的最新趋势》
- DOI：
- 发表时间：
2023 - 期刊：
- 影响因子：0
- 作者：
Iyonaga Aya;Takahashi Kazufumi;Kobayashi Tsutomu;プラズマ材料表面処理技術の動向調査専門委員会 - 通讯作者：
プラズマ材料表面処理技術の動向調査専門委員会
Kobayashi Tsutomu的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Kobayashi Tsutomu', 18)}}的其他基金
Inheritance of architectural construction methods and architectural culture of machiya townhouses along the Sea of Japan coast (Hokuriku-Tohoku region), which flourished along the shipping routes
传承沿航路繁荣的日本海沿岸（北陆东北地区）町屋的建筑工法和建筑文化
- 批准号：
18K04490 - 财政年份：2018
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The role of SGO-1 in clonal evolution of B-cell malignancies
SGO-1 在 B 细胞恶性肿瘤克隆进化中的作用
- 批准号：
18K08367 - 财政年份：2018
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Flexible Refactoring and Effective Guiding of Stepwise Refinement Design
灵活重构，有效引导逐步细化设计
- 批准号：
17H07323 - 财政年份：2017
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Exploring stakeholder's experiences of implementing Sport for Development and Peace program in Japan
探索利益相关者在日本实施体育促进发展与和平计划的经验
- 批准号：
15K01603 - 财政年份：2015
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Cosmology based on the most general single-field inflation model
基于最通用的单场暴胀模型的宇宙学
- 批准号：
24740161 - 财政年份：2012
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
高分解能手指用MoCapを用いた段階的詳細化モデルによる指先接触力推定手法の構築
使用高分辨率手部 MoCap 的逐步详细模型构建指尖接触力估计方法
- 批准号：
22K12067 - 财政年份：2022
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Flexible Refactoring and Effective Guiding of Stepwise Refinement Design
灵活重构，有效引导逐步细化设计
- 批准号：
17H07323 - 财政年份：2017
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Research Activity Start-up
Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
有保证的多级系统模型的持续灵活的复杂性和演化
- 批准号：
17H01727 - 财政年份：2017
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
逐步求精中的复杂度分布与一致性保证研究
- 批准号：
26700005 - 财政年份：2014
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (A)
Proposition of an asset-creation method of mechatronics product based on integrated modeling of mechanical-electrical-software
基于机电软件集成建模的机电一体化产品资产创建方法的提出
- 批准号：
23760128 - 财政年份：2011
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)