Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "language systems" wg kryterium: Temat

  Lista filtrów

Dostawca treści

Wyrównaj
Wyświetlanie 1-15 z 56
Tytuł:
A user-friendly interface to computer programs for the determination of the characteristics of equilibrium systems from physicochemical data
Autorzy:
Arłukowicz, P.
Arłukowicz, E.
Kira, J.
Liwo, A.
Powiązania:
https://bibliotekanauki.pl/articles/1954054.pdf
Data publikacji:
1998
Wydawca:
Politechnika Gdańska
Tematy:
user-friendly interface
computer program
equilibrium systems
physicochemical data
graphical user interface
GOLEM
chemical language
chemical equations
STOICHIO
Opis:
A graphical user interface to programs for the determination of equilibrium parameters from physicochemical data (GOLEM) has been developed. The program converts input data written in a common chemical language into the algebraic form required by the programs that do actual computations. This includes translation of chemical equations into algebraic form and building up the history of the preparation of solutions. The program works on PC/DOS platforms and in the current version prepares the data for the program STOICHIO (J. Kostrowicki, A. Liwo, see Comput. Chem., vol.11, no.3, p.195, 1987) which determines the stoichiometry and equilibrium constants from physicochemical measurements.
Źródło:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk; 1998, 2, 1; 55-72
1428-6394
Pojawia się w:
TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Metodyka wykorzystania UML w projektowaniu mechatronicznym
Using UML in Design of Mechatronic Systems
Autorzy:
Mrozek, Z.
Powiązania:
https://bibliotekanauki.pl/articles/152454.pdf
Data publikacji:
2002
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
projektowanie mechatroniczne
język UML
mechatronika
mechatronic systems
Unified Modelling Language (UML)
Opis:
Przekazywanie informacji odgrywa istotną rolę w działaniu urządzeń mechatronicznych i może być łatwo przedstawione na diagramie UML. Zdaniem autora, terminologia i notacja używana w UML może być zaadoptowana do projektowania interdyscyplinarnych systemów mechatronicznych oraz jako narzędzie do sporządzania dokumentacji na wszystkich etapach projektowania.
Information transfer plays an important role in operation of mechatronic system. This can be easily presented on UML (Unified Modelling Language) diagrams. Author believes that terminology and notation of visual modelling with UML can be adopted as common language for design of the mechatronic systems and as documentation total on every design phase.
Źródło:
Pomiary Automatyka Kontrola; 2002, R. 48, nr 1, 1; 25-28
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja standardu sieci Ethernet IEEE 802.3 w układach FPGA na potrzeby systemu bezpieczeństwa typu Firewall
IEEE 802.3 Ethernet standard implementation in FPGA logic to the needs of the Firewall security system
Autorzy:
Sułkowski, G.
Twardy, M.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/155733.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
information security systems
programmable logic
hardware description language
Opis:
W artykule omówiono wyniki implementacji standardu sieci Ethernet IEEE 802.3 w układach reprogramowalnych FPGA. Autorzy prezentują przyjętą formułę dekompozycji kontrolera sieciowego dokonując równocześnie charakterystyki poszczególnych modułów opisanych za pomocą języka VHDL w odniesieniu do wymogów stawianych przez standard. Przeprowadzone prace stanowią pierwszy etap realizacji projektu ba-dawczego zmierzającego do opracowania w pełni sprzętowego systemu bezpieczeństwa typu Firewall. To nowatorskie podejście ma na celu stworzenie rozwiązania o wysokiej odporności na włamania oraz o dużej elastyczności wewnętrznej architektury, pozwalającej wykorzystać oferowane przez technologię FPGA możliwości rekonfiguracji zasobów sprzętowych.
The article describes results of the Ethernet IEEE802.3 implementation in FPGA chip. Authors present applicated decomposition model of the Ethernet controller and characterize each of the sub-module created in VHDL language. Executed work is the first stage of the research project being intended to full hardware implementation of the firewall security system using FPGA technology. The goal of this innovatory approach is to prepare high security system with high inter-module flexibility with opportunities involved by FPGA recon-figuration functionality.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 7, 7; 30-32
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Implementacja systemu bezpieczeństwa typu Firewall dla potrzebsieci Ethernet w oparciu o układy reprogramowalne FPGA
Implementation of the Ethernet Firewall security system in FPGA programmable logic
Autorzy:
Sułkowski, G.
Twardy, M.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/152863.pdf
Data publikacji:
2007
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
information security systems
programmable logic
hardware description language
Opis:
W artykule omówiono prace badawcze dotyczące budowy sprzętowego systemu bezpieczeństwa typu Firewall dla ochrony zasobów w sieci Ethernet. Implementacja takiego systemu w układach programowalnych FPGA z jednej strony uniemożliwi jakiekolwiek włamania do systemu bezpieczeństwa, z drugiej natomiast rekonfigurowalność układu FPGA pozwoli na łatwe modyfikacje tego systemu, w tym także modyfikacje zdalne. Opracowywany system bezpieczeństwa typu Firewall, implementowany w układzie programowalnym FPGA, wpisuje się w aktualny nurt badań światowych nad budową zasobów rozbudowanych elementów bibliotecznych typu IP Cores, przeznaczonych do projektowania rozbudowanych systemów obliczeniowych.
In this document authors discuss current stage of their work focused on firewall security system implemented in FPGA technology and dedicated for Ethernet LAN. The FPGA technology ensures high security level and can protect from hackers attack. On the other hand, the FPGA technology allow in simple way to change the firewall configuration and settings via the remote reconfiguration mechanisms. Authors hope that designed security system will be widely used as an IPCore library element in large computing systems.
Źródło:
Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 114-116
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of automatic speech recognition to medical reports spoken in Polish
Autorzy:
Hnatkowska, B.
Sas, J.
Powiązania:
https://bibliotekanauki.pl/articles/333379.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
systemy informacji medycznej
modele językowe
automatic speech recognition
hospital information systems
language models
Opis:
The paper presents an attempt to automatic speech recognition of Polish spoken medical texts. The attempt resulted in experimental system that can be used as a tool for practical applications. The system uses a typical recognition method based on Hidden Markov Model and domain-specific language model. Implemented software made it possible to conduct many experiments aimed on evaluation of the assumed approach usefulness. Obtained experiment results are presented and analyzed. The system architecture and the way in which it can be integrated with hospital information systems is also exposed.
Źródło:
Journal of Medical Informatics & Technologies; 2008, 12; 223-229
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Data warehouse design based on UML language
Autorzy:
Barczak, A.
Wolski, M.
Powiązania:
https://bibliotekanauki.pl/articles/92946.pdf
Data publikacji:
2008
Wydawca:
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
Tematy:
data warehouses
rational unified process
IT systems
modeling IT systems
UML
Unified Modeling Language
Opis:
Modern management in organizations of the 21st century are efficient and dynamic decisions based on collected and well analyzed data. There are growing needs with regard of data analysis related to multiplanar work in corporations force formation of new data warehouses whose construction becomes more and more complex. In this paper we present one of the design methodologies applying to the design of data warehouses. Transformations were particularly emphasized that enable the application of UML models involving Common Warehouse Metamodel.
Źródło:
Studia Informatica : systems and information technology; 2008, 1(10); 37-48
1731-2264
Pojawia się w:
Studia Informatica : systems and information technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Weryfikacja reguł bezpieczeństwa wspomagana mechanizmami pamięci podręcznej w sprzętowej implementacji systemu bezpieczeństwa typu firewall
Security rules verification mechanism supported by local cache memory for the hardware Firewall security system
Autorzy:
Sułkowski, G.
Twardy, M.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/156198.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
firewall
pamięci podręczne
potokowość
przetwarzanie równoległe
information security systems
programmable logic
hardware description language
firewal
packet classification algorithms
cache memory
pipelining
parallel processing
Opis:
W niniejszym artykule autorzy dokonują przeglądu istniejących algorytmów klasyfikacji pakietów celem adaptacji najodpowiedniejszego spośród nich dla potrzeb budowanego systemu zabezpieczeń sieciowych klasy Firewall. Równocześnie prezentują koncepcje zwiększenia całkowitej wydajności proponowanego rozwiązania poprzez zastosowanie dodatkowych mechanizmów wykorzystujących m.in. pamięci podręczne, potokowość oraz zrównoleglenie przetwarzania danych.
In this paper authors present their research into the actual state of the hardware implemented packet classification algorithms for the adaptation into their implementation of the hardware Firewall security system. The paper also describes the idea of enhancing the overall processing efficiency by using additional mechanisms like local cache memory, pipelining and parallel processing.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 511-513
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Zastosowanie języka VHDL do badania złożonych sieci zestykowych
Application of VHDL language to research complex contact networks
Autorzy:
Kawalec, P.
Kotliński, D.
Powiązania:
https://bibliotekanauki.pl/articles/156250.pdf
Data publikacji:
2008
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
sterowanie ruchem kolejowym
modelowanie
układy przekaźnikowe
język VHDL
railway traffic control
modelling
relay systems
VHDL language
Opis:
W artykule przedstawiono zagadnienia zastosowania języka opisu sprzętu VHDL do analizy obwodów przekaźnikowych stosowanych w sterowaniu ruchem kolejowym. Przedstawiona metoda modelowania sieci zestykowych pozwala na analizę hazardu statycznego i dynamicznego występujących w rzeczywistych obwodach przekaźnikowych. Po zamodelowaniu poszczególnych elementów tworzony jest model całej sieci zestykowej blokady samoczynnej, który następnie jest badany z wykorzystaniem symulatorów logicznych.
The article presents issues concerning the application of hardware description language VHDL to the analysis of relay systems used in railway traffic control. The modelling of contact networks method presented allows for the analysis of static and dynamic hazard which appears in real relay systems. After modelling particular elements, the model of the whole contact network of automatic interlocking is created, which is then tested with the use of logical simulators.
Źródło:
Pomiary Automatyka Kontrola; 2008, R. 54, nr 8, 8; 529-531
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filtrowanie adresów sieciowych w sprzętowym systemie bezpieczeństwa typu Firewall
Network address filtering in a hardware Firewall security system
Autorzy:
Twardy, M.
Sułkowski, G.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/154319.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
IT Security Systems
programmable logic
hardware description language
Opis:
W niniejszym artykule zaprezentowano wyniki praktycznej realizacji sprzętowego klasyfikatora adresów sieciowych opartego o dedykowaną pamięć TCAM (ang. Ternary Content-Addressable Memory). Opracowana metoda implementacji pamięci TCAM charakteryzuje się dużą szybkością pracy oraz znacznie efektywniejszym wykorzystaniem zasobów układów FPGA w porównaniu do komercyjnych wersji oferowanych przez firmę Xilinx.
The paper presents the results of practical realization of a network address and protocol type classifier based on Ternary Content-Addressable Memory (TCAM). The first section deals with a subject of packet classification. The second one describes the packet classifier internal structure, characterizing in details each of the elements included in the classifier, according to the block diagram of Fig. 1. The address filter architecture (shown in Fig. 2) assumed by the authors is discussed in the third section. The fourth section contains some details concerning the TCAM cells array functionality and implementation method. The last section summarizes the results obtained. The new TCAM architecture based on RAM16X1S storage elements adopted by the authors is much more effective than the commercial solution generated by the Xilinx COREGenerator software. The device resources requirements are over two times lower than the resources required by the COREGenerator version. This significant reduction causes improvements in overall timing characteristics. The estimated maximum operating frequency for the address and protocol type filter is 160 MHz. It means that the module can analyze about 160 million packets per second. The research work is in line with the rapidly developing trend towards using reprogrammable logic for securing data transfer in information technology networks.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 7, 7; 479-481
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
PAI/IB - agent-based Polish natural language interface to the control system of an intelligent building
PAI/IB - agentowy interfejs w języku naturalnym do systemu sterowania inteligentnym budynkiem
Autorzy:
Pechmann, P.
Czapiewski, P.
Powiązania:
https://bibliotekanauki.pl/articles/156102.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
interfejs w języku naturalnym
systemy agentowe
systemy zarządzania budynkiem
natural language interfaces
agent-based systems
building management systems
Opis:
One of the key aspects of building management systems is the possibility of easy and convenient control of different system components. Standard solutions available in commercial building management systems use either stationary devices, with the menu of a complex structure, or provide access only to the local parts of the system. Neither solution tend to be particularly convenient. An answer to the problem can be an interface based on the user's natural language queries and commands. This papers presents such a model, called PAI/IB, for Polish natural language.
Jedną z ważniejszych kwestii związanych z systemami zarządzania budynkiem jest zapewnienie wygodnego sposobu sterowania poszczególnymi składowymi systemu. Standardowo stosowane rozwiązania nie są zbyt wygodne, gdyż albo nie są mobilne i mają złożoną strukturę menu (terminale komputerowe), albo zapewniają dostęp wyłącznie do lokalnych składowych systemu (piloty). Rozwiązaniem pozbawionym tych wad wydaje się być sprzęg użytkownika bazujący na poleceniach i zapytaniach w języku naturalnym, umożliwiający swobodne wyrażanie poleceń zapewniających kontrolę nad wszystkimi składowymi budynku. W publikacji przedstawiono rozwiązanie tego typu opracowane dla języka polskiego i nazwane PAI/IB. Prezentowany model agentowy zakłada możliwość komunikacji lokalnej lub zdalnej za pośrednictwem różnych, dobrze znanych i łatwych w użyciu kanałów (głos, sms, komunikator internetowy, e-mail), także dwukierunkowej (polecenia, zapytania). System rozpoznaje żądania nieprecyzyjne i prowadzi dialog z użytkownikiem w celu ich doprecyzowania. Modularna architektura zapewnia możliwość integracji z systemem zarządzania budynkiem niezależnie od standardu, w jakim został zrealizowany oraz rozbudowę o nowe kanały komunikacyjne. Testy zrealizowanego prototypu potwierdziły skuteczność i funkcjonalność opracowanego modelu w zakresie wydawania poleceń i zapytań oraz poprawnej obsługi poleceń nieprecyzyjnych.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 10, 10; 851-855
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Szybka filtracja portów sieciowych w sprzętowym systemie bezpieczeństwa typu Firewall
High-speed network port filtering in a hardware Firewall security system
Autorzy:
Twardy, M.
Sułkowski, G.
Wiatr, K.
Powiązania:
https://bibliotekanauki.pl/articles/151917.pdf
Data publikacji:
2009
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
systemy bezpieczeństwa informatycznego
układy programowalne
języki opisu sprzętu
Ethernet
firewall
IT Security Systems
programmable logic
hardware description language
Opis:
W niniejszym artykule autorzy przedstawiają wyniki prac badawczych związanych z budową sprzętowego klasyfikatora portów sieciowych. Opracowana koncepcja filtru portów opiera się na wykorzystaniu elementarnych pamięci RAM16X1D dostępnych w układach FPGA z rodziny Virtex firmy Xilinx. Uzyskana wydajność przetwarzania danych, przekraczająca 160 milionów pakietów na sekundę oraz pozytywnie rezultaty wstępnych testów praktycznych, stwarzają możliwości zastosowania rozwiązania we współczesnych sieciach teleinformatycznych o dużych przepustowościach.
The paper presents the results of practical realization of the network ports classifier based on cascades of RAM16X1D memory available in Xilinx Virtex FPGA chips. The first section introduces a packet classification subject. The second one describes the packet classifier internal structure, characterizing in details each of the elements included in the classifier, according to the block diagram of Fig. 1. The network port filter architecture (shown in Fig. 2) assumed by the authors is discussed in the section 3. The section 4 contains details concerning the basic filtering element functionality and implementation method. The last section summarizes the results obtained. The new architecture of the ports classifier based on RAM16X1D storage elements adopted by the authors allows achieving the high speed data processing. The estimated maximum operating frequency for the ports filter is 160 MHz. It means that the module can analyze about 160 million packets per second. The research work is in line with the rapidly developing trend towards using reprogrammable logic for securing data transfer in information technology networks.
Źródło:
Pomiary Automatyka Kontrola; 2009, R. 55, nr 8, 8; 615-617
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of local bidirectional language model to error correction in polish medical speech recognition
Autorzy:
Sas, J.
Powiązania:
https://bibliotekanauki.pl/articles/333597.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
rozpoznawanie mowy
modele języka
medyczne systemy informacji
speech recognition
language models
medical information systems
Opis:
In the paper, the method of short word deletion errors correction in automatic speech recognition is described. Short word deletion errors appear to be a frequent error type in Polish speech recognition. The proposed speech recognition process consists of two stages. At the first stage the utterance is recognized by a typical speech recognizer based on forward bigram language model. At the second stage the word sequence recognized by the first stage recognizer is analyzed and such pairs of adjacent words in the recognized sequence are localized, which are likely to be separated by a short word like conjunction or preposition. The probability of short word appearance in context of found words is evaluated using centered trigrams and backward bigram language model for short words prone to deletion. The set of probabilistic language properties used to correct deletions is called here Local Bidirectional Language Model (in contrast to purely forward or backward model used typically in speech recognition). The decision of short word insertion is based on comparison of deletion error probability of the first stage recognizer and the error probability of the decision based only on centered trigrams and backward model. Despite its simplicity, the method proved to be effective in correcting deletion errors of most frequently appearing Polish prepositions. The method was tested in application to medical spoken reports recognition, where the overall short word deletion error rate was reduced by almost 45%.
Źródło:
Journal of Medical Informatics & Technologies; 2010, 15; 127-134
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of a Javanese Intelligent Tutor: an alternative to preserve endangered languages
Projekt inteligentnego tłumacza języka jawajskiego jako alternatywa dla zachowania zagrożonych języków
Autorzy:
Wibawa, A.P.
Nafalski, A.
Powiązania:
https://bibliotekanauki.pl/articles/159363.pdf
Data publikacji:
2010
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
Tematy:
inteligentne systemy uczące
język jawajski
intelligent tutoring systems
Javanese language
Opis:
Language is a means of communication in writing and in speech, is important part of culture of every nation, and helps to maintain the history and civilization. The domination of languages such as English reduces the significance of local languages and makes them marginalised. Many research projects address endangered languages, in the attempted vitalisation methods and development of theireffectiveteaching methods. The article discusses Intelligent Tutoring System as applied to Artificial Javanese Intelligent Tutor (AJI-Tutor).
Język jest środkiem komunikacji w piśmie i w mowie. Jest ważną częścią kultury każdego narodu, służy zachowaniu historii i cywilizacji. Dominacja języków takich jak angielski zmniejsza znaczenie lokalnych języków i przyczynia się do ich marginalizacji. Wiele projektów badawczych adresuje zagrożone języki, w próbie ożywienia metod ich witalizacji i rozwoju metod ich nauczania. Artykuł omawia Intelligent Tutoring Systems w zastosowaniu do Artificial Javanese Intelligent Tutor (AJI Tutor).
Źródło:
Prace Instytutu Elektrotechniki; 2010, 247; 25-36
0032-6216
Pojawia się w:
Prace Instytutu Elektrotechniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Asercyjne rozszerzenie języka ST normy IEC 61131-3 do dynamicznej weryfikacji systemów sterowania
Assertional extension in ST language of IEC 61131-3 standard for control systems dynamic verification
Autorzy:
Sadolewski, J.
Powiązania:
https://bibliotekanauki.pl/articles/276931.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
oprogramowanie
projektowanie kontraktowe
język ST
systemy sterowania
software
design by contract
Structured Text language
control systems
Opis:
W pracy przedstawiono propozycję asercyjnego rozszerzenia języka ST (Structured Text) normy IEC 61131-3, nawiązującego do reguł projektowania kontraktowego i języka JML (Java Modeling Language). Zapisane asercje można przekształcić do kodu podczas kompilacji w celu uzyskania możliwości dynamicznej weryfikacji programów sterowania oraz detekcji błędów czujników. Przykłady dotyczą sterowania układem grzałek w zależności od temperatury oraz urządzenia do sortowania drewna.
The paper presents a proposition of assertional extension in Structured Text language from IEC 61131-3 standard, according to design by contract rules and JML (Java Modeling Language). Stored assertions could be converted to the code at compile time to obtain possibility of dynamic verification and for sensors failure detection. Heater control system and wood sorter machine are examples.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 2; 305-314
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Introduction to Alvis modelling language
Wprowadzenie do języka modelowania Alvis
Autorzy:
Szpyrka, M.
Matysik, P.
Mrówka, R.
Witalec, W.
Baniewicz, J.
Balicki, K.
Powiązania:
https://bibliotekanauki.pl/articles/152699.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
język modelowania Alvis
formalna weryfikacja
systemy wbudowane
Alvis language
formal verification
embedded systems
Opis:
Alvis is a novel modelling language designed for embedded systems. It combines both high level programming language used to define agents behaviour with hierarchical graphical modelling language used to define interconnections between agents. The paper presents a survey of the most important features of the language.
Alvis jest nowym językiem modelowania przeznaczonym do rozwijania systemów wbudowanych. Łączy w sobie cechy języków programowania wysokiego poziomu z hierarchicznym językiem modelowania połączeń między agentami. Podstawowym elementem języka Alvis są agenty, które mogą działać współbieżnie, komunikować się ze sobą, czy też współzawodniczyć o zasoby dzielone. Dynamika poszczególnych agentów jest opisywana w warstwie kodu używającej do tego celu języka programowania wysokiego poziomu (połączenie natywnych konstrukcji języka Alvis i języka funkcyjnego Haskell). W warstwie graficznej definiowane są połączenia między agentami wskazujące, które agenty się ze sobą komunikują i jaki jest kierunek tej komunikacji. Warstwa ta ma postać grafu hierarchicznego, co pozwala rozwijać systemu wbudowane metodą od ogółu do szczegółu lub odwrotnie. Formalną reprezentacjąmodelu w języku Alvis jest graf LTS (Labelled Transition System), który reprezentuje wszystkie osiągalne stany i przejścia między nimi. Graf ten jest stosowany do formalnej weryfikacji modelu. Artykuł zawiera przegląd najistotniejszych cech języka Alvis.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1086-1089
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 56

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies