Cooperative Reactive System Synthesis Based on Necessary Conditions of Realizability
基于可实现性必要条件的协同反应系统综合
基本信息
- 批准号：17K17763
- 负责人：
- 金额：$ 2.66万
- 依托单位：
- 依托单位国家：日本
- 项目类别：Grant-in-Aid for Young Scientists (B)
- 财政年份：2017
- 资助国家：日本
- 起止时间：2017-04-01 至 2023-03-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Towards Efficient Implementation of Realizability Checking for Reactive System Specifications
高效实施反应式系统规范的可实现性检查
- DOI：10.1145/3316615.3316634
- 发表时间：2019
- 期刊：
- 影响因子：0
- 作者：Masaya Shimakawa;Atsushi Ueno;Shohei Mochizuki;Takashi Tomita;Shigeki Hagihara and Naoki Yonezaki
- 通讯作者：Shigeki Hagihara and Naoki Yonezaki
A Characterization on Necessary Conditions of Realizability for Reactive System Specifications
反应式系统规范可实现性必要条件的表征
- DOI：10.1587/transinf.2021fop0005
- 发表时间：2022
- 期刊：
- 影响因子：0.7
- 作者：TOMITA Takashi;HAGIHARA Shigeki;SHIMAKAWA Masaya;YONEZAKI Naoki
- 通讯作者：YONEZAKI Naoki
リアクティブシステム実現可能性必要条件の判定手続き
确定反应系统可行性要求的程序
- DOI：
- 发表时间：2020
- 期刊：
- 影响因子：0
- 作者：小竹泰子;高 紀信;瀧山嘉久;石浦浩之;辻 省次;吉田光宏;冨田 尭
- 通讯作者：冨田 尭
{{
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 }}
Tomita Takashi其他文献
とろみ調整食品が錠剤の崩壊、溶出、薬効に及ぼす影響
增稠食品对片剂崩解、溶出和药效的影响
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
Matsuo Taisuke;Sasaki Hina;Tomita Takashi;Sadzuka Yasuyuki;富田 隆 - 通讯作者：
富田 隆
Visualizing fluid transport inside orally disintegrating tablets and changes in tablets using real-time X-ray radiography and X-ray computed tomography
使用实时 X 射线照相和 X 射线计算机断层扫描可视化口腔崩解片内的液体传输和片剂的变化
- DOI：
10.1080/03639045.2022.2108831 - 发表时间：
2022 - 期刊：
- 影响因子：3.4
- 作者：
Suzuki Kazuhiro;Yoshiki Masahiko;Nishikawa Norio;Harada Tsutomu;Fujita Yoshiaki;Terui Yuji;Yoshida Takayuki;Tomita Takashi - 通讯作者：
Tomita Takashi
Effect of Food Thickener and Deglutition Aid Jelly on Pharmacokinetics of Levofloxacin Orally Disintegrating Tablets.
食物增稠剂和助吞剂果冻对左氧氟沙星口腔崩解片药代动力学的影响。
- DOI：
- 发表时间：
2019 - 期刊：
- 影响因子：0
- 作者：
Nishimura Naoe;Tachiki Hidehisa;Tomita Takashi;Kudo Kenzo. - 通讯作者：
Kudo Kenzo.
嚥下機能が低下している高齢者に推奨される経口投与の剤形・経路の選択は？
对于吞咽功能受损的老年人，建议口服什么剂型/途径？
- DOI：
- 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Matsuo Taisuke;Tabata Yoshiyuki;Sasaki Hina;Yoshida Yuki;Gotoh Yayoi;Suzuki Toshio;Obara Michiko;Sadzuka Yasuyuki;Tomita Takashi;富田 隆 - 通讯作者：
富田 隆
Tomita Takashi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Tomita Takashi', 18)}}的其他基金
Estimation method and reduction measures of tsunami-related fire risk in ports
海啸港口火灾风险估算方法及降低措施
- 批准号：
19H02401 - 财政年份：2019
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Reverse genetics study on the molecular species and mutations involved in metabolic insecticide resistance of the dengue vector mosquito
登革热媒介蚊代谢杀虫剂抗性分子种类及突变的反向遗传学研究
- 批准号：
16K08767 - 财政年份：2016
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Study on the mechanisms involved in insecticide resistance of vector mosquiotes by genome editing technology
利用基因组编辑技术研究媒介蚊抗药性机制
- 批准号：
25460525 - 财政年份：2013
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
相似海外基金
Synthesis of embedded systems satisfying quantitative constraints by formal methods
通过形式化方法综合满足定量约束的嵌入式系统
- 批准号：
16K00092 - 财政年份：2016
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Research on Highly Reliable Agile Formal Engineering Methods
高可靠敏捷形式化工程方法研究
- 批准号：
26240008 - 财政年份：2014
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
Development of the Innovative Specification Verification System based on Proof Scores
基于证明分数的创新规格验证系统的开发
- 批准号：
23220002 - 财政年份：2011
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (S)
証明スコア法に基づく革新的仕様検証技術の研究
基于证明评分法的创新规范验证技术研究
- 批准号：
23240004 - 财政年份：2011
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Scientific Research (A)
Framework to Realize Consistent Contract Management in Service Composition
在服务组合中实现一致的合同管理的框架
- 批准号：
20700037 - 财政年份：2008
- 资助金额：
$ 2.66万 - 项目类别：
Grant-in-Aid for Young Scientists (B)