The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
In the article, high significance of information agents for industrial application of smart technologies is emphasized. Objective fundamentals for research of information and communication environment impact on quality of a smart information agent functioning are analysed. The process framework for research of this type is proposed. The process framework is formed based on an extensible methodology...
Modeling of system properties deals with formally expressing constraints and requirements that influence and determine the structure and behavior of a system. System Property Models enable the verification of system properties through real or simulated experiments so as to support their evaluation during system design and their monitoring during system operation. However, several challenges should...
Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation with physical process are increasingly penetrating into our life. Modeling and analysis for such systems closely involved with us are actively researched. A current challenging problem is how to take advantages of existing technologies like SysML/MARTE, Modelica and Statistical Model Checking (SMC) through effective...
In this paper, it is shown that the high automation level of the object-oriented modeling paradigm for physical systems can significantly rationalize the design procedure of fault detection and isolation (FDI) systems. Consequently, an object-oriented FDI method for complex engineering systems consisting of subsystems from different physical domains like mechatronic systems, commercial vehicles, and...
D is a new programming language. This is an object-oriented, imperative, multi-paradigm system programming language. Regression testing on D programming language still untouched by researchers. Our research attempts to bridge this gap by introducing a techniques to revalidate D programs. A framework is proposed which automates both the regression test selection and regression testing processes for...
Analysis of formally specified Component Based Software (CBS) provides a concrete way to represent the requirements from both system and user. A CASE tool makes a development more powerful and gives a graphical effect by which a user can easily visualize the fact. Powerful CASE tools for CBS are useful to improve the developer productivity and ensure the syntactical correctness of the CBS model for...
In recent years, with the development of technology, the potential and application value of GIS (Geography Information System) has been shown in various fields. GIS performs well in data processing and graphic display but still has some shortcomings in some high-abstract-level areas like model library. In this paper we presented a model library by XML (Extensible Markup Language), and described its...
A Model Driven Architecture approach is employed to support the practice of discrete-event simulation. OMG's System Model Language, OMG SysML™, is used to define a platform independent model (PIM) and auto-translate it into an appropriate platform specific model (PSM). The implementation and the nature of the transformation from PIM to PSM are clearly addressed to enable: (i) formal modeling of systems...
Although in the past twenty years agent-based modeling has been widely adopted as a research tool in the fields of social and political sciences, there is lack of software instruments specifically created for social network simulations. Restricting the field of interest specifically to social network models and simulations instead of supporting general agent-based ones, allows for the creation of...
The research on next generation network has been carried out around the world in allusion to the problem that the Internet fails to satisfy some of high level requirements. As an important branch of the research, the study of network architecture modeling makes many achievements. However, as a major experiment platform of network architecture, the research findings of network simulation are quite...
Revenue management (RM) is the process of understanding and anticipating customer behavior in order to maximize revenue raised from the sale of perishable resources available in limited quantities. While RM systems have been in operation for quite some time, they cannot take into account the full dynamic and stochastic nature of the problem, hence the need to assess them via simulation. In this paper...
The multi-domain model established based on Modelica can effectively describe the dynamics and randomicity of failure behavior in complex systems. Firstly, the characteristics of multi-domain model are described, and the modeling methodology of failure behavior in complex systems based on multi-domain language is introduced; then the multi-domain model of actuator is established based on the components...
We present CACTI-FinFET, an integrated framework for simulation of power, delay, temperature, as well as process variations of FinFET-based caches. We have developed a FinFET design library and process variation models to characterize the delay and leakage spreads of such caches. We present results for various FinFET design styles and show that mixing different design styles may be a promising strategy...
In view of university multi-school district coexisting and many libraries distributed in the different school district, system hardware cost is high, the load of system maintenance is big, the extendibility of system is bad, so we develop library management system's modeling research based on the Web. In the modeling process, we use the UML standard modeling technology to construct system's structure...
MEG (Mu to Electron Gamma) is an experiment dedicated to search for the μ+ → e+γ decay that is strongly suppressed in the Standard Model. MEG is a small-size experiment (≈ 50-60 physicists at any time) with a life span of about 10 years. The limited human resource available, in particular in the core offline group, emphasized the importance of reusing software and exploiting already existing expertise...
The design and the requirements of modern computer-based systems have reached a complexity level that calls for the use of models for the verification of non functional requirements since the beginning of their design cycle. Such systems are however too complex to be modeled directly in a simple unstructured formal language like Queueing Networks or Petri Nets. SIMTHESys (Structured Infrastructure...
After having studied Model Driven Architecture (MDA) and ATLAS transformation language (ATL), in this article, Platform Independent Model (PIM) module divides into multiple demand function PIM modules according to requirement analysis of system, and it generates corresponding demand function Platform Specific Model (PSM) modules with ATL receive model conversion signals, this paper establishes a framework...
The design and implement of drawing of GOO (Graphic - Object -Oriented) one-line diagram of smart distribution network are realized using GDI + technology and the class and interface method in Windows environment. Four levels of class are designed with the concept of layered modularization: the base class, management of public attributes and methods; the basic graphic class, point, line, rectangle,...
Model Driven Architecture (MDA) is a new development method which can improve the repeatability and portability through separating the business model and implementation technique under the core of model. Model transformation is the main content of study in MDA. The article puts forward an expanding Model Transformation Platform (MTP) combining the characters in Web Application Development and the...
We have developed LOOS (Lightweight Object-Oriented Structure-analysis library) as an object-oriented library designed to facilitate the rapid development of tools for the structural analysis of simulations. LOOS supports the native file formats of most common simulation packages including AMBER, CHARMM, CNS, Gromacs, NAMD, Tinker, and X-PLOR. Encapsulation and polymorphism are used to simultaneously...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.