نتایج جستجو برای: axiomatic
تعداد نتایج: 7135 فیلتر نتایج به سال:
By considering the supreme-utilities among fuzzy sets and the weights among participants simultaneously, we introduce the supreme-weighted value on fuzzy transferable-utility games. Further, we provide some equivalent relations to characterize the family of all solutions that admit a potential on weights. We also propose the dividend approach to provide alternative viewpoint for the potential a...
In this paper, we take a GL-quantale as the truth value table to study a new rough set model—L-valued fuzzy rough sets. The three key components of this model are: an L-fuzzy set A as the universal set, an L-valued relation of A and an L-fuzzy set of A (a fuzzy subset of fuzzy sets). Then L-valued fuzzy rough sets are completely characterized via both constructive and axiomatic approaches.
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying their memory models formally and accurately, and in understanding and analyzing the behavior of concurrent software. This complexity is particularly evident in the IBM® Power Architecture® , for which a faithful specifi...
Axiomatic design is investigated as a design methodology for large or complex system design. Particular considerations of system design are described and the suitability of axiomatic design for such considerations is discussed. Then, tools to enable successful application of axiomatic design to systems are developed. The tools are expressed as theorems for axiomatic system design. The first the...
In a research report we have proposed an axiomatic semantics for the language of communicating sequential processes (CSP: of Hoare (1978). In this paper, we use the axiomatic semantics to prove the correctness of a number of CSY programs.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید