La "Ciencia y tecnología informática" de la Universidad de Guizhou fue aprobada como disciplina clave provincial en 1992, y las dos disciplinas de "Tecnología de aplicaciones informáticas" fueron aprobadas como disciplina clave provincial en 2002. La disciplina de Ciencias y Tecnología de la Computación tiene un programa de doctorado (2001), dos programas de maestría (1983) y tecnología de aplicaciones informáticas (1998). Actualmente, "Ciencias y Tecnología de la Computación" tiene cuatro carreras de pregrado: Ciencias y Tecnología de la Computación, Ingeniería de Software, Seguridad de la Información e Ingeniería de Redes.
Actualmente, hay cerca de 1.500 estudiantes en las cuatro especialidades de informática y tecnología, incluidos 1.283 estudiantes de pregrado, 128 de maestría, 29 estudiantes de doctorado y 186 de maestría en ingeniería.
Después de más de diez años de construcción, la disciplina de "Ciencias y Tecnologías de la Computación" ha logrado un rápido desarrollo y resultados fructíferos. Las disciplinas han formado la teoría de la computabilidad y la complejidad computacional, la inteligencia artificial, la criptografía y la seguridad de la información, la tecnología de redes informáticas, la tecnología de bases de datos, la tecnología multimedia, el análisis de software, la tecnología de control informático, los sistemas integrados, el procesamiento de información chino, el procesamiento inteligente de información y el aprendizaje automático, entre otros. temas. Especialmente en los campos de la teoría de la computabilidad y la complejidad computacional, la lógica matemática, la tecnología de bases de datos, la inteligencia artificial, los sistemas integrados, etc., ha formado algunas de sus propias características o ventajas. Algunos resultados de investigación teórica han alcanzado el nivel avanzado internacional, y algunos. Los resultados de la investigación han alcanzado el nivel avanzado internacional. Después de más de diez años de construcción y desarrollo, la disciplina ha proporcionado una gran cantidad de talentos al país. Los resultados de la investigación teórica han mejorado continuamente la reputación de la disciplina en el país y en el extranjero. Construcción de la provincia de Guizhou a través de la transformación.
En 2004, las disciplinas teóricas y de software informático de la Universidad de Guizhou ocuparon el puesto 15 en el ranking de carreras de informática en las escuelas de posgrado de las universidades chinas, y las disciplinas de primer nivel también se ubicaron entre las 30 mejores del país. En la actualidad, las dos disciplinas de "Teoría y software informático" tienen la base y las condiciones para postularse para disciplinas clave nacionales. 1. Investigación y logros científicos
Las disciplinas de informática y tecnología se adhieren a la tradición de "prestar atención a la investigación teórica básica y combinar la teoría con la práctica". En condiciones difíciles de investigación científica, basándose en sus propios esfuerzos y participando activamente en intercambios académicos nacionales y extranjeros, ha logrado una serie de resultados de investigación científica de alto nivel.
Proyectos realizados: desde 1992 hasta 2009, el centro temático llevó a cabo más de 1.000 proyectos a nivel nacional, provincial y ministerial y proyectos conjuntos horizontales, con fondos de investigación que superaron los 50 millones de yuanes. Entre ellos, los proyectos nacionales son los siguientes:
(1) Proyecto principal 1 de la Fundación Nacional de Ciencias Naturales de China:
Zhang: Marco de corrección y diagnóstico de errores de software bajo restricciones de confianza [90718009 , 2008-2010].
(2) Proyecto 11 de la Fundación Nacional de Ciencias Naturales de China:
Li Xiang: Lógica y complejidad computacional [19331050, 1994-1997], complejidad computacional de funciones reales bajo la máquina BSS investigación de modelos e indescifrabilidad [69673048, 1996-1998]
Li Jianshi: Investigación teórica sobre el proceso térmico de contacto eléctrico de componentes electromecánicos separables [1993-1995], Método de evaluación integral de la confiabilidad y seguridad del software [2005 -2009] ;
Zhang: Aplicación de la lógica matemática (no clásica) en la ingeniería del conocimiento [19861002, 1999-2001], investigación y aplicación de la complejidad de parámetros fijos de problemas de cálculo difíciles [101665438]
Xu Daoyun: Investigación sobre la estructura y el método de prueba de fórmulas insatisfactorias [60463001, 2005-2007]; Investigación sobre conjuntos de argumentos especiales y algoritmos para el razonamiento efectivo de fórmulas proposicionales (Nº: 60863005, Hora de inicio: 2009.438+0 ); Teoría matemática de algoritmos y principios de difusión de información (Nº: 6091113005438+03, 2009.3-2009.6438+02); (3) 4 países 863 Proyectos planificados:
Li Xiang: Sistema de programación y teoría de la computación de máquinas BSS en el anillo [863-306-05-09-1C, 1995-1998];
Zhang: Fei Algunas nuevas exploraciones en lógica monótona [863-306-05-16C, 1992-1994], investigación sobre razonamiento de sentido común y razonamiento inductivo [863-306-05-04-7, 1994-]
Premios: Desde 1992, esta materia ha ganado 1 Premio Nacional al Progreso en Ciencia y Tecnología, 1 Premio al Progreso en Ciencia y Tecnología de la Provincia de Guizhou, 1 Premio al Progreso en Ciencia y Tecnología de la Aviación y 5 Premios al Progreso en Ciencia y Tecnología de la Provincia de Guizhou (2Li Xiang )
Artículos publicados: desde 1992, muchas personas en esta disciplina han escrito artículos de investigación y publicado cientos de artículos académicos. Entre ellos, en revistas internacionales autorizadas o conferencias de primer nivel, inteligencia artificial, comunicaciones de IA, información e informática, IEEE Trans. Conocimiento. Ingeniería de datos. , Conferencia internacional de demostración de Knowledge Ra y artículos académicos publicados en "Reasoning" y revistas nacionales autorizadas como "SCIence in China" y "J. of Comput". Ciencia. "Revista de Informática", "Revista de Software", "Revista de Electrónica", "Informática", "Investigación y desarrollo informático", "Ingeniería y aplicaciones informáticas", etc. , los artículos académicos se pasan a través de tres índices principales (SCI, EI
Transformación de los resultados de la investigación: además de la investigación teórica básica, la disciplina presta más atención al desarrollo de sistemas de aplicación y la transformación de los resultados de la investigación. especialmente la integración horizontal desde 1992, la disciplina Cooperando con los departamentos de aviación, aeroespacial, electrónica, médica y de salud de nuestra provincia, estamos constantemente comprometidos con la investigación cooperativa y la transformación de logros, con 30 proyectos de transformación de logros. Centro de Investigación de Ingeniería de Control Inteligente de Guizhou con el sistema de aviación (aprobado por la Comisión de Reforma y Desarrollo Provincial de Guizhou). El centro ha completado más de 20 proyectos de investigación científica, como el "Sistema de control y medición por computadora de la máquina de prueba CS097", que ha generado beneficios económicos. Actualmente, la empresa cuenta con proyectos industriales clave en la provincia de Guizhou, "Construcción de plataforma de red de centros de mecanizado CNC" y "Diseño de optimización de equipos de máquinas herramienta grandes", y en los últimos años se han acumulado más fondos de investigación científica conjuntos horizontales. de 8 millones de yuanes.
2. Formación de talentos
Las dos disciplinas de "Software y teoría informática" pertenecen al programa de doctorado. Es uno de los dos primeros títulos de doctorado otorgados en. Provincia de Guizhou. Su supervisor principal es el profesor Li Xiang, líder de la materia. Desde 2002, el programa de doctorado ha inscrito a 55 estudiantes, y 30 estudiantes se han graduado y obtenido títulos de doctorado en los dos programas de maestría "Teoría y software informático" y "Computación". "Tecnología de Aplicación" ha inscrito a más de 400 estudiantes desde 1998. El número de estudiantes de maestría profesionales también ha superado los 30. Desde 1992, el número total de estudiantes de pregrado ha superado los 3.000. Actualmente hay un gran número de talentos de alto nivel con títulos de posgrado y superiores. desempeñan un papel clave en sus propios trabajos y también han capacitado a una gran cantidad de talentos especializados para el principal campo de batalla económico.
Construcción de plataformas de disciplina
En términos de formación de equipos temáticos. : Con la ayuda de la construcción de programas de doctorado y maestría, los profesores jóvenes básicamente estudian para obtener títulos de doctorado y maestría.
Seleccionar algunos profesores jóvenes para realizar estudios de grado, estudios superiores e investigaciones cooperativas en famosas universidades nacionales y extranjeras (institutos de investigación científica, institutos de investigación), invitar a profesores externos a la escuela a participar en la formación de estudiantes de doctorado, estudiantes de maestría y profesores jóvenes, y Realizar conferencias académicas e investigaciones cooperativas.