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.
Model-based approach alleviates the discrepancies between software functional models and the implementation by automatically transforming models. Constructing runtime real-time tasks, or operating system-level processes/threads, from the components of software design models is crucial to the model-based development of embedded control software. The model of data consistency presented here uses temporal...
The server cluster technology become more and more prevalent in the enterprise level applications, failure detection is one of the key technologies which can ensure the server cluster continue providing services. This paper introduced several types of the server cluster failure, and its design objects; we then analyzed the existed detection mechanisms, and get rid of the traditional detection enhancement...
With the popularity of the network and development of multimedia technology, the traditional information retrieval techniques do not meet the users?? demand. Recently, the content-based image retrieval has become the hot topic and the techniques of content-based image retrieval have been achieved great development. In this paper, the basic components of content-based image retrieval system are introduced...
Availability and reliability are of utmost important elements for real time systems. Availability means feasibility and compatibility of a system while reliability maintains a robust performing of a system. Most researches that related to real-time analysis have focused on the correctness but ignored the issue of compatibility, especially for substitutability of the involving tasks. Compatibility...
Digital factory is a new technology to construct a virtual plant framework to integrate manufacturing process planning with manufacturing execution. Object-Oriented technology is introduced to simulate complicated discrete production system. And a virtual factory is constructed in digital environment. In this paper, manufacturing resource library is built to manage manufacturing equipments and all...
For developing a surgical simulation platform that not only accords with software design standards but also conforms with clinical professional requirements; proposed designing and developing surgical simulation platform using COM (Component Object Model) component technology. Surgical simulation platform based on COM designed three core module: model management; surgical planning; surgical evaluating;...
NS2 is an object-oriented simulation tool to simulate and analyze network elements; it is also a powerful tool to develop new protocol and scheme. In the paper, we analyze the features and models of wireless network in details; discuss the simulation process and implementation of wireless network on the basis of NS2. Also, AODV protocol and self-defined MFlood protocol in wireless network are simulated...
The growth of urban areas into forested and agricultural lands is a local and global planning issue of great concern. The proposed model is hence based on the raster data model. The raster-based GM is implemented using object-oriented Microsoft Visual C++ programming under the Microsoft Windows environment. To satisfy more analysis methods expended for this system, such as CA and neural network models,...
Modelica is a new object-oriented language for modeling of large, complex, and heterogeneous physical systems. It is designed to allow for convenient and efficient modeling and simulation of the differential-algebraic equations (DAEs) systems. However, in many engineering fields, partial differential equations (PDEs) are applied. So it is necessary to be able to handle PDE models in Modelica. In this...
Object-oriented framework is increasingly recognized as an efficient reuse mechanism in software development, but for its intrinsic abstract and complex, it is still difficult to develop for framework designer and instantiate for framework user, this is partly due to the lack of formal framework modeling language guiding the framework developer, user and tool builder. We propose a formal way to model...
With the increase in the number of motor vehicles, according to the traffic capacity problem in our country now days, 3DS MAX is used in the field of traffic simulation. This paper takes single intersection as a subject of research. Firstly, the car model, single intersection, lane and so on are created with 3DS MAX. Then, the simulation of cars that are passing the single intersection is realized...
The development of software products is a complex activity with a large number of factors involved in defining success. Measurement is a necessary prerequisite, for software process improvement. However few guidelines exist for systematic planning of measurement programs within software projects and for multi-project selection. This paper discusses the major problems in software process measurement,...
Conceptual data models, being the tool of design databases, have been proposed. Information in real world application is often vague or ambiguous. Currently, less research has been done in modeling imprecision and uncertainty in conceptual data model. The UML (Unified Modeling Language), being a set of OO modeling notations and a standard of the Object Management Group (OMG), can be applied for many...
An event-driven model for manufacturing execution system platform is introduced. Response mechanism based on event-driven inside platform is described, and event models are designed, which include two sub-modules as event configuration and event detection. At last, design and development method of event model is given to show the validity and practicability of the event-driven mechanism.
This paper proposes a practical test model and test approach for Web applications based on use cases and their corresponding sequence diagrams. Large Web applications are modeled as hierarchical profile use-case diagrams called UCTM (use case transition model). From the hierarchical UCTM, the sequential dependency relationship of use cases can be gained. Traversing the UCTM from top to down, each...
Component-based software architecture realizes non-functional attributes through specific middleware platform, thus mapping components to component models will results in code which the crosscutting concerns encapsulated in the middleware showing up at several models, which increases the dependencies among component models, and reduces the ability of architecture to describe system. In view of this,...
The qualitative simulation field has developed remarkably in theory of algorithms, while relatively backward in modeling methodology. In this paper, a novel qualitative modeling and simulation approach based on XML (extensive markup language) is proposed, which greatly improves the efficiency of modeling, enhances the reusability, scalability and standardization of qualitative modeling and simulation...
In this paper, some unique features of fuzzy object-class relationships, which do not occur in classical object-oriented databases, are investigated. We identify direct object-class relationship, indirect object-class relationship, and arbitrary object-class relationship in fuzzy object-oriented databases. In particular, soft computing methods are developed in the paper to quantitatively determine...
In this paper, after analyzing the requirement of aspect-oriented modeling, a meta-model based on UML extension profile for AOM is proposed, a framework of aspect-oriented modeling (AOMF) with UML is built, and a simple and feasible way to model the dynamic behaviors of aspect-oriented software is presented. Furthermore, a case study is presented to demonstrate the effectiveness and advantages of...
Aspect-oriented software development method solves crosscutting problem by separating concerns and aspect-oriented software can be modeled by extending UML. This paper proposes a method to describe the aspects and core components as well as weaving between them through introducing aspect into UML statechart. Then the extended UML statechart is described in formal semantics of CSP, a kind of process...
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.