Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 24

Liczba wyników na stronie
first rewind previous Strona / 2 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  specyfikacja
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 2 next fast forward last
1
Content available remote Wymagania dla betonu wodoszczelnego
100%
PL
W artykule przedstawiono opis wymagań stawianych betonowi wodoszczelnemu. Omówiono charakterystykę betonu wodoszczelnego oraz wymagania dotyczące wodoszczelności w polskich normach dotyczących tego zagadnienia. Skupiono się na wymaganiach dotyczących wodoszczelności betonu oraz na wymaganiach dotyczących wodoszczelności całej konstrukcji. Osobne miejsce poświęcono zagadnieniom projektowania w technologii betonu wodoszczelnego. Omówiono jego specyfikę oraz sposoby pielęgnacji. Przybliżono także zasady realizacyjne technologii betonu wodoszczelnego.
EN
The paper presents a description of requirements concerning waterproof concrete. Discussed were properties of water-tight concrete and relevant tightness requirements set forth in Polish standards with respect to this issue. The work focuses on requirements concerning water-tightness and those applicable to the water-tightness of the entire structure. A separate section focuses on design issues with respect to water-tight concrete technologies. Its properties and methods of care have been described. the rules of practical usage of water-tight concrete technologies are also described.
2
Content available remote Wymagania dla betonu do konstrukcji nawierzchni sztywnych
100%
PL
W artykule przedstawiono wybrane wymagania krajowe dla betonu stosowanego do konstrukcji nawierzchni sztywnej na tle wymagań austriackich i niemieckich. Zapewnienie wymagań podstawowych oraz wynikających z idei zrównoważonego rozwoju dodatkowych wymagań w odniesieniu do trwałości i użytkowalności zmusza projektantów i wykonawców do stosowania najnowszych osiągnięć z zakresu inżynierii materiałów budowlanych. Niezwykle ważne jest wstępne dobre przygotowanie do każdej inwestycji. Dotyczy to zarówno formułowania specyfikacji betonu, która powinna być indywidualna w treści, a nie standardowa i szablonowa, dostosowana do warunków pracy konstrukcji nawierzchni, jak również całego procesu wykonawczego, który powinien być oparty na głębokiej wiedzy i praktyce inżynierskiej, wspartej nowoczesnymi rozwiązaniami technologicznymi.
EN
The paper presents selected national requirements for concrete used as a topcoat in rigid pavement construction against the background of German and Austrian requirements. Assurance of the basie requirements and the additional requirements resulting from the idea of sustainable development with regard to durability and serviceability forces designers and contractors to apply the latest achievements in the field of building materials engineering. A good preparation for every investment is extremely important. It applies both to the concrete specifications description, which should be individual in content, adapted to the site conditions and the pavement structure, not standard and template, as well as the entire construction process, which should be based on thorough knowledge and engineering practice supported by modern technological solutions.
3
Content available remote Specyfikacja i automatyczna analiza protokołu komunikacyjnego
88%
PL
W pracy opisano automatyczną walidację protokołu TCP. W tym celu została napisana specyfikacja protokołu TCP w języku Estelle. Następnie przeprowadzono symulację z użyciem pakietu EDT. Część sterująca protokołu TCP została poddana weryfikacji modelowej przy użyciu narzędzi Verics i Kronos. Dla wszystkich testowanych i weryfikowanych własności potwierdzono poprawność protokołu TCP. Mimo iż weryfikacja modelowa pełnego protokołu nie została przeprowadzona, to jego specyfikacja w Estelle będzie podstawą do dalszych prób dokonania takiej weryfikacji.
5
Content available Beton architektoniczny na Stadionie Lecha w Poznaniu
75%
6
Content available Badania wstępne betonu
75%
7
Content available remote Specyfikacja, właściwości, produkcja i kontrola zgodności
75%
8
Content available Prace nad specyfikacją jakościową paliwa E10+
75%
PL
W artykule zawarto ogólne informacje o początkach koncepcji zrównoważonego rozwoju gospodarczego i społecznego na świecie oraz o realizacji tej koncepcji w odniesieniu do przemysłu paliwowego. Przedstawiono także informacje o roli normy jakościowej w innowacji gospodarki Unii Europejskiej. W kolejnych częściach zaprezentowano wyniki podjętych dotychczas w UE działań dotyczących paliwa E10+. Przedstawiono przegląd przeprowadzonych badań, których wyniki posłużą do podjęcia odpowiednich decyzji co do dalszych prac nad specyfikacją paliwa E10+, prowadzonych w ramach Programu Horyzont 2020. Podsumowano także prace dotyczące paliwa E10+ prowadzone dotychczas w INiG – PIB.
EN
This article provides general information about the origins of the concept of sustainable economic and social development in the world and the implementation of this concept in relation to the oil industry. Information on the role of quality standards in the innovation of the European Union economy is also presented. In the following parts, the article presents the results of actions taken so far in the European Union with regard to fuel E10+. It presents also an overview of research performed, the results of which will be used to take appropriate decisions regarding further work on the development of E10+ fuel specifications, under the Programme Horizon 2020. A summary of research work carried out so far in the Oil and Gas Institute – National Research Institute in the field of the E10+ fuel is also presented.
9
Content available remote Tolerancje geometryczne w specyfikacji geometrii wyrobu
75%
EN
Geometrical tolerances describing in the complex way the permissible deviations from the geometrical form of a product (of a part or an assemby of a machine) in relation to the nominal form.
PL
W artykule przedstawiono podjęte przez Rafinerię Gdańską S. A. działania mające na celu potwierdzenie dla olejów z rodziny Lotos i Turdus odpowiednich poziomów jakości zgodnych ze specyfikacjami ACEA/API. Uruchomiono dwa niezależne programy badawcze, zgodne z zasadami ujętymi w Kodeksie Praktyki ATIEL, a przeprowadzone badania potwier¬dziły najwyższą jakość olejów gotowych i ich baz olejowych.
EN
The paper describes the work taken by Gdańsk Refinery concerning the compliance of the quality of the Lotos and Turdus engine oils with the performance requirements of ACEA/API specifications. Two independent programmes, carried out according to the ATIEL Code of Practice, confirmed the highest quality of the engine oils and base oils used for their formulation.
12
Content available remote Badania fazowe mediów złożowych
63%
|
|
tom R. 55, nr 2
82--86
PL
W komunikacie przedstawiono aparaturę PVT, na której prowadzi się laboratoryjne badania próbek płynów złożowych wg standardowej metodyki dla otrzymania charakterystycznych wielkości fazowych płynów złożowych.
EN
The short report presents a PVT equipment to perform laboratory testings on samples of reservoir fluids. The studies have been carried out in accordance with a standard procedure which ensured obtaining phase values, characteristic for the reservoir fluids.
PL
Wskazano na znaczenia i potrzeby wykorzystania w skali międzynarodowej jednoznacznego i spójnego języka komunikacji między konstruktorem, technologiem i metrologami, określającego maksymalne dopuszczalne zmiany kształtu, profilu, kierunku, położenia i bicia w stosunku do geometrii nominalnej wyspecyfikowanej na rysunku. Pokazano kierunki prac ISO nad rozwojem i doskonaleniem zasad specyfikacji geometrii wyrobów. Przedstawiono wybrane przykłady specyfikacji tolerancji geometrycznych wskazując, że opanowanie umiejętności prawidłowej interpretacji i stosowania tolerancji geometrycznych wymaga ciagłego doskonalenia programów i procesów nauczania na uczelniach technicznych oraz seminariów i szkoleń dla przemysłu.
EN
Attention is called to importance of international use of an univocal and coherent communication language between the designers, process engineers and metrology engineers for determination of the acceptable maximum deviations in the products form, profile, direction and run out against respective nominal parameters specified in drawings. Explained are works carried out by ISO with respect to development and improvements to the product geometry specification rules.
14
Content available Specyfikacja struktur serwomechanizmów wizyjnych
63%
PL
W artykule przedstawiono formalną metodę opisu złożonych systemów robotycznych, za pomocą której wyspecyfikowano układy realizujące trzy diametralnie różne zachowania robota: ruch pozycyjny w przestrzeni kartezjańskiej, sterowanie oparte o informację wizyjną pochodzącą z ruchomej kamery zintegrowanej z jego chwytakiem oraz sterowanie wykorzystujące informacje odebraną z nieruchomej kamery. Przedstawione wyniki eksperymentów potwierdzają poprawność stworzonych układów.
EN
The paper presents a formal method of specifying complex robotic systems, applied to the description of three diverse robot behaviors: motion in Cartesian space to a given pose and two types of motions in which the goal was computed on the base of information retrieved from cameras (a camera integrated with the robot gripper and a camera statically mounted above the scene). The presented experimental results confirm the correctness of the developed systems.
15
Content available Systematyka betonów cementowych. Cz.2
63%
|
|
tom nr 4
50-53
PL
W artykule przedstawiono ideę zastosowania diagramów aktywności UML do specyfikacji wymagań dotyczących zachowania sterownika logicznego. Lista wymagań podlegających weryfikacji zwykle definiowana jest bezpośrednio za pomocą formuł logiki temporalnej. Użycie przyjaznych dla użytkownika, powszechnie znanych i wykorzystywanych diagramów pozwala na prostsze i bardziej intuicyjne zapisanie wymagań. Diagramy są następnie formalnie przekształcane do formuł liniowej logiki temporalnej (LTL).
EN
The article introduces an idea to use UML activity diagrams [1-5] for specification of requirements regarding logic controller behavior. Requirements list to be verified [14] (using model checking technique [6, 7]) is usually directly defined using temporal logic formulas [12, 15]. Using user-friendly, commonly known and practiced diagrams allows to easier and more intuitively write down the requirements easier and more intuitively. Activity diagrams are then formally transformed into linear temporal logic (LTL) formulas. In this paper some sample UML activity diagrams which specify global properties are presented, together with their interpretation using LTL logic. To perform model checking process, model description (based i.e. on a control interpreted Petri net [8] or indirectly on an UML activity diagram [11]), and requirements list are needed. Afterwards it is checked, whether defined properties are satisfied in specified model description. If a requirement cannot be fulfilled, appropriate counterexample is generated allowing to localize error source. The article is structured as follows. Section 1 is an introduction. Background of a logic controller specification and its verification is presented in section 2. A novel approach to logic controller requirements definition using activity diagrams is shown in section 3. The paper ends with a short summary.
17
51%
PL
W wyniku intensywnego rozwoju infrastruktury komunikacyjnej wzrosło zapotrzebowanie na beton o podwyższonych wymaganiach, w tym do konstrukcji mostowych. Kluczowe znaczenie dla zapewnienia trwałości konstrukcji w przewidywanym długim okresie użytkowania obiektów mostowych ma specyfikacja betonu, będąca częścią dokumentacji projektowej.
PL
Przedstawiono aktualny stan dotyczący wybranych: dokumentów normalizacyjnych opracowywanych w różnych Komitetach Technicznych CEN i ISO oraz przepisów prawnych w zakresie kwalifikacji i certyfikacji personelu wykonującego badania, monitorującego oraz diagnozującego stan maszyn i urządzeń technicznych metodami nieniszczącymi w różnych sektorach zastosowań przemysłowych. Kwalifikacja i certyfikacja tej grupy personelu stanowi ważny czynnik dotyczący zarówno oceny ich kompetencji, a także zapewnienia jakości wytwarzanych i obsługiwanych elementów, zespołów i maszyn w wielu krytycznych zastosowaniach jak np. energetyce konwencjonalnej i jądrowej, lotnictwie oraz utrzymaniu ruchu kolei.
EN
The study presents the current state of selected standardization documents drawn up in different GEN and ISO Technical Committees as well as legal regulations encompassing qualifications and certification of personnel conducting testing, monitoring and diagnosing a state of technical machines and devices using non-destructive methods in different sectors of industry applications. Qualifications and certificates of this group of personnel are an important factor in assessing their competences and ensuring the quality of produced and operated elements, assemblies and machines in many critical applications, e.g. conventional power industry and nuclear power engineering, aviation and railway maintenance.
PL
W referacie przedstawiono wymagania PN-EN 1090 oraz norm przez nią przywołanych, w zakresie zabezpieczenia antykorozyjnego stalowych konstrukcji spawanych. W szczególności wymagania odniesiono do specyfikacji i projektu konstrukcji, wyposażenia produkcyjnego i kontrolnego oraz kwalifikacji personelu. Zwrócono uwagę na konieczność właściwego opracowania specyfikacji wyrobu przez projektujących konstrukcję jak również przeglądu wymagań dokonywanego przez wytwórców. Stopień spełnienia wymagań zobrazowano na podstawie doświadczeń autora z audytowania systemów ZKP wg EN 1090-1. Referat, zwraca również uwagę na bezwzględną konieczność spełnienia wymagań w zakresie kwalifikacji i kompetencji personelu antykorozji.
EN
The paper presents the requirements of EN 1090 and referred standards in scope of corrosion protection of welding steel constructions . In particular, the requirements referred to the technical specification and design of the structure, production equipment, quality control equipment and personnel qualifications. Attention was drawn to the need for proper development of technical specifications of the product by designer as well as the review of the requirements made by the manufacturers. The degree of compliance is illustrated based on the author’s experience with auditing systems according to EN 1090-1 FPC. The paper, also draws attention to the absolute necessity to meet the requirements for the qualifications and competence of corrosion protection personnel.
PL
Dokonano przeglądu osiągnięć dziedziny wiedzy, nazwanej roboczo protokologią, dotyczącej projektowania i wdrażania protokołów komunikacyjnych w systemach i sieciach telekomunikacyjnych. Omówiono rozwój metod analizy zachowania protokołu i specyfikowania składni przesyłanych wiadomości oraz koncepcje związane z testowaniem implementacji protokołu. Zwrócono także uwagę na istotę różnic w tradycyjnym i "internetowym" podejściu do standaryzowania protokołów.
EN
The paper presents an overview of research results of protocol science, concerned with the design and implementation of communication protocols in telecommunications systems and networks. The development of methods for behaviourial anałysis, syntax definition and testing is surveyed. The naturę of differences between the standard-making ideas used in traditional telecommunications and Internet is also discussed.
first rewind previous Strona / 2 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.