The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
GUI test case definition is the core issue in automatic or semi-automatic GUI testing. We use TTCN-3 language to define GUI test cases. The test specifications under this definition are easy to maintain, evaluate and assess. The time related test specifications are covered; few of current works cover this kind of testing. It's easy and flexible to create test oracles by this approach thanks to TTCN-3...
Most of existing inlining algorithms are used in optimizing compilers and are not suitable for program analysis. Therefore, an inlining algorithm based on program dependence graph is proposed. It uses simple function call tree to determine the sequence of inlining and adopts program dependence graph as the intermediate representation for a program. Inline expansion is performed on program dependence...
It is very important for generating an orthonormal multiwavelet system to construct a conjugate quadrature filter (CQF). In this paper, a general method of deriving a length-J + 1 conjugate quadrature filter with multiplicity r and scale a from a length-J conjugate quadrature filter is obtained. As a special case, we study generally the construction of a length-J + 1 conjugate quadrature filter which...
As a result of the research and design of reconfiguration router unit (RRU), the producing of network equipment is turned into component composition as building block. Based on the component composition and the character of RRU, this paper proposes the concept-CCS (component candidate set). The scheme of creating component candidate set is based on the BP neural network. The CSS is proposed to resolve...
In order to solve an intra-system interface for chip-to-chip and board-to-board communications and meet the explosive demand for higher bandwidth and more efficient signal processing and data transmission in typical embedded system, here is an active demand that adopting a new system interconnect technology to ensure that bus performance continues to increase. The RapidIO is proposed in the paper...
Edge contraction simplification based on DEM terrain algorithm is proposed as a new terrain simplification algorithm which is based on DEM terrain data characteristics. The algorithm introduces the gradient of triangle, and combines with gradient and the length of edges as weight of the vertex to represent the importance of a vertex. By using the vertex weight, we can constrain the region being affected...
In this paper, we present an adaptive sparse factorization method for even-determined and over-determined blind source separation, where the sources are assumed to be sparse. The objective of our method is to find a demixing matrix to make the output signal as sparse as possible. First, a cost function measuring the sparsity of the output signals is introduced. Then an adaptive algorithm for the learning...
Using of the operator max-min for solving a wide range class of fuzzy linear programming (FLP) is seen in many recant papers, see . The solutions of many FLP problems by using this operator have some basic unwanted errors. In this paper we consider the cause of obtaining these errors.
The typhoon recurrence interval refers to the average interval of future typhoons having a particular intensity. In this paper, typhoons that could cause serious damages to Zhejiang Province will be labeled as "disastrous typhoons", and the corresponding wind velocities will be labeled as "disastrous wind velocities". It is suggested that typhoons exceeding certain threshold-values...
This paper examines a class of univariate wavelet functions with a matrix factorization. Firstly, the property of an important function is surveyed. Secondly, the result is applied to demonstrate the properties of the filters as well as the scaling and wavelet functions. It is presented that two scaling functions are reflections of each other for some pair of parameters. Examples are developed to...
Z Formal method not only can improve correctness and reliability of software, but also improve development efficiency. Although Z specifications have been widely studied in literatures, very little work is involved in definition and use of variables. This paper discussed on definition and use of variables by an example. Finally, it is applied to data flow analysis and data dependent analysis.
This paper describes an improved semaphore with policies in Windows operating system. We introduce policies to help operating system kernel select next process (or thread) in the waiting list queue to satisfy. The paper present live policies: first in first out (FIFO), first in last out (FILO), highest priority first out (HPFO), lowest priority first out (LPFO) and random. We discuss the design and...
A great portion of data on the Web lies in the hidden databases of the Deep Web. These databases can only be accessed through the query interfaces. The data information in these databases can only be obtained by data sampling. Efficient and uniform data sampling approach is very important to other research work, such as data source selection and ranking, for the data samples can give insight into...
In this paper, we provide the degree reduction algorithm for negative degree Bezier curves. By the uniform parameterization of control polygons and the definition of discrete derivatives of piecewise linear functions, we prove that the degree reduced control polygons and their discrete derivatives converge in the limit to the original negative degree Bezier curve and its continuous derivatives.
A generic e-homework system, PDFeH, was proposed and prototyped to replace traditional paper homework electronically. With pre-created PDF form documents as templates, teachers and students can complete main e-homework phases using free Adobe Reader. That is, composing questions, entering answers, commenting and markup and grading, and viewing finally archived documents. Digital signatures are used...
In practice, in order to improve its revenue, hotel cooperates with travel agency, website, government, corporation, etc., and provides them with low room rate. This paper does research on the pricing problem of hotel for long-term cooperative travel agency. Through building pricing model, this paper proves that cooperation is beneficial to hotel and travel agency, derives the optimal pricing strategy...
In order to complete maintainability design and prediction in design stage, case based reasoning (CBR), as an artificial intelligence (AI) method, is used in this paper. The maintainability of structure is considered in design stage. So the cases of structure including not only function factors but also maintainability factors are presented by frame. The retrieval algorithm about similar cases is...
In this paper, the notion of an three-band Generalized Multiresolution Structure(GMS) of L2(R) is introduced. The properties of affine pseudoframes for subspaces with three-scale is characterized. The construction of a GMS of Paley-Wiener subspaces of L2(R) is investigated. The pyramid decomposition scheme is derived based on such a GMS. As a major new constribution the construction of affine frames...
Based on the optimization problem of the number and size in coal mine equipment the principle and procedure of genetic algorithm is introduced. The case of application proves that the genetic algorithm can better optimize the number and size of equipments in coal mine.
Hard constrained optimization problems in science and engineering are common computationally very expensive. This leads to serious impediment to the successful application of evolutionary optimization techniques. A modified Differential Evolution with hybrid mutation and new selection rules was proposed to solve the hard constrained optimization problem. The hybrid mutation is the linear combination...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.