Temat: specyfikacja - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Zastosowanie zmiennych zastępczych w modelach hedonicznych
Autorzy:: Król, Anna
Targaszewska, Marta
Powiązania:: https://bibliotekanauki.pl/articles/584253.pdf
Data publikacji:: 2018
Wydawca:: Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
Tematy:: model hedoniczny
zmienna zastępcza
specyfikacja modelu
Opis:: Model hedoniczny, który opisuje cenę dobra za pomocą jego istotnych charakterystyk, ma liczne zastosowania praktyczne. Jednakże jednym z warunków uzyskania wiarygodnych wyników jest wykorzystanie do estymacji modelu adekwatnego zestawu zmiennych objaśniających cenę dobra. W praktycznym zastosowaniu metod hedonicznych mogą pojawić się sytuacje, w których ważna zmienna niezależna nie może zostać ujęta w modelu, gdyż jest nieobserwowalna bądź bezpośrednio niemierzalna. Zdarza się również, że wykorzystanie zmiennej mierzonej na skali nominalnej jest problematyczne ze względu na występowanie obszernego zbioru jej wartości. W takich przypadkach należy rozważyć ujęcie w modelu tzw. zmiennej zastępczej. Celem prac było zbadanie zastosowania zmiennych zastępczych w procesie estymacji modeli hedonicznych i przetestowanie ich wpływu na otrzymane wyniki. Badania przeprowadzono z wykorzystaniem danych dotyczących wybranych dóbr – komputerów przenośnych i samochodów używanych – na rynkach polskich.
Źródło:: Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2018, 507; 106-114
1899-3192
Pojawia się w:: Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0
A behavioral specification for reconfigurable logic controllers using UML 2.0 state machine diagrams
Autorzy:: Bazydło, G.
Powiązania:: https://bibliotekanauki.pl/articles/152665.pdf
Data publikacji:: 2007
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
specyfikacja behawioralna
statechart
behavioral specification
Opis:: Język UML to graficzny język do obrazowania, specyfikowania, tworzenia i dokumentowania szeroko pojętych systemów informatycznych. Jego obecna wersja 2.0 wprowadziła wiele zmian, także w diagramach stanów, które teraz nazywają się diagramami maszyny stanowej. W referacie przedstawiono nietypowe wykorzystanie diagramów maszyny stanowej, bo do modelowania programów dla rekonfigurowalnych sterowników logicznych (specyfikacja behawioralna). Na początku referatu krótko zdefiniowano sterownik logiczny, a następnie omówiono opracowaną metodę jego specyfikacji z wykorzystaniem diagramów maszyny stanowej (UML 2.0), która, zdaniem autora, bardzo dobrze nadaje się do modelowania hierarchicznych układów współbieżnych. Zwrócono także uwagę na możliwość używania do specyfikacji programów dla sterowników logicznych, często darmowych, narzędzi UML do modelowania systemów informatycznych. Omawiane zagadnienia poparte zostały stosownymi przykładami.
The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems [4, 5]. The authors of UML are Grady Booch, Ivar Jacobson and James Rumbaugh. The current version of the language is 2.0. The UML language contains thirteen kinds of diagrams (structure and behavior diagrams). One of the behavior diagrams is a state machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transtion systems [11]. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems [2, 7, 10]. This paper presents a method of using the UML language for behavioral specification for logic controllers such as PLC, RLC and reconfigurable FPGAs. Emphasis is put on diagrams that represent behavioral state machines, because they refer directly to the definition of Finite State Machines [6]. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. For example Figure 3 shows a state machine diagram for "Reactor" model on the highest hierarchy level and Figure 4 represent all details of the designed system (lowest hierarchy level). Also a possibility of using UML tools was discussed. As for future research, the use of other diagrams from UML is going to be investigated, e.g., use case diagrams or activity diagrams. The former can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare testbenches for the modeled system. But the main method to model the behavior of a system are state machine diagrams.
Źródło:: Pomiary Automatyka Kontrola; 2007, R. 53, nr 5, 5; 21-23
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Mieszanki związane hydraulicznie - obowiązkowa certyfikacja ZKP
Autorzy:: Bajorek, G.
Cichy, S.
Kiernia-Hnat, M.
Pięta, B.
Powiązania:: https://bibliotekanauki.pl/articles/343577.pdf
Data publikacji:: 2018
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: beton towarowy
mieszanka betonowa
certyfikacja
ZKP
specyfikacja techniczna
Źródło:: Budownictwo, Technologie, Architektura; 2018, 4; 56-58
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Odwzorowanie hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności UML
Mapping of hierarchical control interpreted Petri nets with macroplaces in UML activity diagrams
Autorzy:: Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/153447.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: UML
diagramy aktywności
interpretowane sieci Petriego sterowania
specyfikacja behawioralna
specyfikacja hierarchiczna
activity diagrams
control interpreted Petri nets
behavioural specification
hierarchical specification
Opis:: Artykuł przedstawia metodę odwzorowania hierarchicznych interpretowanych sieci Petriego sterowania z makromiejscami w diagramach aktywności języka UML. Zgodnie z przyjętą zasadą odwzorowania akcji w tranzycjach sieci Petriego nie ma możliwości bezpośredniej graficznej reprezentacji miejsc interpretowanej sieci Petriego sterowania w diagramach UML. Jednocześnie konieczna jest zamiana takich elementów jak wyjścia przypisane do miejsc na aktywację i dezaktywację wyjść przy realizacji tranzycji oraz zamiany makromiejsc w makrotranzycje. Takie postępowanie kom-plikuje cały proces oraz może wprowadzać nieznaczne rozbieżności pomiędzy specyfikacją źródłową i docelową.
The paper presents a method for mapping hierarchical control interpreted Petri nets into activity diagrams of UML. Usage of both specification techniques is possible considering international and multicultural design projects specifying hardware behavioural properties of a control process. Sometimes use of two different modelling techniques can be reasonable. After a short introduction (Section 1), a sample control process and its graphical interpretation using the control interpreted Petri net is described (Section 2). Fig. 1 shows the real model of the considered process of transportation of friable goods, whereas Fig. 2 presents graphical specification of the process with use of the control interpreted Petri net. Fig. 3 shows interpretation of action of UML activity diagrams in Petri nets. Due to no direct representation of the system state in UML activity diagrams, the outputs attached to places have to be exchanged with the outputs activated and deactivated with transitions firings. Sample output replacement scenario is depicted in Fig. 4 and is in details described in Section 3. Fig. 5 presents specification of the deliberated control process with usage of Mealy outputs (after replacement). On the other hand, conversion of macroplaces into macrotransitions is shown in Section 4 with graphical representation after exchange in Fig. 6. Section 5 describes transformation of the prepared Petri net into the activity diagram of UML with the process graphical representation in Fig. 7. Finally, Section 6 concludes the paper.
Źródło:: Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 506-509
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 5.

Tytuł:: Rola specyfikacji betonu do obiektów mostowych
Autorzy:: Jackiewicz-Rek, W.
Konopska, M.
Powiązania:: https://bibliotekanauki.pl/articles/343191.pdf
Data publikacji:: 2011
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: most
konstrukcja betonowa
beton towarowy
specyfikacja techniczna
zakres specyfikacji
Źródło:: Budownictwo, Technologie, Architektura; 2011, 3; 50-53
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 6.

Tytuł:: Beton architektoniczny na Stadionie Lecha w Poznaniu
Autorzy:: Czołgosz, R.
Saferna, M.
Adamczuk, T.
Powiązania:: https://bibliotekanauki.pl/articles/342989.pdf
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: beton architektoniczny
Stadion Lecha
Poznań
specyfikacja
dobór receptury
efekt wizualny
Źródło:: Budownictwo, Technologie, Architektura; 2010, 4; 60-61
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 7.

Tytuł:: Zrównoważony rozwój technologii nawierzchni betonowych - aspekty funkcjonalne
Autorzy:: Jackiewicz-Rek, W.
Konopska-Piechurska, M.
Powiązania:: https://bibliotekanauki.pl/articles/343209.pdf
Data publikacji:: 2013
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: rozwój zrównoważony
nawierzchnia drogowa
nawierzchnia betonowa
funkcjonalność
specyfikacja betonu
wymagania
Źródło:: Budownictwo, Technologie, Architektura; 2013, 1; 36-40
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 8.

Tytuł:: BPMN a wymiar danych – ograniczenia i notacje komplementarne
BPMN versus data dimension - limitations and complementary notations
Autorzy:: Marcinkowski, Bartosz
Gawin, Bartłomiej
Powiązania:: https://bibliotekanauki.pl/articles/425899.pdf
Data publikacji:: 2014
Wydawca:: Szkoła Główna Handlowa w Warszawie
Tematy:: BPMN
notacja BPMN
proces biznesowy
specyfikacja danych
specyfikowanie procesów biznesowych
Opis:: The current paper is aimed at bridging the gap between the contribution of academia and practice in respect of data specifications in regard to the implementation of analytical models in business process engines in the subsequent stages of increasing process maturity of business organization. The issues of identifying structural relationships between documents, building structural data- and documents model within the organization as well as managing complexity of such a model remain intentionally outside the scope of Business Process Model and Notation (BPMN). Thus, the effectiveness of achieving the level of executable business processes is largely dependent on the proper selection and introduction of notations that are complementary to the process dynamics modeling standard. Within the paper a set of potential complementary techniques, including proprietary UML profile for BPMN data modeling (BPMNDoc), is proposed. Authors conduct a comparative analysis of the techniques as well as provide an exemplification and data specifications based on a case study of site acceptance process in a telecommunications company.
Źródło:: e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie; 2014, 2 (54); 57-67
1731-6758
1731-7428
Pojawia się w:: e-mentor. Czasopismo naukowe Szkoły Głównej Handlowej w Warszawie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 9.

