• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Program evolution by bit inversion in spacecraft on-board computer

Research Project

Project/Area Number 25540109
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Soft computing
Research InstitutionThe University of Electro-Communications

Principal Investigator

TAKADAMA Keiki  電気通信大学, 情報理工学(系)研究科, 教授 (20345367)

Project Period (FY) 2013-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2014: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Fiscal Year 2013: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Keywordsソフトコンピューティング / 進化計算 / プログラム進化 / ビット反転 / Single-Bit Upset / 遺伝アルゴリズム
Outline of Final Research Achievements

This research developed the on-board computer (OBC) which can evolve programs by making use of the bit inversion occurred by space radiation, and validates its effectiveness through both intensive computer simulations from the software viewpoint and the actual OBC from the hardware viewpoint. For this purpose, this research explored the evolutionary method that can evolve complex programs including the condition branch and the loop structure under the situation where the bit inversion is occurred not only in the commands but also in the registers in CPU. The intensive simulations and experiments have revealed that the proposed evolutionary method succeeded to evolve programs composed of the 33 commands of assembly language in PIC 10 developed by Microchip Technology Inc. This result increases the possibility of employing cheap, small, and fast CPU for many space applications.

Report

(3 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • Research Products

    (25 results)

All 2015 2014 Other

All Journal Article (2 results) (of which Peer Reviewed: 2 results,  Open Access: 1 results) Presentation (23 results)

  • [Journal Article] Evolutionary algorithms for uncertain evaluation functions,2015

    • Author(s)
      Tajima, Y., Nakata, M., Matsushima, H., Sato, H., Hattori, K.,
    • Journal Title

      New Mathematics and Natural Computation,

      Volume: -

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Compact Genetic Algorithmを導入した学習分類子システムによる分類子数の削減2014

    • Author(s)
      中田 雅也,ピエール・ルカ・ランチ,田島 友祐,高玉 圭樹
    • Journal Title

      情報処理学会論文誌

      Volume: 未定

    • NAID

      110009606404

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Presentation] Adjusting SLIM Spacecraft Location Estimation to Crater Detection for High Precision and Computational Time Reduction2015

    • Author(s)
      Usui, K., Harada, T., Takadama, K., Kamata, H., Fukuda SSawai, S., and Sakai, S.,
    • Organizer
      The 30th International Symposium on Space Technology and Science: ISTS2015
    • Place of Presentation
      Kobe
    • Year and Date
      2015-07-04 – 2015-07-10
    • Related Report
      2014 Annual Research Report
  • [Presentation] 小型月着陸技術実証機''SLIM''の提案概要2015

    • Author(s)
      坂井 真一郎,澤井 秀次郎,福田 盛介,佐藤 英一,鎌田 弘之,北薗 幸一,高玉 圭樹,能見 公博,樋口 丈浩,SLIM WG
    • Organizer
      第15回 宇宙科学シンポジウム (SSS 2015)
    • Place of Presentation
      神奈川県
    • Year and Date
      2015-01-06 – 2015-01-07
    • Related Report
      2014 Annual Research Report
  • [Presentation] SLIMシステム概要2015

    • Author(s)
      澤井 秀次郎,坂井 真一郎,福田 盛介,佐藤 英一,北薗 幸一,河野 太郎,佐伯 孝尚,樋口 丈浩,高玉 圭樹,SLIM WG
    • Organizer
      第15回 宇宙科学シンポジウム (SSS 2015)
    • Place of Presentation
      神奈川県
    • Year and Date
      2015-01-06 – 2015-01-07
    • Related Report
      2014 Annual Research Report
  • [Presentation] SLIM画像航法の検討2015

    • Author(s)
      福田 盛介,鎌田 弘之,高玉 圭樹,野村 出,滝野 達也,入江 順也,永田 心,原田 智広,臼居 浩太郎,坂井 真一郎,澤井 秀次郎,SLIM WG
    • Organizer
      第15回 宇宙科学シンポジウム (SSS 2015)
    • Place of Presentation
      神奈川県
    • Year and Date
      2015-01-06 – 2015-01-07
    • Related Report
      2014 Annual Research Report
  • [Presentation] ピンポイント着陸に向けたSLIM探査機の自己位置推定とその展開2014

    • Author(s)
      臼居 浩太郎,原田 智広,高玉 圭樹,鎌田 弘之,福田 盛介,澤井 秀次郎
    • Organizer
      日本航空宇宙学会,第58回宇宙科学技術連合講演会
    • Place of Presentation
      長崎県
    • Year and Date
      2014-11-12 – 2014-11-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] 主成分分析によるクレータ検出の特性評価と改善について2014

    • Author(s)
      野村 出,滝野 達也,入江 順也,永田 心,鎌田 弘之,高玉 圭樹,福田 盛介,澤井 秀次郎,坂井 真一郎,
    • Organizer
      日本航空宇宙学会,第58回宇宙科学技術連合講演会
    • Place of Presentation
      長崎県
    • Year and Date
      2014-11-12 – 2014-11-14
    • Related Report
      2014 Annual Research Report
  • [Presentation] 主成分分析を用いたクレータ検出法の特性評価に関する研究2014

    • Author(s)
      野村 出,滝野 達也,永田 心,入江 順也,鎌田 弘之,高玉 圭樹,福田 盛介,澤井 秀次郎,坂井 真一郎
    • Organizer
      第24回アストロダイナミクスシンポジウム,A-11
    • Place of Presentation
      神奈川県
    • Year and Date
      2014-07-28 – 2014-07-29
    • Related Report
      2014 Annual Research Report
  • [Presentation] Asynchronously Evolving Solutions with Excessively DifferentCrater Detection: Toward Smart Lander for Investigating Moon,2014

    • Author(s)
      Harada, T. and Takadama, K.
    • Organizer
      Genetic and Evolutionary Computation Conference (GECCO 2014)
    • Place of Presentation
      Canada
    • Year and Date
      2014-07-12 – 2014-07-16
    • Related Report
      2014 Annual Research Report
  • [Presentation] システム統合におけるシステム間の関係性とその妥当性検証: SLIM(Smart Lander for Investigating Moon)における自己位置推定システムを例として2014

    • Author(s)
      高玉 圭樹,原田 智広,鎌田 弘之,福田 盛介,澤井 秀次郎
    • Organizer
      計測自動制御学会,システム・情報部門,第7回関係論的システム科学調査研究会
    • Place of Presentation
      滋賀県
    • Year and Date
      2014-07-01 – 2014-07-02
    • Related Report
      2014 Annual Research Report
  • [Presentation] 非同期評価に基づく遺伝的プログラミングによる機械語プログラムの進化2014

    • Author(s)
      原田 智広,高玉 圭樹
    • Organizer
      計測自動制御学会,システム・情報部門,第7回関係論的システム科学調査研究会
    • Place of Presentation
      滋賀県
    • Year and Date
      2014-07-01 – 2014-07-02
    • Related Report
      2014 Annual Research Report
  • [Presentation] `Evaluating an Integration of Spacecraft Location Estimation with Crater Detection: Toward Smart Lander for Investigating Moon2014

    • Author(s)
      Takadama, K., Harada, T., Kamata, H., Ozawa, S., Fukuda, S., and Sawai, S.
    • Organizer
      The 12th International Symposium on Artificial Intelligence,
    • Place of Presentation
      Canada
    • Year and Date
      2014-06-17 – 2014-06-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Maintaining, Minimizing, and Recovering Machine Language Program through SEU in On-Board Computer2014

    • Author(s)
      Harada, T. and Takadama, K.
    • Organizer
      The 12th International Symposium on Artificial Intelligence,
    • Place of Presentation
      Canada
    • Year and Date
      2014-06-17 – 2014-06-19
    • Related Report
      2014 Annual Research Report
  • [Presentation] Asynchronous Evolution by Reference-based Evaluation: Tertiary Parent Selection and its Archive,2014

    • Author(s)
      Harada, T. and Takadama, K.
    • Organizer
      The 17th European Conference on Genetic Programming (EuroGP 2014),
    • Place of Presentation
      Spain
    • Year and Date
      2014-04-23 – 2014-04-25
    • Related Report
      2014 Annual Research Report
  • [Presentation] Complete Action Map or Best Action Map in Accuracy-based Reinforcement Learning Classifier Systems2014

    • Author(s)
      Nakata, M., Lanzi, P. L., Kovacs, T. and Takadama, K.
    • Organizer
      Genetic and Evolutionary Computation Conference (GECCO 2014)
    • Place of Presentation
      バンクーバ,カナダ
    • Related Report
      2013 Research-status Report
  • [Presentation] A Modified XCS Classifier System for Sequence Labeling2014

    • Author(s)
      Nakata, M., Kovacs, T. and Takadama, K.
    • Organizer
      Genetic and Evolutionary Computation Conference (GECCO 2014)
    • Place of Presentation
      バンクーバ,カナダ
    • Related Report
      2013 Research-status Report
  • [Presentation] Evaluating an Integration of Spacecraft Location Estimation with Crater Detection: Toward Smart Lander for Investigating Moon2014

    • Author(s)
      Takadama, K., Harada, T., Kamata, H., Ozawa, S., Fukuda, S., and Sawai, S.
    • Organizer
      The 12th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS2014)
    • Place of Presentation
      モントリオール,カナダ
    • Related Report
      2013 Research-status Report
  • [Presentation] SLIM画像航法の研究開発状況 (その2:クレータマッチングアルゴリズム)2014

    • Author(s)
      高玉 圭樹,原田 智広,臼居 浩太郎,鎌田 弘之,小沢 愼治,福田 盛介,澤井 秀次郎
    • Organizer
      第14回 宇宙科学シンポジウム (SSS 2014)
    • Place of Presentation
      神奈川県
    • Related Report
      2013 Research-status Report
  • [Presentation] What is Needed to Promote an Asynchronous Program Evolution in Genetic Programing?

    • Author(s)
      Takadama, K., Harada, T., Sato H., and Hattori, K.
    • Organizer
      Learning and Intelligent OptimizatioN Conference (LION 8)
    • Place of Presentation
      フロリダ,アメリカ合衆国
    • Related Report
      2013 Research-status Report
  • [Presentation] SLIMにおける実撮影画像のクレータ検出からの自己位置推定 - クレータ誤検出にロバストな自己位置推定アルゴリズムの評価

    • Author(s)
      原田 智広, 杉本 悠太, 高玉 圭樹,鎌田 弘之,小沢 愼治,福田 盛介,澤井 秀次郎
    • Organizer
      日本航空宇宙学会,第57回宇宙科学技術連合講演会
    • Place of Presentation
      鳥取県
    • Related Report
      2013 Research-status Report
  • [Presentation] Compact Genetic Algorithmを導入した学習分類子システムによる分類子数の削減

    • Author(s)
      中田 雅也,Pier Luca Lanzi,松島 裕康,高玉 圭樹
    • Organizer
      情報処理学会,第95回数理モデル化と問題解決研究発表会
    • Place of Presentation
      鹿児島県
    • Related Report
      2013 Research-status Report
  • [Presentation] Selection Strategy for XCS with Adaptive Action Mapping

    • Author(s)
      Nakata, M., Lanzi, P. L., and Takadama, K.
    • Organizer
      Genetic and Evolutionary Computation Conference (GECCO 2013)
    • Place of Presentation
      アムステルダム,オランダ
    • Related Report
      2013 Research-status Report
  • [Presentation] Simple Compact Genetic Algorithm for XCS

    • Author(s)
      Nakata, M., Lanzi, P. L., and Takadama, K.
    • Organizer
      2013 IEEE Congress on Evolutionary Computation (CEC2013)
    • Place of Presentation
      カンクン,メキシコ
    • Related Report
      2013 Research-status Report
  • [Presentation] Tierra 型オンボードコンピュータにおけるプログラム進化とその可能性

    • Author(s)
      高玉 圭樹,原田 智広
    • Organizer
      計測自動制御学会,システム・情報部門,第6回関係論的システム科学調査研究会
    • Place of Presentation
      滋賀県
    • Related Report
      2013 Research-status Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi