Informacja

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

Wyszukujesz frazę "systemy komputerowe" wg kryterium: Temat


Wyświetlanie 1-11 z 11
Tytuł:
Dependability in computer systems - concepts and terminology
Niezawodność w systemach komputerowych - koncepcje i terminologia
Autorzy:
Fidalgo, A.
Powiązania:
https://bibliotekanauki.pl/articles/267966.pdf
Data publikacji:
2008
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
niezawodność
systemy komputerowe
tolerancja na uszkodzenia
dependability
computer systems
fault tolerance
Opis:
Dependability is a key issue in modern computer systems, particularly when dealing with critical systems. All related concepts should be clearly defined and applied, including their attributes, components and threats. It is also necessary to differentiate between faults, errors and failures and also between the various techniques to handle such hazards. Additionally, concepts like verification or validation must also be clearly differentiated.
W artykule podano precyzyjną klasyfikację, koncepcje i przyjętą terminologię pojęć związanych bezpieczeństwem niezawodnością i bezpieczeństwem w systemach komputerowych. Zwrócono uwagę na atrybuty niezawodności oraz rodzaje propagacji uszkodzeń. W trybach awaryjnych systemu określono metody przeciwdziałania, zwracając uwagę na weryfikację tych metod. Jako szczególny tryb weryfikacji niezawodności systemu komputerowego wyróżniono testy iniekcji uszkodzeń.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2008, 25; 37-40
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Architecture for hierarchical policy-supervised fault detection component / middleware
Architektura Hierarchicznego Zarządzanego Politykami Komponentu / Oprogramowania Pośredniczącego Systemu Detekcji Błędów
Autorzy:
Pelc, M.
Powiązania:
https://bibliotekanauki.pl/articles/152596.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
komputerowe systemy sterowania
systemy autonomiczne
przetwarzanie z wykorzystaniem polityk
computer control systems
autonomic systems
policy-based computing
Opis:
In this paper an idea of a layered, hierarchical policy-supervised diagnostic / fault detection component and middleware supporting humans` decision-making will be presented. This system will be based on Open Decision Point architecture and as such the system will offer an ease of reconfiguration via policies replacement in the decision making component. For the diagnostic / decision making support purposes AGILE policies will be used. In order to present practical implementation of the subject architecture, a proof of concept application to the distillation column is described. Selected simulation results are used to show advantages of the proposed approach.
W niniejszym artykule zaprezentowana zostanie architektura warstwowej, hierarchicznej zarządzanej politykami architektury komponentu i oprogramowania pośredniczącego dla systemu diagnostycznego. W ramach proponowanych rozwiązań wyróżnione zostały trzy funkcjonalne warstwy, które pozwalają na zwiększenie efektywności procesu decyzyjnego poprzez filtrowanie i preselekcję zdarzeń sygnalizowanych w systemie diagnostycznym / monitorującym. Oba zaproponowane rozwiązania (zarówno implementacja w obrębie jednego komponentu jak implementacja w systemie rozproszonym) wykorzystują architekturę Otwartego Punktu Decyzyjnego i jako takie oferują łatwość rekonfiguracji poprzez zamianę aktualnych polityk odpowiedzialnych za podejmowanie decyzji. Wsparcie dla systemu diagnostyki / podejmowania decyzji zapewniają polityki w języku AGILE. Aby zaprezentować praktyczną implementację tytułowych architektur opisane rozwiązania zostaną zastosowane w systemie sterowania kolumny destylacyjnej. Wybrane wyniki symulacji pokażą zalety zaproponowanego rozwiązania.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1005-1010
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The voice interface implementation in the prototype of a mobile computer-aided aircraft technical support system
Implementacja interfejsu głosowego w prototypie przenośnego komputerowego systemu wspomagania obsługi statku powietrznego
Autorzy:
Golański, P.
Szczekała, M.
Powiązania:
https://bibliotekanauki.pl/articles/222300.pdf
Data publikacji:
2017
Wydawca:
Akademia Marynarki Wojennej. Wydział Dowodzenia i Operacji Morskich
Tematy:
aircraft maintenance
computer support system
expert systems
CLIPS
mobile systems
VUI interfaces
obsługa statku powietrznego
komputerowe systemy wspomagania
systemy ekspertowe
systemy mobilne
interfejsy VUI
Opis:
The article concerns the use of computer support systems for technical support in the difficult conditions. The term difficult conditions should be understood as such conditions, in which an operation is carried out in a specific location, impeding or preventing the use of the computer. In such cases, computers integrated with operators’ working clothes (wearable computers) should be used, with which the communication takes place using voice. This article shows the attempt to resolve the problem of voice communications in a portable system to handle aircraft M-28.
Artykuł dotyczy problematyki wykorzystania komputerowych systemów wspomagania obsługi obiektów technicznych w warunkach trudnych. Pod pojęciem warunków trudnych należy rozumieć takie warunki, w których obsługa odbywa się w specyficznej lokalizacji, utrudniającej lub wręcz uniemożliwiającej wykorzystanie komputera. W takich przypadkach należy stosować komputery zintegrowane z odzieżą roboczą operatora, tzw. komputery do noszenia (wearables computers), z którymi komunikacja odbywa się za pomocą głosu. W artykule przedstawiono próbę rozwiązania problemu komunikacji głosowej w przenośnym systemie wspomagania obsługi samolotu M-28.
Źródło:
Zeszyty Naukowe Akademii Marynarki Wojennej; 2017, R. 58 nr 2 (209), 2 (209); 31-37
0860-889X
Pojawia się w:
Zeszyty Naukowe Akademii Marynarki Wojennej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Semi-formal methods in safety railway control systems validation
Autorzy:
Magott, J.
Lewiński, A.
Perzyński, T
Powiązania:
https://bibliotekanauki.pl/articles/393301.pdf
Data publikacji:
2013
Wydawca:
Polskie Stowarzyszenie Telematyki Transportu
Tematy:
safety analysis
railway control computer system
THR
FTA
FTTD method
Markov process analysis
analiza bezpieczeństwa
komputerowe systemy sterowania ruchem kolejowym
metoda FTTD
analiza procesu Markowa
Opis:
Th e paper deals with extending the obligatory methods of safety proof of railway control and management computer systems towards more formalized methods based on mathematical apparatus. Such semi-formal methods are recommended by existing EU standards for the design, but also to demonstrate safe operation in accordance with the principle of the rail fail-safe rule, where no single error does not lead to catastrophic situations. Th e paper proposes an extension method of FTA (Fault Tree Analysis) method to FTTD (Fault Tree with Time Dependencies), and an analysis of THR method (Tolerable Hazard Rate) to the analysis of probability of catastrophic fault based on stationary Markov processes. Basic methods and their extension are shown on typical examples of rail automation systems: cross-level protection system and interlocking system.
Źródło:
Archives of Transport System Telematics; 2013, 6, 1; 32-36
1899-8208
Pojawia się w:
Archives of Transport System Telematics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The method for taking into account the indeterminacy in designing distributed connection systems
Uwzględnienie nieokreśloności w projektowaniu połączeniowych systemów rozproszonych
Autorzy:
Paszkiewicz, A.
Bolanowski, M.
Powiązania:
https://bibliotekanauki.pl/articles/155537.pdf
Data publikacji:
2013
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
computer networks
distributed system
indeterminacy
sieci komputerowe
systemy rozproszone
nieokreśloność
Opis:
Designing distributed systems requires consideration of many, usually conflicting parameters. The problem of selection and adaptation of solutions for the set of possible tasks, including evaluation of ambiguity and variability characteristics also contributes to the indeterminacy. Since part of the parameters taken into account in the design process changes its meaning, during the exploitation, the project created before cannot meet the requirements posed in front of him. Therefore it becomes necessary to include variability in time of the selected characteristics in the design [1]. In this paper, the way of taking indeterminacy into account with evaluation of the solution quality is presented.
Projektowanie systemów rozproszonych, tak jak wiele innych procesów projektowych, wymaga uwzględnienia licznych, zwykle sprzecznych ze sobą parametrów opisujących charakterystyki techniczne, ekonomiczne, uwarunkowania społeczne itp. projektowanych (modelowanych) obiektów. Próba odwzorowania złożonych relacji pomiędzy tymi charakterystykami prowadzi w większości przypadków do zadań NP-zupełnych. Z drugiej zaś strony, próby uproszczenia w tym zakresie modeli projektowanych obiektów, bazując na wybranych kryteriach (pojedynczych obszarach parametrów opisujących obiekt) nie pozwalają uzyskać pożądanych rezultatów. Problem wyboru i dostosowania dostępnych rozwiązań do zbioru potencjalnych zadań, z uwzględnieniem niejednoznaczności oceny oraz zmiennością charakterystyk opisujących obiekty przyczynia się do powstania nieokreśloności. Ponieważ w trakcie eksploatacji systemów rozproszonych część parametrów uwzględnianych w procesie projektowania zmienia swoje znaczenie, stworzony wcześniej projekt może nie spełniać stawianych przed nim wymagań. Konieczne staje się zatem uwzględnienie w projektowaniu zmienności w czasie wybranych charakterystyk systemu czy sieci komputerowej [1]. W artykule zaprezentowano sposób uwzględniania nieokreśloności w procesie projektowania systemów rozproszonych, a szczególnie systemów połączeniowych. Zaprezentowane własności uwzględniania nieokreśloności pozwalają na szerokie zastosowanie ich w przypadku projektowania systemów charakteryzujących się złożonością modeli ich opisujących oraz zmiennością warunków funkcjonowania.
Źródło:
Pomiary Automatyka Kontrola; 2013, R. 59, nr 10, 10; 1067-1069
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Learning Methods of Cognitive Agents Related to Decision Areasin DSS
Metody uczenia się agentów kognitywnych a obszary decyzyjne w swd
Autorzy:
Sobieska-Karpińska, Jadwiga
Hernes, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/587952.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Komputerowe wspomaganie decyzji
Systemy informatyczne
Systemy multiagentowe
Computer aided decision making
Computer system
Multi-agent system
Opis:
Stosowane obecnie systemy informatyczne wspomagają podejmowanie decyzji głównie na szczeblach operacyjnym i taktycznym, natomiast stają się niewystarczające na szczeblu strategicznym. Umożliwiają one bowiem jedynie analizę formy informacji, powiązań pomiędzy wartościami ekonomicznymi, natomiast nie wspomagają procesu analizy ich znaczenia. Zasadne staje się zatem wykorzystanie narzędzi, które realizują funkcje poznawcze i decyzyjne, jakie zachodzą w ludzkim mózgu, dzięki czemu potrafią zrozumieć rzeczywiste znaczenie obserwowanych zjawisk i procesów gospodarczych zachodzących w otoczeniu organizacji. Do narzędzi tych należą między innymi agenty kognitywne, które często współpracują ze sobą w ramach systemu wieloagentowego, aby skutecznie osiągnąć wyznaczony cel. Jedną z najważniejszych cech agentów kognitywnych jest umiejętność uczenia się. W niniejszym artykule dokonano analizy i usystematyzowania metod uczenia się agentów kognitywnych, które mogą być wykorzystane w konkretnych obszarach decyzyjnych wspomaganych przez system informatyczny. W pierwszej części przedstawiono charakterystykę i strukturę wieloagentowego systemu wspomagania decyzji. Następnie omówiono aspekty związane z problematyką architektur agentów kognitywnych. W końcowej części artykułu przedstawiono metody uczenia się agentów wyróżniane ze względu na różne kryteria, które mogą być wykorzystane w odniesieniu do danych obszarów decyzyjnych.
Źródło:
Studia Ekonomiczne; 2014, 188; 206-217
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Agile Approach to User-Centred System Design for Improving Software Quality
Metody lekkie w projektowaniu zorientowanym na użytkownika dla doskonalenia jakości oprogramowania
Autorzy:
Zadora, Piotr
Powiązania:
https://bibliotekanauki.pl/articles/589207.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Jakość oprogramowania
Oprogramowanie komputerowe
Systemy informatyczne
Computer software
Computer system
Software quality
Opis:
W artykule zaprezentowano połączenie dwóch metodologii, których celem jest poprawa jakości tworzonego oprogramowania. Przedstawiono właściwy sposób ich używania. Zdaniem Autora łączenie podejścia Agile z wytycznymi dla systemów tworzonych z udziałem odbiorcy końcowego (UCSD) prowadzi do tworzenia systemów informatycznych wysokiej jakości.
Źródło:
Studia Ekonomiczne; 2013, 158; 153-162
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
IT Systems Virtualization and the Example of its Academic Use
Wirtualizacja systemów informatycznych oraz jej zastosowanie na przykładzie uczelni wyższej
Autorzy:
Żytniewski, Mariusz
Sołtysik, Andrzej
Kurpanik, Jarosław
Powiązania:
https://bibliotekanauki.pl/articles/591442.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Infrastruktura informatyczna
Oprogramowanie komputerowe
Systemy informatyczne
Szkolnictwo wyższe
Wirtualizacja
Computer software
Computer system
Higher education
IT infrastructure
Virtualization
Opis:
Rozwój systemów informatycznych, a w szczególności ich warstwy sprzętowej powoduje, iż często posiadane przez firmę zasoby techniczne przerastają wymagania narzucane przez dostawców oprogramowania. W przypadku zastosowania rozwiązań informatycznych niewykorzystane moce obliczeniowe serwerów mogą być optymalizowane przez zastosowanie odpowiedniego oprogramowania pozwalającego na instalację wielu systemów operacyjnych na jednej maszynie oraz współdzielenie jej zasobów w obrębie wielu rozwiązań programowych. Powoduje to obniżenie kosztów serwisowania, sprzętu, prądu oraz ułatwia procesy zarządzania całym środowiskiem. Celem niniejszego opracowania jest ukazanie koncepcji wirtualizacji, jej rozwoju, typologii oraz zaprezentowanie doświadczeń dotyczących kilkuletniego zastosowania oprogramowania wspomagającego wirtualizację dla celów dydaktycznych, stosowanego Katedrze Informatyki Uniwersytetu Ekonomicznego w Katowicach. Ostatnia część ukazuje przykład oprogramowania wspomagającego zarządzanie infrastrukturą informatyczną, opracowanego na potrzeby wspomagania dynamicznej alokacji zasobów serwera.
Źródło:
Studia Ekonomiczne; 2014, 188; 293-306
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The Use of an Extended Data-Dialog-Modeling Paradigm in the Process of Building Decision Support Systems for End Users - the Example of Comarch Factoring Fraud Prevention
Zastosowanie rozszerzonego paradygmatu dane-dialog-modelowanie w procesie budowy systemu wspomagania decyzji użytkownika - przykład systemu Comarch Factoring Fraud Preventi
Autorzy:
Drosio, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/586684.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Ekonomiczny w Katowicach
Tematy:
Faktoring
Komputerowe wspomaganie decyzji
Systemy wspomagania decyzji
Zarządzanie ryzykiem
Computer aided decision making
Decision Support Systems (DSS)
Factoring
Risk management
Opis:
Niniejszy artykuł prezentuje praktyczne zastosowanie innowacyjnego podejścia do procesu budowy komputerowych systemów wspomagania decyzji (SWD). Podejście to opiera się na przedstawionym w 1999 roku rozszerzeniu klasycznego paradygmatu Spraqea-Carlsona dane-dialog-modelowanie służącego do budowy systemów wspomagania organizacji. Stanisław Stanek w swojej książce zaproponował dodanie do powyższego narzędzia elementów komunikacji, wiedzy oraz kreatywności. W niniejszym artykule zaprezentowano praktyczne wykorzystanie rozszerzonego paradygmatu w procesie budowy narzędzia Comarch Factoring Fraud Prevention, które wspiera podejmowanie decyzji przez użytkowników końcowych w zarządzaniu ryzykiem na potrzeby realizacji transakcji faktoringowych.
Źródło:
Studia Ekonomiczne; 2013, 158; 29-42
2083-8611
Pojawia się w:
Studia Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Magneto-acoustic seaports security systems: state of the art
Magnetyczno-akustyczne systemy zabezpieczania portów morskich: stan aktualny wiedzy
Autorzy:
Gucma, L.
Gucma, M.
Dobryakova, L.
Ochin, E.
Powiązania:
https://bibliotekanauki.pl/articles/360169.pdf
Data publikacji:
2012
Wydawca:
Akademia Morska w Szczecinie. Wydawnictwo AMSz
Tematy:
systemy akustyczne
hydroakustyczne
wibracyjne i magnetyczne
sieci komputerowe
telekomunikacje
WiMAX
zabezpieczanie portów
acoustic
hydroacoustic
vibration and magnetic systems
networks
telecommunications
port security
Opis:
The popularity of wireless technologies during the last decade has created a considerable expansion of wireless networks. Many researchers work now on the area of wireless resource planning and optimization. Optimization is considered as the main approach to designing and improving the performance of Wireless Local Area Networks Infrastructure of Seaports Security Systems. The presented models and algorithms enable flexible coverage planning and optimization of Wireless Network Infrastructure.
Popularność technologii bezprzewodowych w ciągu ostatniego dziesięciolecia świadczy o znacznym rozwoju sieci bezprzewodowych. Dzięki rozwojowi technologicznemu wielu pracowników naukowych może zajmować się projektowaniem i optymalizacją sieci komputerowych i telekomunikacyjnych. Jednym z ważnych zastosowań technologii bezprzewodowych lokalnych sieci komputerowych może być budowa kompleksowych systemów zabezpieczania portów morskich, co przedstawiono w artykule.
Źródło:
Zeszyty Naukowe Akademii Morskiej w Szczecinie; 2012, 29 (101); 37-44
1733-8670
2392-0378
Pojawia się w:
Zeszyty Naukowe Akademii Morskiej w Szczecinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of Computer Mathematical Tools in University Training of Computer Science and Mathematics Pre-service Teachers
Zastosowanie komputerowych instrumentów matematycznych w przygotowaniu przyszłych nauczycieli informatyki i matematyki na uniwersytetach
Autorzy:
Semenikhina, Olena
Proshkin, Volodymyr
Naboka, Olha
Powiązania:
https://bibliotekanauki.pl/articles/1365813.pdf
Data publikacji:
2020-12-29
Wydawca:
Wydawnictwo Uniwersytetu Śląskiego
Tematy:
komputerowe narzędzia matematyczne
dynamiczne oprogramowanie geometryczne
systemy algebry komputerowej
przyszły nauczyciel informatyki
przyszły nauczyciel matematyki
Edukacja na Uniwersytecie
computer mathematical tools
dynamic geometry software
computer algebra system
pre-service teacher of mathematics
pre-service teacher of computer science
university education
Opis:
The requirements for the training of mathematics and computer science teachers to use specialized mathematical software in professional activities are substantiated in the article. Among them: the ability to creatively choose the forms and methods of teaching for the use of specialized software; ability to find non-standard or creative mathematical problems; ability to make an informed choice of specialized software; ability to see possible ways to check the result obtained by the pupil; the ability to eliminate common mistakes when pupils use computer tools, etc. The specialized mathematical software, which is used today in mathematical training of mathematics and computer science teachers in Ukraine, has been specified. The specialized mathematical software which is used today for teaching mathematics in schools of Ukraine is given. The analysis of computer tools used by the teacher in the most common mathematical software is carried out. The most urgent problems faced by mathematics teachers in their professional activities are highlighted. The experiment with ninth-grade pupils proved the positive impact of using dynamic geometry software and appropriate mathematical tools on the level of pupils’ mathematical training, which is reason to talk about the importance of computer science and mathematics pre-service teacher training to involve such tools in professional activities. Prospects for further research in the direction of developing methods for using computer mathematical tools in a research-based learning environment are presented.
W artykule uzasadniono wymagania stawiane kształceniu nauczycieli matematyki i informatyki w kontekście wykorzystania specjalistycznego oprogramowania na kierunku matematycznym w działalności zawodowej. Wśród nich: umiejętność twórczego doboru form i metod nauczania obsługi specjalistycznego oprogramowania; umiejętność znajdowania niestandardowych lub kreatywnych problemów matematycznych; umiejętność dokonania wyważonego wyboru specjalistycznego oprogramowania; możliwość zobaczenia możliwych sposobów sprawdzenia wyniku uzyskanego przez ucznia; umiejętność eliminowania typowych błędów przy korzystaniu z narzędzi komputerowych itp. Doprecyzowano specjalistyczne oprogramowanie kierunku matematycznego, które jest obecnie wykorzystywane w kształceniu matematycznym nauczycieli matematyki i informatyki na Ukrainie. Przedstawiono specjalistyczne oprogramowanie kierunku matematycznego, które jest dziś używane do nauczania matematyki w ukraińskich szkołach. Dokonuje się analizy narzędzi komputerowych wykorzystywanych przez nauczyciela we wspólnym oprogramowaniu kierunku matematycznego. Zwrócono uwagę na najpilniejsze problemy, z którymi borykają się nauczyciele matematyki w swojej działalności zawodowej. W wyniku eksperymentu z uczniami klas 9 wykazano pozytywne uwarunkowanie stosowania dynamicznych układów geometrycznych i odpowiednich narzędzi matematycznych na poziom przygotowania matematycznego uczniów, co jest podstawą do rozmowy o znaczeniu przygotowania przyszłych nauczyciel informatyki i matematyki do wykorzystania takich narzędzi we własnej działalności zawodowej. Przedstawiono perspektywy dalszych badań naukowych w kontekście opracowania metodologii wykorzystania komputerowych narzędzi matematycznych w uczeniu się opartym na badaniach.
Źródło:
International Journal of Research in E-learning IJREL; 2020, 6, 2; 1-23
2451-2583
2543-6155
Pojawia się w:
International Journal of Research in E-learning IJREL
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-11 z 11

    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