Tytuł:: Nowatorskie rozwiązania projektowe i materiałowe przy realizacji Trasy Nowohuckiej
The Concrete used for Nowohucka Route
Autorzy:: Grządziela, G.
Walkowiak, R.
Powiązania:: https://bibliotekanauki.pl/articles/365058.pdf
Data publikacji:: 2017
Wydawca:: Nowoczesne Budownictwo Inżynieryjne
Tematy:: beton
podpora
pylon
specyfikacja techniczna ogólna
concrete
support
general technical specification
Opis:: Rozwiązania kompleksowych zagadnień mogą być przygotowane na długo przed realizacją, inne tworzy się tuż przed lub nierzadko w ich trakcie. Z pewnością istnieje zależność między dynamiką procesu przygotowań i podejmowania decyzji a liczbą i czasem na analizę dostępnych już danych i doświadczeń. Niezależnie jednak od zagadnienia skuteczne rozwiązania wymagają zarówno działań operacyjnych, jak i podejścia projektowego.
Źródło:: Nowoczesne Budownictwo Inżynieryjne; 2017, 2; 56-62
1734-6681
Pojawia się w:: Nowoczesne Budownictwo Inżynieryjne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 10.

Tytuł:: ZARZĄDZANIE MAŁĄ FIRMĄ – MOŻLIWOŚCI I BARIERY W WARUNKACH POLSKIEJ GOSPODARKI
MANAGING SMALL BUSINESS – OPPORTUNITIES AND BARRIERS IN POLAND
Autorzy:: Haber, Lesław
Powiązania:: https://bibliotekanauki.pl/articles/539815.pdf
Data publikacji:: 2016-12-30
Wydawca:: Wyższa Szkoła Zarządzania i Bankowości w Krakowie
Tematy:: mała firma
systemy zarządzania
specyfikacja mikro-firmy, rozwój
bankructwo
czynniki obiektywne
Opis:: Celem artykułu jest indeksacja możliwości rozwojowych ale i barier doprowadzających do upadku i bankructwa firmy z sektora MSP w tym mikro-firm. Zwrócono uwagę na specyfikę zarządzania mikro-firmą różną a nawet znacznie trudniejszą niż zarządzanie dużą firmą. Tymczasem właściciele mikro-firm najczęściej nie posiadają wiedzy z zakresu systemu zarządzania a ich działalność opiera się głównie na intuicji i wzorach naśladowczych innych firm co jest przyczyną bankructwa wielu mikro-firm. W dalszej części artykułu podano najczęstsze powody bankructwa wydzielając czynniki: obiektywne i subiektywne, zewnętrzne i wewnętrzne.
The aim of the article is to list both the development opportunities and the barriers that may lead to the bankruptcy of the SME sector companies, micro-companies including. Attention has been paid to the specific features of managing micro-companies which is significantly more difficult than managing big companies. However, the owners of microcompanies most frequently do not possess the adequate knowledge on management and their operations are based mainly on intuition and imitation of other companies, which results in the bankruptcy of numerous micro-companies. The article discusses the most common causes of bankruptcy\ies with the presentation of the factors: the objective and subjective ones, the external and internal ones.
Źródło:: Zeszyt Naukowy Wyższej Szkoły Zarządzania i Bankowości w Krakowie; 2016, 42; 71-87
2300-6285
Pojawia się w:: Zeszyt Naukowy Wyższej Szkoły Zarządzania i Bankowości w Krakowie
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 11.

Tytuł:: Systematyka betonów cementowych. Cz.2
Autorzy:: Woyciechowski, P.
Powiązania:: https://bibliotekanauki.pl/articles/342985.pdf
Data publikacji:: 2010
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: beton
systematyka odmian
kryterium podziału
funkcja użytkowa
wytwarzanie
transport
wbudowywanie
specyfikacja
Źródło:: Budownictwo, Technologie, Architektura; 2010, 4; 50-53
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 12.

Tytuł:: Analiza TSI pod kątem wymagań wpływających na energochłonność systemu transportu kolejowego
Analysis of the TSI from the point of requirements affecting energy consumption of the railway transport system
Autorzy:: Cichy, Rafał
Powiązania:: https://bibliotekanauki.pl/articles/34655945.pdf
Data publikacji:: 2011
Wydawca:: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:: Techniczna Specyfikacja Interoperacyjności
energochłonność
system transportu kolejowego
kolej dużych prędkości
tabor pasażerski
Opis:: W artykule zaprezentowano wyniki analizy Technicznej Specyfikacji Interoperacyjności dla podsystemu Tabor kolejowy - lokomotywy i tabor pasażerski, oraz Techniczną Specyfikację Interoperacyjności dotycząca podsystemu " Tabor" transeuropejskiego systemu kolei dużych prędkości pod kątem wymagań które mogą mieć wpływ na energochłonność transportu kolejowego.
The article presents the results of the Technical Specifications for Interoperability analysis for the Rolling stock subsystem-locomotives and passenger rolling stock, and the Technical Specification for Interoperability concerning the subsystem „Rolling stock” of the trans-European high speed rail system from the point of requirements that may affect the energy consumption of rail transport.
Źródło:: Rail Vehicles/Pojazdy Szynowe; 2011, 3; 47-52
0138-0370
2719-9630
Pojawia się w:: Rail Vehicles/Pojazdy Szynowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 13.

Tytuł:: Diagramy aktywności UML w projektowaniu rekonfigurowalnych sterowników logicznych
UML activity diagrams in design of reconfigurable logic controllers
Autorzy:: Grobelny, M.
Grobelna, I.
Powiązania:: https://bibliotekanauki.pl/articles/156715.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
activity diagrams
Opis:: Artykuł przedstawia sposób reprezentacji behawioralnej sterownika logicznego przy wykorzystaniu diagramów aktywności języka UML. Zaproponowane zostało zastosowanie diagramów aktywności do projektowania rekonfigurowalnych sterowników logicznych, a dokładnie do opisu zachowania sterownika logicznego podczas pracy. Do tego celu został dostosowany zbiór elementów diagramów aktywności w celu umożliwienia efektywnego modelowania behawioralnego. Rozważane jest także wykorzystanie hierarchicznych możliwości diagramów aktywności do częściowej rekonfiguracji
The paper focuses on behavioural representation of a logic controller with usage of UML activity diagrams. There is shown a subset of UML activity diagram elements sufficient to present logic controller behaviour simultaneously suitable for automatic synthesis with use of hardware description languages. After short introduction (Section 1) to the topic, UML activity diagrams as a specification technique are presented (Section 2). Additionally, there is described a subset of elements (Tab.1) of the discussed specification techniques fulfilling behavioural modelling requirements of a reconfigurable logic controller. Specification possibilities are given using sample control process of preparing the exact amount of liquid in two tanks (Section 3). The real model of the process is shown in Fig. 1. One of the possible behavioural specifications with use of UML activity diagrams is depicted in Fig. 2. This is a representation of the considered action state concept specification techniques in version 1.x. The other possibility is to specify a process with use of elementary system actions (Fig. 3), which is characteristic of the UML activity diagrams version 2.x. Fig. 4, on the other hand, shows signal based specification which is suitable for automatic hardware description language code generation (e.g. VHDL). Furthermore, Section 4 describes possibilities of using hierarchical aspects of activity diagrams to prepare specification for partial reconfiguration. Finally, Section 5 concludes the paper.
Źródło:: Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 596-598
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 14.

