scholarly journals An Introduction to CORA 2015

10.29007/zbkv ◽  
2018 ◽  
Author(s):  
Matthias Althoff

The philosophy, architecture, and capabilities of the COntinuous Reachability Analyzer (CORA) are presented. CORA is a toolbox that integrates various vector and matrix set representations and operations on them as well as reachability algorithms of various dynamic system classes. The software is designed such that set representations can be exchanged without having to modify the code for reachability analysis. CORA has a modular design, making it possible to use the capabilities of the various set representations for other purposes besides reachability analysis. The toolbox is designed using the object oriented paradigm, such that users can safely use methods without concerning themselves with detailed information hidden inside the object. Since the toolbox is written in MATLAB, the installation and use is platform independent.

Author(s):  
Weiwen Deng ◽  
Edward Y. L. Gu

This paper mainly discusses numerical simulation on a component-based model, in which a large complex dynamic system is presumably partitioned into and modeled by a number of interconnected components, which often corresponds to the physical nature in the real world. An independent component computation (ICC) method is proposed to deal numerically with component-based models. With ICC method, each component model is numerically solved independently of, and concurrently with others. This method, combined with the object-oriented methodology and expert system technology, leads to an intelligent numerical simulation environment, which is presented in detail in Part II.


2014 ◽  
Vol 7 (5) ◽  
pp. 7075-7119
Author(s):  
C. A. Hartin ◽  
P. Patel ◽  
A. Schwarber ◽  
R. P. Link ◽  
B. P. Bond-Lamberty

Abstract. Simple climate models play an integral role in policy and scientific communities. They are used for climate mitigation scenarios within integrated assessment models, complex climate model emulation, and uncertainty analyses. Here we describe Hector v0.1, an open source, object-oriented, simple global climate carbon-cycle model. This model runs essentially instantaneously while still representing the most critical global scale earth system processes. Hector has three main carbon pools: an atmosphere, land, and ocean. The model's terrestrial carbon cycle includes respiration and primary production, accommodating arbitrary geographic divisions into, e.g., ecological biomes or political units. Hector's actively solves the inorganic carbon system in the surface ocean, directly calculating air–sea fluxes of carbon and ocean pH. Hector reproduces the global historical trends of atmospheric [CO2] and surface temperatures. The model simulates all four Representative Concentration Pathways with high correlations (R>0.7) with current observations, MAGICC (a well-known simple climate model), and the Coupled Model Intercomparison Project version 5. Hector is freely available under an open source license, and its modular design will facilitate a broad range of research in various areas.


2011 ◽  
Vol 697-698 ◽  
pp. 785-789 ◽  
Author(s):  
X. Li ◽  
Yan Qun Huang

To enhance the ability and reliability of product variant design, an object-oriented framework was constructed using an extensible module/product class for setting up a modular design model. A module/product in a class was identified as an object by encapsulating the involved information as properties and the transforming or interaction activities as operations. This extensible object was gradually optimized through communications with other objects and integrations of design knowledge in five domains. These include Customer, Functional, Physical, Process and Engineering, which is a new domain introduced in this paper. The programmatic framework was implemented and successfully demonstrated using some typical machine tool products.


2011 ◽  
Vol 308-310 ◽  
pp. 9-14 ◽  
Author(s):  
Ai Di Zhi ◽  
Sheng Li Jiang

Screw conveyors deliver materials in desired quantities in a steady and continuous manner, and are widely used in factories and mining. The design of large multi-blade screw conveyor involves complex calculations and large repeated workload, and is poor in accuracy and efficiency. With modular design as the guideline, using object-oriented programming language VB6.0 as the developing tool, and based on the platform of AutoCAD, this article discusses the development of a user-friendly CAD system that allows arbitrary division of the outer vortex. Practice has proven that this simple and pragmatic system largely improves the design efficiency and precision.


2020 ◽  
Vol 26 (3) ◽  
pp. 374-401
Author(s):  
Jeppe Rasmussen ◽  
Lars Hvam ◽  
Katrin Kristjansdottir ◽  
Niels Mortensen

Product configuration systems (PCSs) are increasingly being used in various industries to manage product knowledge and create the required specifications of customized products. Companies applying PCS face significant challenges in modelling, structuring and documenting the systems. Some of the main challenges related to PCSs are formalising product knowledge conceptually and structuring the product features. The modelling techniques predominantly used to visualise and structure PCSs are the Unified Modelling Language (UML) notations, Generic Bill of Materials (GBOM) and Product Variant Master (PVM), associated with class collaboration cards (CRC-cards). These methods are used to both analyse and model the products and create a basis for implementation to a PCS by using an object-oriented approach. However, the modelling techniques do not consider that most commercial PCSs are not fully object-oriented, but rather, they are expert systems with an inference engine and a knowledge base; therefore, the constructed product models require modifications before implementation in the configuration software. The consequences are that what is supposedly a feasible structure of the product model is not always appropriate for the implementation in standard PCS software. To address this challenge, this paper investigates the best practice in modelling and implementation techniques for PCSs in standard software and alternative structuring methods used in object-oriented software design. The paper proposes a method for a modular design of a PCS in not fully object-oriented standard PCS software using design patterns. The proposed method was tested in a case company that suffered from a poorly structured product model in a not fully object-oriented PCS. The results show that its maintainability can be improved by using design patterns in combination with an agile documentation approach.


Sign in / Sign up

Export Citation Format

Share Document