Filters
total: 192
filtered: 116
Search results for: SZABLON DOWODOWY
-
Supporting Compliance with Security Standards by Trust Case Templates
PublicationTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
A method of trust case templates to support standards conformity achievement and assessment
PublicationOsiąganie i ocena zgodności ze standardami stanowi poważne obciążenie finansowe dla współczesnych gospodarek. Pomimo znacznej wagi tego problemu, nie znalazł on jednak zadowalającego przełożenia na rozwiązania dostępne na rynku. W tej pracy zaproponowano metodę nazwaną Standards Conformity Framework (SCF), która wspiera stosowanie standardów. Jest ona oparta na spostrzeżeniu, że osiąganie i ocena zgodności ze standardem polega...
-
Trakt porodowy we współczesnym szpitalu.
Publication -
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
New Pr3+ site in β-SiAlON red phosphor
Publication -
Obwodowy rozkład temperatury przy wrzeniu wody na rurkach ze zmodyfikowaną powierzchnią
PublicationPrzedstawiono wyniki badań eksperymentalnych przejmowania ciepła podczas wrzenia w dużej objętości na poziomych rurkach ogrzewanych elektrycznie. Badania przeprowadzono dla małych gęstości strumienia ciepła, a czynnikiem roboczym była woda destylowana w stanie nasycenia. Fragment powierzchni grzejnej badanych rurek został zmodyfikowany przez naniesienie metalicznej warstwy porowatej.
-
Doktorat akademicki czy zawodowy. Na marginesie badań sondażowych w Politechnice Gdańskiej
PublicationW artykule zaproponowano nowy typ doktoratu, nazywany zawodowym lub profesjonalnym i uzasadniono konieczność poszukiwania rozwiązań prawnych, które doprowadzą do jego wprowadzenia w ramach dziedziny naukowej.
-
Miasto nocą: zaburzenia snu a praca zmianowa i stres zawodowy wśród policjantów
PublicationStreszczenie. Jedną z miar subiektywnej jakości życia jest dobry sen. Cebulowa teoria szczęścia postuluje zależność pomiędzy dobrostanami cząstkowymi. Celem studium była ocena zaburzeń snu wśród policjantów z miejskich komisariatów Policji w zależności od cech pracy (stres zawodowy) i jej organizacji (zmianowość). Rezultaty pokazały, że większe problemy ze snem mieli policjanci pracujący wyłącznie na zmianach dziennych niż pracujący...
-
Luminescence Spectra of β-SiAlON/Pr3+ Under High Hydrostatic Pressure
Publication -
Dopant Concentration Induced Optical Changes in Ca,Eu-α-Sialon
Publication -
Związek Zawodowy Drukarzy i Pokrewnych Zawodów Oddział w Lublinie w latach 1918-1950.
PublicationAutorka w artykule opisuje działalność Związku Zawodowego Drukarzy i Pokrewnych Zawodów w Lublinie...
-
Zryczałtowany podatek dochodowy od przychodów ewidencjonowanych jako element polityki podatkowej w stosunku do sektora MŚP
PublicationArtykuł opisuje zagadnienia związane z polską polityką podatkową w zakresie podatku PIT od przychodów ewidencjonowanych ze szczególnym uwzględnieniem sektora mikro, małych i średnich przedsiębiorstw. Sektor MŚP jest istotnym elementem gospodarki wielu krajów na świecie. Również w Polsce najmniejsze firmy pełnią istotną rolę społeczno-ekonomiczną. Warto bowiem zaznaczyć, iż to właśnie te podmioty mają znaczący wpływ na wielkość...
-
Trust-IT - a framework for trust cases
PublicationArtykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...
-
Supporting compliance with safety standards by trust case templates
PublicationStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Representing and appraising Toulmin model arguments in trust cases
PublicationThe paper presents a Toulmin-based argument model used in trust cases, which allows to argue various properties of IT systems. Argument patterns encountered in trust cases are discussed together with some real-life examples. A method of argument appraisal is introduced together with the corresponding aggregation mechanism. Practical applications of trust cases in industrial and research projects are outlined.
-
Społeczno-zawodowy wymiar tożsamości człowieka w kontekście przemian społecznych, politycznych i kulturowych (wstęp do analizy terminologicznej - punkt wyjścia do rozważań)
PublicationTreścią rozdziału w monografii jest analiza terminologiczna w ramach przeglądu literatury przedmiotu odnoszącej się do kategorii tożsamości społeczno-zawodowej w kontekście przemian społecznych, politycznych i kulturowych.
-
Circumferential temperature distribution during nucleate pool boiling outside smooth and modified horizontal tubes
PublicationPrzedstawiono wyniki badań eksperymentalnych obwodowego rozkłądu temperatury w poziomych rurkach, ogrzewanych elektrycznie na których zachodzi wrzenie pęcherzykowe. Wykazano, że lokalne - w obszarze górnej tworzącej rurki, zastosowanie powłki porowatej prowadzi do wygładzenia rozkładu temperatury oraz obniżenia średniej temperatury ścianki.
-
PRZESTRZEŃ PUBLICZNA MIASTA EUROPEJSKIEGO– SALON MIEJSKI CZY ISTOTNY ELEMENT BUDOWYPROGRAMU REWITALIZACJI? PRZYKŁAD MQW WIEDNIUEUROPEAN PUBLIC SPACE – SHOWROOM ORAN IMPORTANT ELEMENT OF REVITALIZATIONPROGRAMME?
PublicationPrzedmiotem artykułu jest próba odpowiedzi na pytanie, jakie miejsce weuropejskich programach rewitalizacji zajmuje obecnie przestrzeń publiczna iczy istotnie jest jego główną składową. Czy miejskość przestrzenipublicznej, która jest jakością miejsc niezwykłych, łączących w sobie kontekst polityczny wswojej materialnej formie tzw.material urbanity[2, s. 24]) jest brana pod uwagę przy programach rewitalizacji?! Czy wreszcie,mówiąc...
-
Ocena funkcjonowania klastrów przemysłowych
PublicationAutorzy artykułu w sposób kompleksowy opisali najbardziej popularne metody stosowane w badaniach struktur sieciowych typu klaster przemysłowy. Wśród opisanych metod znalazły się metody ilościowe (Input/Output, location quotient LQ, shift-share), jakościowe (m.in. opinie ekspertów, multi-sectoral qualitative analysis MSQA, przeglądy) oraz mieszane (m.in. analiza GEM, diagram pajęczynowy, szablon narodowy, analiza sieci współpracy).
-
Oznaczanie delta-9-tetrahydrokanabinolu
PublicationMarihuana, haszysz, olej haszyszowy- otrzymywany z konopi narkotycznych są najbardziej popularnymi nielegalnymi produktami na rynku narkotycznym. Material dowodowy trafiający do laboratorium kryminalistycznego powinien być jednoznacznie zidentyfikowany jako pochodna rośliny z rodziny Cannabis.
-
Using evidence based arguments to support trust
PublicationWprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...
-
Projektowanie kontrolek ActiveX za pomocą ATL
PublicationW artykule przedstawiono zasady projektowania komponentów ActiveX z wykorzystaniem szablonów Active Template Library. Opisano narzędzie wspomagające edycję kodu: kreator ATL COM AppWizard oraz kreator ATL Object Wizard. Porównano zalety i wady podejścia bazującego na szablonach ATL względem podejścia wykorzystującego klasy MFC.
-
Tadeusz Sendzimir (1894-1989). Życie i twórczość wybitnego wynalazcy
PublicationPrzedstawioną sylwetkę i dorobek zawodowy wybitnego polskiego metalurga Tadeusza Sendzimira. Omówiono koleje życia i dokonania autora 73. patentów, ze szczególnym uwzględnieniem wytwarzania wysokiej jakości blach ze stali nierdzewnej.
-
Wybrane problemy personalne w procesach fuzji przedsiębiorstw.
PublicationW artykule wykazano rolę zintegrowanej koncepcji zarządzania zasobami ludzkimi w procesach fuzji przedsiębiorstw. Zaanalizowano funkcje planowania kadr, dobór zawodowy, rozwój i motywowanie pracowników z punktu widzenia strategii personalnej przedsiębiorstwa
-
Conducted emi propagation modelling in the wound components.
PublicationThe modelling of EMC behaviour of power electronics converters require specific models of devices which are adequate in a wide frequency range. A novel equivalent-circuit model of the inductor, suitable for EMC applications, has been developed and validated. The model can be used for the analyses of wounded components' behaviour in the conducted-EMI frequency range. The parameters of the proposed model can be evaluated based on...
-
Influence of terpenes on indoor air quality
PublicationThe aim of this study was to investigate air quality in hairdresser salons, focusing on terpenes determination. Terpenes are known reactive volatile organic compounds that contribute to secondary organic aerosol formation. Those compounds are frequently found in cosmetic products as fragrance agents. Hairdresser salons are special kind of environment, where secondary organic aerosol concentration may be elevated. One hairdresser...
-
A Framework for Analyzing Trust in IT Systems.
PublicationProblem uzasadnienia zaufania do systemów realizowanych w technologiach informacyjnych nabiera coraz większego znaczenia wraz z poszerzaniem zakresu zastosowań takich systemów. W artykule wprowadzono koncepcje 'dowodu zaufania', który stanowi strukturę zawierająca cały materiał dowodowy wraz ze stowarzyszona z nim argumentacja uzasadniająca, ze system jest wystarczająco wiarygodny (w sensie bezpieczeństwa, zabezpieczenia, prywatności...
-
Modelowanie nierównomiernego nasycenia nabiegunnika generatora synchronicznego
PublicationW artykule przedstawiono koncepcję modelu obwodowego generatora synchronicznego (GS) w układzie współrzędnych naturalnych. W równaniach modelu uwzględniono zarówno niesinusoidalny rozkład uzwojeń, jak i nierównomierne nasycenie nabiegunników. Do wyznaczenia indukcyjności własnych i wzajemnych uzwojeń GS zastosowano zmodyfikowaną metodę funkcji opisujących rozłożenie przestrzenne uzwojeń. Nierównomierne nasycenie nabiegunników GS...
-
Gmach Europejskiego Centrum Solidarności - geneza przestrzeni, w poszukiwaniu tożsamości miejsca
PublicationBudynek Europejskiego Centrum Solidarności został wzniesiony jako istotny element przestrzeni pamięci – historycznych terenów Stoczni Gdańskiej. W procesie formułowania autorskiego programu architektury szczególną uwagę poświęcono więc odniesieniom do szeroko rozumianego kontekstu kulturowego. Dla dokonania analizy swoistości lokalizacji, jako koniecznego punktu odniesienia dla kreowanej architektury, jej twórca podjął próbę posłużenia...
-
Wprowadzenie do algorytmów kwantowych. Problemy współczesnej nauki. Teoria i zastosowanie.
PublicationCelem tej pracy jest prezentacja kwantowego modelu obliczeń. Szczególny nacisk położono na zagadnienia matematyczne i informatyczne. Zadbano o wyjaśnienie podstaw teoretycznych, podanie pełnych dowodów poprawności algorytmów kwantowych oraz szacowanie złożoności obliczeniowej.
-
Iron Core Inductor High Frequency Circuit Model for EMC Application
PublicationW referacie przedstawiono szerokopasmowy model obwodowy dławika z rdzeniem ferromagnetycznym przydatny do analizy propagacji zaburzeń elektromagnetycznych przewodzonych w układach przekształtnikowych. Opracowany model uwzględnia zmiany właściowści dławika w zakresie wysokich cżstotliwosci na skutek występowania naskórkowości, prądów wirowych oraz efektu zbliżenia w uzwojeniach.
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublicationPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Fixed point indices of iterated planar maps
PublicationW artykule dokonuje się przeglądu wyników dotyczących indeksów punktu stałego iteracji odwzorowań planarnych, sformułowane zostają otwarte pytania i podane nowe dowody w przypadku gładkim.
-
Pola aktywności zawodowej diaspory polskiej.
PublicationDiaspora polska jest społecznością zróżnicowaną pod względem zawodowym i społecznym. Szacuje się, że większość emigrantów uzyskuje w kraju osiedlenia niższy status zawodowy i społeczny, przy jednoczesnym polepszeniu standardu życiowego. Problemy z zaistnieniem w nowym środowisku pracy uwarunkowane są zwłaszcza słabą znajomością języka, słabym wykształceniem czy różnicami kulturowymi.
-
Modelling EMI choke for the power electronics application
PublicationPrzedstawiono wyniki przeprowadzonych badań symulacyjnych i eksperymentalnych dotyczących propagacji zakłóceń elektromagnetycznych przewodzonych w dławikach przeciwzakłóceniowych stosowanych w przekształtnikach energoelektronicznych. Zaproponowany model obwodowy dławika pozwala na analizę symulacyjną właściwości w zakresie częstotliwości zaburzeń elektromagnetycznych przewodzonych. Model uwzględnia zjawiska związane z pojemnościami...
-
Nonlocal problems for functional partial differential equations of firstorder
PublicationRozważa się istnienie uogólnionych rozwiązań nielokalnych problemów dla quasiliniowych i nieliniowych równań różniczkowo-funkcyjnych cząstkowych pierwszego rzędu. Dowody twierdzeń bazują na metodzie bicharakterystyk i metodzie kolejnych przybliżeń.
-
Over-Voltage Studies in Inverter Fed Induction Motor Drives
PublicationW pracy przedstawiono metodę identyfikacji pojemności pasożytniczych uzwojeń silników asynchronicznych uwzględniającą ich rozłożony charakter. Przedstawiony szerokopasmowy model obwodowy uzwojeń silnika asynchronicznego pozwala na modelowanie zjawisk przepięciowych w silnikach asynchronicznych, w szczególności zasilanych poprzez przekształtniki energoelektroniczne. Zaproponowana metoda analizy umożliwia również określanie składowych...
-
Łączenie urządzeń wyposażonych w interfejs szeregowy RS-232 z siecią komputerową w oparciu o mikromoduł MMnet02
PublicationW artykule przedstawiono strukturę opracowanego i wykonanego układu opartego na platformie mikroserwera MMnet02, który umożliwia nadrzędne sterownie urządzeniami komunikującymi się poprzez interfejs szeregowy RS-232. Jako przykład urządzenia wykorzystanego do sterowania za pośrednictwem sieci komputerowej wykorzystano regulator pogodowy firmy Danfoss, który udostępnia odczyt i możliwość zmiany wybranych parametrów regulacji poprzez...
-
New results for online page replication.
PublicationW artykule zbadano problem replikacji stron dokonywanej w trybie on-line. Przedstawiono nowy randomizowany algorytm dla sieci pętlowych, który jest lepszy niż najlepszy dotąd znany. Poprawiono dolne oszacowania dla tego problemu. Pokazano możliwe rozszerzenia tego modelu przetwarzania. Pokazano, że prowadzi to do uproszczenia dowodów szeregu znanych twierdzeń.
-
Nucleate pool boiling modelling and experimental investigation : chapter 7
PublicationOmówiono wpływ powłoki porowatej nanoszonej na całą powierzchnię rurki lub jej fragment na osiągany współczynnik przejmowania ciepła, krytyczne gęstości strumienia ciepła, a także obwodowy rozkład temperatury przy wrzeniu pęcherzykowym na zewnętrznej powierzchni poziomej rurki.Przedstawiono wyniki badań częstotliwości odrywania się pęcherzyków oraz pól prędkości wokół wzrastającyh i unoszących się pęcherzyków przy wrzeniu z pojedynczych...
-
Wybrane rozwiązania technologiczne wspierające zapobieganie i zwalczanie przestępczości
PublicationW niniejszym opracowaniu zawarto charakterystyki wybranych rozwiązań technologicznych wspierających zapobieganie i zwalczanie przestępczości. Rozwiązania te zrealizowano w Katedrze Systemów i Sieci Radiokomunikacyjnych Politechniki Gdańskiej. Autorzy scharakteryzowali opracowane przez zespół Katedry następujące aplikacje użytkowe: urządzenie do wytwarzania kurtyny elektromagnetycznej (AEGIS) oraz system do lokalizowania osób i...
-
Gas bubble dynamics - experiment and fractal analysis.
PublicationPrzedstawiono nieliniowe aspekty generowania pęcherzyków gazowych z dysz szklanych umieszczonych pod powierzchnią cieczy. W badaniach eksperymentalnych zastosowano układ laser diodowy- fotodetektor oraz hydrofon. Sygnały z fotodetektora i hydrofonu były wzmacniane, rejestrowane za pomocą karty dźwiękowej, a następnie poddane analzie fraktalnej. W wyniku obliczeń ustalono mapy występowania chaosu w funkcji strumienia objętości gazu.
-
Modelling of Voltage Transformer Performance in Power System Harmonic Frequency Range
PublicationZniekształcenia harmoniczne napięć i prądów występujące we współczesnych systemach energetycznych powodują liczne problemy pomiarowe. W referacie przedstawiono analizę właściwości przekładników napięciowych stosowanych w sieciach SN i WN w zakresie częstotliwości mierzonych zniekształceń harmonicznych. Opracowany szerokopasmowy model obwodowy został zweryfikowany symulacyjnie i eksperymentalnie. Wyniki przeprowadzonych badań potwierdzają...
-
Modelling of voltage transformer performance in power system harmonic frequency range
PublicationZniekształcenia harmoniczne napięć i prądów występujące we współczesnych systemach energetycznych powodują liczne problemy pomiarowe. W referacie przedstawiono analizę właściwości przekładników napięciowych stosowanych w sieciach SN i WN w zakresie częstotliwości mierzonych zniekształceń harmonicznych. Opracowany szerokopasmowy model obwodowy został zweryfikowany symulacyjnie i eksperymentalnie. Wyniki przeprowadzonych badań potwierdzają...
-
Modelowanie 3d uzwojenia maszyny elektrycznej wspomagane obwodowym modelem mechanicznym cewki giętkiej
PublicationW pracy przedstawiono założenia i sposób wyprowadzenia równań modelu mechanicznego cewki giętkiej uzwojenia dwuwarstwowego prądnicy synchronicznej. Opracowano również model 3D całego uzwojenia maszyny synchronicznej. Wyznaczono odkształcnia w uzwojeniu przy zastosowaniu wirtualnych napręrzeń wewnętrznych pomiędzy powieszchniami przenikajęcych się cewek. Mechaniczny model obwodowy cewki tego uzwojenia można scharakteryzować jako...
-
Analysis of transformer inrush currents
PublicationW artykule przedstawiono model i wyniki obliczeń prądu i strumienia magnetycznego w układzie zawierającym transformator trójfazowy i wyłącznik. Opracowano obwodowy model łącznika z łukiem elektrycznym. Model łuku zbudowano w oparciu o jego statyczną i dynamiczną charakterystykę prądowo-napięciową. Przeprowadzone symulacje wykazały, że wartość maksymalna prądu włączania transformatora zależy zarówno od chwili włączenia napięcia...
-
Modelowanie wpływu kabla silnikowego na emisję zaburzeń elektromagnetycznych przewodzonych przekształtnikowych układów napędowych prądu przemiennego
PublicationAnaliza propagacji składowych wspólnych prądów zaburzeń przewodzonych w przekształtnikowych układach napędowych z silnikami prądu przemiennego wymaga uwzględniania pojemności pasożytniczych występujących w przekształtniku, silniku oraz w kablu zasilającym. W artykule przedstawiono metodę analizy charakterystyki częstotliwościowej impedancji obciążenia przekształtnika i zaproponowano model obwodowy, który pozwala na przeprowadzanie...
-
Note on universal algoritms for learning theory
PublicationW 2001 Cucker i Smale zaproponowali nowe podejście do teorii uczenia się w oparciu o problematykę teorii aproksymacji.W 2005 i 2007 Bivev, Cohen, Dahmen, DeVore i Temlyakov opublikowali dwie prace z teorii uczenia się. W omawianej publikacji uogólniliśmy ich rezultaty jednocześnie upraszczając dowody.
-
Duże rozgłoszeniowe pola Closa
PublicationW pracy pokazano nowe podejście do blokowalności dużych rozgłoszeniowych pól Closa. Przedstawione zostały także dowody na blokowalność pola C(n,r_1,n^2-1,n,r_2) oraz pola C(n,r_1,n^2,n,r_2), w których użyto ekstremalną teorię grafów i hipergrafów.