This paper presents the hypermedia data model based on the infinity RS image information system we have developed.The hypermedia data model consists of different semantic units called nodes,and the associations betwee...This paper presents the hypermedia data model based on the infinity RS image information system we have developed.The hypermedia data model consists of different semantic units called nodes,and the associations between nodes are called links.This paper proposes three kinds of nodes (interior node,physical node and complex node) and two kinds of links (plane network structure link,hyper_cube network structure links).The hypermedia information system,based on the model and the basic data layer (the infiniy RS image),represents a digital globe.An approach to the “Getting Lost in the Hyper_space” problem is presented.The approach using the hypermedia data model is an efficient way of handling a large number of RS images in various geographical information systems.展开更多
Geographic Hypermedia(GH)is a rich and interactive map document with geo-tagged graphics,sound and video ele-ments.A Geographic Hypermedia System(GHS)is designed to manage,query,display and explore GH resources.Recogn...Geographic Hypermedia(GH)is a rich and interactive map document with geo-tagged graphics,sound and video ele-ments.A Geographic Hypermedia System(GHS)is designed to manage,query,display and explore GH resources.Recognizing emerging geo-tagged videos and measurable images as valuable geographic data resources,this paper aims to design a web-based GHS using web mapping,geoprocessing,video streaming and XMLHTTP services.The concept,data model,system design and implementation of this GHS are discussed in detail.Geo-tagged videos are modeled as temporal,spatial and metadata entities such as video clip,video path and frame-based descriptions.Similarly,geo-tagged stereo video and derived data are modeled as interre-lated entities:original video,rectified video,stereo video,video path,frame-based description and measurable image(rectified and disparity image with baseline,interior and exterior parameters).The entity data are organized into video files,GIS layers with linear referencing and XML documents for web publishing.These data can be integrated in HTML pages or used as Rich Internet Appli-cations(RIA)using standard web technologies such as the AJAX,ASP.NET and RIA frameworks.An SOA-based GHS is designed using four types of web services:ArcGIS Server 9.3 web mapping and geoprocessing services,Flash FMS 3.0 video streaming ser-vices and GeoRSS XMLHTTP services.GHS applications in road facility management and campus hypermapping indicate that the GH data models and technical solutions introduced in this paper are useful and flexible enough for wider deployment as a GHS.展开更多
The rapid development of Internet technology makes it possible to integrate GIS with the Internet,forming Internet GIS.Internet GIS is based on a distributed client/server architecture and TCP/IP & IIOP.When const...The rapid development of Internet technology makes it possible to integrate GIS with the Internet,forming Internet GIS.Internet GIS is based on a distributed client/server architecture and TCP/IP & IIOP.When constructing and designing Internet GIS,we face the problem of how to express information units of Internet GIS.In order to solve this problem,this paper presents a distributed hypermap model for Internet GIS.This model provides a solution to organize and manage Internet GIS information units.It also illustrates relations between two information units and in an internal information unit both on clients and servers.On the basis of this model,the paper contributes to the expressions of hypermap relations and hypermap operations.The usage of this model is shown in the implementation of a prototype system.展开更多
Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no...Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.展开更多
Since the late of previous decade, hypertext technique has been applied in many areas. A hypertext data model with version control which is applied to a digital delivery for engineering documents named Optical Disk ba...Since the late of previous decade, hypertext technique has been applied in many areas. A hypertext data model with version control which is applied to a digital delivery for engineering documents named Optical Disk based Electronic Archives Management System(ODEAMS) is presented first and it has successfully solved some problems in engineering data management. Then, this paper describes some details to implement the hypertext network in ODEAMS after introducing the requirements and characters of engineering data management.展开更多
Based on research on information organization and visualization mechanism of multimedia electronic map, this paper proposes an organization method about spatial information and multimedia information of multimedia ele...Based on research on information organization and visualization mechanism of multimedia electronic map, this paper proposes an organization method about spatial information and multimedia information of multimedia electronic map: seamless spatial data were organized and managed by stratified expansion R-tree and Quad-tree hierarchy; and multimedia information data were organized and managed by hypermedia model based on an electronic map. Considering electronic map features, the paper also proposes a method for spatial date organization, which integrates Digital Landscape Model and Digital Cartographic Model, and a hybrid model between vector and raster spatial data. Then, the paper studies information visualization mechanism of multimedia electronic map. Finally, the paper certifies the results via a case of multimedia electronic map authoring tools software—Atlas2005.展开更多
On the basis of an electronic map_based hypermedia data model (EMBHDM),this paper makes a study on the technologies of nonlinear storage,organization,management and browsing of information as well as organization of d...On the basis of an electronic map_based hypermedia data model (EMBHDM),this paper makes a study on the technologies of nonlinear storage,organization,management and browsing of information as well as organization of data on the basis of the relationship between multimedia information of electronic maps. This paper first analyzes some features of electronic maps and hypermedia technology,and then illustrates the creation of EMBHDM with some examples.The tests show that this model can efficiently organize and express multimedia data.展开更多
The use of agent technology in a dynamic environment is rapidly growing as one of the powerful technologies and the need to provide the benefits of the Intelligent Information Agent technique to massive open online co...The use of agent technology in a dynamic environment is rapidly growing as one of the powerful technologies and the need to provide the benefits of the Intelligent Information Agent technique to massive open online courses, is very important from various aspects including the rapid growing of MOOCs environments, and the focusing more on static information than on updated information. One of the main problems in such environment is updating the information to the needs of the student who interacts at each moment. Using such technology can ensure more flexible information, lower waste time and hence higher earnings in learning. This paper presents Intelligent Topic-Based Information Agent to offer an updated knowledge including various types of resource for students. Using dominant meaning method, the agent searches the Internet, controls the metadata coming from the Internet, filters and shows them into a categorized content lists. There are two experiments conducted on the Intelligent Topic-Based Information Agent: one measures the improvement in the retrieval effectiveness and the other measures the impact of the agent on the learning. The experiment results indicate that our methodology to expand the query yields a considerable improvement in the retrieval effectiveness in all categories of Google Web Search API. On the other hand, there is a positive impact on the performance of learning session.展开更多
文摘This paper presents the hypermedia data model based on the infinity RS image information system we have developed.The hypermedia data model consists of different semantic units called nodes,and the associations between nodes are called links.This paper proposes three kinds of nodes (interior node,physical node and complex node) and two kinds of links (plane network structure link,hyper_cube network structure links).The hypermedia information system,based on the model and the basic data layer (the infiniy RS image),represents a digital globe.An approach to the “Getting Lost in the Hyper_space” problem is presented.The approach using the hypermedia data model is an efficient way of handling a large number of RS images in various geographical information systems.
基金Supported by the National Natural Science Foundation of China (No.40771166 )the Henan University Foundation (No.SBGJ090605)
文摘Geographic Hypermedia(GH)is a rich and interactive map document with geo-tagged graphics,sound and video ele-ments.A Geographic Hypermedia System(GHS)is designed to manage,query,display and explore GH resources.Recognizing emerging geo-tagged videos and measurable images as valuable geographic data resources,this paper aims to design a web-based GHS using web mapping,geoprocessing,video streaming and XMLHTTP services.The concept,data model,system design and implementation of this GHS are discussed in detail.Geo-tagged videos are modeled as temporal,spatial and metadata entities such as video clip,video path and frame-based descriptions.Similarly,geo-tagged stereo video and derived data are modeled as interre-lated entities:original video,rectified video,stereo video,video path,frame-based description and measurable image(rectified and disparity image with baseline,interior and exterior parameters).The entity data are organized into video files,GIS layers with linear referencing and XML documents for web publishing.These data can be integrated in HTML pages or used as Rich Internet Appli-cations(RIA)using standard web technologies such as the AJAX,ASP.NET and RIA frameworks.An SOA-based GHS is designed using four types of web services:ArcGIS Server 9.3 web mapping and geoprocessing services,Flash FMS 3.0 video streaming ser-vices and GeoRSS XMLHTTP services.GHS applications in road facility management and campus hypermapping indicate that the GH data models and technical solutions introduced in this paper are useful and flexible enough for wider deployment as a GHS.
文摘The rapid development of Internet technology makes it possible to integrate GIS with the Internet,forming Internet GIS.Internet GIS is based on a distributed client/server architecture and TCP/IP & IIOP.When constructing and designing Internet GIS,we face the problem of how to express information units of Internet GIS.In order to solve this problem,this paper presents a distributed hypermap model for Internet GIS.This model provides a solution to organize and manage Internet GIS information units.It also illustrates relations between two information units and in an internal information unit both on clients and servers.On the basis of this model,the paper contributes to the expressions of hypermap relations and hypermap operations.The usage of this model is shown in the implementation of a prototype system.
基金the National Natural Science Foundation of China (60663005, 60563005)the Natural Science Foundation of Guangxi Province (0542036, 0728093, 0728089)
文摘Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.
文摘Since the late of previous decade, hypertext technique has been applied in many areas. A hypertext data model with version control which is applied to a digital delivery for engineering documents named Optical Disk based Electronic Archives Management System(ODEAMS) is presented first and it has successfully solved some problems in engineering data management. Then, this paper describes some details to implement the hypertext network in ODEAMS after introducing the requirements and characters of engineering data management.
基金Supported by the National 863 program of China (No. 2006AA12Z202)the Open Research Fund Program of GIS Laboratory of Wuhan University (No.Wd200606)
文摘Based on research on information organization and visualization mechanism of multimedia electronic map, this paper proposes an organization method about spatial information and multimedia information of multimedia electronic map: seamless spatial data were organized and managed by stratified expansion R-tree and Quad-tree hierarchy; and multimedia information data were organized and managed by hypermedia model based on an electronic map. Considering electronic map features, the paper also proposes a method for spatial date organization, which integrates Digital Landscape Model and Digital Cartographic Model, and a hybrid model between vector and raster spatial data. Then, the paper studies information visualization mechanism of multimedia electronic map. Finally, the paper certifies the results via a case of multimedia electronic map authoring tools software—Atlas2005.
文摘On the basis of an electronic map_based hypermedia data model (EMBHDM),this paper makes a study on the technologies of nonlinear storage,organization,management and browsing of information as well as organization of data on the basis of the relationship between multimedia information of electronic maps. This paper first analyzes some features of electronic maps and hypermedia technology,and then illustrates the creation of EMBHDM with some examples.The tests show that this model can efficiently organize and express multimedia data.
文摘The use of agent technology in a dynamic environment is rapidly growing as one of the powerful technologies and the need to provide the benefits of the Intelligent Information Agent technique to massive open online courses, is very important from various aspects including the rapid growing of MOOCs environments, and the focusing more on static information than on updated information. One of the main problems in such environment is updating the information to the needs of the student who interacts at each moment. Using such technology can ensure more flexible information, lower waste time and hence higher earnings in learning. This paper presents Intelligent Topic-Based Information Agent to offer an updated knowledge including various types of resource for students. Using dominant meaning method, the agent searches the Internet, controls the metadata coming from the Internet, filters and shows them into a categorized content lists. There are two experiments conducted on the Intelligent Topic-Based Information Agent: one measures the improvement in the retrieval effectiveness and the other measures the impact of the agent on the learning. The experiment results indicate that our methodology to expand the query yields a considerable improvement in the retrieval effectiveness in all categories of Google Web Search API. On the other hand, there is a positive impact on the performance of learning session.
