منابع مشابه
From Rm-odp to the Formal Behavior Representation
In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often different terms in these notations are related with to same element in a system implementation. In order to relate these terms and guarantee the consistency between different notations some standard can be used. In this work we show ...
متن کاملON THE USE OF KULSHAMMER TYPE INVARIANTS IN REPRESENTATION THEORY
Since 2005 a new powerful invariant of an algebra has emerged using the earlier work of Horvath, Hethelyi, Kulshammer and Murray. The authors studied Morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. It was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...
متن کاملComprehensive cluster-theory analysis of the magnetic structures and excitations in ${\rm CoCl}_2{\cdot} 2{\rm H}_2{\rm O}$
The magnetic properties of CoCl2·2H2O are analyzed in the mean-field/random-phase approximation using a basis of clusters with four spins along the c-axis chains of Co ions. The model gives a unifying account of the bulk properties, the spin waves, and the higher-order cluster-spin excitations. The theory describes accurately the neutron scattering measurements of the excited doublet of the S =...
متن کاملOn Modeling, Mathematics, Category Theory and RM-ODP
RM-ODP is about modeling, and mathematics is one of the oldest, and deserved, modeling disciplines. Experience accumulated in mathematics in general, and some of machineries developed, may well turn out to be relevant for arranging/organizing/ formalizing the concepts managed in RM-ODP. Especially promising here is mathematical category theory that is nothing but a discipline and framework for ...
متن کاملRepresentation theory
The physics of quantum, many-body systems underlies the whole ACQAO research program, and the methods outlined here are central to the analysis of quantum correlations in all of the ACQAO experiments. The development of tractable methods to simulate strongly correlated quantum systems of bosons and fermions is the goal of this research stream in quantum phase-space methods. The methods are base...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1988
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1988-0938651-2