Search results for "programming"
showing 10 items of 3090 documents
From Requirements to Code in a Model Driven Way
2010
Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…
Statechart-based design controllers for FPGA partial reconfiguration
2015
Statechart diagram and UML technique can be a vital part of early conceptual modeling. At the present time there is no much support in hardware design methodologies for reconfiguration features of reprogrammable devices. Authors try to bridge the gap between imprecise UML model and formal HDL description. The key concept in author's proposal is to describe the behavior of the digital controller by statechart diagrams and to map some parts of the behavior into reprogrammable logic by means of group of states which forms sequential automaton. The whole process is illustrated by the example with experimental results.
Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective
2005
This contribution describes the results of a laboratory experiment which compares the Event-driven Process Chain (EPC) and Petri net (C/E net) regarding their approaches to represent the control-flow of processes. The outcome of the experiment indicates that from end-user perspective the EPC approach of applying connectors is superior to the token game. However, the non-local semantic of the EPC OR-connector clearly had a negative impact on end-user comprehension. The experiment also illustrates that the perceived ease-of-use and the intention to use the EPC notation is higher than C/E net.
Biznesa procesu modelēšana, izmantojot metamodelēšanas paņēmienus : kopsavilkums
2007
Darba tēma ir saistīta ar biznesa procesu vadības sistēmu izstrādi. Šajā darbā biznesa procesu modelēšanas problēmas ir risinātas, izmantojot metamodelēšanas paņēmienus. Metamodelēšana ļauj dažādus biznesa modelēšanas aspektus aplūkot vienotā un vispārīgā formā, tai pat laikā nezaudējot precīzu jēdzienu nozīmi. Galvenie pētījumu rezultāti ir sekojoši: Izstrādāts vienots biznesa procesu un to apkārtnes metamodelis, kas parāda biznesa modelēšanas jēdzienus un to saistību. Izstrādāta biznesa modeļu jēdzienu kartēšanas metode jēdzienu kartēšanai no viena domēna uz vairākām modelēšanas valodām. Izstrādāta precīza Unified Modeling Language Aktivitāšu diagrammas (UML AD) izpildes semantika, izmant…
The long and winding road: Accidents and tinkering in software standardization
2021
Software is based on universal principles but not its development. Relating software to hardware is never automatic or easy. Attempts to optimize software production and drastically reduce their costs (like in hardware) have been very restricted. Instead, highly-skilled and experienced individuals are ultimately responsible for project success. The long and convoluted path towards useful and reliable software is often plagued by idiosyncratic accidents and emergent complexity. It was expected that software standardisation would remove these sources of unwanted diversity by aiming to controllable development processes, universal programming languages, and toolkits of reusable software compon…
Quantized Dissensus in switching networks with nodes death and duplication* *Research supported by MURST-PRIN “Robust Techniques for uncertain system…
2009
Abstract In this paper we discuss agents exchanging quantized flows to diverge one from the others according to a dissensus protocol. A Quantized Gossip algorithm is considered. Evolutions of the states during switching intervals and at switching instants and their property are described and analyzed. The modeling of switching systems describing networks where death and duplication processes occur is described. Some properties of the topology reached by the network when different rules of duplication and inheritance are implemented.
Neural network approach to solving fuzzy nonlinear equations using Z-numbers
2020
In this article, the fuzzy property is described by means of the Z-number as the coefficients and variables of the fuzzy equations. This alteration for the fuzzy equation is appropriate for system modeling with Z-number parameters. In this article, the fuzzy equation with Z-number coefficients and variables is tended to be used as the models for the uncertain systems. The modeling issue related to the uncertain system is to obtain the Z-number coefficients and variables of the fuzzy equation. Nevertheless, it is extremely hard to get the Z-number coefficients of the fuzzy equations. In this article, in order to model the uncertain nonlinear systems, a novel structure of the multilayer neura…
OpenTIMS, TimsPy, and TimsR: Open and Easy Access to timsTOF Raw Data
2021
The Bruker timsTOF Pro is an instrument that couples trapped ion mobility spectrometry (TIMS) to high-resolution time-of-flight (TOF) mass spectrometry (MS). For proteomics, lipidomics, and metabolomics applications, the instrument is typically interfaced with a liquid chromatography (LC) system. The resulting LC-TIMS-MS data sets are, in general, several gigabytes in size and are stored in the proprietary Bruker Tims data format (TDF). The raw data can be accessed using proprietary binaries in C, C++, and Python on Windows and Linux operating systems. Here we introduce a suite of computer programs for data accession, including OpenTIMS, TimsR, and TimsPy. OpenTIMS is a C++ library capable …
"Design and application of a data-independent precursor and product ion repository."
2012
The functional design and application of a data-independent LC-MS precursor and product ion repository for protein identification, quantification, and validation is conceptually described. The ion repository was constructed from the sequence search results of a broad range of discovery experiments investigating various tissue types of two closely related mammalian species. The relative high degree of similarity in protein complement, ion detection, and peptide and protein identification allows for the analysis of normalized precursor and product ion intensity values, as well as standardized retention times, creating a multidimensional/orthogonal queryable, qualitative, and quantitative spac…
A Matlab based interface for infrared thermographic diagnosis of pediatric musculoskeletal injuries
2016
Abstract Background and objective One of the main causes of emergency medical consultations done by children are musculoskeletal injures. In such cases, radiological tests are a common practice to diagnose the gravity of the trauma and determine the likely existence of a fracture. In order to avoid, or at least to reduce, the use of ionizing radiations with children, the infrared thermographic technique was studied as an alternative solution, since it is a non-harmful, non-invasive and non-contact technique, without excessive technical complications and moderate cost when compared to other types of imaging tools. Methodology When an infrared thermographic diagnostic test is performed, and o…