The concept of accessibility needs to take into account factors like individual needs, preferences, and abilities as well as transportation, land use, and finances. This article proposes a sensitive space-time accessi...
详细信息
Qualitative spatial relations are widely used in geospatial ontologies, geospatial (semantic) web services, spatial description logics etc. Methodology to obtain qualitative spatial relations (especially complex spati...
详细信息
Qualitative spatial relations are widely used in geospatial ontologies, geospatial (semantic) web services, spatial description logics etc. Methodology to obtain qualitative spatial relations (especially complex spatial relations) from Geographical information system (GIS) has not been studied in previous literatures. An efficient method for calculating complex qualitative spatial relations is discussed here. First, the multi-granularities approximate representation of spatial objects is proposed, it is designed for GIS object types (such as polygon), and requires less process time. Then some algorithms for calculating complex spatial relations based on the multi-granularities approximate representation are given. Finally, this method is implemented and used to obtain topology and direction relations from world map. The analysis and test results show that this method supports complex and integrated spatial relations and requires less process time than traditional method. This method is suitable for obtaining spatial relations for geospatial ontologies and other applications.
Cascading failures often occur in congested complex networks. Cascading failures can be expressed as a three-phase process: generation, diffusion, and dissipation of congestion. Different from the betweenness central...
详细信息
Cascading failures often occur in congested complex networks. Cascading failures can be expressed as a three-phase process: generation, diffusion, and dissipation of congestion. Different from the betweenness centrality, a congestion function is proposed to represent the extent of congestion on a given node. Inspired by the restart process of a node, we introduce the concept of "delay time," during which the overloaded node Cannot receive or forward any traffic, so an intergradation between permanent removal and nonremoval is built and the flexibility of the presented model is demonstrated. Considering the connectivity of a network before and after cascading failures is not cracked because the overloaded node are not removed from network permanently in our model, a new evaluation function of network efficiency is also proposed to measure the damage caused by cascading failures. Finally, we investigate the effects of network structure and size, delay time, processing ability, and traffic generation speed on congestion propagation. Cascading processes composed of three phases and some factors affecting cascade propagation are uncovered as well.
We study the statistical properties of complex networks constructed from time series of energy dissipation rates in three-dimensional fully developed turbulence using the visibility algorithm. The degree distribution ...
详细信息
We study the statistical properties of complex networks constructed from time series of energy dissipation rates in three-dimensional fully developed turbulence using the visibility algorithm. The degree distribution is found to have a power-law tail with the tail exponent α = 3.0 . The exponential relation between the number of the boxes N B and the box size l B based on the edge-covering box-counting method illustrates that the network is not self-similar, which is also confirmed by the hub-hub attraction according to the visibility algorithm. In addition, it is found that the skeleton of the visibility network exhibits excellent allometric scaling with the scaling exponent η = 1.163 ± 0.005 .
In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are d...
详细信息
In this paper, a novel method is proposed for judging whether a component set is a consistency-based diagnostic set, using SAT solv- ers. Firstly, the model of the system to be diagnosed and all the observations are described with conjunctive normal forms (CNF). Then, all the related clauses in the CNF files to the components other than the considered ones are extracted, to be used for satisfiability checking by SAT solvers. Next, all the minimal consistency-based diagnostic sets are derived by the CSSE-tree or by other similar algorithms. We have implemented four related algorithms, by calling the gold medal SAT solver in SAT07 competition – RSAT. Experimental results show that all the minimal consistency-based diagnostic sets can be quickly computed. Especially our CSSE-tree has the best effciency for the singleor double-fault diagnosis.
In this paper we propose an algorithm of computing minimal diagnosis based on BDD (Binary Decision Diagram). First we give the concept of disjunction equations, and map the collection of conflict sets into disjunction...
详细信息
Along with a massive amount of information being placed online, it is a challenge to exploit the internal and external information of documents when assessing similarity between them. A variety of approaches have been...
详细信息
In many real-world domains, link graph is one of the most effective ways to model the relationships between objects. Measuring the similarity of objects in a link graph is studied by many researchers, but an effective...
详细信息
Dependence is a common relationship between objects. Many works have paid their attentions on dependence, but many of them mainly focus on constructing or exploiting dependence graphs on some specific domain. In this ...
详细信息
Nearly all text classification methods classify texts into predefined categories according to the terms appeared in texts. State-of-the-art of text classification prefer to simplely take a word as a term since it perf...
详细信息
暂无评论