Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "specyfikacja" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-25 z 78
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
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ł
Wyświetlanie 1-25 z 78

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies