A common problem that faces many high-tech electronic product companies is how to effectively provide systems support for their products/machines/systems installed at various customer sites using different levels of t...
详细信息
A common problem that faces many high-tech electronic product companies is how to effectively provide systems support for their products/machines/systems installed at various customer sites using different levels of technical personnel. The problem can be viewed as a model with multiple level servers and multiple volume demands. In this paper, a semi-Markov decision process with average criterion has been employed to formulate the dynamics of the system. Optimal policies for human resource allocation decision with minimum costs have been derived and the loss rate for customer requests has been considered. We prove that the embedding Markov chain is ergodic, induced by any stationary deterministic policy. We obtain some related parameters which can answer questions from managers. We also provide some numerical examples.
In »hot potato» packet routing problems, packets need to be routed to their respective destinations on a network. At each time step, each communication link can be traversed by at most one packet. Packets mu...
In this paper we consider a new type of cryptographic scheme, which can decode concealed images without any cryptographic computations. The scheme is perfectly secure and very easy to implement. We extend it into a vi...
详细信息
In Eurocrypt 1994 we proposed a a new type of cryptographic scheme, which can decode concealed images without any cryptographic computations, by placing two transparencies on top of each other and using the decoder...
详细信息
We prove that (1 - o(l)) ln n is a threshold below which set cover cannot be approximated efficiently, unless NP has slightly superpolynomial time algorithms. This closes the gap (up to low order terms) between the ra...
详细信息
In implementation verification, we check that an implementation is correct with respect to a specification by checking whether the behaviors of a transition system that models the program's implementation correlat...
详细信息
ISBN:
(纸本)3540631410
In implementation verification, we check that an implementation is correct with respect to a specification by checking whether the behaviors of a transition system that models the program's implementation correlate with the behaviors of a transition system that models its specification. In this paper, we investigate the effect of concurrency on the complexity of implementation verification. We consider trace-based and tree-based approaches to the verification of concurrent transition systems, with and without fairness. Our results show that in almost all cases the complexity of the problem is exponentially harder than that of the sequential case. Thus, as in the model-checking verification methodology, the state-explosion problem cannot be avoided.
This paper is concerned with the bipolar compressible Navier-Stokes-Maxwell system for plasmas. We investigated, by means of the techniques of symmetrizer and elaborate energy method, the Cauchy problem in R^3. Under ...
详细信息
This paper is concerned with the bipolar compressible Navier-Stokes-Maxwell system for plasmas. We investigated, by means of the techniques of symmetrizer and elaborate energy method, the Cauchy problem in R^3. Under the assumption that the initial values are close to a equilibrium solutions, we prove that the smooth solutions of this problem converge to a steady state as the time goes to the infinity. It is shown that the difference of densities of two carriers converge to the equilibrium states with the norm ｜｜·｜｜H^s-1, while the velocities and the electromagnetic fields converge to the equilibrium states with weaker norms than ｜｜·｜｜H^s-1. This phenomenon on the charge transport shows the essential difference between the unipolar Navier-Stokes-Maxwell and the bipolar Navier-Stokes-Maxwell system.
We present new power distribution schemes on an active route in wireless ad hoc networks, with the objective of maximizing connection lifetime against node mobility. Through experiments with each of the proposed power...
详细信息
ISBN:
(纸本)9781605585697
We present new power distribution schemes on an active route in wireless ad hoc networks, with the objective of maximizing connection lifetime against node mobility. Through experiments with each of the proposed power distribution schemes, we obtain a description of the relationship between control traffic overhead and their expected gains in connection lifetime, as well as an understanding of the influence of various system parameters (e.g. connection size, node density, and power budget size) on this relationship. Copyright 2009 ACM.
Interface types in OO languages support polymorphism, abstraction and information hiding by separating interfaces from their implementations. The separation enhances modularity of programs, however, it causes also cha...
详细信息
This paper is concerned with improvement in optical image quality by image restoration. Image restoration is an ill-posed inverse problem which in volves the removal or minimization of degradations caused by noise and...
详细信息
This paper is concerned with improvement in optical image quality by image restoration. Image restoration is an ill-posed inverse problem which in volves the removal or minimization of degradations caused by noise and blur in an image, resulting from, in this case, imaging through a medium. Our work here concerns the use of the underlying Toeplitz structure of such problems, and as sociated techniques for accelerating the convergence of iterative image restoration computations. Denoising methods, including total variation minimization, followed by segmentation-based preconditioning methods for minimum residual conjugate gradient iterations, are investigated. Regularization is accomplished by segmenting the image into (smooth) segments and varying the preconditioners across the segments. By taking advantage of the Toeplitz structure, our algorithms can be implemented with computational complexity of only O(ln2log n), where n2 is the number of pixels in the image and l is the number of segments used. Also, parallelization is straightforward. Numerical tests are reported for atmospheric imaging problems, including the case of spatially varying blur.
暂无评论