Filtry
wszystkich: 1028
-
Katalog
- Publikacje 857 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 24 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 7 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 53 wyników po odfiltrowaniu
- Wydarzenia 12 wyników po odfiltrowaniu
- Dane Badawcze 47 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: FORMALNA SPECYFIKACJA
-
Wymagania formalne
PublikacjaFormalne wymagania w procesie budowlanym. Dokumentacja projektowa. Samodzielne funkcje w budownictwie. Uprawnienia budowlane. Zasady uzyskiwania uprawnień, ograniczenia i problemy
-
Specyfikacja Systemu IP QoS opartego na architekturze DiffServ
PublikacjaArtykuł przedstawia ogólną specyfikację systemu IP QoS (ang. Internet Protocol Quality of Service), który to system jest obecnie implementowany w ramach projektu krajowego "Zarządzanie ruchemw sieciach IP". System ten jest zgodny z architekturą DiffServ (ang. Differentiated Services) i architekturą NGN (Next Generation Networks). W szczególności, artykuł pokrótce omawia architekturęsystemu, oferowane klasy usług w systemie oraz...
-
Języki i gramatyki formalne
PublikacjaRozdział zawiera wprowadzenie do teorii języków formalnych, gramatyk i automatów. Przedstawione zostały podstawowe pojęcia i definicje oraz przykłady dotyczące w szczególności analizy leksykalnej, składniowej i semantycznej zdań w językach formalnych.
-
Specyfikacje geosyntetyków stosowanych w podbudowach nawierzchni drogowych
PublikacjaW ciągu ostatnich lat obserwuje się wzrost zastosowania geosyntetyków w budownictwie, w tym w szczególności w budowie. W podbudowach nawierzchni drogowych geosyntetyki znajdują obecnie zastosowanie w dwóch sytuacjach: do wykonania warstwy separacyjnej lub filtracyjnej między podłożem gruntowym i warstwą podbudowy oraz do wykonania warstwy wzmacniającej podbudowę z kruszywa niezwiązanego spoiwem lub lepiszczem, ułożonej na podłożu...
-
Specyfikacja i implementacja modułu wymiarowania zasobów w Systemie IIP
PublikacjaArtykuł zawiera opis specyfikacji oraz implementacji modułu wymiarowania zasobów działającego w warstwach L1 i L2 architektury Systemu IIP. Omówiono zadania modułu wymiarowania, zdefiniowano styki z systemem zarządzania oraz Równoległymi Internetami, jak również zaproponowano algorytmy optymalizacyjne oraz przedstawiono przykładowe wyniki działania tych algorytmów.
-
Specyfikacja i implementacja modułu wymiarowania zasobów w Systemie IIP
PublikacjaArtykuł zawiera opis specyfikacji oraz implementacji modułu wymiarowania zasobów działającego w warstwach L1 i L2 architektury Systemu IIP. Omówiono zadania modułu wymiarowania, zdefiniowano styki z systemem zarządzania oraz Równoległymi Internetami, jak również zaproponowano algorytmy optymalizacyjne oraz przedstawiono przykładowe wyniki działania tych algorytmów.
-
Specyfikacja zadań w procesie tworzenia Komputerowego Modelu Przepływu (KMP)
PublikacjaW opracowaniu przedstawiono pięć faz i szesnaście zadań, które trzeba wykonać w procesie tworzenia KMP. W każdym zadaniu określono cel, zakres i metodykę jego realizacji. Szczególną uwagę zwrócono na specyfikę postępowania w przewymiarowanych układach wodociągowych.
-
Problemy specyfikacji i estymacji przyczynowo-skutkowego modelu płac
PublikacjaW pierwszej części artykułu przedstawiono koncepcje teoretyczne dotyczące wyodrębniania czynników kształtujacych poziom płac w przedsiębiorstwach funkcjonujacfyh na rynkach pracy w warunkach konkurencji doskonałej oraz monopsonistycznej. Na tej podstawie dokonano specyfikacji przyczynowo-skutkowego modelu płac dotyczącego gospodarki polskiej z lat 1996-2005. Po dokonaniu specyfikacji modelu płac dokonano jego oszacowania i weryfikacji....
-
Techniczne specyfikacje interoperacyjności dotyczące hałasu od pojazdów kolejowych
PublikacjaAnaliza wymagań zawartych w specyfikacji TSI dla kolei konwencjonalnych w zakresie poziomu emitowanego hałasu przez tabor kolejowy. Omówienie wymagań specyfikacji TSI dla pociągów dużej prędkości w znowelizowanej wersji przygotowywanej przez Komisję Europejską do publikacji.
-
Języki formalne, automaty i translatory
PublikacjaKsiążka stara się w przystępny sposób przedstawić zagadnienia związane z teorią języków formalnych, automatów i translatorów. Wiedza ta pomoże nie tylko zrozumieć zasady stosowanych na co dzień narzędzi informatycznych, ale pomoże również w rozwiązywaniu częstych problemów związanych z przetwarzaniem danych tekstowych o zdefiniowanej strukturze.Książka ta przeznaczona jest przede wszystkim dla szerokiego grona studentów informatyki...
-
Specyfikacja niebezpiecznych i podejrzanych zdarzeń w strumieniach wizyjnych, fonicznych i multimodalnych
PublikacjaWspółczesne systemy monitoringu wizyjnego są złożone z wielu kamer pokrywających rozległe obszary i liczne pomieszczenia. Zakres zdarzeń zachodzących w tych kamerach, mogących stanowić poważne zagrożenia bezpieczeństwa, jest bardzo szeroki \cite{rau}. Operatorowi złożonego systemu monitoringu trudno jest zaobserwować na ekranach monitorów każde zachodzące zdarzenie, wiele praktycznie działających systemów monitoringu wizyjnego...
-
Aspekty formalno-prawne współczesnej gospodarki energetycznej
PublikacjaPrzedstawiono najbardziej istotne akty prawne , dyrektywy,zarządzenia rozporządzenia regulujące procesy gospodarowania energią
-
Polska Organizacja Turystyczna-charakterystyka formalno-prawna
Publikacjacelem opracowania jest przyblizenie celu, działania oraz regulacji formalno- prawnej Polskiej organizacji turystycznej.
-
Formalne przejawy procesów transformacji w architekturze współczesnej
PublikacjaW referacie przedstawiono aspekty podejścia topologicznego w projektowaniu architektonicznym. Omówiono wybrane tendencje i teorie panujące na badanym polu tema-tycznym, na tle podstaw alternatywnych geometrii w dobie CAAD, podstaw filozoficznych i uwarunkowań cywilizacyjnych.
-
Czasowe i formalne instrumenty polityki bilansowej i podatkowej
PublikacjaPublikacja zawiera omówienie czasowych i formalnych instrumentów polityki bilansowej i podatkowej. Wyjaśniono w nim pojęcie roku podatkowego i roku obrotowego. Zaprezentowano obowiązki i odpowiedzialność za prawidłowe rozliczenia podatkowe.
-
Sytuacja odbiorcy komunalno – bytowego w aktualnych uwarunkowaniach formalno - prawnych
PublikacjaW artykule zostanie przedstawiona analiza funkcjonowania zasady wolnego wyboru dostawcy energii elektrycznej. Podstawą do analizy sytuacji polskich gospodarstw domowych będą obowiązujące akty formalno – prawne. Rezultatem będzie wyznaczenie głównych przeszkód organizacyjnych, utrudniających zmianę sprzedawcy odbiorcom na niskim napięciu oraz próba wskazania obszarów, w których zmiany wydają się najistotniejsze.
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublikacjaIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Formalne wymagania w stosunku do ustalenia geotechnicznych warunków posadowienia
PublikacjaSzczegółowe omówienie formalnych wymagań prawnych w stosunku do dokumentacji posadowienia obiektu budowlanego. Konsekwencje przystąpienia Polski do CEN skutkują koniecznością wprowadzenia EUROKODÓW, a dalej odpowiednich wymagań w stosunku do dokumentacji posadowienia. Wprawdzie w dotychczasowych regulacjach prawnych były zamieszczone informacje dotyczące zagadnienia, a podstawowe klasyfikacje nie uległy zmianom,. jednak wcześniejsze...
-
Content of odd-numbered carbon fatty acids in the milk of lactating women and in infant formula and follow-on formula
PublikacjaBadano zależność pomiędzy występowaniem w mleku ludzkim kwasów pentadekanowego C15:0 (PA) i heptadekanowego C17:0 (HA) a rodzajem diety matek oraz oznaczono zawartość kwasów PA i HA w preparatach do początkowego i następnego żywienia niemowląt, dostępnych w sprzedaży. Badaniu poddano mleko ludzkie uzyskane od 34 zdrowych kobiet w wieku 24-33 lata. Matki podzielono na dwie grupy zgodnie ze spożywana przez nie dietą: grupa kobiet...
-
The asymptotic formula for the error in orthogonal projection
PublikacjaW pracy podano formułę asymptotyczną błędu aproksymacji dla rzutów ortogonalnych w normie L^p.
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublikacjaW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
-
DBpedia As a Formal Knowledge Base – An Evaluation
PublikacjaDBpedia is widely used by researchers as a mean of accessing Wikipedia in a standardized way. In this paper it is characterized from the point of view of questions answering system. Simple implementation of such system is also presented. The paper also characterizes alternatives to DBpedia in form of OpenCyc and YAGO knowledge bases. A comparison between DBpedia and those knowledge bases is presented.
-
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublikacjaW pracy przedstawiono elementy formalnej analizy bezpieczeństwa statków w oparciu o analizę przyczyn i skutków wypadków. Do analizy bezpieczeństwa zastosowano metodykę Formalnej Oceny Bezpieczeństwa FSA. Zgodnie z metodyką FSA analize bezpieczeństwa przeprowadzono w następującym zakresie: identyfikacja zagrożeń, ocena zagrożeń, identyfikacja scenariuszy wypadków, ocenaę ryzyka i kontrola ryzyka. Metoda umożliwia podejmowanie decyzji...
-
Rozkład logarytmiczno-normalny a względne i absolutne miary rozproszenia.
PublikacjaW artykule przedstawiono rozważania dotyczące miar rozproszenia zmiennej losowej, która charakteryzuje się rozkładem logarytmiczno- normalnym.
-
On the use of instantaneous complex frequency for pitch and formant tracking.
PublikacjaW pracy opisano algorytm śledzenia częstotliwości podstawowej i formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. Działanie algorytmu przetestowano na nagraniach polskich samogłosek, których wysokość zmieniała się płynnie. Wyniki testów wraz z porównaniem działania opisanej metody i metody predykcji liniowej zawarto w artykule.
-
Degree product formula in the case of a finite group action
PublikacjaLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Selected reflections on formal modeling in Industry 4.0
Publikacja -
Formal Institutions: the Source of Unproductive Entrepreneurship in Poland
PublikacjaThe purpose of this article is to determine the entrepreneurs' perception of formal institutions in Poland as a source of non-productive behaviours. The research methodology was developed based on many years of the teams' research experience. It involved three stages of research: 1) panel of experts and 2) telephone surveys of 1,612 entrepreneurs in Poland, which were the basis for 3) development of detailed research to be conducted...
-
Tool support for ECSDM fault tree methodology
PublikacjaExtended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...
-
Piotr Jasiński prof. dr hab. inż.
OsobyPiotr Jasinski obtained MSc in electronics in 1992 from the Gdansk University of Technology (GUT), Poland. Working at GUT, he received PhD in 2000 and DSc in 2009. Between 2001 and 2004 Post Doctoral Fellow at Missouri University of Science and Technology, while between 2008 and 2010 an Assistant Research Professor. Currently is an Associate Professor at Gdansk University of Technology working in the field of electronics, biomedical...
-
Jak zorganizować stanowisko pracy od strony formalnej? (cz.2)
PublikacjaW artykule omówione zostały zasady sporządzania karty opisu stanowiska pracy.
-
Formalno-prawne uwarunkowania rozwoju mieszkalnictwa w Polsce w aspekcie eksploatacji mieszkalnych jednistek pływających
PublikacjaArtykuł zawiera analizę sytuacji prawnej obiektów jakimi są Domy Na Wodzie oraz konsekwencji jakie powodują dla właścicieli aktualne zapisy najważniejszych Ustaw z nimi związanych tzn.: ustawy Prawo budowlane, ustawy o gospodarce nieruchomościami, Kodeksu cywilnego oraz Prawa wodnego. W pracy opisano światowe trendy osadnictwa na wodzie i porównano do sytuacji mieszkalnictwa na wodzie w Polsce. Na podstawie doświadczeń innych krajów...
-
Mazur-Orlicz theorem and asymptotic formula for the error in supreme norm.
PublikacjaObliczono formułę asymptotyczną błędu interpolacji dla normy supremum.
-
The ancient formula of master-apprentice relevance in contemporary architecture education.
PublikacjaThe universalization of the methodology for determining the quality of European higher education exposes the aspect of supporting the student in the education process, which takes the form of tutoring or supervising - a modern form of ancient master-apprentice relationship. The 'master' in architectural education has lawful building qualification and is a member in national architect association - a sine qua non with respect to...
-
Seiberg-Witten invariants the topological degree and wall crossing formula
PublikacjaFollowing S. Bauer and M. Furuta we investigate finite dimensional approximations of a monopole map in the case b 1 = 0. We define a certain topological degree which is exactly equal to the Seiberg-Witten invariant. Using homotopy invariance of the topological degree a simple proof of the wall crossing formula is derived.
-
On a systematic perspective on risk for formal safety assessment (FSA)
Publikacja -
Set of experience : a knowledge structure for formal decision events
PublikacjaOmówiono strukturę wiedzy w obszarze formalnych zadań decyzyjnych. Zaproponowano zbiór doświadczeń jako podstawę tej struktury.
-
Speech formant frequency and pitch estimation using instantaneous complex frequency
PublikacjaW pracy opisany został algorytm estymacji częstotliwości podstawowej oraz częstotliwości środkowych i pasm formantów mowy z wykorzystaniem zespolonej pulsacji chwilowej. W artykule przedstawiono również wyniki działania algorytmu dla polskich samogłosek.
-
FORMAL METHODS IN SYSTEM DESIGN
Czasopisma -
Knowledge management based on formal models of software project management
PublikacjaCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Business process modelling and simulation using formal experience record
PublikacjaZaproponowano modelowanie procesow biznesowych w oparciu o formalny zapis doswiadzcen. Przedtswiono softwerowa implementacje zaproponowego modelu.
-
Exception handling model influence factors for discributed systems. W: Proceedings. PPAM 2003. Parallel Processing and Applied Mathematics. 5th In- ternational Conference. Częstochowa, 7-10 September 2003.Model obsługi wyjątków uwzględniający wpływ czynników systemu rozproszonego.
PublikacjaSpecyfikacja programu jest jasno określona w systemach sekwencyjnych, gdzie posiada standardowe i wyjątkowe przejścia. Praca przedstawia rozszerzony model specyfikacji systemu w środowiskach rozproszonych uwzględniający szereg specyficznych czynników. Model zawiera analizę specyfikacji pod kątem obsługi wyjątków dla rozproszonych danych oraz komunikacji międzyprocesorowej. Ogólny model został zaimplementowany w środowisku...
-
Jak zorganizować stanowisko pracy w aptece od strony formalnej? (cz.1)
PublikacjaW artykule omówione zostały zasady organizowania stanowisk pracy.
-
Zur Ähnlichkeit der Drill und Biegeträger-Formeln für dünnwandige Stäbe.
PublikacjaPrzeanalizowano serię wzorów dla prętów cienkościennych w przypadku działania skupionego momentu skręcającego na belkę wspornikową swobodnie podpartą i obustronnie utwierdzoną dla przypadku charakterystyki giętnoskrętnej. Podkreślono dokładność tych wzorów, które mogą dotyczyć obciążenia nieruchomego i ruchomego.
-
Effective Formula for Impact Damping Ratio for Simulation of Earthquake-induced Structural Pounding
PublikacjaStructural pounding during earthquakes may cause substantial damage to colliding structures. The phenomenon is numerically studied using different models of collisions. The aim of the present paper is to propose an effective formula for the impact damping ratio, as a parameter of the impact force model used to study different problems of structural pounding under seismic excitations. Its accuracy has been verified by four various...
-
A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases
PublikacjaA formal approach to modeling the expansion of natural events is presented in this paper. Since the mathematical, statistical or computational methods used are not relevant for development, a modular framework is carried out that guides from the external observation down to the innermost level of the variables that have to appear in the future mathematical-computational formalization. As an example we analyze the expansion of Covid-19....
-
Thermal analysis of copper(II) complexes of general formula [Et4N]2[CuBrnCl4-n]
PublikacjaBadano dekompozycję termiczną związków składających sie z anionów: [CuBrnCl4-n]2- (n=0-4) i kationów tetrametyloamoniowych. Stosowano następujące metody badawcze: TG-FTIR, TG-MS, DTA i DTG. Pomiary przeprowadzono w atmosferze argonu i powietrza w zakresie temperatur od 293 K do 1073 K. Produkty dekompozycji identyfikowano metoda spektroskopii w podczerwieni (IR i FIR) oraz metodą dyfrakcji promieniowania rentgenowskiego.
-
Development of Local IDF-formula Using Controlled Random Search Method for Global Optimization
PublikacjaThe aim of the study is to present the effective and relatively simple empirical approach to rainfall Intensity-Duration-Frequency-formulas development, based on Controlled Random Search (CRS) for global optimization. The approach is mainly dedicated to the cases in which the commonly used IDF-relationships do not provide satisfactory fit between simulations and observations, and more complex formulas with higher number of parameters...
-
Thermal analysis of manganese(II) complexes of general formula(Et4N)2[MnBrnCl4−n]
PublikacjaBadano termiczną dekompozycję związków zawierających aniony [MnBrnCl4−n]2− (n = 0-4) i kation tetraetylammonium. Wykorzystywano metody DSC i TG. Badania prowadzono w atmosferze argonu w temperaturze 173-500K (DSC)i 300-1073K (TG). Produkty dekompozycji określono za pomocą MS, FTIR, Far-FTIR i dyfraktometrii rentgenowskiej.
-
Thermal analysis of manganese(II) complexes of general formula (Bu4N)2[MnBrnCl4−n]
PublikacjaBadano termiczną dekompozycję związków zawierających aniony tetrahalogenomanganese(II), [MnBrnCl4−n]2−(n = 0-4) i kationy tetrabutylammonium. Stosowane metody to: DSC, TG-FTIR, TG-MS i DTA. Pomiary prowadzono w argonie i powietrzu w zakresie temperatur 173-450K (DSC) i 300-1073K (TG). Stałe produkty dekompozycji identyfikowano metodami spektroskopii FT-FIR i dyfraktometrii rentgenowskiej.