¿Qué logros ha logrado Hu Kai en el campo de la informática?
La investigación del profesor Hu Kai incluye principalmente:
Economía digital y tecnología blockchain: es uno de los primeros investigadores dedicados a la tecnología blockchain en China, y propuso y desarrolló métodos teóricos inteligentes como La ingeniería de contratos (SCE), la tecnología de código legal y la verificación como servicio (VaaS) se utilizan en la integración de la economía digital y blockchain, la planificación y consultoría de parques económicos digitales, la gobernanza digital de blockchain, la escalabilidad de blockchain y más. investigación y logros patentados en interconexión de cadenas y tecnología de verificación formal blockchain. Presidió el desarrollo de la serie de productos blockchain (TrustChain) de Beihang, que incluyen diversas formas de sistemas blockchain, navegadores, monitores, herramientas de implementación y sistemas de gestión de big data blockchain (OpenData) con derechos de propiedad intelectual independientes.
Redes y computación paralela distribuida: He estado involucrado durante mucho tiempo en la investigación de sistemas informáticos en clúster, computación de alto rendimiento, autobuses electrónicos aeroespaciales y tecnología de información de redes integradas espacio-tierra en entornos informáticos complejos que he propuesto. y estudió la teoría de la computación multiclúster reconfigurable basada en lobos del grupo y se aplicó a la práctica y se desarrollaron múltiples sistemas de software de aplicaciones.
Métodos formales de diseño y verificación: trabajar en estrecha colaboración con el Instituto Francés de Investigación Informática (IRIT) en Toulouse y el Instituto Francés de Automatización (INRIA) para crear un laboratorio conjunto de investigación de métodos formales chino-francés para estudiar el modelo. -formularios impulsados Con base en los métodos de diseño y verificación, se propusieron una serie de tecnologías de extensión innovadoras basadas en AADL y el lenguaje de sincronización Signal, y se desarrollaron múltiples herramientas de conversión de modelos, verificación y generación automática de código.
En los últimos años, ha publicado más de 60 artículos de recuperación de SCI/EI en importantes conferencias de revistas académicas en el país y en el extranjero. Es el editor en jefe de "New Technology in Network Computing" (416). páginas, publicado por Science Press en 2001), y ha cooperado para completar el libro de texto nacional "Introducción a los sistemas de computación distribuida" para el 11º Plan Quinquenal (más de 490 páginas, publicado por Tsinghua University Press en 2014, ganó el primer premio del libro de texto de la escuela de 2016, y ha sido adoptado por más de diez universidades clave como libros de texto). Ha sido anfitrión y participado sucesivamente en una serie de Fundación Nacional de Ciencias Naturales de China, proyectos nacionales clave de I+D, 863 proyectos importantes, el proyecto Junkou 863, proyectos nacionales de alta tecnología nuclear, fondos aeroespaciales y una serie de importantes proyectos de ingeniería en el sector aeroespacial. campo. Ha obtenido más de 30 patentes de invención y trabajos blandos nacionales. En 2015, ganó el Premio al Logro de Cinco Años del Fondo de Aviación. En 2018, dirigió la "Verificación y simulación del diseño del sistema de información integrado espacio-tierra" y ganó el premio. Premio al Logro de Innovación de segunda clase de la Asociación de Industria, Universidades e Investigación.