Tytuł:: Wymagania TSI "Tabor kolejowy - wagony towarowe" do przewozu naczep drogowych w systemach intermodalnych
Requirements of the "TSI rolling stock - freight wagons" for semi - trailers to bimodal systems
Autorzy:: Cichy, Rafał
Medwid, Marian
Powiązania:: https://bibliotekanauki.pl/articles/34656139.pdf
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Poznański Instytut Technologiczny
Tematy:: wagony towarowe
transport intermodalny
Techniczna Specyfikacja Interoperacyjności (TSI)
skrajnia
wartość wzdłużnych sił ściskających
Opis:: W publikacji omówiono zagadnienia dotyczące transportu intermodalnego, w szczególności bimodalnego, który poruszałby się po szlakach zgodnych z wymaganiami Technicznych Specyfikacji Interoperacyjności (TSI). Zaprezentowano wymagania dotyczące pojazdów wymienione w TSI " Tabor kolejowy - wagony towarowe" ze szczególnym naciskiem na szczególne wymagania dla transportu intermodalnego. W pierwszej części artykułu zaprezentowano zagadnienia skrajni. Przedstawiono skrajnie, których stosowanie jest zgodne wymaganiami TSI " Tabor kolejowy - wagony towarowe" w kontekście przewozów bimodalnych. Przeanalizowano możliwości transportowe dla przewozów po szlakach z określoną skrajnią. Drugim elementem poruszanym w TSI " Tabor kolejowy - wagony towarowe " zaprezentowanym w artykule odnoszącym się do przewozów bimodalnych jest wartość wzdłużnych sił ściskających. Parametr ten opisuje maksymalne wzdłużne siły ściskające, które mogą być przyłożone do interoperacyjnego wagonu towarowego lub do pojedynczego pojazdu albo do grupy specjalnych pojazdów sprzężonych, w interoperacyjnym zestawie podczas hamowania lub podczas jazdy z popychaniem, bez ryzyka wykolejenia. Artykuł pokazuje możliwości oceny parametru na podstawie badań, obliczeń albo przez porównanie z charakterystyką wagonów już dopuszczonych (certyfikowanych).
The publication discusses issues relating to intermodal transport, in particular bimodal, which would be running along the routes in accordance with the requirements of Technical Specifications for Interoperability (TSI). The paper presents the requirements for the vehicles listed in the "rolling stock - freight wagons" with emphasis on specific requirements for intermodal transport.
Źródło:: Rail Vehicles/Pojazdy Szynowe; 2012, 3; 40-44
0138-0370
2719-9630
Pojawia się w:: Rail Vehicles/Pojazdy Szynowe
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 15.

Tytuł:: Nowa norma dla betonu
Autorzy:: Mierzwa, J.
Powiązania:: https://bibliotekanauki.pl/articles/343555.pdf
Data publikacji:: 2003
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: beton
normalizacja europejska
PN-EN 206-1
klasyfikacja betonu
specyfikacja techniczna
kontrola zgodności
Źródło:: Budownictwo, Technologie, Architektura; 2003, 1; 46-49
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 16.

Tytuł:: Prace nad specyfikacją jakościową paliwa E10+
Work on a quality specification for the E10+ fuel
Autorzy:: Pałuchowska, M.
Powiązania:: https://bibliotekanauki.pl/articles/1835309.pdf
Data publikacji:: 2017
Wydawca:: Instytut Nafty i Gazu - Państwowy Instytut Badawczy
Tematy:: benzyna silnikowa E10+
Horyzont 2020
specyfikacja
petrol E10+
Horizon 2020
specification
Opis:: 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.
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.
Źródło:: Nafta-Gaz; 2017, 73, 10; 799-805
0867-8871
Pojawia się w:: Nafta-Gaz
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 17.

Tytuł:: A survey of requirements for COVID-19 mitigation strategies
Autorzy:: Jamroga, Wojciech
Mestel, David
Roenne, Peter B.
Ryan, Peter Y. A.
Skrobot, Marjan
Powiązania:: https://bibliotekanauki.pl/articles/2086859.pdf
Data publikacji:: 2021
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: COVID-19
mitigation strategies
specification
multi-agent logic
strategia łagodzenia
specyfikacja
logika wieloagentowa
Opis:: The COVID-19 pandemic has influenced virtually all aspects of our lives. Across the world, countries have applied various mitigation strategies, based on social, political, and technological instruments. We postulate that multi-agent systems can provide a common platform to study (and balance) their essential properties. We also show how to obtain a comprehensive list of the properties by “distilling” them from media snippets. Finally, we present a preliminary take on their formal specification, using ideas from multi-agent logics.
Źródło:: Bulletin of the Polish Academy of Sciences. Technical Sciences; 2021, 69, 4; e137724, 1--10
0239-7528
Pojawia się w:: Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 18.

Tytuł:: Dokumenty normalizacyjne w przemyśle obronnym. Stan aktualny i oczekiwania
Standardization documents in defence industry. Current status and expectations
Autorzy:: Figurski, J.
Rogowski, B.
Powiązania:: https://bibliotekanauki.pl/articles/235186.pdf
Data publikacji:: 2014
Wydawca:: Wojskowy Instytut Techniczny Uzbrojenia
Tematy:: bezpieczeństwo
norma
normalizacja
przemysł
obronność
specyfikacja techniczna
security
standards
standardization
industry
defence
technical specification
Opis:: W niniejszym artykule zawarto krótką charakterystykę dokumentów normalizacyjnych z obszaru obronności państwa, stosowanych w przemyśle obronnym. Odniesiono się także do europejskiego podejścia oraz hierarchii stosowania dokumentów normalizacyjnych w procesie zaopatrywania obronnego.
Contained in the following article is a short description of standardization documents from the field of State defence within the defence industry. References have been made to the European approach to the hierarchy of the application of standardization documents in defence procurement.
Źródło:: Problemy Techniki Uzbrojenia; 2014, 43, 131; 33-40
1230-3801
Pojawia się w:: Problemy Techniki Uzbrojenia
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 19.

Tytuł:: Fotograficzna dokumentacja obiektów sztuki złotniczej
PHOTOGRAFIC DOCUMENTATION OF GOLD-WORK OBJECTS
Autorzy:: Górski, Wacław
Powiązania:: https://bibliotekanauki.pl/articles/535355.pdf
Data publikacji:: 1977
Wydawca:: Narodowy Instytut Dziedzictwa
Tematy:: katalog polskiego złotnictwa
fototeka złotnictwa
specyfikacja zdjęć złotnictwa
inwentaryzacja złotnictwa w Polsce
fotografowanie ornamentów
Opis:: The necessity o f providing a complete photographic documentation o f the goldsmith’s objects finding themselves beyond the museums has resulted from the proceedings aiming at publication of a catalogue o f Polish gold-work. The author deals with the mode of taking photographs according to uniform principles (what is meant there are i.a. the technical condictions of taking photographs for survey purposes, the kinds o f those photographs, etc.), the necessary equipment (the cameras, light meters, negative materials) and practical possibilities of photographing the works concerned on the spot (providing for adequate background and lighting of the said works and their details and, also, of big objects e.g. the altars). The paper is based on the author’s personal experience.
Źródło:: Ochrona Zabytków; 1977, 3-4; 129-133
0029-8247
Pojawia się w:: Ochrona Zabytków
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 20.

Tytuł:: Prefabrykowane belki mostowe typu T i KUJAN NG
Autorzy:: Chęcińska, K.
Powiązania:: https://bibliotekanauki.pl/articles/343343.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: infrastruktura kumunikacyjna
belka żelbetowa
belka prefabrykowana
belka teowa
belka Kujan NG
Szczegółowa Specyfikacja Techniczna
Źródło:: Budownictwo, Technologie, Architektura; 2012, 1; 64-66
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 21.

Tytuł:: Wykonywanie robót betonowych nareszcie unormowane - PN-EN 13670:2011: Zagadnienia dotyczące betonu
Autorzy:: Bajorek, G.
Kiernia-Hnat, M.
Skrzypczak, I.
Powiązania:: https://bibliotekanauki.pl/articles/342940.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: roboty betonowe
normalizacja
PN-EN 13670:2011
nadzór wykonawczy
specyfikacja wykonawcza
klasa wykonania
wymagania
Źródło:: Budownictwo, Technologie, Architektura; 2012, 3; 62-66
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 22.

Tytuł:: Badania wstępne betonu
Autorzy:: Bajorek, G.
Gruszczyński, M.
Kiernia-Hnat, M.
Kohutek, Z.
Powiązania:: https://bibliotekanauki.pl/articles/343419.pdf
Data publikacji:: 2018
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: wyrób budowlany
PN-EN 206
beton towarowy
badanie wstępne
specyfikacja
kontrola produkcji
optymalizacja składu
Źródło:: Budownictwo, Technologie, Architektura; 2018, 2; 68-71
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 23.

Tytuł:: Semantic Web in a Nutshell
Sieć semantyczna w pigułce
Autorzy:: Szałas, A.
Powiązania:: https://bibliotekanauki.pl/articles/91341.pdf
Data publikacji:: 2011
Wydawca:: Warszawska Wyższa Szkoła Informatyki
Tematy:: semantic web
specification of ontologies
verification of ontologies
Semantyczny Internet
specyfikacja ontologii
weryfikacja ontologii
Opis:: The paper outlines selected topics related to Semantic Web. We start with problems with the use of current web search engines. Next, we discuss the architecture and basic concepts of Semantic Web whose central ideas focus around ontologies. We show the role of logics in the specification and verification of ontologies as well as reasoning about them. We mainly concentrate on rule languages. In particular we discuss the 4QL query language supplying the user with simple, yet powerful constructs for filling gaps in missing knowledge as well as for disambiguation of inconsistencies.
Artykuł zarysowuje wybrane zagadnienia związane z Semantycznym Internetem. Wychodząc od problemów rozwiązań stosowanych we współczesnych wyszukiwarkach, traktuje o architekturze i zasadniczych koncepcjach Semantycznego Internetu, którego kluczowym pojęciem są ontologie. Tekst omawia miejsce logik w specyfikacji i weryfikacji ontologii, a także wnioskowaniu o nich, koncentrując się przede wszystkim na językach regułowych, w tym na języku 4QL, dostarczającym prostych konstrukcji umożliwiających reakcję na niepełną i/lub sprzeczną informację.
Źródło:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki; 2011, 5, 6; 14-19
1896-396X
2082-8349
Pojawia się w:: Zeszyty Naukowe Warszawskiej Wyższej Szkoły Informatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 24.

