Search results for "modeling"
showing 10 items of 4489 documents
From UML Specification into FPGA Implementation
2014
In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.
From UML State Machine Diagram into FPGA Implementation
2013
Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.
A Notation for Modeling Jason-Like BDI Agents
2012
The design and development of a large Multi Agent System (MAS) is a complex and difficult activity where a proper modeling notation may offer a significant contribution to the formulation of the best solution. The support provided by a specific CASE tool can significantly contribute to make the chosen approach technically valid and it is also a fundamental element of a feasible development strategy. The present work reports a UML profile and the related graphical notation for describing a MAS based on the Jason meta model. Moreover a specific CASE tool has been developed for supporting MASs design and automatic code generation. The proposed notation is shown in details using a classical exa…
Transformations Between UML Diagrams
2003
The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…
Reduction of UML Class Diagrams
2002
One and the same “real world” can be modeled by different UML class diagrams, which in such a case can be considered “intuitively equivalent”. A formalization of this “intuitive equivalence” of class diagrams is proposed. An algorithm is constructed that for two class diagrams determines if they model the same “real world”. This algorithm can be used in CASE tools to compare alternative models of a system, and for diagram “compression” to facilitate understanding of large diagrams.
Alix protein is substrate of Ozz-E3 ligase and modulates actin remodeling in skeletal muscle
2012
Alix/AIP1 is a multifunctional adaptor protein that participates in basic cellular processes, including membrane trafficking and actin cytoskeleton assembly, by binding selectively to a variety of partner proteins. However, the mechanisms regulating Alix turnover, subcellular distribution, and function in muscle cells are unknown. We now report that Alix is expressed in skeletal muscle throughout myogenic differentiation. In myotubes, a specific pool of Alix colocalizes with Ozz, the substrate-binding component of the muscle-specific ubiquitin ligase complex Ozz-E3. We found that interaction of the two endogenous proteins in the differentiated muscle fibers changes Alix conformation and pro…
Strain gradient plasticity, strengthening effects and plastic limit analysis
2010
Abstract Within the framework of isotropic strain gradient plasticity, a rate-independent constitutive model exhibiting size dependent hardening is formulated and discussed with particular concern to its strengthening behavior. The latter is modelled as a (fictitious) isotropic hardening featured by a potential which is a positively degree-one homogeneous function of the effective plastic strain and its gradient. This potential leads to a strengthening law in which the strengthening stress, i.e. the increase of the plastically undeformed material initial yield stress, is related to the effective plastic strain through a second order PDE and related higher order boundary conditions. The plas…
Attosecond magnetization dynamics in non-magnetic materials driven by intense femtosecond lasers
2023
Irradiating solids with ultrashort laser pulses is known to initiate femtosecond timescale magnetization dynamics. However, sub-femtosecond spin dynamics have not yet been observed or predicted. Here, we explore ultrafast light-driven spin dynamics in a highly non-resonant strong-field regime. Through state-of-the-art ab-initio calculations, we predict that a non-magnetic material can be transiently transformed into a magnetic one via dynamical extremely nonlinear spin-flipping processes, which occur on attosecond timescales and are mediated by a combination of multi-photon and spin-orbit interactions. These are non-perturbative non-resonant analogues to the inverse Faraday effect that buil…
Unified Modeling Language
2005
Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling lang…
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
2005
Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…