Wyniki wyszukiwania - Biblioteka Nauki

1

EARL - dziedzinowy język opisu systemów cyberfizycznych

100%

Winiarski T. , Seredyński D.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2022

|

tom z. 197, t. 1

223-232

PL

Modelowanie jest jednym z podstawowych aspektów inżynierii. Dotyczy to w szczególności systemów cyberfizycznych, w tym robotycznych. W artykule zaprezentowano syntetyczny opis dziedzinowego języka opisu systemów cyberfizycznych – EARL (Embodied Agent-Based cybeR-physical Control Systems Modelling Language). Język ten opiera się na SysML (Systems Modelling Language) i służy przede wszystkim do modelowania systemów w sposób zgodny z teoria agentowa szkoły warszawskiej profesora Cezarego Zielińskiego. W artykule zamieszczono tak ̇ze wybrane praktyczne aspekty użycia EARL w modelowaniu konkretnych systemów.

EN

Modelling is one of the fundamental aspects of engineering. This is especially true for cyber-physical systems, including robotic systems. This paper presents a synthetic description of an EARL – Embodied Agent-Based cybeR-physical Control Systems Modelling Language. The language is based on SysML (Systems Modelling Language) and is used primarily to model systems in a manner consistent with the agent theory of the Warsaw school of Prof. Cezary Zieliński. The paper also includes selected practical aspects of using EARL in modelling specific systems.

2

Towards data quality runtime verification

84%

Bicevskis J. , Bicevska Z. , Nikiforova A. , Oditis I.

Annals of Computer Science and Information Systems

|

2019

|

tom Vol. 18

639--643

EN

This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain specific languages that would describe runtime verification and data quality checks at every stage of business process execution.

3

Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa języka dziedzinowego (KsiML)

67%

Kosior A. , Stasiak A.

Biuletyn Instytutu Automatyki i Robotyki

|

2012

|

tom R. 18, nr 32

23-52

PL

W artykule przedstawiono opis procesu budowy języka dziedzinowego KsiML z wykorzystaniem MDE, bazując na modelowaniu dziedzin (DSM) i autorskiej metodzie KMS. Proces ten wykorzystano do budowy serwisu informacyjnego o projektach studenckich. W założeniach, zastosowanie zaproponowanego procesu powinno prowadzić do wzrostu jakości i reużycia tworzonego kodu, powodując obniżenie kosztów budowanych systemów.

EN

The paper describes a process of building the domain language KsiML using the MDE approach, based on modeling domains (DSM) and the authors' KMS method . The process was used to build an information service of students' projects. In assumptions, the application of the proposed process should lead to height of quality and re-use of the source code, as well as decrease of construction systems costs.

4

A dedicated high-level language for implementing non recursive filter banks and transforms

59%

Parfieniuk M.

Elektronika : konstrukcje, technologie, zastosowania

|

2010

|

tom Vol. 51, nr 11

55-60

EN

This paper presents a novel approach to implementing nonrecursive filter banks and transforms. A domain-specific language has been developed that allows such systems to be described more clearly, more compactly, and faster than with either MATLAB/Simulink or SPL, the existing tools for developing DSP algorithms. Its syntax is aimed at closely linking code to the signal flow graph of a given transform and at allowing the algorithm to be specified in terms of elementary transformations: plane rotations, reflections, lifting steps, delays, etc. Unlike the mentioned platforms, our approach allows to avoid constructing complicated matrix expressions, even though matrix notation is supported via a subset of the MATLAB language. The associated compiler converts system descriptions into quite efficient Java, C++, or C implementations, which can be used to rapidly prototype applications based on subband processing of signals or to prepare objective functions for optimizing coefficients of computational schemes.

PL

W artykule przedstawiono nowatorskie podejście do implementowania nierekursywnych banków filtrów i transformacji. Opracowany został dziedzinowy język, który pozwala opisywać te systemy przejrzyściej, zwięźlej i szybciej niż z użyciem MATLAB/Simulink lub SPL, istniejących narzędzi do rozwijania algorytmów cyfrowego przetwarzania sygnałów. Jego składnia jest ukierunkowana na ścisłe powiązanie kodu z grafem przepływu danych w rozpatrywanej transformacji i na umożliwienie wyspecyfikowania algorytmu w kategoriach transformacji elementarnych: obrotów planarnych, odbić, stopni "lifting", opóźnień itp. W odróżnieniu od wymienionych platform, proponowane podejście pozwala uniknąć konstruowania skomplikowanych wyrażeń macierzowych, choć notacja macierzowa jest dostępna jako podzbiór języka MATLAB. Skojarzony kompilator przekształca opisy systemów w dosyć wydajne implementacje Java, C++ lub C, które mogą być wykorzystywane do szybkiego prototypowania aplikacji, które opierają się na podpasmowej dekompozycji sygnałów, lub do przygotowywania funkcji celu na potrzeby optymalizacji współczynników schematów obliczeniowych.