Filters
total: 1985
filtered: 1519
-
Catalog
- Publications 1519 available results
- Journals 46 available results
- Conferences 24 available results
- Publishing Houses 1 available results
- People 56 available results
- Inventions 1 available results
- Projects 4 available results
- Laboratories 1 available results
- Research Teams 3 available results
- e-Learning Courses 233 available results
- Events 95 available results
- Open Research Data 2 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: PRAKTYKI FORMALNE
-
Społeczna odpowiedzialność biznesu w Polsce na przykładzie dziesięciu największych firm
PublicationCelem artykułu jest analiza problemu Społecznej Odpowiedzialności Biznesu (ang. CSR) oraz jego odzwierciedlenie w rzeczywistości gospodarczej. W części teoretycznej zarysowane zostaną m.in. przyczyny, źródła i główne idee CSR. Drugą część stanowi studium przypadku zawierające analizę (opartą na kryteriach własnych autora) 10 największych przedsiębiorstw w Polsce w celu odpowiedzi na pytanie w jaki sposób rozwiązania dyktowane...
-
Trends in solventless sample preparation techniques for environmental analysis
PublicationPraca przedstawia najnowsze tendencje w metodach przygotowania próbek do analizy środowiskowej. Najpierw przedstawiono klasyfikację tzw. bezrozpuszczalnikowych technik przygotowania próbek. Następnie, szczegółowo przedstawiono trzy techniki, traktowane priorytetowo, a mianowicie: mikroekstrakcję do fazy stacjonarnej (SPME), ekstrakcję do pojedynczej kropli (SPME)i analizę fazy nadpowierzchniowej (HS), w odniesieniu do ich użyteczności...
-
Stanowisko do diagnostyki zabezpieczeń różnicowoprądowych
PublicationW pracy przedstawiono stanowisko laboratoryjne, które umożliwia badanie zabezpieczeń różnicowoprądowych przy wybranych przebiegach prądu różnicowego przewidzianych przez normy przedmiotowe oraz przy różnych przebiegach prądu różnicowego spotykanych w praktyce, a nie przewidzianych przez normy przedmiotowe. Stanowisko umożliwia generowanie ustalonych prądów różnicowych oraz różnego typu prądów przejściowych. Zasadniczym elementem...
-
Zastosowanie certyfikowanych materiałów odniesienia - niezbędny warunek uzyskania miarodajności pomiarów
PublicationCertyfikowane materiały odniesienia stanowią jedno z pięciu elementów systemu zapewnienia i kontroli jakości wyników pomiarów. Optymalny i odpowiedni wybór materiału odniesienia oraz zgodny z przeznaczeniem sposób jego stosowania są niezbędne przy wykorzystaniu tych materiałów do potwierdzenia miarodajności pomiarów.W wystąpieniu omówiono zarówno poprawne zasady wyboru jak i stosowania materiałów odniesienia w praktyce laboratoryjnej....
-
Umowa rezultatu : Umowa starannego działania
PublicationOpracowane w publikacji hsła ''mowa rezultatu'' i ''Umowa starannego działalnia'' poddają analizie umowy, których istotą jest bądź rezultat bądź właśnie staranne działanie. M to szczególne znaczenie w praktyce bowiem od tego typu wyróżnienia uzależnia się stosowanie odpowiednich przepisów i kwalifikację prawną całej umowy - w tym prawa i obowiązki jej stron. W opracowaniu uwzględniono przede wszystkim świadczenie usług medycznych...
-
Polityka i strategia finansowa w jednostkach samorządu terytorialnego
PublicationArtykuł przybliża zagadnienia polityki finansowej prowadzonej przez jednostki samorządu terytorialnego. Odnosi się także do terminów polityka i strategia, które w praktyce samorządu wzajemnie się nakładają. Autor precyzuje poszczególne elementy polityki finansowej oraz uściśla podmioty tej polityki na szczeblu gminy, powiatu i województwa. Artykuł kończą wnioski autora wskazujące, że jednostki samorządu terytorialnego nie są zwolnione...
-
Showing compliance of probabilistic assessments with safety goals
PublicationW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
Application of higher order spectra in harmonic analysis of corrosion process
PublicationZjawiska nieliniowe są niezwykle często spotykane w praktyce badań elektrochemicznych i korozyjnych. Typowym przykładem są procesy elektrodowe kontrolowane szybkością przeniesienia ładunku. Często stosowanym w takich przypadkach podejściem jest aproksymacja fragmentu krzywej prąd-napięcie za pomocą charakterystyki liniowej. W niniejszej pracy autorzy prezentują możliwość wykorzystania pomiarów składowych harmonicznych do oceny...
-
Modeling of hazards, consequences and risk for safety assessment of ships in damaged conditions in operation
PublicationPraca dotyczy problematyki związanej z modelowaniem zagrożeń, konsekwencji i ryzyka, w metodzie oceny bezpieczeństwa statków w stanie uszkodzonym. Metoda oparta jest na podejściu zorientowanym na ocenę zachowania się statku i ocenę ryzyka wypadku. Kolejne moduły metody dotyczą identyfikacji zagrożeń i scenariuszy wypadków oraz oceny i kontroli ryzyka. Ocenę ryzyka można przeprowadzić przy zastosowaniu elementów metodyki Przypadku...
-
UWARUNKOWANIA ZMIAN TARYFOWYCH W MIEJSKIM TRANSPORCIE ZBIOROWYM NA OBSZARZE FUNKCJONOWANIA METROPOLITALNEGO ZWIĄZKU KOMUNIKACYJNEGO ZATOKI GDAŃSKIEJ
PublicationW sytuacji gdy transport zbiorowy jest obsługiwany przez więcej niż jednego organizatora, powstają problemy koordynacji taryf w różnych przekrojach i konkurencji cenowej pomiędzy ofertą poszczególnych organizatorów transportu komunalnego. Obszarem takim jest licząca ponad 1 mln mieszkańców Metropolia Zatoki Gdańskiej, na terenie której obowiązują taryfy uchwalane przez kilka rad miast i gmin oraz ustanowione przez operatorów kolejowych....
-
Wykluczenie finansowe osób w wieku 50+ na rynku usług ubezpieczeniowych
PublicationW artykule wyróżniono podstawowe determinanty wykluczenia finansowego osób w wieku powyżej 50. roku życia, zaprezentowane w trzech podstawowych grupach czynników: społecznych, popytowych i podażowych. Na podstawie przeprowadzonych analiz zidentyfikowano osoby starsze jako jedną z grup społecznych najbardziej narażonych na wykluczenie finansowe. Stwierdzono, że specyfika produktów ubezpieczeniowych i praktyka zakładów ubezpieczeń...
-
Technological improvements in food production in the context of food quality and health safety.
PublicationW rozdziale wykazano sprzeczność pomiędzy szczytnymi celami Prawa Żywnościowego UE mającymi na celu absolutna ochronę zdrowia konsumenta a praktyką i wpływem wielkich organizacji przemysłowych skutkiem działań których, liczba dodatków do żywności z ok. 260 dozwolonych w RP przed wstąpieniem do UE wzrosła do ponad 330 wg aktów prawnych UE. Stosowanie dodatków do żywności ma przede wszystkim na celu przedłużenie okresu "shelf life"...
-
Sparse autoregressive modeling
PublicationIn the paper the comparison of the popular pitch determination (PD) algorithms for thepurpose of elimination of clicks from archive audio signals using sparse autoregressive (SAR)modeling is presented. The SAR signal representation has been widely used in code-excitedlinear prediction (CELP) systems. The appropriate construction of the SAR model is requiredto guarantee model stability. For this reason the signal representation...
-
Proces zmiany sprzedawcy energii elektrycznej w Polsce
PublicationOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). W trakcie...
-
Procedura zmiany sprzedawcy energii elektrycznej w Polsce
PublicationOstatnie kilkanaście lat w polskiej energetyce to okres dynamicznych zmian. Jednym z istotnych przykładów tych przemian jest liberalizacja rynku energii. Wprowadzone, w krajowej energetyce, mechanizmy rynku konkurencyjnego umożliwiają odbiorcom energii m.in. swobodny wybór sprzedawcy energii elektrycznej w formule TPA. W artykule przedstawiony został proces zmiany sprzedawcy bazujący na generalnej umowie dystrybucji (GUD). Odniesiono...
-
Navy sonar's modernization developed in Gdansk University of Technology
PublicationSzybki rozwój technologii elektronicznej i metod przetwarzania sygnałów powoduje szybkie starzenie moralne systemów instalowanych na okrętach. Ponieważ kadłuby, silniki i inne, drogie, mechaniczne komponenty okrętów nie starzeją się w takim tempie i wytrzymują kilkadziesiąt nawet lat eksploatacji, istnieje głęboki sens modernizacji systemów sonarowych, z ewentualnym zachowaniem istniejących anten hydroakustycznych i ich stabilizacji....
-
Chemia analityczna w lipidomice
PublicationLipidomika, stanowiąca gałąź metabolomiki, jest prężnie rozwijającą się dziedziną nauki, w której badania ukierunkowane są na identyfikację oraz oznaczenie ilościowe lipidów komórkowych, poznanie ich funkcji biologicznych oraz oddziaływań z innymi cząsteczkami. Wzrost zainteresowania badaniami lipidomicznymi w ostatnich latach, zwłaszcza w obszarze tworzenia profili lipidów komórkowych, związany był z wprowadzeniem do praktyki...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublicationW pracy podjęto próbę wyjaśnienia kwestii uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie dwóch wiodących programów. Przedstawiono własną, analityczną metodę projektowania układów torowych,...
-
Tradycyjne i nowoczesne kanały dystrybucji wykorzystywane w procesie świadczenia usług ubezpieczeniowych dojrzałym konsumentom
PublicationPrzedmiotem artykułu są usługi ubezpieczeniowe świadczone z wykorzystaniem tradycyjnych i nowoczesnych kanałów dystrybucji. W artykule skoncentrowano się na osobach powyżej 50 roku życia, szczególnie narażonych na zjawisko wykluczenia cyfrowego. Na podstawie przeglądu literatury sformułowano hipotezę badawczą: cechy społeczno – demograficzne osób powyżej 50 roku życia wpływają na ich skłonność do korzystania z usług ubezpieczeniowych...
-
Modelling and simulation analysis of process alternatives in the cellular manufacturing of axially symmetric parts
PublicationAnalizowano procesy technologiczne (PT) alternatywnego wytwarzania określonego spektrum przedmiotów (PO) w różnych systemach gniazdowych. Rozpatrzono warianty PT z operacjami zintegrowanej obróbki wiórowej kształtującej i obróbki wykańczającej poprzez nagniatanie, oraz wariantów z różnicowaniem operacji, w których obróbka wykańczająca realizowana jest w oddzielnych operacjach szlifowania. Dla potrzeb gniazdowej dekompozycji systemów...
-
Od zrównoważonego rozwoju do dewzrostu - paradygmaty krytyczne wobec wzrostu i ich implikacje dla planowania przestrzennego
PublicationPomimo ponad trzech dekad wdrażania koncepcji zrównoważonego rozwoju środowisko Ziemi ulega dalszej degradacji i destabilizacji. Sytuacja ta przekłada się na ożywienie antycypowanej już w latach 70. XX w. krytyki założeń leżących u podstaw koncepcji zrównoważonego rozwoju – spośród których kluczowe wydaje się założenie możliwości rozłączenia (decoupling) wzrostu gospodarczego i negatywnego oddziaływania na środowisko. W niniejszym...
-
Postawy osób starszych wobec tradycyjnych i innowacyjnych kanałów dystrybucji usług finansowych
PublicationRosnący udział osób starszych w strukturze populacji stawia nowe wyzwania przed przedsiębiorstwami oferującymi produkty do nich skierowane. Przykładem takich produktów są usługi finansowe. Przedmiotem niniejszego tekstu są usługi ubezpieczeniowe i bankowe oferowane osobom starszym z wykorzystaniem tradycyjnych i nowoczesnych kanałów dystrybucji. Na podstawie przeglądu literatury sformułowano dwie hipotezy badawcze: H1: Cechy społeczno-demograficzne...
-
Estymacia stanu nieliniowych obiektów dynamicznych.
PublicationW wielu zagadnieniach z obszaru teorii i praktyki sterowania, w tym identyfikacji lub regulacji, oraz diagnostyki procesów, wykorzystywana jest ocena (estymacja) stanu obiektu dynamicznego. Dla obserwowanego procesu, który można opisać dyskretno-czasowym modelem Gaussa-Markowa, istnieje nieobciążony estymator minimalnowariancyjny stanu, znany jako filtr Kalmana.W pewnych praktycznych sytuacjach model Gaussa-Markowa może być jednak...
-
Modelling and simulation analysis of process alternatives in the cellular manufacturing of axially symmetric parts [online]
PublicationAnalizowano procesy technologiczne (PT) alternatywnego wytwarzania określonego spektrum przedmiotów (PO) w zróżnicowanych systemach gniazdowych. Rozpatrzono warianty PT z operacjami zintegrowanej obróbki wiórowej kształtującej i obróbki wykańczającej poprzez nagniatanie, oraz wariantów z różnicowaniem operacji, w których obróbka wykańczająca realizowana jest w oddzielnych operacjach szlifowania. Dla potrzeb gniazdowej dekompozycji...
-
Problemy bezpieczeństwa systemów informatycznych organizacji.
PublicationScharakteryzowano najczęściej stosowane sposoby naruszania bezpieczeństwa systemów informatycznych organizacji oraz omówiono cele i motywy włamywaczy. Następnie podano definicję polityki bezpieczeństwa organizacji oraz omówiono podstawowe strategie i taktyki realizacji bezpieczeństwa. W kolejnym rozdziale omówiono najczęściej stosowane sposoby zwiększania bezpieczeństwa systemów informatycznych. W podsumowaniu rozwinięta jest teza,...
-
Risk criteria for sea-going ships arising from the operation of the main engines' crankshaft - conecting rod - piston systems
PublicationIn the article the risk criterion for sea-going ships arising from the operation of the main engines' crankshaft - connecting rod - piston systems is proposed. These criterion is based on the procedures recommended in the Formal Safety Assessment method developed under the auspices of International Maritime Organization (IMO). First of all the collective risk criterion for ship has been proposed. In the next step, the share of...
-
Virtual Engineering Objects: Effective Way of Knowledge Representation and Decision Making
PublicationThis paper presents a knowledge representation case study by constructing Decisional DNA of engineering objects. Decisional DNA, as a knowledge representation structure not only offers great possibilities on gathering explicit knowledge of formal decision events but also it is a powerful tool for decision-making process. The concept of Virtual engineering Object (VEO), which is a knowledge and experience representation of engineering...
-
Participatory approach to urban regeneration processes in polish cities and regions
PublicationThe paper presents the impact of EU Cohesion Policy 2014-2020 on regeneration processes which are implemented in Polish towns, cities and metropolis when emphasizing general formal and legal framework including examination of the possible distribution of EU funds for regeneration projects within the regional operational programmes. The paper focuses on different approaches to the implementation of Cohesion Policy in Polish regions....
-
Firing map of an almost periodic input function
PublicationIn mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system ẋ = f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map for the simplified model ẋ = f(t) still...
-
Modelowanie i ograniczanie skutków ataków uzurpacji uprawnień w systemach teleinformatycznych wspierających różnicowanie poziomu QoS
PublicationW wieloagentowych systemach teleinformatycznych pracujących w paradygmacie Klient-Serwer i wspierających różnicowanie poziomu QoS poważnym zagrożeniem są ataki uzurpacji uprawnień metodą Fałszywego VIPa. Ich celem jest zapewnienie Klientowi nienależnie wysokiego poziomu QoS, co powoduje nadużycie zasobów Serwera i szkody dla innych Klientów. W referacie podjęto próbę sforma-lizowania modelu takich ataków oraz zaproponowa-no obustronnie...
-
Monitorowanie zabiegów kardiochirurgicznych
PublicationNiniejszy rozdział jest poświęcony analizie możliwości wykorzystania obiektywnych ilościowych metod pomiarowych w podczerwieni do oceny procedur interwencji kardiochirurgicznych, głównie procedur standardowych, powszechnie stosowanych w praktyce medycznej. Prezentowane wyniki uzyskano, realizując projekty badawcze, w szczególności grant KBN 3T11E 010 27 „Analiza technik diagnostycznych i terapeutycznych w celu minimalizacji ryzyka...
-
It applications for the remote testing of hearing.
PublicationTelemedycyna odgrywa coraz wiekszą rolę w diagnostyce i leczeniu osób z ubytkami słuchu. Jest to związane m.in. ze specyfiką badań audiometrycznych. Postęp technologiczny w dziedzinie aparatów słuchowych i implantów ślimakowych wymusza nowe metody diagnozy w audiologii, jak również w praktyce otolaryngologicznej. Serwis ''Telezdrowie'', w którym zaimplementowano liczne testy przesiewowe jest przykładem prowadzenia diagnostyki w...
-
Budowa i badania prototypowych podukładów funkcjonanych elektronicznych i energoelektronicznych, w tym wysokotemperaturowych, wykorzystujących opracowane elementy i przyrządy - zadanie 3. projektu ''Nowe technologie na bazie węglika krzemu i ich zastosowania w elektronice wielkich częstotliwości, dużych mocy i wysokich temperatur''
PublicationPrzedstawiono główne cele zadania 3. projektu zamawianego nt. ''Nowe technologie na bazie węglika krzemu i ich zastosowania w elektronice wielkich częstotliwości dużych mocy i wysokich temperatur''. Są to: badania typowych układów elektronicznych i energoelektronicznych z zastosowaniem kompercyjnych elementów i przyrządów z SiC w celu opracowania rozwiązań, które będą mogły być stosowane w praktyce i będą korzystniejsze niż zastosowane...
-
Wspomagana komputerowo lokalizacja strefy potencjału zerowego w eksploatacyjnych badaniach uziemień
PublicationDla dokładności pomiaru rezystancji uziemienia bardzo istotną rolę odgrywa właściwe umieszczenie sondy napięciowej w układzie pomiarowym. Sonda ta powinna się znajdować w tzw. strefie potencjału zerowego, co umożliwia zmierzenie napięcia uziomowego. W praktyce nieraz trudno jest zlokalizować strefę potencjału zerowego, szczególnie wtedy, kiedy do dyspozycji jest ograniczony obszar do rozmieszczenia uziomów pomocniczych na terenie...
-
Preparatywna chromatografia cieczowa, podstawowe zasady efektywnego stosowania, elementy preparatyki
PublicationPreparatywna chromatografia cieczowa jest techniką używaną do wyodrębniania pojedynczej, lub kilku substancji z mieszaniny kilku, albo bardzo wielu substancji, szczególnie o bardzo zbliżonych strukturach molekularnych, w tym, także do rozdzielania i otrzymywania izomerów optycznych. W pracy zamieszczono ogólne zasady optymalnego stosowania. Szczególną uwagę zwrócono na wybór sorbentu, ekonomię i problem rozpuszczalności próbki....
-
Straty energetyczne w silniku hydraulicznym obrotowym - definicje i zależności służące ocenie sprawności silnika i napędu hydrostatycznego
PublicationStosowane dotychczas w badaniach naukowych i w praktyce przemysłowej metody oceny oceny strat i sprawności energetycznej obrotowych silników hydraulicznych dają błędne rezultaty, ponieważ obarczone są wpływem samych strat na parametry, w funkcji których straty i sprawności są oceniane. Celem pracy było zdefiniowanie w silniku parametrów pracy, rozwijanych mocy, występujących strat i sprawności energetycznej, a także pokazanie ich...
-
Przepisy ogólne
PublicationKomentarz zawiera szczegółowe omówienie przepisów ustawy o komornikach sądowych i egzekucji. Autorzy analizują problemy, które pojawiają się w praktyce, a są związane z postępowaniem egzekucyjnym, a także szerzej - z postępowaniem cywilnym. W monografii przedstawiono prawa i obowiązki komorników sądowych, sposób ich powołania i odwołania, kwestie nadzoru nad nimi i ich odpowiedzialności dyscyplinarnej. Szczególnie przydatna dla...
-
Obowiązki i prawa komorników
PublicationKomentarz zawiera szczegółowe omówienie przepisów ustawy o komornikach sądowych i egzekucji. Autorzy analizują problemy, które pojawiają się w praktyce, a są związane z postępowaniem egzekucyjnym, a także szerzej - z postępowaniem cywilnym. W monografii przedstawiono prawa i obowiązki komorników sądowych, sposób ich powołania i odwołania, kwestie nadzoru nad nimi i ich odpowiedzialności dyscyplinarnej. Szczególnie przydatna dla...
-
Aplikanci i asesorzy komorniczy
PublicationKomentarz zawiera szczegółowe omówienie przepisów ustawy o komornikach sądowych i egzekucji. Autorzy analizują problemy, które pojawiają się w praktyce, a są związane z postępowaniem egzekucyjnym, a także szerzej - z postępowaniem cywilnym. W monografii przedstawiono prawa i obowiązki komorników sądowych, sposób ich powołania i odwołania, kwestie nadzoru nad nimi i ich odpowiedzialności dyscyplinarnej. Szczególnie przydatna dla...
-
Application of Syntactic Pattern Recognition Approach in Design and Optimisation of Group Machining Systems
PublicationRozwinięto koncepcję budowy zoptymalizowanych struktur systemów wytwarzania grupowego spektrum części z wykorzystaniem modelu analizy syntaktycznej sekwencji operacji ich procesów technologicznych. Określono formułę metryki odległościowej opisu stopnia zróżnicowania marszrut indywidualnych procesów oraz testowano jej skuteczność w aspekcie eksploracji wielowymiarowych danych i klasteryzacji obiektów wg cech wymagań technologicznych....
-
Trendy w analityce i monitoringu środowiskowym
PublicationProcedury i techniki analityczne znajdują praktyczne zastosowanie w anali-tyce szerokiego spektrum analitów występujących w próbkach środowiskowychsą przedmiotem zainteresowania coraz większej grupy analityków. W rozdzialeprzedstawiono informacje dotyczące celów i zadań oraz kierunków rozwoju ana-lityki i monitoringu. Szczególną uwagę zwrócono na niektóre z tendencji roz-wojowych które zaliczyć można do dwóch specyficznych...
-
Bezpieczeństwo funkcjonalne w projektowaniu i eksploatacji systemów technicznych podwyższonego ryzyka.
PublicationW referacie przedstawiono niektóre zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreślono znaczenie ilościowych ocen ryzyka w zarządzaniu bezpieczeństwem złożonego obiektu technicznego. Zarządzanie to proponuje się oprzeć na ocenie opcji sterowania ryzykiem z uwzględnieniem analizy kosztów i efektów. W związku z kłopotami interpretacyjnymi i trudnościami stosowania...
-
Baza polityk wydawniczych i repozytorium Open Access – uzupełniające się elementy
PublicationPrzedstawiono korzyści płynące z tworzenia i wykorzystywania bazy polityk wydawniczych polskich czasopism naukowych dla różnych interesariuszy, takich jak wydawcy, redaktorzy, naukowcy i bibliotekarze. Omówiono podstawowe zadania i funkcje bazy, tak aby ukazać ją jako kompleksowe źródło informacji o polityce wydawniczej polskich czasopism. Gromadzone w bazie informacje stanowią istotną pomoc w ustalaniu zasad samoarchiwizacji publikacji...
-
Usługi w chmurze – nowe możliwości i nowe zagrożenia
PublicationCelem pracy jest omówienie zmian zachodzących na rynku usług udostępnianych przez Internet. Wskazanie praktyk związanych z ich wykorzystaniem oraz omówienie szans i zagrożeń, jakie tym zmianom towarzyszą. W efekcie zaproponowanie rozwiązań optymalnych ze względu na możliwości wykorzystania przez klienta oraz ocena ich wpływu na możliwości rozwoju przedsiębiorstwa. W prezentowanej pracy zastosowano metodę studium przypadku uzupełnioną...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublicationTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
On Some Aspects of Fish Target Strength Estimation in Shallow Waters
PublicationThe theory of acoustic surveys for determining fish abundance are well established in fishery acoustics. The origins of the estimation are related to overcoming the problem of unknown position of target in the beam using statistical inversion. Although recently researchers use more sophisticated echosounders that provides more informative data allowing for direct solution it is known that the results are biased due to not ideally...
-
Quality Model for Integrated Security Monitoring and Control in Water Distribution Systems
PublicationThis article addresses the problem of drinking water distribution system (DWDS) security in the terms of water quality which in the era of terrorist threat is of high importance to the public. The contribution of this paper is the development of the so called security module to extend a multi-species water quality model. This gives an insight to the situation in DWDS not only under normal operational conditions but also in case...
-
Możliwości wyszukiwania dokumentów muzycznych utworzonych zgodnie z architekturą IODA
PublicationArtykuł przedstawia zagadnienie zastosowania dokumentów muzycznych utworzonych zgodnie z architekturą IODA (ang. Interactive Open Document Architecture). Dokumenty w architekturze IODA składają się z wielu plików powiązanych ze sobą semantycznie. Zależności te definiowane są w tzw. grzbiecie (ang. spine) dokumentu będącym plikiem w formacie XML (ang. eXtensible Markup Language). Dokumenty muzyczne tworzone zgodnie z architekturą...
-
Graph security testing
PublicationSet S ⊂ V is called secure set iff ∀ X ⊂ S | N [ X ] ∩ S | ≥ | N ( X ) \ S | [3]. That means that every subset of a secure set has at least as many friends (neighbour vertices in S) as enemies (neighbour vertices outside S) and will be defended in case of attack. Problem of determining if given set is secure is co −NP -complete, there is no efficient algorithm solving it [3]. Property testers are algorithms that distinguish inputs...