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

KITAJIMA Akira  北嶋 暁

ORCIDConnect your ORCID iD *help
Researcher Number 00304030
Other IDs
Affiliation (Current) 2025: 大阪電気通信大学, 総合情報学部, 教授
Affiliation (based on the past Project Information) *help 2007 – 2008: 大阪電気通信大学, 総合情報学部, 准教授
2006: 大阪電気通信大学, 総合情報学部, 助教授
2001: 大阪電気通信大学, 総合情報学部, 講師
2000: 大阪大学, 基礎工学研究科, 助手
1998 – 2000: 大阪大学, 大学院・基礎工学研究科, 助手
1998: Osaka University, Graduate School of Engineering Science, Department of Informat, 基礎工学研究科, 助手
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
計算機科学 / 情報通信工学 / Intelligent mechanics/Mechanical systems
Keywords
Principal Investigator
コンポーネント間プロトコル / 形式的検証 / インタフェース仕様 / システムレベル検証
Except Principal Investigator
VHDL / LOTOS / 並行システム / 実時間システム / 形式記述技法 / レジスタ転送レベル … More / 通信プロトコル / Presburger sentences / parallel control systems / parallel sequential machines / real-times systems / symbolic model checking / out-of-order pipelined CPU / Design and verification technique / out-of-order型パイプラインCPU / プレスブルガー文 / 時間オートマトン / 拡張有限状態機械 / モデル検査 / 動的性質 / パイプラインCPU / 順序機械 / プレスブルガー文真偽判定 / 並列制御部 / 並列動作順序回路 / 記号モデル検査 / Out-of-order CPU / 設計検証 / Scheduling / Communication Protocols / FDTs / Concurrent Systems / Real-Time Systems / Hardware Synthesis / ハードウェア高位合成 / スケジューリング / 形式記述言語 / ハードウェア合成 / FDT / multi-rendezvous / High level synthesis / Register transfer level / Automatic curcuit synthesis / Hardware design / Protocol / 並行プロセス / ハードウェア化 / マルチランデブ / 高位レベル合成 / 回路自動合成 / ハードウェア / アミューズメント / ダイナミックアニメーション / ハプティックス / 医療応用 / 手術支援 / 仮想手術 / ハプティクス / シミュレーション工学 / バーチャルリアリティ Less
  • Research Projects

    (5 results)
  • Research Products

    (1 results)
  • Co-Researchers

    (14 People)
  •  Fundamental research of medical surgical simulation with the help of virtual reality

    • Principal Investigator
      NOBORIO Hiroshi
    • Project Period (FY)
      2006 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Intelligent mechanics/Mechanical systems
    • Research Institution
      Osaka Electro-Communication University
  •  システムレベル設計におけるコンポーネント間プロトコルの形式的検証法Principal Investigator

    • Principal Investigator
      北嶋 暁
    • Project Period (FY)
      2000 – 2001
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Osaka Electro-Communication University
      Osaka University
  •  Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language

    • Principal Investigator
      HIGASHINO Teruo
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      情報通信工学
    • Research Institution
      Osaka University
  •  "A Study on design and verification of parallel sequential machines"

    • Principal Investigator
      KENICHI Taniguchi
    • Project Period (FY)
      1999 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University
  •  Hardware syntesis from formal descriptions of communication prorocols

    • Principal Investigator
      TANIGUCHI Kenichi
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      Osaka University

All 2006

All Journal Article

  • [Journal Article] モニタベース形式検証のための入力制約を考慮したモニタ回路生成手法2006

    • Author(s)
      垣内洋介, 北嶋暁, 浜口清治, 柏原敏伸
    • Journal Title

      電子情報通信学会論文誌(D分冊) Vol.J89-D・No.4

      Pages: 674-682

    • NAID

      110003500121

    • Data Source
      KAKENHI-PROJECT-18360128
  • 1.  OKANO Kozo (70252632)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 2.  KITAMICHI Junji (20234271)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 3.  HIGASHINO Teruo (80173144)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  TANIGUCHI Kenichi (00029513)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  NOBORIO Hiroshi (10198616)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  MIYAZAKI Fumio (20133142)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  HIRAI Shin-ichi (90212167)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  YOSHIDA Haruyuki (90351486)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  ONISHI Katsuhiko (20359855)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  YASUMOTO Keiichi (40273396)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  NAKATA Akio (60295839)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  YAMAGUCHI Hirozumi (80314409)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  船曳 信生 (70263225)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  MORIOKA Sumio
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi