A window-based step-wise sequential phase partition method is proposed for monitoring nonlinear batch processes with multiphase operations. The three-dimensional batch data are unfolded in the batch-wise direction to ...
详细信息
In this paper, we initiate the study of Ehrenfeucht-Fraisse games for some standard finite structures. Examples of such standard structures are equivalence relations, trees, unary relation structures, Boolean algebras...
详细信息
In this paper, we initiate the study of Ehrenfeucht-Fraisse games for some standard finite structures. Examples of such standard structures are equivalence relations, trees, unary relation structures, Boolean algebras, and some of their natural expansions. The paper concerns the following question that we call the Ehrenfeucht-Fraisse problem. Given n is an element of omega as a parameter, and two relational structures A and B from one of the classes of structures mentioned above, how efficient is it to decide if Duplicator wins the n-round EF game G(n)(A. B)? We provide algorithms for solving the Ehrenfeucht-Fraisse problem for the mentioned classes of structures. The running times of all the algorithms are bounded by constants. We obtain the Values of these constants as functions of n. (C) 2009 Elsevier B.V. All rights reserved.
A low complexity encoding method and encoder architecture are proposed for the low-density parity-check (LDPC) codes in space applications recommended by Consultant Committee for Space Data Systems. This method uses t...
详细信息
A low complexity encoding method and encoder architecture are proposed for the low-density parity-check (LDPC) codes in space applications recommended by Consultant Committee for Space Data Systems. This method uses the generator matrix partition and decomposition to obtain a much smaller dense core matrix. Thus, only one quarter of dense block matrices need to be implemented using the traditional circulant encoding structure. Therefore, the encoder can be implemented with lower computation and storage complexity.
The interesting hydrogen gas sensing characteristics, based on a field-effect transistor (FET)-based sensor, are studied and analyzed. In addition, a new grey algorithm is developed to reduce the computing complexity....
详细信息
The interesting hydrogen gas sensing characteristics, based on a field-effect transistor (FET)-based sensor, are studied and analyzed. In addition, a new grey algorithm is developed to reduce the computing complexity. From experimental results, the studied device exhibits good hydrogen performance for wide hydrogen concentration detection and widespread operation temperature. For practical applications, it is important to reduce the computational complexity and eliminate data redundancy. In this paper, a new grey polynomial differential model (GPDM) is developed to analyze hydrogen gas sensing properties. Based on the proposed model, the simulated data points are substantially decreased from 4000 points (the measured results) to 68 points (GPDM data). It is worth to note that, the simulated curve still retains the original features of experimental hydrogen transient response. The error rate between the simulated data and experimental results is only of 0.091%. Therefore, the reported GPDM presents the promise on the analysis of hydrogen gas sensing performance by reducing the undesired computing complexity and data redundancy.
This study presents the consensus of a saturated second-order multi-agent system with non-switching dynamics that can be represented by a directed graph. The system is affected by data processing (input delay) and com...
详细信息
This study presents the consensus of a saturated second-order multi-agent system with non-switching dynamics that can be represented by a directed graph. The system is affected by data processing (input delay) and communication time-delays that are assumed to be asynchronous. The agents have saturation non-linearities, each of them is approximated into separate linear and non-linear elements. Non-linear elements are represented by describing functions. Describing functions and stability of linear elements are used to estimate the existence of limit cycles in the system with multiple control laws. Stability analysis of the linear element is performed using Lyapunov-Krasovskii functions and frequency domain analysis. A comparison of pros and cons of both the analyses with respect to time-delay ranges, applicability and computation complexity is presented. Simulation and corresponding hardware implementation results are demonstrated to support theoretical results.
Cloud computing is considered as one of the key drivers for the next generation of mobile networks (e.g., 5G). This is combined with the dramatic expansion in mobile networks, involving millions (or even billions) of ...
详细信息
Cloud computing is considered as one of the key drivers for the next generation of mobile networks (e.g., 5G). This is combined with the dramatic expansion in mobile networks, involving millions (or even billions) of subscribers with a greater number of current and future mobile applications (e.g., IoT). Cloud Radio Access Network (C-RAN) architecture has been proposed as a novel concept to gain the benefits of cloud computing as an efficient computing resource, to meet the requirements of future cellular networks. However, the computational complexity of obtaining the channel state information in the full-centralized C-RAN increases as the size of the network is scaled up, as a result of enlargement in channel information matrices. To tackle this problem of complexity and latency, MapReduce framework and fast matrix algorithms are proposed. This paper presents two levels of complexity reduction in the process of estimating the channel information in cellular networks. The results illustrate that complexity can be minimized from O(N-3) to O((N/k)(3)), where N is the total number of RRHs and k is the number of RRHs per group, by dividing the processing of RRHs into parallel groups and harnessing the MapReduce parallel algorithm in order to process them. The second approach reduces the computation complexity from O((N/k)(3)) to O((N/k)(2.807)) using the algorithms of fast matrix inversion. The reduction in complexity and latency leads to a significant improvement in both the estimation time and in the scalability of C-RAN networks.
This paper deals with computation of parallel degree, PARAdeg, for (dataflow) program-nets with SWITCH-nodes. Ge et al. have given the definition of PARAdeg and an algorithm of computing PARAdeg for program nets with ...
详细信息
This paper deals with computation of parallel degree, PARAdeg, for (dataflow) program-nets with SWITCH-nodes. Ge et al. have given the definition of PARAdeg and an algorithm of computing PARAdeg for program nets with no SWITCH-nodes. However, for program nets with SWITCH-nodes, any algorithm of computing PARAdeg has not been proposed. We first show that it is intractable to compute PARAdeg for program nets with SWITCH-nodes. To do this, we define a subclass of program nets with SWITCH-nodes, named structured program nets, and then show that the decision problem related to compute PARAdey for acyclic structured program nets is NP-complete. Next, we give a heuristic algorithm to compute PARAdeg for acyclic structured program nets. Finally, we do experiments to evaluate our heuristic algorithm for 200 acyclic structured program nets. We can say that the heuristic algorithm is reasonable, because its accuracy is more than 96% and the computation time can be greatly reduced.
This paper investigates the problem of distributed-program reliability in various classes of distributed computing systems. This problem is computationally intractable for arbitrary distributed computing systems, even...
详细信息
This paper investigates the problem of distributed-program reliability in various classes of distributed computing systems. This problem is computationally intractable for arbitrary distributed computing systems, even when it is restricted to the class of star distributed computing systems. One solvable case for star distributed computing systems is identified, in which data files are distributed with respective to a consecutive property;a polynomial-time algorithm is developed for this case. A linear-time algorithm is developed to test whether or not an arbitrary star distributed computing system has this consecutive file distribution property. Efficient algorithms may still be sought for computing lower & upper bounds on the distributed program reliability for arbitrary distributed computing systems.
In this paper, a fast binary set mapping (FBSM) algorithm is proposed for expediting the conversion from histograms to binary color sets. In comparison with the original mapping scheme, significant reduction in the co...
详细信息
In this paper, a fast binary set mapping (FBSM) algorithm is proposed for expediting the conversion from histograms to binary color sets. In comparison with the original mapping scheme, significant reduction in the computation complexity can be achieved. Such an efficient mapping algorithm justifies the practical usage of the prefiltering technique in the application to histogram-based image retrieval systems, especially to searching large image databases. (C) 2000 Published by Elsevier Science B.V. All rights reserved.
暂无评论