Informacja

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

Wyszukujesz frazę "specyfikacja" wg kryterium: Temat


Wyświetlanie 1-7 z 7
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ł:
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ł:
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ł:
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-7 z 7

    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