Development of Deductive Failure Reasoner with Stepwise Refinement and Theorem Proving
逐步细化和定理证明的演绎失败推理机的开发
基本信息
- 批准号:22K11987
- 负责人:
- 金额:$ 1.83万
- 依托单位:
- 依托单位国家:日本
- 项目类别:Grant-in-Aid for Scientific Research (C)
- 财政年份:2022
- 资助国家:日本
- 起止时间:2022-04-01 至 2025-03-31
- 项目状态:未结题
- 来源:
- 关键词:
项目摘要
多量の検査式を段階的に設計する手法を確立するため,①手法を用いずに異常箇所特定のための検査式を作成することを予備実験的に実施した.また先行し,②作成した検査式から既存のランタイム検証手法(R2U2)を用いた推定器を実装し,軌道上の衛星(OPS-SAT:https://www.eoportal.org/satellite-missions/ops-sat#overview)にアップロードおよび実行し,計算機リソースの計測を実施した.①において,今回の実験では手法を用いずに異常箇所を特定する検査式を作成する場合,人工衛星に搭載される機器からの単一の信号の異常を検知するだけでも,10以上の検査式が作成可能で,更に異常箇所を特定するためには別の信号との比較等が必要となり,その組み合わせは指数関数的に増えるため,手法なく真の異常箇所との対応関係を取ることが困難となることが明確になった.これにより,段階的詳細化を用い,システムモデル・検査式・証明を抽象から具体への階層構造を用いながら構築していく方法の有用性が示唆された.②において,詳細な計算機リソースは解析中であるが,現在運用されているFPGA SoC(MitySOM-5CSX)の人工衛星において,リアルタイムで実行可能な計算機リソースで当該推論器は実行可能であることが分かった.①②により,次年度で計画している提案手法を用いた時の検査式の質の変化や,検査式の量をスケールさせた場合の計算機リソースを評価するためのベースラインが整った.
The design method of multi-stage investigation is established. In addition, ② the inspection formula was created and the existing R2U2 verification method was used, the estimator was installed, the satellite in orbit (OPS-SAT: https://www.eoportal.org/satellite-missions/ops-sat#overview) was implemented, and the computer's smart measurement was implemented. 1. In the case of abnormal signal detection by artificial satellite, more than 10 investigation formulas can be created, and abnormal signal comparison is necessary, and the combination of abnormal signal detection by artificial satellite is necessary. The method is true and the relationship between them is difficult. The detailed structure of the hierarchy is used to demonstrate the usefulness of the method. 2. The detailed computer solutions are analyzed in detail. Now, the FPGA SoC (MitySOM-5CSX) is used to analyze the artificial satellite. The computer solutions are possible when the inference device is implemented. (2) In the next year's plan, the proposal method is used in the middle of the investigation, the quality of the investigation is changed, the quantity of the investigation is changed, and the computer solution is evaluated.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
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 }}
大久保 梨思子其他文献
大久保 梨思子的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似海外基金
形式手法と融合したクープマン・モデル予測制御の研究
结合形式化方法的库普曼模型预测控制研究
- 批准号:
23K26128 - 财政年份:2024
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
軽量形式手法による機械学習コンポーネントの信頼性保証技術の開発
使用轻量级形式化方法开发机器学习组件的可靠性保证技术
- 批准号:
23KJ1011 - 财政年份:2023
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for JSPS Fellows
形式手法を用いた数論アルゴリズムの設計支援システムの開発
使用形式化方法开发数论算法的设计支持系统
- 批准号:
22K11926 - 财政年份:2022
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
電子制御モデル検証における形式手法と確率・統計的手法の融合
电控模型验证中形式方法与概率/统计方法的融合
- 批准号:
20K19773 - 财政年份:2020
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築
使用形式化方法和数学优化构建高度可靠且高效的自动驾驶车队控制系统
- 批准号:
19K11842 - 财政年份:2019
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
形式手法とヒューリスティクスの組み合わせによる物理情報システムの効率的な品質保証
结合形式化方法和启发式方法,有效保证物理信息系统的质量
- 批准号:
19J15218 - 财政年份:2019
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for JSPS Fellows
高品質ソフトウェア開発における適用性の高いアーキテクチャ指向形式手法の提案
提出一种高度适用的面向架构的形式化方法,用于高质量软件开发
- 批准号:
24240002 - 财政年份:2012
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
確率システムの開発及び検証の形式手法
开发和验证随机系统的形式化方法
- 批准号:
10J07560 - 财政年份:2010
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for JSPS Fellows
計算機ネットワーク構成の設計,検証及び管理のための形式手法
设计、验证和管理计算机网络配置的正式方法
- 批准号:
10878048 - 财政年份:1998
- 资助金额:
$ 1.83万 - 项目类别:
Grant-in-Aid for Exploratory Research