DEVSLib is a free Modelica library, developed by the authors, that supports the Parallel DEVS formalism. The library is mainly designed to model discrete-event systems. It also includes interfaces to communicate the D...
详细信息
DEVSLib is a free Modelica library, developed by the authors, that supports the Parallel DEVS formalism. The library is mainly designed to model discrete-event systems. It also includes interfaces to communicate the DEVSLib models with the rest of the Modelica libraries. Thus, the library can be used in the development of multi-domain and multi-formalism hybrid models. This manuscript discusses the modeling of the system “Crane and Embedded Controller,” proposed by ARGESIM, using Modelica and DEVSLib. The crane system is composed of a car that moves along a rail and a load connected to the car by a cable. A discrete controller controls the position of the car and its movement. The crane system is implemented in Modelica as a continuous-time model and the discrete controller is constructed using DEVSLib. The communication between the continuous-time and the discrete-event parts is performed using the DEVSLib interfaces. DEVSLib is freely available for download at http://***.
With the fast development and evolution in the vehicle market, the construction and maintenance of the vehicle supply network faces greater challenge, making its modeling and simulation critically important. This pape...
详细信息
ISBN:
(纸本)9781479958252
With the fast development and evolution in the vehicle market, the construction and maintenance of the vehicle supply network faces greater challenge, making its modeling and simulation critically important. This paper, aiming at the lack of the precision and wholeness as well as the global visualization, proposed an agent-based vehicle supply model by analysing the objects in the network. The proposed model can reveal the operation processes and key parameters variation of the customer, distributor, enterprise as well as the supplier object, and by adopting the fine GUI to provide the visualization, the proposed model can simulate the customers' purchase strategy and the other objects' sell, and stock processes adding the actual events including the suppliers' increasing and decreasing in the market competition. Based on the proposed model, this paper further carried out the simulation experiments to verify the model's effectiveness. The model shall be of great meanings by providing reasonable prediction to the scale and share variation of the vehicle market.
In this paper the integration of graphical, semi-formal modeling languages with formal notations for software specification purposes is discussed and a proposal for a procedural frame based on the combined use of UML ...
详细信息
ISBN:
(纸本)9781581134452
In this paper the integration of graphical, semi-formal modeling languages with formal notations for software specification purposes is discussed and a proposal for a procedural frame based on the combined use of UML and Z++ is presented. This procedural frame, organized in stages and steps, provides the methodological basis for a pragmatic and rigorous object-oriented modeling approach aimed at the construction of larger software systems, including real-time systems. Within the proposed frame a regular flow of modeling activities is suggested and alternative modeling scenarios are considered. A brief presentation of the Harmony integrated specification environment, a tool designed to support the proposed approach, is also included in the paper.
The object Constraint Language (OCL) is part of the Unified modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization process, a proposal for the new versio...
详细信息
The object Constraint Language (OCL) is part of the Unified modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization process, a proposal for the new version OCL 2.0 has recently been adopted by the object Management Group. This proposal provides extensive semantic descriptions by both a metamodel-based as well as a formal mathematical approach, but these two semantics are currently neither consistent nor complete. In particular, the formal semantics of the OCL 2.0 proposal currently lacks descriptions of ordered sets, global OCL variable definitions, UML Statechart states, and OCL messages. This article provides corresponding definitions to overcome these deficiencies. We also define a notion of execution traces that capture all system changes of a running system that are necessary to be able to evaluate OCL constraints.
A UML diagram analytic tool called UMLx is proposed, which automatically extracts information from UML diagrams to facilitate decision making in risk management, planning, resource allocation, and system design, based...
详细信息
ISBN:
(纸本)9781450356633
A UML diagram analytic tool called UMLx is proposed, which automatically extracts information from UML diagrams to facilitate decision making in risk management, planning, resource allocation, and system design, based on a set of proposed metrics.
object-oriented modeling that is the core technology of IEC61850 communication protocol, simplifies system design and provides more flexibility for developers and users, at the same time, realizes the interoperability...
详细信息
ISBN:
(纸本)9781612848334
object-oriented modeling that is the core technology of IEC61850 communication protocol, simplifies system design and provides more flexibility for developers and users, at the same time, realizes the interoperability between different devices. object-oriented modeling which includes data modeling method and configured document modeling method is discussed and studied in detail. Taking the function of storage battery testing of communication power as an example, this paper discusses the design thought of the method of data modeling.
An approach to the implementation of virtual-labs well-suited for control education is *** virtuallab model is described in the Modelica language and it is adapted for interactive simulation by applying a systematic *...
详细信息
An approach to the implementation of virtual-labs well-suited for control education is *** virtuallab model is described in the Modelica language and it is adapted for interactive simulation by applying a systematic *** virtual-lab view(i.e.,the user-to-model interactive interface) is composed by connecting predefined components of Interactive,a free Modelica library presented in this *** contains a set of ready-to-use Modelica models of visual interactive elements(i.e.,containers,animated 3D geometric shapes and interactive controls), intended to facilitate easy definition of the virtual-lab view and the model-to-view ***,the Modelica description of the virtual-lab is translated into executable code using the Dymola modeling *** interactive component models provided in the Interactive library are C++ code generators:when the virtual-lab is executed,the C++ code describing the virtual-lab view and the bidirectional model-to-view communication is automatically *** generated C++ code uses the VTK and Qt *** proposed approach is illustrated by means of an example:the development of the virtual-lab of a double-pipe heat exchanger,which is intended for chemical-process control education.
In view of the development and management needs of renewable energy generation companies in China, this paper proposes a remote integrated monitoring construction scheme for renewable energy power plants. By building ...
详细信息
ISBN:
(数字)9781839531248
ISBN:
(纸本)9781839531255
In view of the development and management needs of renewable energy generation companies in China, this paper proposes a remote integrated monitoring construction scheme for renewable energy power plants. By building a renewable energy production information management platform with three levels integration, together with using the object-oriented modeling technology, distributed processing technology and renewable energy operation cockpit technology, this scheme can realize remote centralized monitoring of renewable energy power plants, as well as sharing of various production data. Through the intelligent analysis of the equipment, this scheme can greatly reduce the overall operation cost of the renewable energy power plants. The project practice proves that the scheme can take into account the management requirements of renewable power generation companies and Power Grid Corp, and realize unified access and integrated monitoring of all kinds of power generation equipment in renewable power plants, which greatly improves the economy and intelligence level.
暂无评论