Tytuł:: Jak nie należy wykrywać projektu
How Not to Detect Design – Critical Notice: William A. Dembski, The Design Inference
Autorzy:: Fitelson, Branden
Stephens, Christopher
Sober, Elliott
Powiązania:: https://bibliotekanauki.pl/articles/553268.pdf
Data publikacji:: 2008
Wydawca:: Uniwersytet Zielonogórski. Instytut Filozofii
Tematy:: filtr eksplanacyjny
szansa
prawdopodobieństwo
przypadek
regularność
specyfikacja
explanatory filter
likelihood
probability
chance
regularity
specification
Opis:: Artykuł stanowi analizę krytyczną koncepcji filtra eksplanacyjnego, zaprezentowanej przez Williama Dembskiego w książce The Design Inference. Filtr jest rozumiany jako formalizacja procedury prowadzącej do wykrycia, czy dane zdarzenie jest zaprojektowane poprzez zastosowanie reguł rządzących wyborem wzajemnie się wykluczających hipotez: regularności, przypadku i projektu. Autorzy odnoszą się do pojęcia szansy hipotezy rozumianej jako prawdopodobieństwo, jakie ta hipoteza nadaje zdarzeniom ,i argumentują, że w odróżnieniu od hipotez przypadku i regularności, szansa hipotezy projektu nigdy nie jest brana przez Dembskiego pod uwagę. Autorzy krytykują również klasyfikację wymienionych hipotez zaproponowaną w The Design Inference.
The article is a critical analysis of the explanatory filter concept presented by William Dembski in his book The Design Inference. The filter is understood as formalization of the procedure leading to detection whether a given event is designed. The procedure is based on application of the rules that determine the choice between mutually exclusive hypotheses: Regularity, Chance and Design. Authors refer to the notion of likelihood of a hypothesis understood as the probability that hypothesis confers on observations. They argue that, in contrast to the likelihood of Chance and Regularity hypotheses, Dembski never takes the likelihood of Design hypothesis into consideration. Authors also criticize classification of above mentioned hypotheses proposed in The Design Inference.
Źródło:: Filozoficzne Aspekty Genezy; 2007-2008, 4-5; 53-80
2299-0356
Pojawia się w:: Filozoficzne Aspekty Genezy
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 25.

Tytuł:: Projektowanie sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego
Logic controller design using enabling and inhibitor arcs of Petri nets
Autorzy:: Grobelna, I.
Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/156703.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: specyfikacja behawioralna
rekonfigurowalny sterownik logiczny
UML
diagramy aktywności
behavioural specification
reconfigurable logic controller
activity diagrams
Opis:: Artykuł dotyczy zagadnień związanych z projektowaniem sterowników logicznych z wykorzystaniem łuków zezwalających i zakazujących sieci Petriego. Zaproponowano nowatorskie podejście do regułowej specyfikacji sterownika logicznego, przygotowanej w postaci abstrakcyjnego autorskiego modelu logicznego dogodnego do formalnej weryfikacji modelowej oraz syntezy logicznej. Szczególną uwagę zwrócono tutaj na łuki zakazujące i zezwalające interpretowanych sieci Petriego, ich realizację w abstrakcyjnym modelu logicznym i interpretację w innej postaci specyfikacji zachowania sterownika logicznego - diagramach aktywności języka UML.
The paper focuses on logic controller design using enabling and inhibitor arcs of Petri nets. There is proposed a novel original approach to rule-based specification of logic controller behaviour prepared as an abstract logical model suitable for formal verification and logic synthesis. Special interest is put on enabling and inhibitor (disabling) arcs of interpreted Petri nets, their realization in an abstract logical model and interpretation in other specification form - namely UML activity diagrams (in version 2.x). These arcs can be used for flow synchronization or controlled usage of shared resources. After a short introduction (Section 1), some basic concepts on logic controller specification are presented (Section 2), in particular considering (interpreted) Petri nets and UML (activity) diagrams. Usage of enabling and inhibitor arcs is shown on an example of the interpreted Petri net in Fig. 1 (transitions firing sequence in Fig. 2), followed by their representation in the proposed abstract rule-based logical model, its formal verification (using model checking technique) and synthesis (Section 3). The paper also proposes enabling and inhibitor arcs interpretation in UML activity diagrams (Section 4). Although direct representation of these arcs is not possible, the authors try to achieve an alternative solution which corresponds semantically to appropriate Petri net elements. Tab. 1 presents graphic representation of the considered arcs in interpreted Petri nets as well as in UML activity diagrams. The paper ends with a short summary (Section 5).
Źródło:: Pomiary Automatyka Kontrola; 2012, R. 58, nr 7, 7; 605-607
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 26.

Tytuł:: Ocena potrzeb i możliwości wykorzystania bazy danych przestrzennych obiektów rolniczych i akwakultury (ORA) w modelu podstawowym
Evaluation of needs and possibilities to use the basic model of a spatial database of agricultural and aquaculture facilities (AF)
Autorzy:: Pluto-Kossakowska, J.
Marczak, S.
Radło-Kulisiewicz, M.
Powiązania:: https://bibliotekanauki.pl/articles/346343.pdf
Data publikacji:: 2016
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Tematy:: INSPIRE
obiekty rolnicze
obiekty akwakultury
specyfikacja danych przestrzennych
agricultural facilities
aquaculture facilities
spatial data specification
Opis:: Artykuł powstał w wyniku badań przeprowadzonych dla Agencji Restrukturyzacji i Modernizacji Rolnictwa związanych z próbą stworzenia opracowaniem modelu bazy danych dla jednego z tematów danych przestrzennych INSPIRE z załącznika numer 3 – Obiekty rolnicze i akwakultury. Prace badawcze zostały przeprowadzone na podstawie specyfikacji danych INSPIRE D2.8.III.9 „Data Specification on Agricultural and Aquaculture Facilities – Technical Guidelines”, która stanowi podstawę budowy modelu bazy danych. Celem artykułu jest przedstawienie możliwości wykorzystania baz danych przestrzennych z zasobów ARiMR oraz innych baz danych referencyjnych do utworzenia bazy danych o obiektach rolniczych i akwakultury w modelu podstawowym zgodnie ze Specyfikacją D2.8.III.9. W ramach realizacji powyższego celu omówiono wymagania stawiane budowanej bazie danych przez specyfikację, przeanalizowano potrzeby wykorzystania tworzonej bazy danych przez jednostki samorządowe i inne instytucje pożytku publicznego oraz przedstawiono przykładowe możliwości wizualizacji danych i analiz przestrzennych. Ostatecznie sformułowano zalecenia dotyczące budowy bazy danych obiektów rolniczych i akwakultury w aspekcie technicznym i organizacyjnym.
This paper has been written as a result of surveys connected with elaboration of a database model created for “Agricultural and Aquaculture Facilities” – one of the INSPIRE spatial topics. Those surveys were carried out for the Agency for Restructuring and Modernisation of Agriculture (ARMA). „Data Specification on Agricultural and Aquaculture Facilities – Technical Guidelines” were the organizational and technical foundation for building the database model. The aim of the paper is to discuss the possibilities of using spatial databases owned by ARMA and other reference databases to create the basic database model for Agricultural and Aquaculture Facilities. To realize the assumed target, specified requirements were discussed, needs to use the developed database by local government units and other public benefit institutions were analyzed, and possible examples of data visualization and spatial analysis were shown. Finally, technical and organization recommendations for creating the database for Agricultural and Aquaculture Facilities were formulated.
Źródło:: Roczniki Geomatyki; 2016, 14, 5(75); 617-626
1731-5522
2449-8963
Pojawia się w:: Roczniki Geomatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 27.

Tytuł:: Zamieszane prawo [Zamówienia publiczne w budownictwie]
Autorzy:: Błaszczykowski, A.
Powiązania:: https://bibliotekanauki.pl/articles/343719.pdf
Data publikacji:: 2005
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: ustawa o zamówieniach publicznych
zamówienie publiczne
założenia projektowe
inwestor
przetarg na roboty budowlane
specyfikacja techniczna
Źródło:: Budownictwo, Technologie, Architektura; 2005, 1; 34-38
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 28.

Tytuł:: FSP and FLTL framework for specification and verification of middle-agents
Autorzy:: Bădică, A.
Bădică, C.
Powiązania:: https://bibliotekanauki.pl/articles/907813.pdf
Data publikacji:: 2011
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: system wieloagentowy
algebra procesów
specyfikacja formalna
multi-agent system
interaction protocol
process algebra
formal specification
Opis:: Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of requester with provider agents requires the use of specialized agents known as middle-agents. In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions with requesters and providers. Our approach is based on capturing interaction protocols between requesters, providers and middle-agents as finite state processes represented using FSP process algebra. The resulting specifications are formally verifiable using FLTL temporal logic. The main results of this work include (i) precise specification of interaction protocols depending on the type of middle-agent (this can also be a basis for characterizing types of middle-agents), (ii) improvement of communication between designers and developers and facilitation of formal verification of agent systems, (iii) guided design and implementation of agent-based software systems that incorporate middle-agents.
Źródło:: International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 9-25
1641-876X
2083-8492
Pojawia się w:: International Journal of Applied Mathematics and Computer Science
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 29.

Tytuł:: A qualitative trajectory calculus as a basis for representing moving objects in Geographical Information Systems
Autorzy:: Weghe, N. van de
Cohn, A. G.
Tre, G. de
Maeyer, P. de
Powiązania:: https://bibliotekanauki.pl/articles/970477.pdf
Data publikacji:: 2006
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:: obiekt ruchomy
wnioskowanie jakościowe
specyfikacja jakościowa
moving objects
qualitative reasoning
qualitative representation
spatio-temporal modelling
Opis:: Qualitative formalisms, suited to express qualitative temporal or spatial relationships between entities, have gained wide acceptance as a useful way of abstracting from the real world. The question remains how to describe spatio-temporal concepts, such as the interaction between disconnected moving objects, adequately within a qualitative calculus and more specifically how to use this in geographical information systems. In this paper, the Basic Qualitative Trajectory Calculus (QTCB) for representing and reasoning about moving objects is presented. QTCB enables comparisons between positions of objects at different time points ro be made. The calculus is based on few primitives (i.e., distance and speed constraints), making it elegant and theoretically simple. To clarify the way in which trajectories are represented within QTCB: specific cases of movements (e.g. circular movement) are presented. To illustrate the naturalness of QTC, a "predator-prey" example is studied.
Źródło:: Control and Cybernetics; 2006, 35, 1; 97-119
0324-8569
Pojawia się w:: Control and Cybernetics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 30.

Tytuł:: Specyfikacja struktur serwomechanizmów wizyjnych
Specification of visual servo structures
Autorzy:: Kornuta, T.
Zieliński, C.
Powiązania:: https://bibliotekanauki.pl/articles/276670.pdf
Data publikacji:: 2012
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: systemy robotyczne
systemy agentowe
serwomechanizmy wizyjne
specyfikacja
robot systems
agent systems
visual servoing
formal specification
Opis:: 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.
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.
Źródło:: Pomiary Automatyka Robotyka; 2012, 16, 2; 370-376
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 31.

Tytuł:: Metro as an example of an urban rail system. Four case studies from Europe
Metro jako przykład zurbanizowanego systemu kolejowego.Cztery przykłady z Europy
Autorzy:: Fraszczyk, A.
Magalhaes Da Silva, J.
Gwóźdź, A.
Vasileva, G.
Powiązania:: https://bibliotekanauki.pl/articles/374208.pdf
Data publikacji:: 2014
Wydawca:: Politechnika Śląska. Wydawnictwo Politechniki Śląskiej
Tematy:: metro system
urban rail system
comparisons
ticketing
system metro
system kolei miejskich
porównania
specyfikacja techniczna
bilet
Opis:: Underground, tube, subway or metro are common expressions used to describe a rapid transit system serving urban areas. Such a system uses dedicated rail corridors, can run underground or overground, and often includes tunnels and viaducts. Although there are 148 cities in the world with metro systems, each system is different, interms of layout, length, capacity, etc., as it serves different geographical and socioeconomical areas. In this context, the paper presents four European metro systems (Sofia, Warsaw, Lisbon, and Tyne and Wear), introduces the systems dimensions, rolling stock and ticketing strategies and compares similarities and differences between the systems. The analyses suggest a number of recommendations and improvements, which if implemented, could benefit other metro systems in Europe and beyond.
W języku angielskim występuje wiele określeń opisujących metro. System ten wykorzystuje dedykowane korytarze kolejowe, mogące pracować pod ziemią lub nad ziemią i często obejmuje tunele oraz wiadukty. Mimo że istnieje na świecie 148 miast mających systemy metra, każdy system jest inny pod względem układu, długości, pojemności itp., ponieważ występują w różnych układach geograficznych i systemach społeczno-ekonomicznych. W tym kontekście, artykuł prezentuje cztery europejskie systemy metra (Sofii, Warszawy, Lizbony i Tyne and Wear), przedstawia wymiary systemów metra, taboru, strategię biletową i porównuje podobieństwa i różnice pomiędzy nimi. Analizy wskazują wiele zaleceń i usprawnień, które jeżeli zostaną wdrożone, mogą przynieść zysk dla systemów metra w Europie i poza nią.
Źródło:: Transport Problems; 2014, T. 9, z. spec.; 101-108
1896-0596
2300-861X
Pojawia się w:: Transport Problems
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 32.

Tytuł:: System sterowania dwurękiego robota usługowego
Control System of Two Handed Service Robot
Autorzy:: Seredyński, Dawid
Powiązania:: https://bibliotekanauki.pl/articles/2068659.pdf
Data publikacji:: 2021
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: system sterowania
robot dwuręki
robotyka usługowa
specyfikacja
agent
control system
two handed robot
service robotics
specification
Opis:: Praca prezentuje przykład systemu sterowania robota usługowego. Opisano zastosowane narzędzia i otwarte oprogramowanie. Przedstawiono system sterowania poczynając od struktury sprzętu przez specyfikację, aż do implementacji. Opis na poziomie ogólnym pozwala spojrzeć całościowo na problem tworzenia takich systemów, a jednocześnie podkreślono szczegółowe kwestie, które są istotne. Poruszono także kwestie związane z symulacją. Opisany system sterowania robota WUT Velma znalazł zastosowanie w licznych badaniach naukowych.
This work presents an example control system of a service robot. All used concepts, tools and open source software are described. The control system is presented starting from configuration of hardware, specification, up to its implementation. Generality of the image allows the reader to look at the problem globally, while some important, detailed aspects are highlighted. Simulation-related problems are also described. The presented system of WUT Velma robot has been used in many research works.
Źródło:: Pomiary Automatyka Robotyka; 2021, 25, 4; 37--44
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 33.

Tytuł:: Uwarunkowania normalizacyjne eksploatacji uzbrojenia i sprzętu wojskowego
Standardization conditions of using weapons and military equipment
Autorzy:: Figurski, J.
Rogowski, B.
Powiązania:: https://bibliotekanauki.pl/articles/234763.pdf
Data publikacji:: 2015
Wydawca:: Wojskowy Instytut Techniczny Uzbrojenia
Tematy:: norma
normalizacja
specyfikacja techniczna
uzbrojenie wojskowe
sprzęt wojskowy
standard
standarization
technical specification
weapons equipment
military equipment
Opis:: W artykule zwrócono uwagę na potrzebę stosowania uwarunkowań normalizacyjnych z obszaru eksploatacji uzbrojenia i sprzętu wojskowego. Odniesiono się do najważniejszych aspektów prawnych i organizacyjnych dotyczących stosowania wymagań normalizacyjnych, ze szczególnym uwzględnieniem ich związku i wpływu na poprawność funkcjonowania systemu eksploatacji uzbrojenia i sprzętu wojskowego. Zaakcentowano szczególne znaczenie norm oraz dokumentów standaryzacyjnych NATO, pod kątem ich wykorzystania w obszarze eksploatacji techniki wojskowej. Podkreślono rolę jednostek badawczo-rozwojowych i wdrożeniowych w procesie funkcjonowania i doskonalenia systemu oraz zwrócono uwagę na korzyści płynące z tego rodzaju działalności. Odniesiono się do wybranych aspektów europejskiego podejścia oraz hierarchii stosowania dokumentów normalizacyjnych w eksploatacji techniki wojskowej.
The article deals with a need to apply standardisation environment of using (exploitation) armament and military equipment. The reference is made to the most important legal and organisational aspects concerning needs for applying standardisation requirements and particularly their connection and impact into proper operation of exploitation system for armament and military equipment. Special meaning of NATO standards and standardisation documents used in exploitation of armament and military equipment is stressed. The significance of research and development and implementa-tion institutions in the process of functioning and improvement of the system is highlighted together with real benefits of such approach. There is also made a reference to the European approach and a way of using the standardisation documents in the process of exploitation of military technique.
Źródło:: Problemy Techniki Uzbrojenia; 2015, 44, 134; 59-78
1230-3801
Pojawia się w:: Problemy Techniki Uzbrojenia
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 34.

Tytuł:: Wzajemne powiązania: projektant-producent betonu-wykonawca
Autorzy:: Bajorek, G.
Kiernia-Hnat, M.
Powiązania:: https://bibliotekanauki.pl/articles/343653.pdf
Data publikacji:: 2014
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: technologia betonu
projektant
producent
wykonawca
PN-EN 206
Eurokod 2
Eurokod 4
specyfikacja techniczna
roboty betonowe
Źródło:: Budownictwo, Technologie, Architektura; 2014, 3; 68-73
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 35.

