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ę "wzorce" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    Tytuł:
    Wytwarzanie wzorców wad w materiałach przewodzących dla celów diagnostyki wiroprądowej
    Fabrication of the defect standards in conducting materials for non destructive eddy current testing
    Autorzy:
    Wrzuszczak, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/274989.pdf
    Data publikacji:
    2010
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    wzorce wad
    defektometria wiroprądowa
    defect standards
    eddy current defectometer
    Opis:
    Wzorce do pomiarów wiroprądowych są konieczne do wzorcowania przyrządów pomiarowych, sprawdzania przyrządu przed wykonaniem serii pomiarów oraz do kalibracji torów elektronicznego przetwarzania w komputerowych (mikroprocesorowych) systemach pomiarowych. W artykule omówiono metody wytwarzania wzorców defektów materiałowych do celów defektometrii wiroprądowej. Przedstawiono sposób przygotowania próbek metali i stopów: wybór materiału, dobór kształtu i wymiarów geometrycznych dostosowany do kształtu czujnika wiroprądowego, jak również możliwe do zastosowania technologie wykonania sztucznych wad typu nieciągłości. Po wytworzeniu wad, należy wyznaczyć ich wymiary geometryczne oraz oszacować niepewność. Jeżeli wady wzorcowe są stosunkowo małe, to w tym celu można posłużyć się mikroskopem, w sposób zaproponowany w artykule.
    In the paper a fabrication of the artificial defect standards in conducting materials such as metals and alloys for non destructive eddy current measurement has been presented. The defect standards should be preparated in a special selected material sample with a form and size coresponding to the specific type of eddy current sensor. This paper presents technological methods of the fabrication of material discontinuities. After flaws fabrication their dimensions should be measured and the uncertainty estimates evaluated. In the case of very small artificial flaws, their dimensions can be measured with any microscopy method e.g. as proposed in this paper. Defect standards are substantial for calibration and testing of eddy current measurement equipment.
    Źródło:
    Pomiary Automatyka Robotyka; 2010, 14, 12; 138-141
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Transforming Biological Patterns into Robot Concepts
    Transformowanie wzorców biologicznych na koncepcje robotyczne
    Autorzy:
    Zielińska, Teresa
    Powiązania:
    https://bibliotekanauki.pl/articles/2203467.pdf
    Data publikacji:
    2023
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    walking machine
    design
    biological template
    hexapods
    quadrupeds
    bio-robotics
    maszyny kroczące
    wzorce biologiczne
    maszyny sześcionożne
    biorobotyka
    Opis:
    Biology not only provides inspiration in the design of walking machines, but also suggests detailed design solutions. Concise information on legged locomotion in the animal world is presented, and the relationships between engineering solutions and the biological world are shown. The construction of animal legs is briefly described and the most commonly used leg structures for walking machines are discussed, including references to biological patterns. Examples of bio-inspired walking machines developed by our team are given and several concepts of bio-inspired robots are discussed. The general aim of the article is to show how knowledge of the animal world inspires innovative design solutions for robots intended for practical applications.
    Biologia nie tylko dostarcza inspiracji w pracach nad maszynami kroczącymi, ale także podpowiada szczegółowe rozwiązania konstrukcyjne. Głównym celem tego artykułu jest zilustrowanie na przykładach jak wzorce biologiczne przekształcane są w konkretne rozwiązania techniczne. Przedstawiono zwięzłe informacje na temat lokomocji nożnej w świecie zwierzęcym i pokazano związki między rozwiązaniami inżynierskimi a światem biologicznym. Pokrótce opisano budowę nóg zwierząt oraz najczęściej stosowane struktury nóg maszyn kroczących z uwzględnieniem odniesień do wzorców biologicznych. Podano przykłady opracowanych przez nasz zespół inspirowanych biologicznie maszyn kroczących oraz omówiono kilka koncepcji robotów inspirowanych światem biologicznym. Ogólnym celem artykułu jest pokazanie, w jaki sposób wiedza dotycząca świata zwierzęcego inspiruje nowatorskie rozwiązania konstrukcyjne robotów przeznaczonych do zastosowań praktycznych.
    Źródło:
    Pomiary Automatyka Robotyka; 2023, 27, 1; 27--37
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The agent, state-space model of the mobile robot
    Agentowy model robota mobilnego w przestrzeni stanu
    Autorzy:
    Oprzędkiewicz, K.
    Ciurej, M.
    Garbacz, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/275765.pdf
    Data publikacji:
    2018
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    mobile robot
    trajectory planning
    agent model
    design pattern
    Braitenberg algorithm
    robot mobilny
    planowanie trajektorii
    model agentowy
    wzorce projektowe
    algorytm Braitenberga
    Opis:
    The paper is devoted to present a new agent model of wheeled mobile robot. The proposed model based on nonlinear state space, discrete model of kinematics and employes Braitenberg algorithm to control the robot during move to target with passing obstacles. As a real robot the Khepera robot with IR proximity sensors was considered. The proposed agent model can be generalized onto another similar classes of devices. Results of experiments show that the proposed model correctly describes the behaviour of real device during realization of different jobs, for example obstacle passing.
    W artykule zaprezentowano nowy model agentowy kołowego robota mobilnego. Proponowany model bazuje na nieliniowym równaniu stanu opisującym kinematykę robota i wykorzystuje algorytm Braitenberga z zadanym punktem końcowym w celu omijania przeszkód. Jako przykład rzeczywistego robota rozważono robot Khepera III z czujnikami IR do wykrywania i omijania przeszkód. Zaproponowany model agentowy może być uogólniony na inne klasy podobnych urządzeń. Wyniki symulacji pokazują, że zaproponowany model dobrze opisuje zachowanie się rzeczywistego urządzenia podczas realizacji różnych zadań, np. przy omijaniu przeszkód.
    Źródło:
    Pomiary Automatyka Robotyka; 2018, 22, 3; 41-50
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kierunki zmian we współczesnej metrologii naukowej
    Developments in the contemporary scientific metrology
    Autorzy:
    Chyla, W. T.
    Powiązania:
    https://bibliotekanauki.pl/articles/275567.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    metrologia
    wzorce kwantowe
    reforma układu SI
    Nowy SI
    Konwencja Metryczna
    BIPM
    metrology
    quantum standards
    reform of the SI
    New SI
    Metric Convention
    Opis:
    W artykule przedyskutowano zmiany zachodzące w metrologii naukowej, wynikające zarówno z szybkiego rozwoju nauki (np. wykorzystanie zjawisk kwantowych do odtwarzania jednostek miar), jak i rosnących wymagań co do dokładności pomiarów (np. pomiar czasu w systemach nawigacji satelitarnej GNSS). W wielu dziedzinach nauki (np. w chemii, biologii, farmacji i medycynie) wprowadzane są metody wykonywania pomiarów i sposoby opracowania wyników pomiarów wywodzące się z metrologii (np. zmiana współczynnika rozszerzenia stosowanego w farmacji z k = 3 na k = 2). Współczesne trendy rozwojowe w metrologii naukowej, a w szczególności zbliżająca się reforma międzynarodowego układu jednostek miar SI, implikują zmianę priorytetów zapisanych w Konwencji Metrycznej i wpływają na rolę, jaką BIPM pełni w światowej infrastrukturze metrologicznej.
    The article presents evolution of scientific metrology that results both from the fast progress of science (e.g., the use of quantum standards) and the increasing demand for measurements at the highest metrological level (e.g., measurements of time in the global navigation satellite systems, GNSS). The measurement methods and general procedures for processing raw experimental data, which were developed in metrology, are being employed in the ever increasing number of fields (e.g., in chemistry, biology, pharmacology and medicine). The contemporary trends in scientific metrology, and particularly the forthcoming reform of the international system of units SI, imply a change of priorities stated in the Metric Convention and affect the role, which the BIPM plays in the global metrological infrastructure.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 10; 144-149
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Weryfikacja procesów biznesowych metodą dedukcyjną z wykorzystaniem logiki temporalnej
    Deduction-based Formal Verification of Business Models using Temporal Logic
    Autorzy:
    Klimek, R.
    Powiązania:
    https://bibliotekanauki.pl/articles/274553.pdf
    Data publikacji:
    2011
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    modele biznesowe
    BPMN
    SOA
    wzorce projektowe
    logika temporalna
    wnioskowanie dedukcyjne
    metoda tablic semantycznych
    generowanie specyfikacji
    business models
    workflow design patterns
    temporal logic
    deductive reasoning
    semantic tableaux method
    generating specifications
    Opis:
    Praca dotyczy formalnej analizy i weryfikacji modeli biznesowych wyrażonych w notacji BPMN. Weryfikacja oparta jest na wnioskowaniu dedukcyjnym. Jako metodę wnioskowania dla modeli biznesowych zaproponowano metodę tablic semantycznych, która cechuje się apagogicznością oraz analitycznością. Została przedstawiona metoda translacji podstawowych wzorców projektowych BPMN do formuł logiki temporalnej, stanowiących logiczną specyfikację analizowanegomodelu. Zarówno logiczna specyfikacja, jak i właściwości badanych procesów są wyrażone formułami tzw. najmniejszej logiki temporalnej. Formuły te są następnie przetwarzane z wykorzystaniem metody tablic semantycznych. Innowacyjność proponowanego podejścia może istotnie wpłynąć na redukcję kosztów wytwarzania oprogramowania, ze względu na możliwość wykrycia błędów oprogramowania już w fazie jego modelowania, wyprzedzając tym samym znacznie fazy implementacji i testowania.
    The paper concerns formal analysis and verification of business models expressed in BPMN. This verification is based on a deductive reasoning. As a method of inference for business models semantic tableaux method is proposed. Automatic trans- formations of the basic BPMN workflow patterns to temporal logic formulas are proposed. These formulas constitute a logical specification of the analyzed model. Both the logical specification and the desired system properties are expressed as formulas of the smallest linear temporal logic. These formulas are later processed using semantic tableaux method. Applying this innovative concept might result in software development costs reduction as some errors might be addressed in the modeling phase not in implementation or testing phase.
    Źródło:
    Pomiary Automatyka Robotyka; 2011, 15, 12; 190-193
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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