주요 연구 내용: 지능형 계획 및 자동 추론, 제약 프로그램, 지능형 의사 결정 지원 시스템 등 연구 분야의 과학 연구 및 소프트웨어 개발.
○ 주요 성과: 연구 성과가 국내에서 선두를 차지하고 있다. 기존 교사 12 명 중 교수 (박사 멘토) 3 명, 교육부' 신세기 우수 인재 지원 프로그램' 자금 지원 2 명. 이들은 국가자연과학기금 프로젝트 약 20 개, 국가급 및 성급 프로젝트 4 개, 수평 소프트웨어 개발 프로젝트 4 개를 연달아 맡고 있다. 인공지능 원리 등 대학원 과정과 이산수학 등 학부 과정을 맡고 있는데, 그 중 이산수학은 국가 부티크 과정이다.
● 소프트웨어 형식화
주요 연구 내용: 소프트웨어 형식화 방법, 의미망, 프로그램 분석 기술, 다양한 프로그래밍 언어 및 구현 기술, 모바일 코드 보안, 동시 의미, 소프트웨어 검사 등
○ 주요 성과: 국가자연과학기금 프로젝트 4 개, 교육부 박사점 기금 프로젝트 1 항목, 성부급 프로젝트 2 개, 협력 프로젝트 3 개, 성급 교육개혁 프로젝트 3 개 항목, 학술논문 70 여 편 발표, 학술저작 편찬 13 부 형식 의미 및 절차 분석을 시험하는 대학원 과정, 컴파일 원리 (이중 언어), 고급 언어 프로그래밍 및 C# 프로그래밍 (이중 언어) 학부 과정. "컴파일 원리" (이중 언어) 과정은 길림대학교 우수 과정, 길림성 우수 과정, 교육부-마이크로소프트 우수 과정, 세 가지 성급 장려로 선정되었다. 박사 교사 장장장해 교수가 강의한' 고급 언어 프로그래밍' 이 국가 우수 과정으로 선정되었다.
● 소프트웨어 엔지니어링
주요 연구 내용: 구성 요소 기술 및 소프트웨어 재사용 기술, 소프트웨어 아키텍처 기반 소프트웨어 개발 방법, 소프트웨어 유지 관리 및 소프트웨어 설계 개선 방법, 소프트웨어 진화 방법 및 소프트웨어 자동화 기술, 소프트웨어 재구성 방법 및 기술, 소프트웨어 테스트, 측면 지향 프로그래밍 기술, 모바일 에이전트 기반 소프트웨어 개발 방법, 소프트웨어 엔지니어링 환경 및 소프트웨어 개발 보조 도구 등
○ 주요 성과: 연구팀 멤버들은 국가 중점 연구 프로젝트와 국가자연과학기금 프로젝트 4 건을 완성하고 국내 핵심 저널이나 국제회의에서 논문 50 여 편을 발표했다.
● 데이터베이스 및 네트워크 인텔리전스
주요 연구 내용: 데이터베이스 이론, 기계 학습, 데이터 마이닝 및 웹 마이닝, 웹 검색 엔진
○ 주요 성과: 국가자연과학기금 프로젝트' 페트리 네트에 기반한 능동적인 객체 지향 데이터베이스 관리 시스템 (1997- 1999)' 과 길림성 과학기술개발계획 프로젝트' 2 세대 네트워크 검색 엔진 개발 (2000)' 완료 국가자연과학기금 프로젝트' 증분 모바일 테마 파충류 시스템 (2004-2006)' 을 맡고 있습니다. 소프트웨어 학보 등 국제회의와 핵심 저널에 논문 40 여 편을 발표했는데, 그중 9 편은 세 가지 검색구조에 의해 검색되어 교재와 학술논문 4 부를 출판했다. 국가 및 장관급 보상 5 항목을 받다.
● 데이터베이스 및 지능형 네트워크
주요 연구 내용: 고차원 대량 데이터 스마트 처리 이론, 데이터 마이닝 기본 이론 및 응용 프로그램, 인터넷 멀티 캐스트 라우팅 기술, 병렬 프로그래밍, 동시 엔지니어링 및 엔지니어링 데이터베이스 시스템, 컴퓨터 지원 공동 작업 및 설계
○ 주요 성과: 국가 중점 항목 2 개, 1 국가 863 프로그램 프로젝트, 국가 자연과학기금 프로젝트 5 개, 성 장관급 과학연구 프로젝트 수십 개. 국가 과학기술진보 2 등상 1, 기계공업부 과학기술진보 1 등상 1 등 여러 성 장관급 상을 받았다. 그는 각종 국내외 정기 간행물에도 수십 편의 논문을 발표했다. ● 지식 공학 및 전문가 시스템
○ 주요 연구 내용: 불확실성 추론 방법 및 기술; 다중 전문가 시스템 협업 기술 베이지안 네트워크 추론 및 학습; 이기종 지식 표현의 상호 변환; 지식 기반 정제 및 지식 기반 일관성 테스트 등
○ 주요 성과: 여러 국가 863 프로젝트를 담당하고, 전문가 시스템을 포함한 다양한 기술을 이용하여 농업 정보화 분야의 응용 연구를 전개하고, 20 여 개의 농업 실용 전문가 시스템을 개발하고, 대규모 보급을 지속한다. 1997 년부터 2004 년까지 수입이 증가하여 지출이 약 22 억 3 천만 원 줄었다. 이 연구는 길림성 1 등상과 2 등상 1, 장춘시 1 등상 1 을 수상했다.
●DAI, MAS, 지능형 에이전트 및 모바일 에이전트
주요 연구 내용: 에이전트 다중 에이전트 시스템은 주로 복잡한 작업 해결 방법을 포함합니다. 프록시 인식 방법 대리 기획법 DAI 계획 식별, 생성 및 최적화 방법; 에이전트 파생 및 복구, 동적 어셈블리 방법; 동적 DAI 아키텍처 모델 에이전트 지향 프로그래밍은 주로 지능형 에이전트 아키텍처, 논리 이론, 프로그래밍 방법 및 언어, 다중 에이전트 협상 방법을 포함합니다. 모바일 에이전트 기술은 주로 모바일 에이전트 시스템 아키텍처, 이론적 모델, 마이그레이션 계획, 통신 및 보안을 포함합니다.
○ 주요 성과: 1984 이후 국가 863, 자연과학기금 프로젝트 10 항목을 완성하여 논문 50 여 편을 발표했다. BDI 기반 구성요소 지능형 프록시 템플릿 구조 모델이 제시되었습니다. 확장된 계약 네트워크 협상 모델인 ECNNM 이 제시되었습니다. 분기 타이밍 구조를 갖춘 에이전트 통신 및 협상을 지원하는 1 차 멀티 모달 논리가 제시되었습니다. 템플릿 모델, 확장 BDI 논리 및 다중 에이전트 협상 모델 ECNNM 을 지원하는 에이전트 프로그래밍 언어인 NOAPL 이 제시되었습니다. 이러한 연구 결과를 바탕으로 개방적이고 적응적인 분산형 다중 에이전트 협업 시스템 도구인 COT 를 개발하고 COT 를 활용하여 다중 전문가 시스템 석유 로깅 해석 시스템을 개발했습니다. 또한 모바일 에이전트 시스템의 템플릿 구조, 환경 계산에 기반한 모바일 에이전트 시스템의 공식 모델, 마이그레이션 계획 모델, 신뢰할 수 있는 통신 모델 및 통신 성능 최적화 모델, 네트워크 관리를 위한 보안 모델 및 게임 이론에 기반한 전자 상거래 가상 시장 모델을 제시했습니다. 모바일 에이전트 기술을 네트워크 관리 및 전자 상거래 분야에 적용합니다.
● 시공간 정보의 표현과 추론
주요 연구 내용: 시간과 공간은 인류의 영원한 화제이며, 시공간추리는 인공지능 등 분야에서 중요한 역할을 한다. 본 시공추리에 대한 연구는 1996 으로 시작되며, 여러 연구 분야를 포괄하며 지리 정보 시스템, 정밀 농업 등에 적용된다. 연구 내용은 주로 시공논리, 시공대수학, 시공본체, 시공데이터 마이닝, 시공데이터베이스, 이동 객체 데이터베이스 등이다. 자연과학기금 중대 프로젝트 1, 자연과학기금 상면 항목 3, 성 과학기술발전계획 4 를 포함한 기금 지원을 받는다.
○ 주요 결과: 지역 연결 계산의 혼합 차원 확장을 질적 공간 음영 관계의 표현에 적용합니다. 시공간정보를 처리하는 불확실성, 모호성 및 세분성 모델을 제시하여 GIS, 공간 데이터 마이닝 및 시공간데이터베이스에 각각 적용했습니다. 통합 시공간 정보 처리 모델; 질적 공간 질의 언어 및 시공간 질의 언어; 향상된 도로망 이동 오브젝트 모델: 그리드 데이터 모델 아래의 블러 영역에 대한 토폴로지 관계 분석. 앞서 언급한 연구를 바탕으로 시공간의 추리를 지원하는 구성 요소 지리 정보 시스템인 CGIS 와 여러 농업 응용 시스템을 자체 개발하여 토양 검사 포뮬라 비료를 실제로 가능하게 했다. * * * 핵심 저널에 논문 60 여 편, SCI 색인 7 편, EI 색인 15 편을 게재했다.
● 러프 세트와 그리드 머신을 기반으로 한 데이터 마이닝
○ 주요 연구 내용: 전통적인 데이터 분석 방법은 점점 더 많은 데이터를 처리하기 어렵다. 이 연구소는 사람들이 이러한 데이터를 효과적으로 이해하고 사용할 수 있도록 데이터 마이닝을 연구 배경으로 그리드 및 러프 세트를 기반으로 한 데이터 마이닝 이론 및 방법에 대한 연구를 수행했습니다. 주요 연구 내용은 당시의 격기 이론과 방법을 심도 있게 연구하고, 격기의 레이블과 분류 특징을 중점적으로 연구하는 것이다. 증분 격자 기계의 레이블 및 분류 특성을 연구하여 증분 격자 기계의 엄격한 형식 정의를 제공합니다. 텍스트와 같은 구조화되지 않은 데이터의 경우 격자 이론에 기반한 데이터 감소 방법 및 분류 방법을 연구했습니다. 거친 집합 이론에서 공리의 최소화 문제를 연구했다. 러프 세트 이론에 기반한 속성 감소 방법 및 데이터 감소 방법을 연구했습니다. 격기 이론과 거친 집합 이론에 기반한 데이터 마이닝 방법을 연구했다.
○ 주요 성과: 학원은 격기와 러프 세트를 기반으로 한 데이터 마이닝 이론과 방법 방면에서 어느 정도 성과를 거두었다. 격기 등 표지의 사상을 확장하고 교차 표지의 개념을 제시하여 다범주 의사결정 문제를 해결했다. 위의 사상을 텍스트 데이터의 다중 범주 의사 결정 문제에 적용하여 좋은 결과를 얻었다. 러프 세트 공리에서 암시 된 중복을 제거하고, 두 개의 간결한 러프 세트 공리를 얻고, 그들의 신뢰성을 입증합니다. 극소 러프 세트 공리의 개념을 정의함으로써 이 두 세트의 러프 세트 공리가 모두 매우 작다는 것을 증명했다. 러프 세트 이론에 기반한 속성 감소 및 데이터 감소의 경우 정보 엔트로피와 유전 알고리즘에 기반한 속성 감소 알고리즘, 피쳐 매트릭스에 기반한 최소 감소 알고리즘 및 증분 규칙 추출 방법이 제시되었습니다.
● 컴퓨팅 인텔리전스
○ 주요 연구 내용: 컴퓨팅 지능과 관련된 신경망, 퍼지 시스템, 진화 컴퓨팅에 관한 이론, 모델 및 알고리즘, 그리고 컴퓨터 미각과 후각, 이미지 처리, 비즈니스 인텔리전스, 지능형 교통, 현대 물류, 생물 정보학, 바이오메트릭 기술 등에 대한 계산 지능 방법의 응용 연구.
○ 주요 성과: 국가자연과학기금 중점 프로젝트 1 항목, 국가자연과학기금면 항목 2 항목, 15 중점 프로젝트 1 항목, 1 항목' 863' 항목, 지방부 이 중 SCI 는 20 여 편, SCI 는 26 회, EI 는 40 편, 국내 핵심 간행물은 1 16 회를 인용했다. 학술 저작 1 편을 발표하고, 국가 발명 특허 1 항목, 소프트웨어 저작권 4 항목을 취득하다.
● 컴퓨터 그래픽 및 디지털 미디어
○ 주요 연구 내용: 컴퓨터 회화 및 애니메이션, 컴퓨터 애니메이션 기술 및 응용, 점 기반 모델링 및 드로잉, 기하학적 모델링에서 표면 스티칭의 기본 이론 및 알고리즘, 프랙탈 컴퓨터 생성, 콘텐츠 기반 멀티미디어 검색, 눈 밑 3D 이미징 및 의료 이미지 처리, 이미지 초고해상도 및 이미지 등록, 스트리밍 미디어 압축, 인코딩, 디코딩 및 프록시 캐싱 기술, 3D 모델 검색
○ 주요 성과: 1980 년대 초부터 컴퓨터 그래픽 및 디지털 미디어 교육, 연구 및 개발을 시작했습니다. 여러 해 동안 국가자연과학기금 4 개, 성 장관급 프로젝트 2 개, 기타 과학연구 프로젝트 10 개 이상. 학술 논문 200 여 편을 발표했는데, 그중 50 여 편은 3 대 검색에 수록되었다.
● 컴퓨터 이미지 처리 및 가상 현실
○ 주요 연구 내용: 디지털 워터마크 기술, 이미지 검색 기술, 의료 이미지 처리, 이미지 기반 렌더링 기술, 이미지 기반 3D 재구성 기술 등을 포함한 컴퓨터 이미지 처리 이론 및 응용 연구. 가상 현실 기술 및 응용 연구는 주로 가상 환경의 시뮬레이션, 자연 풍경의 시뮬레이션, 충돌 탐지 기술 등을 포함한다. 패턴 인식 및 머신 비전, 구속조건 기반 기하학적 모델 및 멀티미디어 기술에 대한 연구
○ 주요 성과: 국가자연과학기금 프로젝트 2 개, 성 장관급 프로젝트 4 개, 여러 가지 수평과학연구 프로젝트를 맡는다. 학술 논문 130 여 편을 발표하는데, 그 중 SCI 는 30 여 편, EI 는 25 편, ISTP 는 30 여 편을 수록했다. 교재 3 부를 출판하다.
● 지능형 엔지니어링
주요 연구 내용: 인공신경망, 모호한 시스템 및 진화 컴퓨팅 관련 이론, 모델 및 알고리즘, DNA 계산, 양자 계산, 인공면역 알고리즘, 군최적화 알고리즘, 기계 학습 알고리즘, 전산 지능에 기반한 생물정보학의 관련 이론 및 알고리즘, 단백질 구조 예측 방법, 유전자 표현 데이터 분석, 약물 성분 분석, 지능형 계산 방법 조합 최적화
○ 주요 성과: 200 1 이후 국가자연과학기금 프로젝트 2 개, 성 장관급 프로젝트 2 개, 성 장관급 기술진보상 4 개. 학술 논문 100 여 편을 발표했는데, 그 중 SCI 는 40 여 편, EI 는 50 여 편을 수록했다.
● 이동 통신 및 네트워크 시스템
주요 연구 내용: 모바일 IP 기술, 모바일 컴퓨팅 네트워크 이론, 모바일 컴퓨팅 네트워크 기반 애플리케이션 (QoS 관리, 트래픽 엔지니어링, 정책 기반 네트워크 관리, 보안 이론 및 기술, 침입 탐지 시스템, 방화벽 기술, 네트워크 아키텍처, 통신 프로토콜 및 인터페이스, 네트워크 장치, 네트워크 통신 소프트웨어 및 네트워크 프로토콜 구현 포함)
○ 주요 성과: 국가 중점 과학기술 프로젝트 1, 863 프로젝트 1, 국가발전개혁위 1 하이테크 및 산업화 프로젝트, 국가자연과학기금 상면프로젝트 1, 동북구공업기지 과학기술공관프로젝트 활성화 1 을 주재한다. 국내외 유명 정기 간행물에 논문 60 여 편, 편집장 교재 8 부 (편집장) 를 발표하다.
● 지능형 제어 및 임베디드 시스템
주요 연구 내용: 산업 제어 컴퓨터 기술, 임베디드 컴퓨터 시스템, 네트워크 임베디드 시스템 및 보안, 네트워크 제어 기술 및 실시간 신호 전송, 임베디드 시스템 하드웨어 및 소프트웨어 공동 설계, 문제 해결 및 내결함성 기술, 퍼베이시브 컴퓨팅, 지능형 제어, 광전 혼합 정보 처리 기술 및 자동차 전자 제어 및 정보 시스템, 지능형 교통 시스템에서의 응용
○ 주요 성과: 863 프로젝트와' 공관' 프로젝트 3 개 완료, 국가자연과학기금 지원 프로젝트 2 개, 성 장관급 프로젝트 8 개, 성 장관급 과학기술진보상 4 개 수상, 논문 발표 100 여 편, 교재 8 부 출판. ● 컴퓨터 공간 정보 처리 기술
○ 주요 연구 내용: 공간 데이터 수집, 측정, 분석, 저장, 관리, 표시, 전파 및 적용을 위한 통합 정보 과학 및 기술. 본 논문에서는 대용량 데이터 저장 기술, 멀티미디어 데이터베이스 기술, 압축 전송 기술, 지능형 검색 알고리즘, 데이터웨어 하우스 및 데이터 마이닝, 공간 데이터 모델링 및 시뮬레이션, 3S 통합 이론 및 방법, 과학 컴퓨팅 시각화 및 가상 현실 기술, 인간-컴퓨터 상호 작용 기술 등에 중점을 둡니다.
○ 주요 성과: 국가 863 프로젝트 1 항목, 국가자연과학기금 프로젝트 2 개, 성부급 프로젝트 16 항목, 성부급 과학기술진보 2 등상 2 개, 3 등상 8 개 항목, 논문 60 여 편 발표, 논문 3 편 ● 분산 시스템 및 네트워크 소프트웨어
주요 연구 내용: 클러스터 운영 체제 및 분산 병렬 컴퓨팅 및 서버 클러스터에서의 애플리케이션 그리드 컴퓨팅 네트워크 보안 인터넷 기술 및 IP 전화, VPN, 전자 상거래/정무 등에서의 응용.
○ 주요 성과: 국가과학기술공관 프로젝트 5 개, 863 프로젝트 3 개, 국가자연과학기금 프로젝트 6 개, 국가교위가 박사점 2 개, 길림성 자연과학기금 프로젝트 3 개, 일부 업종 위탁 프로젝트를 완료했다. 국가 자연과학기금 중대 프로젝트 1, 국가자연과학기금 면상 프로젝트 1, 길림성 걸출한 청년프로젝트 1, 국제협력프로젝트 1. 국내외 유명 정기 간행물에 전문 저서 9 부, 논문 100 여 편을 발표하다. 성 장관급 과학기술진보상 8 개, 그 중 원전자공업부 특등상 1 회, 원국가교위 2 등상 1 회, 길림성 3 등상 1 회, 길림성 3 등상 2 회. 클러스터 운영 체제에 대한 연구는 국내 선두와 국제 선진 수준에 있고, 인터넷 연구는 국내 선진 수준에 있다.
● 정보 보안
국내 최초의 PKI 기술 R&D 단위 중 하나로 PKI 기술 분야의 연구가 국내 1 위를 차지했다.
주요 연구 내용: 암호화 기술 및 해커 기술을 기반으로 한 정보 및 네트워크 보안 연구 공개 키와 개인 키를 기반으로 한 암호화 기술
○ 주요 실적: 국가, 성 장관급 프로젝트 20 여 개, 학술 문장 50 여 편 발표. 중국 전자상거래협회에 따르면 길림대가 개발한 디지털 인증서 인증 시스템인 SRQ05 는 국내 점유율이 70% 이상에 달했다. 푸젠성 디지털 인증서 인증 시스템 및 SRQ05 전자 인증서 인증 시스템' 은 국가 암호 기술 진보 1 등상을 수상했다.
● 컴퓨터 지원 협업 기술
○ 주요 연구 내용: 네트워크 기반 분산 협업 시스템의 원리와 기술. 일반적인 애플리케이션으로는 워크플로우 기반 협업 작업 프레임워크, 통신 네트워크 성능 협업 모니터링 시스템, 협업 운영 명령 시스템 등이 있습니다.
○ 주요 성과: 국가 중점 과학 기술 프로젝트 1, 국가 863 프로젝트 (서브 프로젝트) 1, 국가 과학 기술 성과 보급 프로젝트 1, 국방과학공위 프로젝트 1 국내외에서 논문 36 편을 발표하고, EI 는 논문 5 편을 검색한다. 교재와 전문 저서 7 부를 집필하다. 1 개의 특허를 취득하다.
● 통신 소프트웨어 및 프로토콜 엔지니어링
○ 주요 연구 내용: 통신망이 폐쇄된 중앙 통제 환경에서 개방된 분산 제어 환경으로 전환된 후의 네트워크 지능 이론 및 소프트웨어 기술 통신 네트워크 환경에서의 인식 통신, 어댑티브 서비스 제공, 재구성 가능한 네트워크 및 시각화 지능형 네트워크 관리 IP 중심 차세대 네트워크 (NGN) 의 구조, 모델 및 핵심 기술
○ 주요 성과: 성 장관급 이상의 수직항목 10 개 이상, 수평항목 배치 완료. 그중 교육부 중대 장관급 프로젝트 2 개, 1 박사점. 누적 과학 연구 경비는 천만 위안에 육박한다. 성급 교학성과상 2 등상, 성급 교학소프트웨어 1 등상, 길대교학성과상 1 등상을 수상하다. 국내외 핵심 정기 간행물에 학술 논문 70 여 편을 발표하고 저작 2 부를 출판하다. 그 중 SCI 는 5 편, EI 는 10 편, ISTP 는 2 편을 수록했다. ● 생명 정보 기술
○ 주요 연구 내용: 계산생물학 및 바이오메트릭 인식, 계산지능에 기반한 바이오메트릭 정보학의 관련 이론과 알고리즘, 바이오메트릭 데이터의 데이터 마이닝 알고리즘, 단백질 구조 예측 방법, 유전자 표현 데이터 분석, 약물 성분 분석, 소파 이론, 거친 집합 이론, 모호한 신경망, 혼합 진화 메커니즘을 기반으로 한 바이오메트릭 인식 방법 및 응용.
○ 주요 성과: 국가자연과학기금 프로젝트 3 개, 성 장관급 프로젝트 4 개, 성 장관급 과학기술진보상 5 개. 학술 논문 90 여 편을 발표했는데, 그 중 SCI 는 30 여 편, EI 는 50 여 편을 수록하였다.
● 생체 인식 및 정보 보안 기술
○ 주요 연구 내용: 홍채, 지문, 인물의 바이오메트릭 인식에 기반한 이론, 기술, 알고리즘 및 시스템, 바이오메트릭 및 워터마크 융합에 기반한 정보 보안 기술을 제시했다.
○ 주요 성과: 200 1 이후 성 장관급 과학연구 프로젝트 4 개, 성 장관급 기술진보 1 등상 1 항목, 국가특허 3 개 항목 획득. 논문 50 여 편을 발표했는데 그 중 25 편은 SCI, EI, ISTP 에 의해 검색되었다.