We propose a parallel MAX-MIN Ant System (MMAS) algorithm that is suitable for an implementation on graphics processing units (GPUs). Multi ant colonies with respective parameter settings are whole offloaded to the GP...
详细信息
The W3C recommendation named RIF provides a standard format to facilitate the exchange of rules. After being translated to RIF, the rule language needs a rule engine to perform inference. On the condition that there i...
详细信息
In this paper, we introduce two concepts of service semantic relation and semantic relation chain to figure out service composition relation and sequentially service composition. For parallel service composition, we p...
详细信息
Semantic retrieval is a hot area of Web search technology constantly because of the growing information. This paper proposed a creative semantic retrieval method with Path Weight Semantic Distance (PWSD) algorithm whi...
详细信息
Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the c...
详细信息
Designed and implemented an in-vehicle information system based on Linux with IPv6. There were three modules in this system included CDMA connection module based IPv6 applications, NAT/firewall based on IPtables/Netfi...
详细信息
ISBN:
(纸本)9780791802977
Designed and implemented an in-vehicle information system based on Linux with IPv6. There were three modules in this system included CDMA connection module based IPv6 applications, NAT/firewall based on IPtables/Netfilter, and display module based on miniGUI. We could use CDMA connection module to send the GPS and the CAN bus data to the remote servers, and the firewall based on IPtables/Netfilter could provide some rules to protect the system against attack. It was also designed to support the inter-vehicle users to visit internet through the system based on NAT module. The GPS module could get GPS information from GPS receiver. A touch-screen was used to display the information of GPS and CAN bus by the display module.
Flow graph is an effective and graphical tool of knowledge representation and analysis. It explores dependent relation between knowledge in the form of information flow quantity. However, the quantity of flow can not ...
详细信息
Trusted Network Connect (TNC), whose goal is to improve network security from source, now has become hot topic in security domain. We proposed a new access model for the terminals without meeting the requirements in T...
详细信息
One kind of semantic Web service modeling and composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts of domain onto...
详细信息
One kind of semantic Web service modeling and composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts of domain ontology and model Web service functional semantic of ServiceProfile, and define service DL rule to describe semantic matching of atomic Web service. Furthermore, we propose DL rule chain to describe semantic Web service composition, and prove that its semantic is corresponding to a new DL rule. Moreover, we give DL rule chain finding algorithm and WSR matching algorithm to find the composition result. Finally, we generate a dataset to test two algorithms above and show perfect execution efficiency.
When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic tas...
详细信息
When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic task consists in determining the models compatible with the observations, but the global computation which is needed in synchronization costs exponential time. In this paper we propose a new method to simplify the automaton by isomorphic determining. The cost of computation will be significantly cut down by merging the automatons with the same structure, and the time-complexity of the diagnosis process could be reduced by the method.
暂无评论