We consider the problem of calculating the size of the union of Cartesian products of finite sets of integers Sij, |Ui=1,...,n Si1 × ⋯ × Sim|, where m denotes the dimension of the space and n the number of C...
详细信息
We consider the problem of calculating the size of the union of Cartesian products of finite sets of integers Sij, |Ui=1,...,n Si1 × ⋯ × Sim|, where m denotes the dimension of the space and n the number of Cartesian products. This problem, denoted by SUCP, contains as a special case the problem of counting the number of satisfying assignments of the satisfiability problem (SAT). We present an algorithm to solve the problem SUCP, called the grouping method. For the average running time analysis, Sij are constructed by randomly selecting each element in set D = {1, 2, . . . , d} with probability p. We show that the average running time of the grouping method is O(mnd · min{(nd(1 - p) + 1)m-1, dm-1}), which is more efficient than the time complexity O(mndm) of the naive method if n(1 - p) ≪ 1 holds.
In the Internet, because of huge scale and distributed administration, it is of practical importance to infer network-internal characteristics that cannot be measured directly. We propose a general method of determini...
详细信息
In the Internet, because of huge scale and distributed administration, it is of practical importance to infer network-internal characteristics that cannot be measured directly. We propose a general method of determining characteristics of links from given characteristics of end-to-end paths. Our method can be applied to an arbitrary path-topology. Furthermore we show the general conditions that the link characteristics to be inferred must satisfy. Packet loss and queuing delay time are shown to satisfy them. Case studies which our method can treat are also provided.
Given a data set, consisting of n-dimensional binary vectors of positive and negative examples, a subset S of the attributes is called a support set if the positive and negative examples can be distinguished by using ...
详细信息
We consider a priority cell scheduling in the following scenario. High-speed cell networks accommodate constant bit rate (CBR) streams from real-time sources and unspecified bit rate (UBR) streams from non real-time s...
详细信息
We consider a priority cell scheduling in the following scenario. High-speed cell networks accommodate constant bit rate (CBR) streams from real-time sources and unspecified bit rate (UBR) streams from non real-time sources. The real-time traffic requires guarantees of its delay time. On the other hand, the non real-time traffic is relatively tolerable to its delay time. We obtain the queueing delay distribution of cells from CBR streams. Further the average queueing delay of cells from UBR streams is obtained in some special cases. We provide some numerical results and discuss the effectiveness of quality-of-service (QoS) guarantees based on the statistical bound and the influence of UBR streams on the system performance.
This book presents results of the combined use of microwave remote sensing, optical tools, and ecoinformatics methods under solution-applied tasks at both regional and global scales. Ecoinformatics methods are used to...
详细信息
ISBN:
(数字)9783031288777
ISBN:
(纸本)9783031288760;9783031288791
This book presents results of the combined use of microwave remote sensing, optical tools, and ecoinformatics methods under solution-applied tasks at both regional and global scales. Ecoinformatics methods are used to assess links between global climate change and the level of ocean pollution, with specific focus on the Arctic Ocean, the Sea of Okhotsk, and the South-China Sea. The theoretical and applied aspects of instrumental tools are considered in this book as a basis for the monitoring of water quality in various watersheds, with particular attention to microwave remote sensing monitoring data to determine the ecotoxicological status of hydro-ecosystems affected by climate change. The book develops new information technologies that provide solutions for hydrochemical tasks using algorithms and models based on computer technologies for big data processing. This will help to synthesize effective computer-based systems for the solution of problems arising due to anthropogenic impacts on hydrological processes and objects at various spatial scales. This book is intended for specialists in the fields of environmental monitoring, climate change, human-nature interactions, and geopolitics. The book will be useful for undergraduate and postgraduate students studying these fields of science as well.
暂无评论