Development tools - Case study for large systems

1984 ◽  
Author(s):  
K. HORNBACH
Author(s):  
RAFFAELLA GUGLIELMANN ◽  
LILIANA IRONI

Fuzzy systems properly integrated with Qualitative Reasoning approaches yield a hybrid identification method, called FS-QM, that outperforms traditional data-driven approaches in terms of robustness, interpretability and efficiency in both rich and poor data contexts. This results from the embedment of the entire system dynamics predicted by the simulation of its qualitative model, represented by fuzzy-rules, into the fuzzy system. However, the intrinsic limitation of qualitative simulation to scale up to complex and large systems significantly reduces its efficient applicability to real-world problems. The novelty of this paper deals with a divide-and-conquer approach that aims at making qualitative simulation tractable and the derived behavioural description comprehensible and exhaustive, and consequently usable to perform system identification. The partition of the complete model into smaller ones prevents the generation of a complete temporal ordering of all unrelated events, that is one of the major causes of intractable branching in qualitative simulation. The set of generated behaviours is drastically but beneficially reduced as it still captures the entire range of possible dynamical distinctions. Thus, the properties of the correspondent fuzzy-rule base, that guarantee robustness and interpretability of the identified model, are preserved. The strategy we propose is discussed through a case study from the biological domain.


2020 ◽  
Vol 10 (7) ◽  
pp. 2634
Author(s):  
JunWeon Yoon ◽  
TaeYoung Hong ◽  
ChanYeol Park ◽  
Seo-Young Noh ◽  
HeonChang Yu

High-performance computing (HPC) uses many distributed computing resources to solve large computational science problems through parallel computation. Such an approach can reduce overall job execution time and increase the capacity of solving large-scale and complex problems. In the supercomputer, the job scheduler, the HPC’s flagship tool, is responsible for distributing and managing the resources of large systems. In this paper, we analyze the execution log of the job scheduler for a certain period of time and propose an optimization approach to reduce the idle time of jobs. In our experiment, it has been found that the main root cause of delayed job is highly related to resource waiting. The execution time of the entire job is affected and significantly delayed due to the increase in idle resources that must be ready when submitting the large-scale job. The backfilling algorithm can optimize the inefficiency of these idle resources and help to reduce the execution time of the job. Therefore, we propose the backfilling algorithm, which can be applied to the supercomputer. This experimental result shows that the overall execution time is reduced.


Author(s):  
Al-Hajrey General ◽  
A.O. Moscardini ◽  
K. Lawler

Large systems are notoriously difficult to analyse. This paper explores how a combination of three proven systemic tools can be combined to provide a suitable framework for such analysis. It uses the Gulf Cooperation Council as a case study.


2017 ◽  
Vol 29 (3) ◽  
Author(s):  
Mabule Samuel Mabakane ◽  
Daniel Mojalefa Moeketsi ◽  
Anton Lopis

This paper presents a case study on the scalability of several versions of the molecular dynamics code (DL_POLY) performed on South Africa‘s Centre for High Performance Computing e1350 IBM Linux cluster, Sun system and Lengau supercomputers. Within this study different problem sizes were designed and the same chosen systems were employed in order to test the performance of DL_POLY using weak and strong scalability. It was found that the speed-up results for the small systems were better than large systems on both Ethernet and Infiniband network. However, simulations of large systems in DL_POLY performed well using Infiniband network on Lengau cluster as compared to e1350 and Sun supercomputer.


2011 ◽  
pp. 148-169
Author(s):  
Enid Mumford

This chapter and case study address two important design problems. The first is the challenge presented by the task of developing systems that affect a major part of company activities—either by covering a widely dispersed function or a number of different functions. The second is the role of the group facilitator or project manager in relation to large systems design.


2007 ◽  
Vol 16 (06) ◽  
pp. 859-881 ◽  
Author(s):  
AMJAD GAWANMEH ◽  
SOFIÈNE TAHAR ◽  
HAJA MOINUDEEN ◽  
ALI HABIBI

In this paper, we propose to integrate an embedding of Property Specification Language (PSL) in Abstract State Machines Language (AsmL) with a top–down design for verification approach in order to enable the model checking of large systems at the early stages of the design process. We provide a complete embedding of PSL in the ASM language AsmL, which allows us to integrate PSL properties as a part of the design. For verification, we propose a technique based on the AsmL tool that translates the code containing both the design and the properties into a finite state machine (FSM) representation. We use the generated FSM to run model checking on an external tool, here SMV. Our approach takes advantage of the AsmL language capabilities to model designs at the system level as well as from the power of the AsmL tool in generating both C# code and FSMs from AsmL models. We applied our approach on the PCI-X bus standard, which AsmL model was constructed from the informal standard specifications and a subsequent UML model. Experimental results on the PCI-X bus case study showed a superiority of our approach to conventional verification.


2012 ◽  
Vol 200 ◽  
pp. 487-491 ◽  
Author(s):  
Guang Li ◽  
Yang Li ◽  
Qu Chen

This paper analyses the system architecture of wooden package CAD/CAE system, and develops a wooden package CAD/CAE system using the secondary development tools SolidWorks API, combining with the Access database and Visual Basic language. This system can realize such functions like design, simulation analysis and process sheets generation of the wooden package. A case study shows the application process and specific functions of this system


2021 ◽  
Vol 67 (No. 6) ◽  
pp. 246-254
Author(s):  
Jana Kostalova ◽  
Jan Vavra

The basic characteristic and comparison of the community-led local development tools: Local Agenda 21, used in public administration generally, and of the LEADER method, used within Local Action Groups (LAGs), is presented in this paper. It analyses their application in the Czech Republic. It discusses the potential synergistic effects of the application of these tools in two rural locations – the areas of two towns (Chrudim and Litomerice), which are leaders in the application of Local Agenda 21 in the Czech Republic. Both towns are members of LAGs – LAG Chrudimsko and LAG Ceske Stredohori. This combination of Local Agenda 21 and LEADER method are mutually supportive. The conclusion discusses recommendations for the improvement of community-led development.


Sign in / Sign up

Export Citation Format

Share Document