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.
This paper is concerned with the problem of decentralized H∞ filtering for large-scale T-S fuzzy systems, where the interconnections are nonlinear and with known weights. The algebraic graph theory is used to construct a new Lyapunov function such that the effects of the nonlinear interconnections can be included in some constants related with the interconnected weights. As a result, a novel decentralized...
In order to recognize faults of the high voltage circuit breaker (HVCB) in the whole fault state space precisely and minimize the impact of the lack of fault data on the accuracy of fault recognition, a method of fault recognition was proposed based on the incremental learning algorithm for SVM. Firstly, the incremental learning algorithm for SVM was analyzed theoretically, and the state monitoring...
Music can convey and evoke powerful emotions. This amazing ability has not only fascinated the general public but also attracted the researchers from different fields to discover the relationship between music and emotion. Psychologists have indicated that some specific characters of rhythm, harmony, and melody can evoke certain kinds of emotions. Those hypotheses are based on real life experience...
Rating Prediction is a key problem in recommendation system, especially in Bigdata environment with data sparsity. Recently, Factorization Machine (FM) has been proven to be effective in solving the recommendation problem. Whereas, valuable category information of users and items are neglected in basic FM model. In this paper, we fully explore the capabilities of category information to improve the...
A fractional order model method based on Mittag-Leffler Functions for education evaluation is proposed in this paper. Course evaluation is necessary means to ensure the improvement of course construction level. Firstly, analytical solution of linear fractional-order systems is promoted. Secondly, fractional order model of course evaluation is proposed. And fractional evaluation model is composed of...
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, protocol insecurity problem is described, and AI planning system is used to solve the problem. Based on running characteristics and laws of cryptographic protocols, a planning-based formal model for cryptographic protocol analysis is presented, after its first-order syntax, formal definition and operational semantics are given, formalization for protocol honest agents, the intruder...
In this paper, the insecurity problem of cryptographic protocol is proposed. To solve this problem, we give an accurate formal specifications for cryptographic protocols, and define the security properties precisely and reasonably, presenting some critical concepts and propositions in the deduction of the problem solving. The method of this paper with provable semantics is reasonable and sound, proved...
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.