후카이는 컴퓨터 분야에서 어떤 성과를 거두었나요?

후카이 교수의 연구는 주로 다음과 같습니다:

디지털 경제와 블록체인 기술: 그는 중국에서 블록체인 기술에 종사하는 최초의 연구자 중 한 명이며 다음과 같은 지능형 이론 방법을 제안하고 개발했습니다. 디지털 경제와 블록체인의 통합, 디지털 경제 단지 계획 및 컨설팅, 블록체인 디지털 거버넌스, 블록체인 확장성 등에 계약 엔지니어링(SCE), 법률 코드 기술, 서비스형 검증(VaaS) 등이 사용됩니다. 체인 상호 연결 및 블록체인 정형 검증 기술에 대한 연구 및 특허 성과를 보유하고 있습니다. 그는 독립적인 지적재산권을 보유한 다양한 형태의 블록체인 시스템, 브라우저, 모니터, 배포 도구 및 블록체인 빅데이터 관리 시스템(OpenData)을 포함하여 Beihang의 블록체인(TrustChain) 시리즈 제품 개발을 주도했습니다.

분산병렬컴퓨팅과 네트워크: 나는 오랫동안 복잡한 컴퓨팅 환경에서 클러스터 컴퓨팅 시스템, 고성능 컴퓨팅, 항공우주 전자버스, 우주-지상 통합 네트워크 정보 기술에 대한 연구를 해왔습니다. Wolf 기반 그룹의 재구성 가능한 다중 클러스터 컴퓨팅 이론을 연구하고 실습에 적용했으며 다중 응용 소프트웨어 시스템을 개발했습니다.

형식 설계 및 검증 방법: 툴루즈에 있는 프랑스 컴퓨터 연구소(IRIT) 및 프랑스 자동화 연구소(INRIA)와 긴밀히 협력하여 모델을 연구하기 위한 중국-프랑스 형식 방법 공동 연구소를 설립합니다. -driven form 설계 및 검증 방법을 바탕으로 AADL 및 동기화 언어 Signal 기반의 혁신적인 확장 기술을 다수 제안하고 다중 모델 변환, 검증 및 자동 코드 생성 도구를 개발했습니다.

최근에는 국내외 주요 학술지 컨퍼런스에서 60편 이상의 SCI/EI 검색 논문을 발표했으며, 『네트워크 컴퓨팅의 신기술』(416)의 편집장을 맡고 있다. 페이지, 2001년 사이언스 출판사 출판), 11차 5개년 계획의 국가 권위 교과서 "분산 컴퓨팅 시스템 입문"(2014년 칭화대학 출판사에서 출판한 490페이지 이상)을 완성하는 데 협력했습니다. 2016년 학교 교과서에서 1위를 차지했으며 10개 이상의 주요 대학에서 교과서로 채택되었습니다. 그는 중국 국립자연과학재단, 국가 핵심 R&D 프로젝트, 863개 주요 프로젝트, Junkou 863 프로젝트, 국가 원자력 하이테크 프로젝트, 항공우주 기금 및 항공우주 분야의 여러 중요한 엔지니어링 프로젝트를 연속적으로 주최하고 참여했습니다. 필드. 2015년에는 30개 이상의 국가발명특허와 소프트워크를 획득했으며, 2018년에는 '우주-지상 통합정보시스템 설계 검증 및 시뮬레이션'을 주도해 5년 공로상을 수상했다. 산업, 대학, 연구 협회로부터 2등급 혁신 공로상을 받았습니다.