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.
A practical shadowing test technique for the trimmed NURBS surface (TNS) is presented in this work. By employing an efficient Bezier patch classification algorithm, a two-level hierarchical space partitioning volume (HSPV) is built for the TNS, where the leaves of the HSPV that contains trimmed off part of the original surface are marked out, making sure the shadowing test occurs on the effective...
Web service choreography specifies a sequence of interactions among multiple services. How to test if a Web service conforms with given choreography specification is a challenging question. It is important to generate test data (i.e. XML instance) based on the choreography. Since choreography scenarios describe expected interactions among multiple participants, it is possible to generate test data...
Multiple UAVs collaborative operation which has high-level of autonomy will be an important mode of the future war. Fuzzy Virtual Force is proposed to solve the problems of collision avoidance and simultaneous arrival in collaborative UAVs path planning. Collision is avoided based on extended threats from which the repulsions are utilized to optimize the space of UAVs and to ensure their safety. The...
Recently code transformations or tailored fitness functions are adopted to achieve coverage (structural or logical criterion) driven testing to ensure software reliability. However, some internal threats like negative impacts on underlying search strategies or local maximum exist. So we propose a dynamic symbolic execution (DSE) based framework combined with a path filtering algorithm and a new heuristic...
Multi-label learning task is using to solve problems of syndrome diagnosis for patients may simultaneously have more than one syndrome in traditional Chinese medicine (TCM). The two goals of multi-label learning are label prediction loss and relevance ordering loss. Most Multi-label learning algorithms focus on only one of the goals and neglect the other one. However, there is a multi-label learning...
Web service choreography specifies the interaction among multiple participant, aiming to achieve common business goals. An issue is to check for the conformance of the implementation with reference to the choreography specification. To achieve that, we seek to develop software tools and a methodology to enable conformance testing of choreography. In this paper, we present our first step in that direction...
In this paper, we deal with special generalization of metric spaces by considering the distances between objects as gradual numbers. Firstly, the concept of gradual metric spaces is introduced. The new concept is a generalization of classical metric spaces and gradual linear normed spaces in the sense of Sadeqi and Azart. And then, basic concepts with respect to topology in gradual metric spaces are...
For least squares support vector machine (LS-SVM) classifier to the loss of sparseness and generalization, a pruning modeling method is proposed based on Quadratic Renyi entropy. The kernel principal component is adopted for data pre-processing, and the training set is divided randomly. Then the concept of quadratic Renyi entropy is introduced as the basis of training and pruning in LS-SVM classifier...
As the large number of feature attributes in Case-based reasoning system (CBR) brings a huge information redundancy which reduces the retrieval efficiency, a novel reduction method based on Water-Filling is proposed to remove those unnecessary attributes. In the method, the importance of each attribute could be calculated by utilizing the ratio of the standard deviation and the mean value of each...
The distribution of the case feature attribute weights directly affects the case retrieval result. Aim at improving the retrieval precision, a retrieval method is proposed based on group decision-making for optimizing the case feature attributes weights. Firstly, multiple groups of initial weights are obtained by genetic algorithm. Then, the multiple sets of retrieval results produced by these weights...
The service-oriented paradigm offers support for engineering service-based systems (SBSs) based on service compositions. The selection of services with the aim to fulfil the quality constraints for SBSs and to achieve the optimisation goals is a critical and challenging issue. In particular, when the quality-of-service (QoS) constraints for a SBS are severe, it is often difficult to find an optimal...
ZnO/CNTs composites were used to fabricate the field emission layer onto electrode by screen printing process. Through adding a graphene resistive layer between the electrode and the emission layer, the turn-on field was decreased from 1.6 v/μm to 1.0 v/μm; the emission uniformity and the emission stability were improved apparently.
It is emphasized to study the work process and craftwork flow on unloading line of tipper in this paper, and all-directions automatic controls of them are made. It is designed that the automatic control system of unloading line and supervisory control system with perfect functions, which may monitor unloading line at any time. By using S7 - 300 PLC as controller and Intouch as monitoring software,...
This paper proposes an Installment Coordination Scheduling-based Distributed Fair Queuing algorithm in wireless mesh networks, considering such problems as unfair channel bandwidth among nodes and location-dependent competition. Through the establishment of installment coordination scheduling model, data communication process of nodes is divided into three periods, namely, sending periods, compensation...
In order to overcome the limitations of traditional architectural education, the advantages of 3DGIS applied in architectural education were researched in this paper based on 3DGIS. A new teaching methods was discussed, and the unique advantages of 3DGIS in architectural education were validated by practical paradigms.
Clustering is one of the important means of Intrusion detection. In order to overcome the disadvantages of fuzzy C-means algorithm, this paper presents a kind of improved fuzzy C-means algorithm (IFCM for short). IFCM algorithm reduces the infection of isolated point by means of weighting the degree of membership for objects to be clustered, and avoids the subjectivity in choosing the number of clustering...
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.