후카이는 컴퓨터 분야에서 어떤 나무를 만들었습니까?
후카이 교수가 실시한 연구는 주로 < P > 디지털 경제 및 블록 체인 기술: 국내 최초로 블록 체인 기술에 종사한 연구원 중 하나로 스마트 계약 엔지니어링 (SCE), 법률 코드 기술, 검증 서비스 (VaaS) 등의 이론적 방법을 제시하고 발전시켜 디지털 경제와 블록 체인을 결합했습니다. 자체 지적 재산권에 대한 다양한 형태의 블록 체인 시스템, 브라우저, 모니터, 배포 도구 및 블록 체인 대형 데이터 관리 시스템 (OpenData) 을 포함한 북항 블록 체인 (TrustChain) 제품군의 개발을 주관했습니다. < P > 분산 병렬 컴퓨팅 및 네트워크: 복잡한 컴퓨팅 환경에서 오랫동안 클러스터 컴퓨팅 시스템, 고성능 컴퓨팅, 항공 우주 전자 버스, 세계 통합 네트워크 정보 기술 연구 등에 종사하고 있습니다. 늑대 무리를 기반으로 한 재구성 가능한 멀티 클러스터 컴퓨팅 이론을 제안하고 연구하여 실습에 적용하여 여러 애플리케이션 소프트웨어 시스템을 개발했습니다. < P > 공식 설계 및 검증 방법: 프랑스 툴루즈 컴퓨터 연구소 (IRIT) 및 프랑스 자동화소 (INRIA) 와 긴밀하게 협력하여 중법 형식화 방법 공동 연구실을 설립하고 모델 중심의 형식 설계 및 검증 방법을 연구하고 AADL 및 동기화 언어 Signal 을 기반으로 여러 가지 혁신적인 확장 기술을 제시하며 여러 모델 변환을 개발했습니다. < P > 는 최근 국내외 중요 학술지 회의에서 SCI/EI 검색 등 논문 6 여 편을 발표하고,' 네트워크 컴퓨팅 신기술' (416 페이지, 과학출판사 21 년 출판) 을 편집한 뒤 국가급' 11-5' 기획 권위 교재' 분산 컴퓨팅 시스템 소개' (49 여 페이지) 를 공동으로 완성했다. 여러 국가자연기금, 국가중점 연구개발 프로젝트, 863 중대 프로젝트, 군구 863 프로젝트, 국가핵고기 프로젝트, 항공우주기금, 여러 항공우주분야의 중요한 공사 프로젝트를 주관하고 참여했다. 국가 발명 특허와 연저 등 3 여 개, 215 년 항공기금 5 년 성과상, 218 년' 천지일체화 정보시스템 설계 검증 및 시뮬레이션' 을 이끌고 산학연구회 2 등 혁신 성과상을 수상했다.