Java Message Service is released by Sun Microsystems as a standard way of message delivering and receiving. The purpose of this project is to implement a Java Message Service provider and provide a software framework ...
详细信息
ISBN:
(纸本)0780378407
Java Message Service is released by Sun Microsystems as a standard way of message delivering and receiving. The purpose of this project is to implement a Java Message Service provider and provide a software framework to make some improvement on it. According to the specification of Java Message Service, Java Message Service is restricted in a pre-configured environment where each comp.ter's IP is known in advanced and is comp.etely connected. In this project, we design architecture to allow messaging in Internet. To integrate Java Message Service into Internet environment, there are several issues to consider: To resolve Java Message Service destination objects without physical IP. An efficient and stable method for message routing is required. Load balancing should be considered. The capability to handle heavy messaging load on Internet should be ensured.
We propose a contextual hidden Markov tree (CHMT) model by adding intrascale dependences in the hidden Markov tree (HMT) model to capture more wavelet clustering property and apply the model for SAR image despeckling....
详细信息
We propose a contextual hidden Markov tree (CHMT) model by adding intrascale dependences in the hidden Markov tree (HMT) model to capture more wavelet clustering property and apply the model for SAR image despeckling. inst.ad of directly adding the transition probabilities between two adjacent hidden states in the HMT model, we add transition probabilities between hidden states of a wavelet coefficient and several hidden states of the virtual coefficients that are duplicated from the adjacent coefficients of the considered coefficient, such that the merit of the HMT model is kept, and the persistent and clustering properties of wavelet coefficients are comp.eted described in the model. In experiments, the proposed CHMT model produced better results than the HMT model produced for image despeckling. Furthermore, with the same results, the CHMT model needs fewer iterations than the HMT model needs.
Formal specifications are becoming more and more important in the development of software. Software testing, as a method to validate the functionality of software against.the specification will keep its justification ...
详细信息
ISBN:
(纸本)193241519X
Formal specifications are becoming more and more important in the development of software. Software testing, as a method to validate the functionality of software against.the specification will keep its justification also in a development process that is using formal specifications. This means that formal methods and testing will always be two comp.ementary techniques for the reduction of errors in comp.ter-based systems since neither technique is perfect in practice for realistic systems. This paper describes how formal specifications can be used to support the software testing process. An overview of formal specifications and software testing is given and then it is discussed that how the formal specifications can help in automation of various testing activities like test case generation, test input generation and test result evaluation. A tool developed to help in automation of test case generation is discussed.
Reuse is a major goal of modern software engineering because it is considered the key to improving the quality of software and productivity. Using formal specifications to represent software comp.nents facilitates the...
详细信息
ISBN:
(纸本)193241519X
Reuse is a major goal of modern software engineering because it is considered the key to improving the quality of software and productivity. Using formal specifications to represent software comp.nents facilitates the determination of reusable software because they more precisely characterize the functionality of the software, and the well-defined syntax makes processing amenable to automation. In the present work, a hybrid model based on natural language and formal specifications using K-nn technique has been proposed. Benefits of both formal methods and natural language have been exploited in the retrieval of reusable software comp.nents. Existing comp.nents are weighted according to their degree of similarity on basis of certain attributes to the required comp.nent. A k-nn based methodology is used for retrieval of similar comp.nents from the library.
In many applications of graphical models arising in comp.ter vision, the hidden variables of interest are most naturally specified by continuous, non-Gaussian distributions. There exist inference algorithms for discre...
详细信息
In many applications of graphical models arising in comp.ter vision, the hidden variables of interest are most naturally specified by continuous, non-Gaussian distributions. There exist inference algorithms for discrete approximations to these continuous distributions, but for the high-dimensional variables typically of interest, discrete inference becomes infeasible. Stochastic methods such as particle filters provide an appealing alternative. However, existing techniques fail to exploit the rich structure of the graphical models describing many vision problems. Drawing on ideas from regularized particle filters and belief propagation (BP), this paper develops a nonparametric belief propagation (NBP) algorithm applicable to general graphs. Each NBP iteration uses an efficient sampling procedure to update kernel-based approximations to the true, continuous likelihoods. The algorithm can accommodate an extremely broad class of potential functions, including nonparametric representations. Thus, NBP extends particle filtering methods to the more general vision problems that graphical models can describe. We apply the NBP algorithm to infer comp.nent interrelationships in a parts-based face model, allowing location and reconstruction of occluded features.
In this paper, we present a method to combine evidence from multiple classifiers to recognize a large number of subword units of speech using small size training data sets. Grouping criteria based on phonetic descript...
详细信息
In this paper, we present a method to combine evidence from multiple classifiers to recognize a large number of subword units of speech using small size training data sets. Grouping criteria based on phonetic description are considered, to build multiple modular networks for recognition of the large number of units. Nonlinear comp.ession of feature vectors is carried out to obtain reduced dimensional patterns, and multiple classifiers are trained separately using the uncomp.essed feature vectors and comp.essed feature vectors. Evidence from multiple classifiers at different stages in the recognition system is combined using the sum rule. Effectiveness of the proposed method is demonstrated for recognition of isolated utterances of 145 consonant-vowel units of speech.
In this paper, we address the issues in recognition of a large number of subword units of speech with high confusability among several units. Evidence available from the classification models trained with a limited nu...
详细信息
In this paper, we address the issues in recognition of a large number of subword units of speech with high confusability among several units. Evidence available from the classification models trained with a limited number of training examples may not be strong to correctly recognize the subword units. We present a constraint satisfaction neural network model that can be used to enhance the evidence for a particular unit with the supporting evidence available for a subset of units confusable with that unit. We demonstrate the enhancement of evidence by the proposed model in recognition of utterances of 145 consonant-vowel units.
The minimum-time transfer of a satellite from a low and eccentric initial orbit toward a high geostationary orbit is considered. This study is preliminary to the analysis of similar transfer cases with more comp.icate...
详细信息
The minimum-time transfer of a satellite from a low and eccentric initial orbit toward a high geostationary orbit is considered. This study is preliminary to the analysis of similar transfer cases with more comp.icated performance indexes (maximization of payload, for inst.nce). The orbital inclination of the spacecraft is taken into account (3D model), and the thrust available is assumed to be very small (e.g. 0.3 Newton for an initial mass of 1500 kg). For this reason, many revolutions are required to achieve the transfer and the problem becomes very osci.latory. In order to solve it numerically, an optimal control model is investigated and a homotopic procedure is introduced, namely continuation on the maximum modulus of the thrust: the solution for a given thrust is used to initiate the solution for a lower thrust. Continuous dependence of the value function on the essential bound of the control is first studied. Then, in the framework of parametric optimal control, the question of differentiability of the transfer time with respect to the thrust is addressed: under specific assumptions, the derivative of the value function is given in closed form as a first step toward a better understanding of the relation between the minimum transfer time and the maximum thrust. Numerical results obtained by coupling the continuation technique with a single-shooting procedure are detailed.
Triangle mesh decimation and multi-resolution techniques are widely used in visualization applications for huge scenes. A large collection of different simplification algorithms exists hi order to build a multi-resolu...
详细信息
Triangle mesh decimation and multi-resolution techniques are widely used in visualization applications for huge scenes. A large collection of different simplification algorithms exists hi order to build a multi-resolution model from a given triangle mesh. All of the existing approaches focus on the creation of a geometrically close approximation of the original model. In order to produce a simplified version of a model with close layers such as dressed humans - self-intersections result in intolerable results. Even methods that allow the sewing of close surface parts lead to unpleasant self-intersections. Only the simplification envelops4 allow to comp.etely prevent them. In this work we focus on the prevention and avoidance of self-intersection during simplication with vertex pair contractions. We examine the geomorph 9 of the parametrized vertex pair contraction and detect collisions of the affected simplices. If no collision arises the operation cannot cause any new self-intersection. Otherwise we can simply discard the operation to prevent self-intersections as is done in the approach of simplification envelops. Our approach goes even further and tries to avoid the self-intersection by testing different target locations. This leads to better approximations as exhibited by a lower RMS and Hausdorff-distance. Furthermore our approach allows for arbitrary changes in the topology and garantees that geomorphs during progressive reception cannot cause self-intersections.
The virtual prototyping technology of comp.ex product is one domain where simulation technology is applying nonce. This paper discusses the technique route, six layer hiberarchy and some key techniques of VR/Visualiza...
详细信息
ISBN:
(纸本)7111133951
The virtual prototyping technology of comp.ex product is one domain where simulation technology is applying nonce. This paper discusses the technique route, six layer hiberarchy and some key techniques of VR/Visualization system in multi-field comp.ex product project, based on the National 863 Aerospace Project.
暂无评论