Filters
total: 1028
-
Catalog
- Publications 857 available results
- Journals 3 available results
- Conferences 24 available results
- People 17 available results
- Inventions 6 available results
- Projects 7 available results
- Laboratories 1 available results
- Research Teams 1 available results
- e-Learning Courses 53 available results
- Events 12 available results
- Open Research Data 47 available results
displaying 1000 best results Help
Search results for: FORMALNA SPECYFIKACJA
-
Procedura weryfikacji stanu technicznego urządzeń dźwignicowych na przykładzie żurawi portowych.
PublicationOmówiono wymogi formalne dopuszczenia dźwignic o przekroczonym resursie do dalszej eksploatacji. Podano algorytmy przeglądów specjalnych. Przedstawiono przykłady weryfikacji stanu technicznego żurawi portowych.
-
Ochrona zabudowy przed zalewaniem.
PublicationPrzedstawiono ogólne zasady ochrony budynku przed zalewanie. Wykazano potrzebę nowego podejścia do problemu. Określono braki formalne oraz ogólne zalecenia co do zabezpieczeń.
-
Zmiany w procesie inwestycyjnym
PublicationKonsekwencje zmian w procesie inwestycyjnym, nowe regulacje w zakresie prawa budowlanego. Zmienione procedury. Problemy formalne. Sankcjonowanie odstępstw. Nowe technologie i nowe wyposażenie.
-
Rura w gruncie. Niekończąca się historia?
PublicationKonsekwencje błędów posadowienia rurociągu w podłożu gruntowym. Formalne wymagania w stosunku do posadowienia. Główne odstępstwa, ich konsekwencje. Problem zmian podłoża w czasie.
-
Uwagi do wniosków o dofinansowanie w ramach ZPORR (Zintegrowanego Programu Operacyjnego Rozwoju Regionalnego)
PublicationOmówiono podstawowe uchybienia dyskwalifikujące wnioski składane w ramacj ZPORR. Wymagania formalne, motywacje, realność rozwiązań. Prymat eksploatacji nad samą realizacją. Braki w systemie samorządowym.
-
Cytotoxicity of chitosan hydrogels aginst L929 cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds to the cytotoxicity of chitosan compounds (dissolved in carbonic acid, dissolved in carbonic acid endotoxin free, and dissolved in hydroxyacetic acid) aginst adult mouse fibroblast L929 cells. The experiments were carried out according to the ISO 10993-5:2009(E)...
-
Cytotoxicity of QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells_method of synthesis 2
Open Research DataThis study presents absorbance of formazan product (converted from MTT) which corresponds the cytotoxicity of QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells (method of synthesis 2). Holo-Tf (transferrin) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Cytotoxicity of QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells_method of synthesis 3
Open Research DataThis study presents absorbance of formazan product (converted from MTT) which corresponds the cytotoxicity of QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells (method of synthesis 3). Holo-Tf (transferrin) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Stalowe zbiorniki i konstrukcje powłokowe
PublicationReferat zawiera opis aktualnych problemów dotyczących projektowania zbiorników na paliwa płynne. W artykule przedstawione zostały aktualne wytyczne normowe dotyczące projektowania i wykonania zbiorników: normę „PN-EN 1993-1-6. Projektowanie konstrukcji stalowych. Część 1-6: Wytrzymałość i stateczność konstrukcji powłokowych”, normę „PN-EN 1993-4-2. Projektowanie konstrukcji stalowych. Część 4-2: Zbiorniki” i normę „PN-EN 14015....
-
Estymacja odpowiedzi impulsowej kanału w systemie UMTS.
PublicationW referacie omówiono zagadnienie estymacji odpowiedzi impulsowej kanału w technice DS-CDMA oraz metody jej implementacji w odbiorniku RAKE. Przedstawiono warunki systemowe zdefiniowane w specyfikacjach systemu UMTS umożliwiające wiarygodną estymację odpowiedzi impulsowej kanału. Na podstawie badań symulacyjnych porównano jakość różnych algorytmów estymacji odpowiedzi impulsowej dla systemu UMTS.
-
Powodzie miejskie. Wody opadowe – aspekty prawne, ekonomiczne i techniczne.
PublicationPowodzie miejskie. Problemy formalne, prawne i techniczne zagospodarowania wód opadowych. Podstawowe braki polskich rozwiązań. Opłaty za wody opadowe - utrudnienia wprowadzania, konsekwencje braku regulacji prawnych
-
Alternative shaper: a model for automatic design generation
Publication -
Statistical analysis of pressuremeter tests for the north transversal tunnel in Grenoble
PublicationInterpretacja wyników badań presjometrycznych metodą statystyczną. Wartości charakterystyczne. Zastosowano rozkłady normalny, log-normalny, wykładniczy, Weybulla, Gamma, Chiz, Studenta i Pareto. Określono zmienność parametrów geotechnicznych zastosowanych do projektu tunelu i współczynnika bezpieczeństwa w czasie drążenia tunelu.
-
Adaptacja francuskich kryteriów zmęczeniowych do projektowania nawierzchni podatnych w warunkach polskich
PublicationNiniejszy artykuł przedstawia francuską metodę projektowania konstrukcji nawierzchni podatnych oraz próbę przystosowania jej do polskich specyfikacji dotyczących mieszanek mineralno-asfaltowych. Opisano sposób dobierania parametrów materiałowych oraz obliczania współczynników modyfikujących trwałość zmęczeniową warstw asfaltowych konstrukcji nawierzchni. Dodatkowo opisano sposób obliczania trwałości nawierzchni ze względu na kryterium...
-
Nowy mechanizm dynamicznego sterowania mocą w systemie UMTS.
PublicationW referacie zaprezentowano nowy mechanizm dynamicznego sterowania mocą, pracujący z częstotliwością 3000 rozk/sek, możliwy do zastosowania w interfejsie radiowym WCDMA/FDD systemu UMTS. Na podstawie badań, przeprowadzonych w oparciu o własne oprogramowanie symulujące pracę systemu i kanał, dokonano porównana nowego mechanizmu z mechanizmem zaproponowany w specyfikacji systemu UMTS, pracującym z częstotliwością 1500 rozk/sek. Ponadto...
-
Próbne obciążenia statyczne i dynamiczne pali w odniesieniu do zaleceń Eurokodu 7
PublicationOmówiono metody badań oraz zalecenia formalne Eurokodu 7. Na przykładach przedstawiono interpretacje badań nośności pali wg PN-83/B-02482 porównując je do Eurokodu 7.
-
Wymagania w stosunku do projektu budowlanego.
PublicationOmówiono nowe regulacje prawne określające formalne wymagania w stosunku do dokumentacji w fazie projektu budowlanego. Zwrócono uwagę na daleko idące obostrzenie wymagań formalnych w tym zakresie.
-
Ogólne warunki procesu inwestycyjnego
PublicationSpecyficzne warunki realizacji procesu inwestycyjnego. Wymagania formalne. Zagadnienie inwestycji nietypowych, potrzeba zewnętrznego fachowego nadzoru. Podstawowe błędy na etapie projektowania i wykonawstwa. Problem wiarygodności inspektora nadzoru inwestorskiego.
-
Formal and Computational Cryptography
Conferences -
Integrated Formal Methods
Conferences -
Formal Methods Pacific
Conferences -
Kwalifikowanie technologii spawania zgodnie z wytycznymi normy pn-en iso 15614-8 na przykładzie płyt sitowych stosowanych w u-rurowych wymiennikach ciepła
PublicationW artykule przedstawiono charakterystykę normy PN-EN ISO 15614-8:2005 "Specyfikacja i kwalifikowanie technologii spawania metali. Badanie technologii spawania. Część 8: Spawanie rur z płytami sitowymi". Zaprezentowano algorytm postępowania w przypadku stosowania tej normy, podano warunki, które uzasadniają wybór normy PN-EN ISO 15614-8 do zatwierdzania technologii spawania. Przedstawiono przykład złączy spawanych stosowanych w...
-
Czas koncentracji w uproszczonych obliczeniach odpływu ze zlewni zurbanizowanej
PublicationArtykuł poświęcony jest wybranym aspektom związanym z określaniem czasu koncentracji dla potrzeb inżynierskich obliczeń odpływu wód deszczowych ze zlewni zurbanizowanych, w tym m.in. wymiarowania kanalizacji deszczowej. Celem artykułu jest przedstawienie funkcjonującego powszechnie w polskich realiach projektowych podejścia do kwestii określania czasu trwania deszczu miarodajnego dla zlewni zurbanizowanej oraz wynikających z tego...
-
International Symposium on Formal Methods (Formal Methods Europe [FME])
Conferences -
Metody realizacji pomiarów składowych natężenia promieniowania słonecznego dla monitoringu naukowego w różnych zakresach widmowych na potrzeby zastosowań fotowoltaicznych
PublicationW niniejszej pracy dokonano specyfikacji i analizy trybów monitorowania radiometrycznego systemów fotowoltaicznych. Przeprowadzono teoretyczne wprowadzenie do teorii detektorów termicznych i fotonowych. Zaprezentowano równania promieniowania krótkofalowego, długofalowego oraz bilansowego. Opisano profesjonalne komercyjne radiometry do specjalistycznych pomiarów meteorologicznych. Stwierdzono, że dla uzyskania szczegółowych danych...
-
Implementacja elementów SCORM w systemie zarządzającym nauczaniem Moodle.
PublicationW referacie dokonano analizy możliwoci takiej rozbudowy systemu Moodle, aby uzyskać zgodnoć z modelami danych okrelonymi w specyfikacji SCORM. Zaprezentowano idee podstawowych mechanizmów zdolnych do obsługi dodatkowych formatów kursów on-line, w tym metody dostarczania odpowiednich zasobów wiedzy do użytkownika. Przedstawiono problemy zwišzane z rozszerzeniem systemu Moodle o obsługę API zgodnego z SCORM oraz opis zaimplementowanych...
-
Wymagania dotyczące przygotowania dokumentacji projektowej oraz wykonania konstrukcji stalowych
PublicationW pierwszej części omówione zostały wymagania odnośnie przygotowania dokumentacji projektowej dla obiektów budowlanych o stalowej konstrukcji nośnej. W materiale odniesiono się do kwestii związanych z tolerancjami wykonania i montażu konstrukcji, opracowaniem dokumentacji rysunkowej oraz opisowej projektowanej konstrukcji, a w szczególności do specyfikacji technicznej. W drugiej części przedstawiono wymagania odnośnie realizacji...
-
Cytotoxicity of C-2028, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst H460 cancer cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst H460 cancer cells. FA (folic acid) was used as a linker between quantum dots (QDs) and compound (C-2028) at different concentration (50-200 µM).
-
Cytotoxicity of QDgreen-holo-Tf, QDred-holo-Tf, QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells_method of synthesis 1
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of QDgreen-holo-Tf, QDred-holo-Tf, QDgreen-holo-Tf-C-2028 and QDred-holo-Tf-C-2028 aginst H460 cancer cells (method of synthesis 1). Holo-Tf (transferrin) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Państwowy zasób geodezyjny i kartograficzny
PublicationRozdział poświęcony państwowemu zasobowi geodezyjnemu i kartograficznemu. Przedstawia zasady formalno-prawne jego funkcjonowania we współczesnym świecie. Rozdział w kontekście monografii podaje zasady na poziomie masowego użytkownika zasobu geodezyjnego i kartograficznego.
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst LNCaP cancer cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst LNCaP cancer cells. FA (folic acid) was used as a linker between quantum dots (QDs) and compound (C-2028) at different concentration (50-200 µM).
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst Du-145 cancer cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-FA, QDred-FA, QDgreen-FA-C-2028 and QDred-FA-C-2028 aginst H460 cancer cells. FA (folic acid) was used as a linker between quantum dots (QDs) and compound (C-2028) at different concentration (50-200 µM).
-
Theoretical and practical solving of hydroengineering problems
PublicationRozważono wzajemne relacje pomiędzy znaczeniem terminów ''teoretyczny'' i ''praktyczny'', w kontekście problematyki nauk technicznych, analizujac aspekty terminologiczne, poznawcze, wolicjonalne i formalne. Wskazano na potrzebę różnicowania ścisłych i potocznych znaczeń uzywanych terminów.
-
Problemy gospodarki przestrzennej w Parku Narodowym ''Bory Tucholskie'' i w jego otoczeniu.
PublicationW artykule omówiono problemy gospodarki przestrzennej w następujących ujęciach formalno-terytorialnych: Park Narodowy ''Bory Tucholskie''; otulina parku narodowego; Zaborski Park Krajobrazowy; jednostki samorządu terytorialnego (gminy i powiat); rezerwat biosfery ''Bory Tucholskie''.
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst LNCaP cancer cells
Open Research DataTis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst LNCaP cancer cells. FA (folic acid) with cyclodextrin (CD) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst Du-145 cancer cells
Open Research DataTis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst LNCaP cancer cells. FA (folic acid) with cyclodextrin (CD) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst H460 cancer cells
Open Research DataThis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst H460 cancer cells. FA (folic acid) with cyclodextrin (CD) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Ochrona pośrednia ujęć wody
PublicationProblemy ochrony sanitarnej ujęć wody pitnej. Formalne wymagania prawne dotyczące wyznaczania stref. Kontrowersyjność polskich rozstrzygnięć prawnych. Potrzeba zmiany polityki w celu podwyższenia rzeczywistego poziomu bezpieczeństwa. Gra pozorów. Konieczność określania stref podwyższonej ochrony.
-
Niektóre przyczyny awarii kanalizacyjnych studzienek rewizyjnych (1). Warunki posadowienia
PublicationAnaliza najczęstszych przyczyn awarii kanalizacyjnych studzienek rewizyjnych. Problem posadowienia kanalizacyjnej studzienki rewizyjnej. Formalne wymagania normowe w stosunku do studzienek. Zagadnienie występowania gruntów ekspansywnych w Polsce. Przygotowanie inwestycji, dostosowanie się do wymagań konstrukcji.
-
Historia jednej inwestycji
PublicationAnaliza przyczyn niepowodzenia inwestycji zbiorvczej gminnej kanalizacji. Rozwiązania projektowe i zrealizowane. Błędy procesu inwestycyjnego, formalne procedury, odstępstwa od wymagań formalnych. Ocena błędów oraz konsekwencji zaistniałej sytuacji. Odpowiedzialność zawodowa i karna uczestników procesu inwestycyjnego.
-
Problemy z deszczem. Wody opadowe – ustalenia ilościowe
PublicationProblemy określenia wskaźników ilościowych przy zagospodarowaniu wód opadowych w Polsce. Wymagania formalne, problematyczność ustaleń ilościowych wg wzorów empirycznych. Tworzenie atlasu elektronicznego. Problem zdarzeń niemieszczących się typowych schematach. Zmiany wprowadzane nową ustawą prawo wodne.
-
Cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst MRC-5 normal cells
Open Research DataTis study presents absorbance values of formazan product (converted from MTT) which corresponds the cytotoxicity of C-2028, QDgreen, QDred, QDgreen-CD-FA, QDred-CD-FA, QDgreen-CD-FA-C-2028 and QDred-CD-FA-C-2028 aginst MRC-5 normal cells. FA (folic acid) with cyclodextrin (CD) was used as a linker between quantum dots (QDs) and compound (C-2028).
-
Systemy agentowe - cechy, zastosowanie oraz przegląd narzędzi do ich tworzenia
PublicationRosnące zapotrzebowanie na systemy inteligentne powoduje jednoczesny wzrost zainteresowania tematyką systemów agentowych, mogących znaleźć zastosowanie w budowie wieloagentowych środowisk systemów inteligentnych. Niniejszy artykuł stanowi przegląd problematyki systemów agentowych poczynając od prezentacji definicji a kończąc na specyfikacji środowisk do wywarzania takich systemów. Stanowi także próbę odpowiedzi na ważne pytanie...
-
Nierówności pionowe toru kolejowego
PublicationOcena jakości geometrycznej toru kolejowego wymaga od zarządców infrastruktury stosowania jednolitych metod pomiarów, obliczania i interpretacji wyników. W tym zakresie należy stosować się do norm europejskich i technicznych specyfikacje interoperacyjności. W artykule przedstawiono podstawowe zagadnienia związane z pomiarem i oceną nierówności pionowych toru kolejowego. Zapisano odchyłki dopuszczalne nierówności pionowych według...
-
SDL i prosty scheduler - zastosowania.
PublicationRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Definicje ontologii w wieloagentowym systemie do oceny technologii informatycznych
PublicationCelem artykułu jest zdefiniowanie ontologii dla potrzeb systemu wieloagentowego do oceny technologii informatycznych. Definicje ontologii stanowią podstawę do przygotowania ich specyfikacji dla potrzeb JADE (Java Agent Development Framework). W założeniu ma to być rozwiązanie wieloagentowe korzystające z takich elementów jak bazy wiedzy oraz ontologie traktowane z punktu widzenia JADE jako dołączane biblioteki. W artykule zaprezentowano...
-
Charakterystyka sieciowania, statyczne i dynamiczne właściwości mechaniczne mieszanin kauczuk butadieno-styrenowy/regenerat gumowy
PublicationPrzedstawiono wyniki badań wpływu zawartości regeneratu gumowego na charakterystykę procesu wulkanizacji, prowadzonego z użyciem różnych ilości przyspieszaczy, oraz na statyczne i dynamiczne właoeciwooeci mechaniczne zwulkanizowanych mieszanin kauczuku butadienowo-styrenowego i regeneratu gumowego. Regenerację miału gumowego prowadzono w wytłaczarce dwuślimakowej współbieżnej. Wzrost zawartości regeneratu gumowego (10-50 phr) w...
-
Efficiency of thermomechanical reclaiming of ground tire rubber conducted in counter-rotating and co-rotating twin screw extruder
PublicationIn this article the results of research on a continuous thermomechanical reclaiming process of ground tire rubber (GTR) conducted in a twin screw extruder are presented. The effects of the rotation direction (co-rotating/counter-rotating), design of co-rotating plasticizing units and the rotational speed of the screws on the extruder working parameters, sol fraction and the degree of reclaiming in the obtained products were described....