Flexible Refactoring and Effective Guiding of Stepwise Refinement Design
灵活重构，有效引导逐步细化设计
基本信息
- 批准号：17H07323
- 负责人：
- 金额：$ 1.91万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Research Activity Start-up
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-08-25 至 2019-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（6）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
博士論文紹介：Supporting Planning and Refactoring of Refinement Structure of Event-B Models
博士论文简介：支持Event-B模型细化结构的规划与重构
- DOI：
- 发表时间：2017
- 期刊：
- 影响因子：0
- 作者：Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa;大槻知世;石川将吾;小林 努
- 通讯作者：小林 努
Consistency-Preserving Refactoring of Refinement Structures in Event-B Models
事件 B 模型中细化结构的一致性保持重构
- DOI：10.1007/s00165-019-00478-z
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Tsutomu Kobayashi;Fuyuki Ishikawa;Shinichi Honiden
- 通讯作者：Shinichi Honiden
Refactoring Refinement of Event-B Models
事件 B 模型的重构细化
- DOI：
- 发表时间：2018
- 期刊：
- 影响因子：0
- 作者：Ishikawa Shogo;Kashikawa Nobunari;Toshikawa Jun;Tanaka Masayuki;Hamana Takashi;Niino Yuu;Ichikawa Kohei;Uchiyama Hisakazu;大槻知世;Tsutomu Kobayashi and Fuyuki Ishikawa
- 通讯作者：Tsutomu Kobayashi and Fuyuki Ishikawa
{{
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;田中貴浩 - 通讯作者：
田中貴浩
UV sensitive one-loop matter power spectrum in degenerate higher-order scalar-tensor theories
简并高阶标量张量理论中的紫外敏感单环物质功率谱
- DOI：
10.1103/physrevd.102.103505 - 发表时间：
2020 - 期刊：
- 影响因子：5
- 作者：
Hirano Shin’ichi;Kobayashi Tsutomu;Yamauchi Daisuke;Yokoyama Shuichiro - 通讯作者：
Yokoyama Shuichiro
電気学会技術報告第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)}}的其他基金
Software adaptation with reasonable compromise using information on deductive proof of consistency
使用一致性演绎证明信息进行合理折衷的软件适配
- 批准号：
19K20249 - 财政年份：2019
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
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
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
The role of SGO-1 in clonal evolution of B-cell malignancies
SGO-1 在 B 细胞恶性肿瘤克隆进化中的作用
- 批准号：
18K08367 - 财政年份：2018
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Exploring stakeholder's experiences of implementing Sport for Development and Peace program in Japan
探索利益相关者在日本实施体育促进发展与和平计划的经验
- 批准号：
15K01603 - 财政年份：2015
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Cosmology based on the most general single-field inflation model
基于最通用的单场暴胀模型的宇宙学
- 批准号：
24740161 - 财政年份：2012
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)
相似海外基金
高分解能手指用MoCapを用いた段階的詳細化モデルによる指先接触力推定手法の構築
使用高分辨率手部 MoCap 的逐步详细模型构建指尖接触力估计方法
- 批准号：
22K12067 - 财政年份：2022
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Software adaptation with reasonable compromise using information on deductive proof of consistency
使用一致性演绎证明信息进行合理折衷的软件适配
- 批准号：
19K20249 - 财政年份：2019
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Continuous and Flexible Sophistication and Evolution of Assured Multi-Level System Models
有保证的多级系统模型的持续灵活的复杂性和演化
- 批准号：
17H01727 - 财政年份：2017
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Research on Complexity Distribution and Consistency Assurance in Stepwise Refinement
逐步求精中的复杂度分布与一致性保证研究
- 批准号：
26700005 - 财政年份：2014
- 资助金额：
$ 1.91万 - 项目类别：
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
- 资助金额：
$ 1.91万 - 项目类别：
Grant-in-Aid for Young Scientists (B)