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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-8 z 8
    Tytuł:
    Verification of logical descriptions with functional indeterminacy
    Weryfikacja specyfikacji logicznych z indeterminizmem funkcjonalnym
    Autorzy:
    Cheremisinova, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/153445.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    automatyzacja projektowania
    formalna weryfikacja
    symulacja
    design automation
    formal verification
    simulation
    Opis:
    The problem under discussion is to check whether a given system of incompletely specified Boolean functions is implemented by a logical description with functional indeterminacy that is represented by a system of connected blocks. Each of blocks is specified by a system of completely or incompletely specified Boolean functions. Simulation based and SAT based verification methods is considered. The first method simulates the structure specified by the second description on the domain of the first description. The second method formulates the verification problem as checking satisfiability of a conjunctive normal form. The results of computer investigation of the proposed methods are given.
    W artykule omówiono problem sprawdzania, czy dany układ częściowo określonych funkcji Boole'owskich jest realizowany przez specyfikację logiczną z indeterminizmem funkcjonalnym. Ta specyfikacja jest przedstawiona jako system połączonych bloków, z których każdy odpowiada układowi całkiem albo częściowo określonych funkcji Boole'owskich. Rozpatrzono metodę symulacyjną i metodę bazującą na analizie spełnialności funkcji. Pierwsza z tych metod symuluje strukturę, opisaną przez drugą specyfikację, w dziedzinie pierwszej specyfikacji. Druga metoda sprowadza problem weryfikacji do problemu spełnialności funkcji w postaci iloczynu sum. Przedstawiono wyniki komputerowych badań skuteczności zaproponowanych metod.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 519-513
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards optimal design of energy efficient buildings
    W kierunku projektowania budynków efektywnych energetycznie
    Autorzy:
    Gajewski, R. R.
    Kułakowski, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/231240.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    budynek efektywny energetycznie
    symulacja
    weryfikacja
    walidacja
    MES
    MRS
    energy efficient building
    simulation
    verification
    validation
    FEM
    FVM
    FDM
    Opis:
    Buildings consume half of all energy use and are also responsible for a similar proportion of carbon dioxide emission. The heat transfer across the building envelope - the shell of a house that separates the inside and outside - should generally be minimized. In the paper validation and verification based on Building Energy Simulation Test (BESTEST) of Energy3D computer code is presented. Next, computations performed by means of Energy 3D and Energy Plus for BESTEST building are compared. In the last part of the paper results for computations for real building are presented. Program Energy 3D proved to be an excellent tool for qualitative and quantitative analysis of buildings with respect to energy consumption.
    W związku ze znaczącym udziałem budynków w globalnym zapotrzebowaniu na energię ich projektowanie staje się coraz bardziej ukierunkowane na efektywne wykorzystanie nieodnawialnych zasobów takich jak np. paliwa kopalne. Celem niniejszej publikacji jest prezentacja możliwości jakie daje wykorzystanie oprogramowania do symulacji energetycznych budynków przy ich projektowaniu. We współpracy z firmą Wienerberger, która udostępniła dane dotyczące ich budynku modelowego oraz wyniki symulacji przeprowadzonych przez Narodową Agencję Poszanowania Energii S.A. w ramach optymalizacji jego projektu, autorzy porównali możliwości przykładowych, dostępnych komercyjnie narzędzi symulacyjnych – Energy3D oraz EnergyPlus (Design Builder) oraz porównali z wynikami benchmarkowymi na przykładzie budynku BESTEST. Poza omówieniem założeń obliczeniowych, a także dostępnych funkcjonalności programów, niniejszy artykuł zawiera streszczenie zagadnień wymagających rozwiązania przy symulacjach dynamicznej wymiany ciepła w budynkach oraz wybrane metody obliczeniowe stosowane w komercyjnych programach komputerowych.
    Źródło:
    Archives of Civil Engineering; 2018, 64, 4/II; 135-153
    1230-2945
    Pojawia się w:
    Archives of Civil Engineering
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Świat wirtualny jako nowy przedmiot filozofii przyrody
    Virtual World as a New Subject of Philosophy of Nature
    Autorzy:
    Latawiec, Anna
    Powiązania:
    https://bibliotekanauki.pl/articles/2013422.pdf
    Data publikacji:
    2006
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    elementy wirtualne
    idealizm
    realizm
    rzeczywistość
    symulacja
    świat wirtualny
    weryfikacja
    virtual elements
    idealism
    realism
    reality
    simulation
    virtual world
    verification
    Opis:
    Fast and intensive development of natural science (especially quantitative physics) and computer science make us think about the philosophy of nature. In this article we would like to show that a new subject of the philosophy of nature is the virtual world. The first step was to analyse some words like the following: virtuality, potentiality, reality. In this context we propose a definition of the virtual world as a real view created or reconstructed by intellectual or technical simulation. The next step was analyzed the objects and levels of virtual world. We emphasise the technical-communicational level and computer technology associated with it (the Internet, chat, blog, virtual shops); the second level is the biological level which is connected with the objects produced by the brain (thinking, imagination, research projects); the third level is the theoretical level with the virtual elements. On the ground of this classification we have shown that the virtual world and the objects are not homogeneous. The last part of this paper presents the beginning of the virtual world (creation or reconstruction in the intellectual and technical simulation). Our analyses are connected with Plato and his idealism, Aristotle and his realism, and Popper’s/Penrose’s proposition.
    Źródło:
    Roczniki Filozoficzne; 2006, 54, 2; 119-132
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wirtualny kontroler pionowego centrum obróbkowego FV 580A - symulacja, weryfikacja i analiza porównawcza procesu obróbki
    Virtual controller vnc of vertical CNC machine center FA-580A
    Autorzy:
    Józwik, J.
    Włodarczyk, M.
    Ścierka, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/395405.pdf
    Data publikacji:
    2010
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sterownik
    obrabiarka CNC
    symulacja
    system NX
    weryfikacja programu
    skrawanie
    controller
    CNC machine tool
    NX system
    simulation
    program verification
    cutting
    Opis:
    W pracy przedstawiono proces generowania wirtualnego kontrolera VNC w aplikacji Post Builder systemu NX z uwzględnieniem typu sterowania maszyny. Skonfigurowano wykonany model kinematyczny wraz z kontrolerem i postprocesorem w bibliotece systemu NX. Przygotowano do obróbki przykładowe modele przy wykorzystaniu Synchronous Technology oraz wykonano program obróbki. Przeprowadzono weryfikację ścieżek i symulację obróbki. W końcowej części pracy porównano zasymulowaną obróbkę z rzeczywistym procesem frezowania podczas prób na maszynie.
    In this paper generating process of virtual controller is presented. This process is care out with used NX system with Post Builder application and take into type of steering machine system. Kinematics model with controller and postprocessor in NX library was configured. Machining process of geometrical models with used Synchronous Technology and NC program was developed. In this article tool path verification and simulation is presented. Finally, process of machining simulation and real cutting process during tests on CNC machine tool is compared.
    Źródło:
    Postępy Nauki i Techniki; 2010, 5; 97-113
    2080-4075
    Pojawia się w:
    Postępy Nauki i Techniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Filozoficzno-naukowo-dysertacyjne problemy modelowania i symulacji relacji niezawodnościowych w wieloaspektowych systemach
    Philosophical, scientific and dissertation problems of modelling and simulation of reliability relations in multi-faceted systems
    Autorzy:
    Czajgucki, J. Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/404077.pdf
    Data publikacji:
    2010
    Wydawca:
    Polskie Towarzystwo Symulacji Komputerowej
    Tematy:
    modelowanie
    symulacja
    relacje niezawodnościowe
    tworzenie modelu
    weryfikacja modelu
    system wieloaspektowy
    modelling
    simulation
    reliability relations
    model creation
    model verification
    multifaceted system
    Opis:
    W artykule sformułowano rozważane problemy modelowania i symulacji relacji niezawodnościowych. Modelowaniem relacji niezawodnościowych nazywamy identyfikację systemów, tworzenie modeli relacji niezawodnościowych i weryfikację tych modeli. Tworzenie modeli relacji niezawodnościowych stanowi myślowe odwzorowanie relacji niezawodnościowych i eksperymentalne odwzorowanie (symulacja i badania) relacji niezawodnościowych. Wskazano drogę postępowania w modelowaniu relacji niezawodnościowych według sformułowanych zasad. Wskazano także na użyteczność rozważanego modelowania relatywnie do tych zasad.
    In this paper, considered problems of modelling and simulation of reliability relations are formulated. We call modelling of reliability relations the identification of systems, the creation of models of reliability relations and the verification of these models. The creation of models of reliability relations is a mental expression of reliability relations and an experimental expression (simulation and investigation) of reliability relations. The proceeding course in modelling of reliability relations according to formulated basic principles is shown. The utility of considered modelling in relation to these principles is also pointed out.
    Źródło:
    Symulacja w Badaniach i Rozwoju; 2010, 1, 1; 7-16
    2081-6154
    Pojawia się w:
    Symulacja w Badaniach i Rozwoju
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modelowanie procesu wytłaczania jednoślimakowego z dozowanym zasilaniem mieszanin tworzyw termoplastycznych
    Modeling of starve-fed single-screw extrusion of thermoplastic polyblends
    Autorzy:
    Wilczyński, K. J.
    Nastaj, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/947349.pdf
    Data publikacji:
    2015
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Chemii Przemysłowej
    Tematy:
    wytłaczanie jednoślimakowe z dozowanym zasilaniem
    model komputerowy
    symulacja
    weryfikacja doświadczalna
    single-screw extrusion with starve feeding
    computer model
    simulation
    experimental verification
    Opis:
    Przeprowadzono symulacje procesu wytłaczania z dozowaniem mieszaniny polietylenu małej gęstości z polistyrenem (PE-LD/PS). Na podstawie modelu komputerowego procesu wykonano obliczenia symulacyjne uplastyczniania tworzywa, rozkładu ciśnienia i temperatury tworzywa oraz stopnia wypełnienia ślimaka. Obliczenia zweryfikowano doświadczalnie.
    Modeling of single-screw extrusion process of polymer blends with starve feeding of extruder has been described. Simulations of starve-fed single screw extrusion of low density polyethylene (PE-LD) — polystyrene (PS) polyblend have been performed. Using the computer model of the process, the simulation calculations for polymer plasticization, distribution of pressure and temperature as well as extent of screw filling have been carried out and validated experimentally.
    Źródło:
    Polimery; 2015, 60, 3; 199-208
    0032-2725
    Pojawia się w:
    Polimery
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Research of lateral force of pipe conveyor belt’s vertical transport section
    Autorzy:
    Wang, S.
    Guo, Y.-C.
    Li, D. Y.
    Hu, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/223504.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    pipe belt conveyor
    vertical transport
    lateral force
    discrete element simulation
    experimental verification
    przenośnik taśmowy
    transport pionowy
    siła boczna
    symulacja
    platforma doświadczalna
    Opis:
    In order to release the lateral force of pipe conveyor belt in vertical transportation, the thesis had a study of the lateral force of the conveyor belt. By making use of Janssen Principles and fractal theory, based on reasonable simplification, the author established a mathematical model of the lateral force in vertical transportation, and with the research foundation of the pipe belt conveyor for underground transportation, through solution analysis, the author found out that the change of material diameter would lead to nonlinear variation of the lateral force of the conveyor belt. Under the circumstances of different material diameter, discrete element method was adopted to simulate the lateral force of the conveyor belt, thus working out the distribution curve chart of the lateral force. To verify the reliability of the theory, the author built an experimental platform for pipe conveyor belt in vertical transportation, and experimented with five groups of materials in different diameter, working out the strain of lateral force of the characteristic conveyor belt; by comparing the theoretical result, the simulation result and the experimental result, it showed that the solution to relieving lateral force through optimization selection of material diameter put forward in this thesis was reasonable and effective. It provides theoretical reference for the design of pipe belt conveyor.
    Źródło:
    Archives of Transport; 2016, 37, 1; 67-75
    0866-9546
    2300-8830
    Pojawia się w:
    Archives of Transport
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Experimental verification of simulation of TB32 crash test for SP-05/2 road safety barrier on horizontal concave arc
    Weryfikacja eksperymentalna symulacji testu zderzeniowego TB32 drogowej bariery ochronnej SP-05/2 w łuku poziomym wklęsłym
    Autorzy:
    Klasztorny, M.
    Zielonka, K.
    Nycz, D. B.
    Posuniak, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/104375.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
    Tematy:
    road barrier
    safety barrier
    horizontal concave arc
    simulation
    crash test
    experimental verification
    modelling
    bariera drogowa
    bariera ochronna
    łuk poziomy wklęsły
    test zderzeniowy
    weryfikacja eksperymentalna
    modelowanie
    symulacja
    Opis:
    The study concerns a selected road safety barrier consisting of a B-type guiderail, Sigma-100 posts with 2.00 m spacing, and supporting elements of a trapezoid cross section, located between the posts and the guiderail. The barrier is formed on a horizontal concave arc having a radius of 150 m. The full-scale experimental TB32 crash test was carried out for a vehicle impacting at the angle of 20°, on the testing grounds of the Automotive Industry Institute, Warsaw, Poland. The numerical modelling and simulation methodology of a barrier – vehicle system, recently developed by the authors is applied. Simulation of the above test was performed using LS-Dyna v.971 finite element code, while maintaining the conditions of the experimental test. All the functionality parameters for the barrier are studied, among others, ASI, THIV, working width, vehicle motion trajectory in the exit box. The results of the simulation tests were compared with those of the full-scale experimental test. The experimental verification of the numerical modelling and simulation of the selected crash test is rated positively. It was proven, both numerically and experimentally, that the TB32 crash test does not meet the condition imposed on the vehicle motion trajectory in the exit box.
    Przedmiotem badań numerycznych i eksperymentalnych jest stalowa taśmowa drogowa bariera ochronna, składająca się z prowadnicy typu B, słupków Sigma-100 w odstępach 2,00 m oraz elementów podporowych. Bariera jest w łuku poziomym wklęsłym o promieniu 150 m. Test zderzeniowy TB32 według PN-EN 1317 przeprowadzono na poligonie Przemysłowego Instytutu Motoryzacji w Warszawie, z użyciem samochodu Dodge Neon. Zastosowano metodologię modelowania numerycznego i symulacji układu bariera – pojazd opracowaną przez część zespołu autorów. Symulację ww. testu zderzeniowego przeprowadzono przy zastosowaniu systemu LS-Dyna v.971, przy zachowaniu warunków testu eksperymentalnego. Analizą objęto wszystkie parametry funkcjonalności bariery określone w normie PN-EN 1317, m.in. ASI, THIV, szerokość pracująca, trajektoria ruchu pojazdu w polu wyjścia. Przeprowadzono weryfikację eksperymentalną modelowania numerycznego i symulacji testu TB32. Wynik weryfikacji oceniono pozytywnie. Udowodniono, zarówno numerycznie, jak i eksperymentalnie, że w rozpatrywanym przypadku bariery w łuku poziomym test TB32 nie spełnia kryterium pola wyjścia pojazdu.
    Źródło:
    Czasopismo Inżynierii Lądowej, Środowiska i Architektury; 2017, 64, 2/I; 107-118
    2300-5130
    2300-8903
    Pojawia się w:
    Czasopismo Inżynierii Lądowej, Środowiska i Architektury
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-8 z 8

      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