<kbd id="gdyfcm0g"></kbd><address id="gdyfcm0g"><style id="gdyfcm0g"></style></address><button id="gdyfcm0g"></button>

              <kbd id="qq7fu9pf"></kbd><address id="qq7fu9pf"><style id="qq7fu9pf"></style></address><button id="qq7fu9pf"></button>

                  mg游戏

                  mg游戏

                  School Of Software

                  Research Areas

                  THSS has two secondary research areas for master programs: Software Systems Engineering and Data Science Engineering. Today, there are four research institutes in THSS, including the Institute of Software Systems Engineering, the Institute of Information Systems Engineering, the Institute of Computer Graphics and Computer-Aided Design, and the Institute of Trustworthy Networks and Systems, that support teaching and research endeavors of the above mentioned areas.

                   Institute of Software Systems Engineering

                  Software Systems and Engineering is an important cross-discipline research area that takes software and hardware hybrid system as the research object, to improve the credibility of software systems. The research interests include: Modeling and Verification of Embedded Systems; Program Analysis; Automated Formal Verification; Intelligent Equipment on High-Speed Trains; Embedded Terminal Mobile Service Processing Technology; Industrial Real-time Network;  Engineering Information Modeling and Verification, etc.

                  The mission of the research concerns with the development and application of new techniques for trustworthy software system construction and assurance. The vision is to develop Tsmart, the trustworthy software system modeling and verification toolset and apply it in safety critical industries.

                  Institute of Information Systems Engineering

                  Big Data and Knowledge Engineering is an important cross-discipline research area that has been actively researched at THSS since its foundation in 2001, where extensive work was conducted on projects of industrial databases and big data systems. Currently the directions in this research area cover: Big Data Software, Business Process Management, Multimedia Retrieval and Analysis, Data Integration and Quality, Web Data Mining, Computational Mental Healthcare and Big Data Applications.

                  The mission of the research in this direction concerns wih the development of fundamental techniques and software for big data management and analytics in support of industrial revolution, public services and security. The vision is to develop an open-source software platform for big data management, analytics, governance and operation.

                  Institute of Computer Graphics and Computer-Aided Design

                  Computer-Aided Design (CAD) is an important cross-discipline research area, which is mainly utilized the advanced computer theories and technologies for the design and analysis of objects, either real or virtual. Areas of research interests include computer-aided geometric design, constrain-based and feature modeling, 2D drawing and point cloud reconstruction, geometric tolerance measure, realistic rendering, and scientific visualization.

                  The mission of this research concrns with the development of new techniques for complex geometric objects in industrial and aesthtic design, architecture and building. The vision is to develop a powerful design and analysis software system for digital object representation and processing.

                  Institute of Trustworthy Networks and Systems

                  Internet of Things (IoT) is an important cross-discipline research area in computer network, mobile computing and wireless communication. The goal is to solve the fundamental problems regarding the theories and technologies of IoT, in order to serve real-world applications, including smart buildings, smart logistics, smart city and smart supply chaim. The research work in this area mainly includes the following four directions: wireless sensor networks, wireless network localization, wireless sensing and cloud computing.