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-13 z 13
    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ł:
    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ł:
    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ł:
    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ł:
    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ł:
    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ł
    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ł
    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ł
    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ł
    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ł
    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ł
    Tytuł:
    Filtr eksplanacyjny: wykrywanie inteligentnego projektu na gruncie nauk przyrodniczych
    Explanatory Filter: Detecting Intelligent Design in the Natural Sciences
    Autorzy:
    Sagan, Dariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013053.pdf
    Data publikacji:
    2009
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    filtr eksplanacyjny
    wyspecyfikowana złożoność
    specyfikacja
    konieczność
    przypadek
    projekt
    wnioskowanie o projekcie
    eliminacyjne podejście do testowania hipotez
    porównawcze podejście do testowania hipotez
    William Dembski
    explanatory filter
    specified complexity
    specification
    necessity
    chance
    design
    design inference
    eliminative approach to hypotheses testing
    comparative approach to hypotheses testing
    Opis:
    The main purpose of this paper is to present the concept of explanatory filter as developed by William Dembski, a proponent of intelligent design theory. The explanatory filter is intended as a tool for detecting design, i.e. for discriminating between the results of intelligent and unintelligent activity, in case when the underlying causal history is unknown. Dembski claims that the explanatory filter as a method of design detection is already widely used in various branches of knowledge, although in a pre-theoretic form. His goal is to give the filter a rigorous theoretical shape, as well as to apply it to natural sciences such as cosmology or biology. After outlining the foundations of Dembski’s proposal, various objections to the concept of explanatory filter will be analyzed.
    Źródło:
    Roczniki Filozoficzne; 2009, 57, 1; 157-193
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-13 z 13

      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