Tytuł:: Analiza parametrów technicznych rozrzutników obornika (wariant 10-tonowy)
Analysis of technical parameters of manure spreaders (10-tons variant)
Autorzy:: Niewiadomski, Przemysław
Powiązania:: https://bibliotekanauki.pl/articles/1931356.pdf
Data publikacji:: 2021-12-21
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:: rozrzutnik obornika
specyfikacja techniczna
analiza parametrów technicznych
manufacturer's maturity
determinants of agricultural machinery selection
assessment model
Opis:: Analiza parametrów technicznych rozrzutników obornika to obszar badawczy podjęty w niniejszym opracowaniu. Funda-mentalnym celem pracy jest zaprezentowanie właściwości technicznych, które z jednej strony są charakterystyczne dla ma-szyn o wskazanym przedziale ładowności (przystosowanych do prac rolniczych prowadzonych w małych oraz średnich gospodarstwach), z drugiej zaś mogą decydować o wyborze produktu określonego producenta. Osiągnięcie celu głównego wymagało sformułowania i zrealizowania celów cząstkowych, do których zaliczono: a) wykorzystując metodę rekonstrukcji i interpretacji wybranych dokumentów (kart technologicznych, dyrektyw, norm, itp.) wyselekcjonowanie - istotnych z perspektywy klienta i dostawcy - parametrów technicznych rozrzutników obornika; b) skompilowanie listy parametrów technicznych stanowiących fundament narzędzia badawczego. Skonkretyzowane eksplikacje stały się substratem definiującym właściwy kierunek dalszych prac badawczych (porównanie parametrów technicznych rozrzutników obornika wy-branych producentów), których wyniki zostaną zaprezentowane w przedłożonej części opracowania. Przystępując do badań przyjęto koncepcyjny wzorzec tezy: Parametry techniczne rozrzutników obornika o wskazanym przedziale ładowności, ze względu na wymogi rynku oraz konieczność dostosowania wyrobu do przepisów, są do siebie bardzo zbliżone niezależnie od producenta. Tym samym, na podstawie wybranych parametrów, trudno jest wskazać na wyrób, który w największym stopniu spełnia wymagania rynku. Postuluje się zatem, że źródłem przewagi konkurencyjnej będą parametry nietechnologiczne.
The maturity of agricultural machinery manufacturers in Poland is one of the research areas undertaken in this study. The fundamental goal of the work is to probe what factors decide on the one hand the choice of agricultural machinery, and on the other hand can constitute the foundation of the assessment from the perspective of the maturity of their manufacturers. Achieving the main goal required the formulation and implementation of sub-objectives, which included: a) Determining the importance of maturity from the perspective of flexibility of the producer (supplier); b) Using the method of reconstruction and interpretation of the literature on the subject - nomination of factors conditioning the choice of agricultural machinery; c) Compilation of the list of desiderates constituting the foundation of the research tool in the assessment model being the resultant literature exploration and discussion among deliberately selected field experts (agricultural machinery sector). Specific clarifications have become the substrate that defines the right direction for further research (assessment of significance of requirements), the results of which will be presented in the next part of the study.
Źródło:: Technika Rolnicza Ogrodnicza Leśna; 2021, 2; 27-33
1732-1719
2719-4221
Pojawia się w:: Technika Rolnicza Ogrodnicza Leśna
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 36.

Tytuł:: Specyfikacje betonu projektowanego do obiektów mostowych
Autorzy:: Jackiewicz-Rek, W.
Konopska-Piechurska, M.
Powiązania:: https://bibliotekanauki.pl/articles/365776.pdf
Data publikacji:: 2012
Wydawca:: Nowoczesne Budownictwo Inżynieryjne
Tematy:: beton
infrastruktura komunikacyjna
obiekty inżynierskie
obiekty mostowe
specyfikacja
uchybienia
bridges
communication infrastructure
concrete
engineering objects
specification
failure
Opis:: 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.
Źródło:: Nowoczesne Budownictwo Inżynieryjne; 2012, 5; 51-54
1734-6681
Pojawia się w:: Nowoczesne Budownictwo Inżynieryjne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 37.

Tytuł:: Nadzór nad dokumentami normatywnymi w instytucie badawczym
Supervision over normative documents at the research institute
Autorzy:: Garbarczyk, P.
Powiązania:: https://bibliotekanauki.pl/articles/1381708.pdf
Data publikacji:: 2015
Wydawca:: Polskie Wydawnictwo Ekonomiczne
Tematy:: normalizacja
dokument normatywny
norma
specyfikacja techniczna
kodeks postępowania
standardization
normative document
standard
technical specification
code of conduct
Opis:: Artykuł prezentuje rodzaje (wraz z przykładami) wykorzystywanych w instytucie badawczym dokumentów normatywnych. Opisuje sposoby realizacji zapotrzebowania na normy, specyfikacje techniczne oraz kodeksy postępowania. Przedstawia zagadnienia związane z nadzorem nad dokumentami normatywnymi obejmujące aktualizację zbioru norm, kontrolę nad wypożyczaniem dokumentów oraz archiwizację dokumentów nieaktualnych.
The article presents the types (with examples) of the normative documents used at the research institute. It describes methods of meet the demand for standards, technical specifications and codes of conduct. It presents issues related to the supervision over normative documents, including an update of the set of standards, control over the lending of documents and archiving of outdated documents.
Źródło:: Gospodarka Materiałowa i Logistyka; 2015, 9; 20-26
1231-2037
Pojawia się w:: Gospodarka Materiałowa i Logistyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 38.

Tytuł:: Mrozoodporność betonu w konstrukcjach mostowych
Autorzy:: Czarnecki, L.
Deja, J.
Flaga, K.
Jasiczak, J.
Kurdowski, W.
Małolepszy, J.
Radomski, W.
Śliwiński, J.
Powiązania:: https://bibliotekanauki.pl/articles/343421.pdf
Data publikacji:: 2015
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: most
konstrukcja betonowa
mrozoodporność
matryca cementowa
oddziaływanie
metal ciężki
czynnik fizyczny
stan prawny
specyfikacja techniczna
ciepło hydratacji
Źródło:: Budownictwo, Technologie, Architektura; 2015, 1; 66-69
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 39.

Tytuł:: Beton towarowy - definicja, specyfikacja, dostawa, kontrola produkcji w świetle normy PN-EN 206-1:2003
Autorzy:: Szewczyk, K.
Powiązania:: https://bibliotekanauki.pl/articles/343439.pdf
Data publikacji:: 2004
Wydawca:: Stowarzyszenie Producentów Cementu
Tematy:: beton towarowy
PN-EN 206-1:2003
specyfikacja
dostawa
beton projektowany
beton recepturowy
kontrola produkcji
klasa wytrzymałości
Źródło:: Budownictwo, Technologie, Architektura; 2004, 3; 30-33
1644-745X
Pojawia się w:: Budownictwo, Technologie, Architektura
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 40.

Tytuł:: The on-line works of virtual laboratory example solutions
Autorzy:: Piecha, J.
Bernaś, M.
Powiązania:: https://bibliotekanauki.pl/articles/333224.pdf
Data publikacji:: 2005
Wydawca:: Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:: e-learning
e-zawartość
MAMS
jednostki QRU
specyfikacja jednostki
e-content
QRU units
unit specification
kay methodology
Opis:: The paper presents the one e-content example used as a pattern solution for distance learning resources development at the University of Silesia. The Intranet technologies were used as networking services for training processes control and future distribution services at the University of Silesia distance learning network. The given solution provides the development team at Distance Learning Technologies Centre with various unifications and library units of four courses that are under development at present in Department of Computer Systems, institute of Informatics. All the applications are running on MAMS (Multimedia Applications Management Shell) environment as a common frame structure for every e-lesson. The MAMS applications are provided with several mechanisms that allow monitoring the user knowledge level and study progress. Various examples of the applications layout and their characteristic features are presented in this contribution.
Źródło:: Journal of Medical Informatics & Technologies; 2005, 9; 295-301
1642-6037
Pojawia się w:: Journal of Medical Informatics & Technologies
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 41.

Tytuł:: Testowanie roboczych wersji specyfikacji danych tematów załączników II i III INSPIRE
Testing of draft inspire annex II and III themes data specifications
Autorzy:: Michalak, J.
Powiązania:: https://bibliotekanauki.pl/articles/345789.pdf
Data publikacji:: 2012
Wydawca:: Polskie Towarzystwo Informacji Przestrzennej
Tematy:: dyrektywa INSPIRE
specyfikacja danych
model UML
schemat XSD
GML
INSPIRE directive
data specification
UML model
XSD schema
Opis:: Od czerwca do października 2011 r. - w środowiskach krajów członkowskich Unii Europejskiej zajmujących się budową infrastruktury INSPIRE - trwały prace nad testowaniem i oceną roboczych wersji specyfikacji danych dla tematów określonych w załącznikach II i III dyrektywy INSPIRE, to jest należących do drugiej i trzeciej grupy tematycznej. Zespół Konsolidacyjny INSPIRE (INSPIRE Consolidation Team) zaprosił do udziału w tych pracach (INSPIRE CT, 2011) wszystkie społeczności zainteresowane danymi przestrzennymi (SDICs) oraz instytucje uprawnione (LMOs - w Polsce są to w szczególności organy wiodące określone w ustawie o lIP). Termin zakończenia tych prac i przekazania wyników w formie raportów był wyznaczony na dzień 21 października 2011 r. Tak jak w innych krajach Unii Europejskiej, również w Polsce zakres tych prac był szeroki. Rada Infrastruktury Informacji Przestrzennej (Rada lIP), w uchwale nr 2 z dnia 11 maja 2011 r. w sprawie testowania projektów specyfikacji danych drugiej i trzeciej grupy tematycznej, zaleciła wszystkim organom wiodącym, aby zorganizowały i przeprowadziły testowanie unijnych projektów specyfikacji danych w zakresie tematów przyporządkowanych tym organom przez ustawę o lIP (Rada lIP, 2011). Na tej podstawie przeprowadzono wiele testów, analiz i ocen specyfikacji i przekazano do zespołów unijnych raporty, których zadaniem jest wniesienie wkładu do dalszych prac tematycznych zespołów roboczych (TWGs - Thematic Working Groups) nad końcowymi wersjami specyfikacji. W pracach krajowych autor pełnił rolę międzyresortowego konsultanta i koordynatora z ramienia Głównego Geodety Kraju. Wyniki wykonanych prac zostały przekazane Głównemu Geodecie Kraju w formie obszernego sprawozdania (Michalak, 2011). Przedstawione w artykule wyniki w dużym stopniu są rezultatem tamtych prac, jednak spora część tych wyników pochodzi z niezależnych działań i obserwacji autora.
The communities participating in the INSPIRE implementation, tested and evaluated the draft versions of annex II and III themes data specifications in the period of 4 months, from June to October 2011. In Poland, similarly as in other countries of the European Union, the scope of these works was broad. The Polish Council for Spatial Information Infrastructure has recommended the leading authorities to organize and carry out testing of data specifications with regard to the themes assigned to them by the Act on Spatial Information Infrastructure. Depending on the selected scope of testing and the choice of technique for separate themes, testing works were divided into different stages. The author, acting as the national consultant of these works, has thoroughly analyzed both the achieved results. This publication is a short presentation of experiences and conclusions arising from these works, which should be helpful in planning further activities connected with the implementation of the INSPIRE Directive in Poland.
Źródło:: Roczniki Geomatyki; 2012, 10, 2; 51-64
1731-5522
2449-8963
Pojawia się w:: Roczniki Geomatyki
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 42.

Tytuł:: Wyzwania kartografii geologicznej w Polsce
Challenges of geological mapping in Poland
Autorzy:: Marks, Leszek
Jóźwik, Katarzyna
Powiązania:: https://bibliotekanauki.pl/articles/2076100.pdf
Data publikacji:: 2020
Wydawca:: Państwowy Instytut Geologiczny – Państwowy Instytut Badawczy
Tematy:: kartografia geologiczna
baza geologiczna
GeoSciML
specyfikacja techniczna
INSPIRE
International Quaternary Map of Europe
QUAME
geological mapping
geological database
Opis:: Geological mapping is a highly interpretive and scientific process that produces a range of map products for many different uses, basically for sustainable land and mineral resources management. This is a primary and principal task of all geological surveys in the world. The establishment of the Polish Geological Institute in 1919 founded a basic framework for geological mapping in Poland. After the Second World War, an extensive production of geological (serial, regional and thematic) maps at different scales in atlases and scientific publications was initiated. Within the past 30 years, geographic information system (GIS) technology has begun to change geologic mapping by providing software tools, a use of which permits geological data to be electronically stored, displayed, queried and analysed in conjunction with a seemingly infinite variety of other data types. The fully automatic process of map generalization and its founding on hierarchic geological vocabularies will enable flexible presentation of geological data while passing from one scale to another. New technological advances and international standards in description, collection, exchange and visualisation ofgeological data, as well as its connection with external resources, will result in substantial enrichment of information in databases and will create new possibilities in search and use of data in the Web.
Źródło:: Przegląd Geologiczny; 2020, 68, 5; 330--337
0033-2151
Pojawia się w:: Przegląd Geologiczny
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 43.

Tytuł:: Pесурсосбережение и научно обоснованные методы технического сервиса машин и оборудования молочно-товарных ферм
Resource saving and scientifically found methods of the technical service of machines and equipment for milk farms
Autorzy:: Kovalev, L. I.
Kovalev, I. L.
Powiązania:: https://bibliotekanauki.pl/articles/334961.pdf
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Maszyn Rolniczych
Tematy:: dairy cattle breeding
specifications
equipment
technical service
maintenance service and repair (MSR)
bydło mleczne
serwis
specyfikacja
farma mleczna
Opis:: The article is based on data and analysis of the results of the calculations of the flow of material resources for the maintenance and repair of machinery and equipment of cattle farms and facilities in the Republic of Belarus from 80-90-ies of XX century to the present day. The paper sets out the methodology and developed standards of resource consumption per conventional unit of complexity of modern staffs of technical service. The importance and relevance of the topic is directly dictated by the need to find solutions to economic problems for cheaper livestock production and as a way of solving this problem - the use of standards in the maintenance of livestock equipment in order to save material resources for livestock farms and complexes in the present conditions of the free market.
Статья основана на данных и результатах проведенного анализа расчетов расхода материальных ресурсов на техническое обслуживание и ремонт машин и оборудования животноводческих ферм и комплексов в Республике Беларусь , начиная с 80-90-х годов ХХ века и по сегодняшний день . В статье изложена методика и разработаны нормативы расхода ресурсов на одну условную единицу категории сложности для современных служб технического сервиса . Важность и актуальность затронутой темы напрямую продиктована необходимостью изыскания экономических вариантов решения задач по удешевлению производства продукции животноводства и как один из путей решения этой задачи – использование нормативов в техобслуживании животноводческой техники в целях экономии материальных ресурсов на животноводческих фермах и комплексах в современных условиях свободного рынка.
Źródło:: Journal of Research and Applications in Agricultural Engineering; 2013, 58, 1; 107-113
1642-686X
2719-423X
Pojawia się w:: Journal of Research and Applications in Agricultural Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 44.

Tytuł:: Specyfikacje techniczne. Próbne obciążenia statyczne pali fundamentowych
Autorzy:: Dziedzina, B.
Powiązania:: https://bibliotekanauki.pl/articles/364055.pdf
Data publikacji:: 2010
Wydawca:: Nowoczesne Budownictwo Inżynieryjne
Tematy:: fundamenty budowlane
geotechnika
nośność pali
pale fundamentowe
próbne obciążenie
specyfikacja techniczna
Building foundations
foundation piles
geotechnics
pile capacity
specifications
Opis:: Specyfikacje techniczne (ST), będące zbiorem szczegółowych wymagań dla poszczególnych rodzajów robót, stanowią dokument przetargowy i kontraktowy w ramach konkretnego zadania inwestycyjnego. Określają wymagania dotyczące właściwości materiałów, sprzętu, środków transportu, technologii wykonania i kontroli robót, a także obmiaru, odbioru oraz płatności. W praktyce niejednokrotnie można się spotkać ze specyfikacjami, których zapisy budzą wiele wątpliwości i wymagają przedstawienia przez projektanta dodatkowych wyjaśnień. Skorzystanie z jednolitego wzoru prawidłowo opracowanych specyfikacji może zapobiec wielu problemom.
Źródło:: Nowoczesne Budownictwo Inżynieryjne; 2010, 1; 56-57
1734-6681
Pojawia się w:: Nowoczesne Budownictwo Inżynieryjne
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 45.

Tytuł:: Podstawowe wymagania dla stacji kolejowych ujęte w Technicznej Specyfikacji Interoperacyjności dla podsystemu "Infrastruktura", dotyczące obsługi osób o ograniczonej sprawności ruchowej
Basic requirements for railway stations included in the Technical Specification for Interoperability relative to the "Infrastructure" subsystem and concerning services provided for persons with reduced mobility
Autorzy:: Gołębiewski, M.
Powiązania:: https://bibliotekanauki.pl/articles/215506.pdf
Data publikacji:: 2008
Wydawca:: Instytut Kolejnictwa
Tematy:: infrastruktura
osoby niepełnosprawne
stacja kolejowa
Techniczna Specyfikacja Interoperacyjności
infrastructure
persons with reduced mobility
railway station
Technical Specification for Interoperability
Opis:: W artykule przedstawiono wybrane wymagania dla stacji kolejowych, zawarte w Technicznej Specyfikacji Interoperacyjności - TSI (podsystemy: "Infrastruktura" i "Tabor", aspekt: "Dostępność dla osób o ograniczonej sprawności ruchowej"). Opisano pojęcia, które zawiera TSI. Omówiono najważniejsze elementy infrastruktury, ujęte w TSI oraz przedstawiono dla każdego elementu wybrane wymagania i zalecenia.
The paper presents selected requirements for railway stations included in the TSI (Technical Specification for Interoperability) - Subsystems: "Infrastructure" and "Rolling Stock" - Aspect: "Availability for persons with reduced mobility"). Terms used in the TSI are described and selected requirements and recommendations for each element are also presented.
Źródło:: Problemy Kolejnictwa; 2008, 147; 23-32
0552-2145
2544-9451
Pojawia się w:: Problemy Kolejnictwa
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 46.

