The authors formally define fuzzy multivalued dep.ndencies on a chosen fuzzy database model. Since functional dep.ndencies have already been extended for fuzzy database models earlier, they only deal with an important...
详细信息
The authors formally define fuzzy multivalued dep.ndencies on a chosen fuzzy database model. Since functional dep.ndencies have already been extended for fuzzy database models earlier, they only deal with an important integrity constraint, namely multivalued dep.ndencies (MVDs), for the fuzzy relational database introduced by B.P. Buckles and F.E. Petry (1982, 1985). It is shown that the fuzzy MVDs (FMVDs) are consistent and reduce to the classic MVDs when they involve precise attribute values. Some examples are given to show how the integrity constraints imposed by the FMVDs are forced whenever a tuple is to be inserted or to be modified.< >
Power System Stabilizers (PSS) superimposed to the basic control system of an HVDC link supplying a weak AC system, in order to enhance its frequency regulation action, are proposed. To decrease the AC voltage sensiti...
The theory of the noisy-leaky integrator model of the neuron is presented and its implementation using pRAMs. Such a neuron is capable of storing temporal patterns of activity within it. With such an ability, a networ...
It was recently shown that no data link protocol with finite sequence-numbers and deterministic finite state transmitter and receiver can tolerate transmitter and/or receiver crashes and recoveries, unless they have a...
详细信息
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. T...
详细信息
ISBN:
(数字)9783540879916
ISBN:
(纸本)9783540879909
This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 27th International Conference on Conceptual Modeling, ER 2008, in Barcelona, Spain, in October 2008. The 42 revised full papers presented were carefully reviewed and selected from 108 submissions. Topics addressed by the workshops are conceptual modeling for life sciences applications (CMLSA 2008), evolution and change in data management (ECDM 2008), foundations and practices of UML (FP-UML 2008), modeling mobile applications and services (M2AS 2008), requirements, intentions and goals in conceptual modeling (RIGiM 2008), semantic and conceptual issues in geographic information systems (SeCoGIS 2008), and Web information systems modeling (WISM 2008).
This book covers the new topic of GPU computing with many applications involved, taken from diverse fields such as networking, seismology, fluid mechanics, nano-materials, data-mining , earthquakes ,mantle convection,...
详细信息
ISBN:
(数字)9783642164057
ISBN:
(纸本)9783642164040;9783662506912
This book covers the new topic of GPU computing with many applications involved, taken from diverse fields such as networking, seismology, fluid mechanics, nano-materials, data-mining , earthquakes ,mantle convection, visualization. It will show the public why GPU computing is important and easy to use. It will offer a reason why GPU computing is useful and how to implement codes in an everyday situation.
In this paper, a uniform calculus-based approach for synthesizing monitors checking correctness properties specified by a large variety of logics at runtime is provided, including future and past time logics, interval...
详细信息
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The...
详细信息
ISBN:
(数字)9783319042985
ISBN:
(纸本)9783319042978
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of computerscience, software and Web engineering, as well as Data, Information and Knowledge engineering and Cryptography, Security and Verification.
暂无评论