Wyniki wyszukiwania - BazTech

1

An Optimal Strategy of Resource Sharing in a Case of State-toggling Agents

Wójtowicz T.

Schedae Informaticae

|

2015

|

Vol. 24

211--220

EN

This paper presents an optimal scheduling solution for a case of agents sharing a resource. The amount of resource can not satisfy all agents at once and in case of runout there is a penalty. Each agent randomly toggle its state between requiring and not requiring the resource. Using the knowledge of previous state and probability of change, the scheduling algorithm is able to calculate optimal number of concuring agents for one turn, that minimizes possibility of collision yet provides as much throughput as possible. Several different scheduling strategies are tested. The optimal solution adapts automatically to the value of probability of change. Further experiments show that optimality is retained if only the average probability of a set of agents is known. A case of practical application is provided.

2

The integration of a prototype pitch control application with IMA2G devices

Samolej S., Rogalski T., Kopecki G., Tomczyk A.

Automatyka / Automatics

|

2013

|

Vol. 17, no. 1

93--102

EN

This paper reports the integration of a pitch control application into an experimental integrated modular avionics hardware-software module. The reported research was conducted within SCARLETT European program. A set of practical integration rules crucial from the development process perspective have been enumerated.

PL

W pracy zaprezentowano integrację systemu sterowania kątem pochylenia samolotu z eksperymentalnym sprzętowo-programowym modułem zintegrowanej modułowej awioniki. Prezentowane badania realizowano w ramach programu europejskiego SCARLETT. Skupiono się na wyartykułowaniu zestawu praktycznych reguł wskazujących poszczególne etapy integracji oprogramowania.

3

Rapid prototyping methodology of embedded control-acquisition system

Augustyn J., Bień A.

Metrology and Measurement Systems

|

2012

|

Vol. 19, nr 4

777-786

EN

Modern control and measurement systems are equipped with interfaces to operate in local area networks and are typically intended to perform complicated data processing and control algorithms. The authors propose a digital system for rapid prototyping of target application devices. The concept solution separates the processing and control section from the hardware interface and user interface section. Both sections constitute independent ARM-based controllers interconnected via a direct USB link. Popular libraries can be used and low-level procedures developed, which enhances the system's economic viability. A test unit developed for the purpose of the study was built around a SoC ARM7 microsystem and an off-the-shelf palmtop device. It demonstrated a continuous data stream transfer capability up to 150 kB per second, which was sufficient to monitor the performance of an electricity line.

4

Time extensions of Petri nets for modelling and verification of hard real-time systems

Samolej S., Szmuc T.

Computer Science

|

2002

|

Vol. 4

55-76

EN

The main aim of the paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow, an ability to force a transition to fire within a stated timing constraint (the so-called the strong firing rule), and timing constraints represented by intervaIs. The presented survey includes extensions of classical Place/Transition Petri nets, as welI as the ones applied to high-level Petri nets. An expressiveness of each time extension is illustrated using simple hard real-time system. The paper includes also a brief description of analysis and verification methods related to the extensions, and a survey of software tooIs supporting modelling and analysis of the considered Petri nets.

PL

Głównym celem pracy jest prezentacja rozszerzeń czasowych sieci Petriego pod kątem przydatności do modelowania i analizy systemów czasu rzeczywistego o twardych wymaganiach losowych. Zakłada się, że rozważane rozszerzenia winny spełniać następujące warunki: modelowania upływu czasu, forsowania odpalenia przejścia w określonych warunkach czasowych (tzw. silna reguła odpalania), przedziałowej reprezentacji ograniczeń czasowych. Przegląd dotyczy zarówno klasycznych sieci miejsc i przejść, jak również sieci Petriego wyższego poziomu. Siła ekspresji poszczególnych rozszerzeń jest ilustrowana na wspólnym przykładzie systemu o twardych wymaganiach czasowych. Artykuł zawiera również krótki opis metod analizy i weryfikacji ograniczeń czasowych oraz przegląd systemów wspomagających modelowanie i analizę rozważanych sieci Petriego.