According to the character of mine environment and function of GIS, guided by environment information science, database theory, and computer science etc, the paper discusses the design of system, analysis of database about system and establishment process of system, and use the OLE to integrate the MapInfo and VB, and originally construct the MEIS based on GIS.
A study of it will be instructive for doing macro research on the development of computer science , making sound strategies of the computer science development, adjusting starting point and development trend.
Focused on the subject of IEC 61850’s interoperability, the basic principle of automata theory was presented and the value of applying this theory to IEC 61850 was discussed to excavate the application of computer science and technology in IEC 61850.
This paper analyzes the ITS' features and essentials from the view of computer science,abstracts two important research points of ITS information platform: one is context aware computing,the other is asynchronous and distributed system management.
It is necessary to consider such limit behaviors when we consider the properties of infinite objects in computer science, such as infinite logic programs, the symbolic solutions of infinite polynomial equations.
Basic research in computer science and software engineering at SKLCS
The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering.
Arnetminer has gathered and integrated information about a half-million computer science researchers from the Web, including their profiles and publications.
We calculate stability numbers of Butterfly and Omega networks used in computer science.We describe relations between the neighbor integrity and the accessibility number of these networks.