Tytuł:: Uogólnione specyfikacje techniczne wykonania i odbioru robót budowlanych
Generalized technical specifications for execution and acceptance and handing-off of the construction works
Autorzy:: Runkiewicz, L.
Sieczkowski, J.
Powiązania:: https://bibliotekanauki.pl/articles/161675.pdf
Data publikacji:: 2016
Wydawca:: Polski Związek Inżynierów i Techników Budownictwa
Tematy:: roboty budowlane
specyfikacja techniczna
wykonanie robót
odbiór robót
warunki techniczne
construction works
technical specification
works execution
works acceptance
technical conditions
Opis:: Do realizacji zamierzenia budowlanego oprócz projektu budowlanego niezbędne jest określenie wymagań dotyczących materiałów, sposobu realizacji, zasad odbioru itp. Wymagania te podawane są w tzw. specyfikacjach technicznych. Pomocą przy opracowaniu specyfikacji dla określonej inwestycji mogą być publikacje w postaci warunków technicznych wykonania i odbioru. Przykładem takich warunków jest opisana w artykule seria wydawnicza ITB, składająca się z 44 zeszytów WTWiORB.
For the purpose of carrying out a building initiative, aside from the design, it is also imperative to define the requirements referring to the materials, work and handing-off procedures. The aforesaid requirements are contained within so called technical specifications. The specification for the specific investment may be created on the basis of publications taking on a form of technical conditions for execution and handing-off. Such conditions are exemplified by a series of publications issued by the Building Research Institute (ITB), consisting of 44 WTWiORB volumes (Technical Specifications for Execution and Acceptance and Handing-off of The Construction Works).
Źródło:: Przegląd Budowlany; 2016, R. 87, nr 12, 12; 49-51
0033-2038
Pojawia się w:: Przegląd Budowlany
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 47.

Tytuł:: Weryfikowanie specyfikacji wymagań sterownika logicznego za pomocą diagramów aktywności UML, logiki temporalnej LTL i środowiska NuSMV
Verification of logic controller requirements specification by means of UML activity diagrams, LTL temporal logic and NuSMV tool
Autorzy:: Grobelna, I.
Grobelny, M.
Powiązania:: https://bibliotekanauki.pl/articles/277589.pdf
Data publikacji:: 2013
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:: diagramy aktywności UML
specyfikacja
model logiczny
weryfikacja modelowa
logika temporalna
UML activity diagrams
specification
logical model
model checking
temporal logic
Opis:: 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).
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.
Źródło:: Pomiary Automatyka Robotyka; 2013, 17, 10; 188-192
1427-9126
Pojawia się w:: Pomiary Automatyka Robotyka
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 48.

Tytuł:: Podstawowe wymagania dla wagonów pasażerskich przystosowanych do przewozu osób o ograniczonych możliwościach ruchowych - według TSI PRM
Basic requirements for the coaches adapted to the transport of persons with reduced mobility according to TSI PRM
Autorzy:: Lalik, M.
Powiązania:: https://bibliotekanauki.pl/articles/215508.pdf
Data publikacji:: 2008
Wydawca:: Instytut Kolejnictwa
Tematy:: osoby niepełnosprawne
podsystem Tabor
Techniczna Specyfikacja Interoperacyjności
wagon pasażerski
coaches
persons with reduced mobility
subsystem Tabor
Technical Specification for Interoperability
Opis:: W artykule omówiono podstawowe zagadnienia dotyczące wymagań zawartych w Technicznej Specyfikacji Interoperacyjności, ustanowionej w grudniu 2007 r., w aspekcie dostępności taboru kolejowego dla osób o ograniczonej sprawności ruchowej.
Basic issues concerning the requirements included in the Technical Specification for Interoperability as introduced in December 2007 and related to the availability of the rolling stock for persons with reduced mobility have been discussed.
Źródło:: Problemy Kolejnictwa; 2008, 147; 33-47
0552-2145
2544-9451
Pojawia się w:: Problemy Kolejnictwa
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 49.

Tytuł:: Analiza niezgodności oznaczeń klasoużytków ze specyfikacją pojęciowego modelu danych ewidencji gruntów i budynków
Analysis of class-land use symbols inconsistencies with the conceptual cadastral data model specification
Autorzy:: Stańczuk-Gałwiaczek, M.
Powiązania:: https://bibliotekanauki.pl/articles/101464.pdf
Data publikacji:: 2018
Wydawca:: Polska Akademia Nauk. Stowarzyszenie Infrastruktura i Ekologia Terenów Wiejskich PAN
Tematy:: kataster nieruchomości
klasoużytki
specyfikacja pojęciowego modelu danych ewidencji gruntów
real estate cadastre
class-land use
conceptual cadastral data model specification
Opis:: Obecnie, w świetle budowy Zintegrowanego Systemu Informacji o Nieruchomościach, konieczności implementacji dyrektywy INSPIRE oraz potrzeby harmonizacji i interoperacyjności zbiorów danych przestrzennych, utrzymanie danych ewidencyjnych w stanie aktualnym oraz zgodnym ze specyfikacją pojęciowego modelu danych ewidencji gruntów i budynków jest w Polsce niezwykle istotne. Szczególnymi danymi katastralnymi są dane dotyczące użytków gruntowych, w tym klasoużytków. Celem pracy jest analiza niezgodności oznaczeń klasoużytków (atrybut OKU w bazie danych ewidencyjnych) ze specyfikacją pojęciowego modelu danych ewidencji gruntów i budynków. Badania przeprowadzono w oparciu o bazy danych ewidencyjnych dla wybranych obrębów wiejskich w programie EWMAPA. Na podstawie badań wskazano najczęściej występujące rodzaje niezgodności. Wyniki badań skonfrontowano z istniejącymi przepisami prawa, w celu wskazania czynników mających wpływ na występowanie w bazie danych ewidencji gruntów analizowanych niezgodności. Zaproponowano zmiany w przepisach prawa umożliwiające wyeliminowanie najczęściej występujących niezgodności.
At present, while developing Integrated Real Estate Information System, as well as in the light of the need to implement the INSPIRE directive and the need of interoperability and harmonization of spatial data, it is extremely important in Poland to keep up-to-data cadastral data which maintains in accordance with the conceptual cadastral data model specification. Particular cadastral data are those on land use and classification contours, including class-land use (intersection of the land use and classification contour within the limits of the parcel of land). The paper aims to analyze the inconsistencies between the symbols of class-land use (attribute OKU in the cadastral database) and the conceptual cadastral data model specification. The research was carried out on the basis of cadastral databases for selected rural test objects in the EWMAPA software. The most frequent types of inconsistencies were indicated based on the research. The results of the study were confronted with the existing legal provisions, in order to indicate factors affecting the existence of the analyzed discrepancies in the cadastral database. Changes in legal regulations allowing to eliminate the most common inconsistencies were proposed.
Źródło:: Infrastruktura i Ekologia Terenów Wiejskich; 2018, III/1; 829-842
1732-5587
Pojawia się w:: Infrastruktura i Ekologia Terenów Wiejskich
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 50.

Tytuł:: Ochrona betonu przed karbonatyzacją w konstrukcjach mostowych
Protection of concrete against carbonation in bridge structures
Autorzy:: Kłos, Kaja
Adamczewski, Grzegorz
Woyciechowski, Piotr
Powiązania:: https://bibliotekanauki.pl/articles/2202712.pdf
Data publikacji:: 2022
Wydawca:: Polski Związek Inżynierów i Techników Budownictwa
Tematy:: konstrukcja mostowa
trwałość betonu
ochrona betonu
karbonatyzacja betonu
specyfikacja techniczna
bridge structure
concrete durability
concrete protection
concrete carbonation
technical specification
Opis:: W wyniku oddziaływania różnych czynników środowiskowych każda konstrukcja od momentu jej wykonania ulega sukcesywnej, szybszej lub wolniejszej destrukcji. Obiekty mostowe są z natury rzeczy wyeksponowane na wszelkie czynniki środowiskowe, które działają na konstrukcję bezpośrednio. Rola ochrony betonu przed czynnikami agresywnymi odgrywa kluczową rolę zważywszy na trwałość konstrukcji. Należy pamiętać, że ochrona betonu jest sposobem zapobiegania bądź ograniczeniem skutków spowodowanych przedwczesną lub nieoczekiwaną degradacją konstrukcji. W artykule przedstawiono podstawowe rodzaje ochrony betonu, w dużej mierze skupiając się na ochronie betonu przed karbonatyzacją w konstrukcjach mostowych.
As a result of various environmental factors, every structure from the time of its construction undergoes a succession of faster or slower destruction. Bridge structures are, by their very nature, exposed to all environmental factors that act directly on the structure. The role of concrete protection against aggressive factors plays a crucial role considering the durability of the structure. It is important to remember that concrete protection is a way to prevent or reduce the effects caused by premature or unexpected degradation of the structure. This paper presents the basic types of concrete protection, largely focusing on concrete protection against carbonation in bridge structures.
Źródło:: Przegląd Budowlany; 2022, 93, 9-10; 153--156
0033-2038
Pojawia się w:: Przegląd Budowlany
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "specyfikacja" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język