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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Towards ensuring software interoperability between deep learning frameworks
    Autorzy:
    Lee, Youn Kyu
    Park, Seong Hee
    Lim, Min Young
    Lee, Soo-Hyun
    Jeong, Jongwook
    Powiązania:
    https://bibliotekanauki.pl/articles/23944833.pdf
    Data publikacji:
    2023
    Wydawca:
    Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
    Tematy:
    deep learning
    interoperability
    validation
    verification
    deep learning framework
    model conversion
    Opis:
    With the widespread of systems incorporating multiple deep learning models, ensuring interoperability between target models has become essential. However, due to the unreliable performance of existing model conversion solutions, it is still challenging to ensure interoperability between the models developed on different deep learning frameworks. In this paper, we propose a systematic method for verifying interoperability between pre- and post-conversion deep learning models based on the validation and verification approach. Our proposed method ensures interoperability by conducting a series of systematic verifications from multiple perspectives. The case study confirmed that our method successfully discovered the interoperability issues that have been reported in deep learning model conversions.
    Źródło:
    Journal of Artificial Intelligence and Soft Computing Research; 2023, 13, 4; 215--228
    2083-2567
    2449-6499
    Pojawia się w:
    Journal of Artificial Intelligence and Soft Computing Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fatigue Behavior and Mechanism of FV520B-I Owing to the Effect of Loading Frequency on the Fatigue Property in HCF and VHCF Regime
    Autorzy:
    Wang, J.
    Zhang, Y.
    Shi, B.
    Zhao, Q.
    Sun, Q.
    Zhang, Z.
    Lu, H.
    Powiązania:
    https://bibliotekanauki.pl/articles/353784.pdf
    Data publikacji:
    2018
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    ultrahigh loading frequency
    FV520B-I
    fatigue strength
    fatigue conversion model
    Opis:
    Fatigue property of FV520B-I is affected by the ultrahigh loading frequency significantly, and the ultrasonic fatigue experimental data can’t be employed directly to analyze the fatigue failure in the actual remanufacturing engineering. However few theories about the effect of loading frequency on the fatigue property of FV520B-I has ever been proposed. In this paper, both ultrasonic experiment and conventional experiment are conducted out to obtain the fatigue data. The effect of loading frequency on the fatigue data distribution is discussed firstly, its fatigue limit declines with the increase of the loading frequency. Then the fracture surface observations are captured, the fatigue property and fatigue behavior mechanism of FV520B-I is examined by analyzing the fracture surface features, crack initiation and failure observations. A new material frequency correction factor is proposed and introduced to eliminate the influence of the loading frequency on the FV520B-I fatigue property. FV520B-I empirical fatigue life conversion model and fatigue strength conversion model are established with comprehensive use of a fitting algorithm based on the combination of experimental data and classic formula. A clear understand of the effect of loading frequency on the fatigue property of FV520B-I is novel and has an important significance in guaranteeing the accuracy of the actual fatigue analysis of FV520B-I in the remanufacturing engineering.
    Źródło:
    Archives of Metallurgy and Materials; 2018, 63, 1; 347-357
    1733-3490
    Pojawia się w:
    Archives of Metallurgy and Materials
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Theory of an Arbitrary Higher λ-Model
    Autorzy:
    Martínez-Rivillas, Daniel O.
    de Queiroz, Ruy J. G. B.
    Powiązania:
    https://bibliotekanauki.pl/articles/43180151.pdf
    Data publikacji:
    2023
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    higher lambda calculus
    homotopic lambda model
    Kan complex reflexive
    higher conversion
    homotopy type-free theory
    Opis:
    One takes advantage of some basic properties of every homotopic λ-model (e.g. extensional Kan complex) to explore the higher βη-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher λ-terms, whose equality rules would be contained in the theory of any λ-homotopic model.
    Źródło:
    Bulletin of the Section of Logic; 2023, 52, 1; 39-58
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A method for evaluatingthe performance of a marine piston internal combustion engine used as the main engine on a ship during its voyage in different sailing conditions
    Autorzy:
    Girtler, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/259375.pdf
    Data publikacji:
    2010
    Wydawca:
    Politechnika Gdańska. Wydział Inżynierii Mechanicznej i Okrętownictwa
    Tematy:
    engine operation
    combustion engine performance evaluation
    interpretation of energy conversion
    Newton-Leibniz formula
    model of engine operation
    Opis:
    A method is presented for evaluating the performance of piston internal combustion engines used as the main engines on sea-going ships and acting in typical operating conditions. These conditions are described taking into account the performance area of engines of this type. The presented method provides opportunities for calculating the numerical effect of the action using the integral calculus. The above effect is presented as a physical quantity expressed by a number with the metric unit called the joule-second. Proposed is the use of types of integrands (which are functional dependences of the energy converted in these engines on time) which make it possible to use the second fundamental theorem of calculus justifying the use of the Newton-Leibniz formula. The object of the analysis is the process of changes of the energy converted in the internal combustion engines during their operation, described with the aid of a deterministic model of the real process taking into account its sample realisation.
    Źródło:
    Polish Maritime Research; 2010, 4; 31-38
    1233-2585
    Pojawia się w:
    Polish Maritime Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The accuracy of the navigational accelerometer with a nonlinear metrological model in operating conditions
    Dokładność nawigacyjnego akcelerometru z nieliniowym modelem metrologicznym w warunkach pracy
    Autorzy:
    Chernyak, Mycola
    Kolesnyk, Vadym
    Powiązania:
    https://bibliotekanauki.pl/articles/36419664.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
    Tematy:
    navigational accelerometer
    vibration error
    metrological model
    conversion function
    identification of coefficients
    static test
    akcelerometr nawigacyjny
    błąd drgań
    model metrologiczny
    funkcja konwersji
    identyfikacja współczynników
    próba statyczna
    Opis:
    A mathematical model of the error of the navigational accelerometer caused by the nonlinearity of its metrological model, taking into account the influence of vibration, was developed. The method of experimental estimation of the vibration error based on the developed model was proposed. The main idea of the method is to evaluate parameters of the developed model during static tests in the terrestrial gravitational field and to calculate error according to the specific vibration characteristics – the amplitude in the case of harmonic vibration profile or the frequency band and the power spectral density in the case of random vibration. The effectiveness of the proposed method has been tested using three types of navigation accelerometers in comparison with the results of classical dynamic testing in various vibration conditions (harmonic, white noise, etc.).
    Opracowano model matematyczny błędu akcelerometru nawigacyjnego spowodowany nieliniowością jego modelu metrologicznego, uwzględniający wpływ wibracji. Zaproponowano metodę eksperymentalnego oszacowania błędu wibracji w oparciu o opracowany model. Główną ideą metody jest ocena parametrów opracowanego modelu podczas prób statycznych w ziemskim polu grawitacyjnym i obliczenie błędu zgodnie ze specyficznymi cechami drgań – amplitudą w przypadku profilu drgań harmonicznych lub pasma częstotliwości i spektrum mocy gęstość w przypadku drgań losowych. Skuteczność proponowanej metody została przetestowana przy użyciu trzech rodzajów akcelerometrów nawigacyjnych w porównaniu z wynikami klasycznych testów dynamicznych w różnych warunkach drgań (harmoniczne, biały szum itp.).
    Źródło:
    Transactions on Aerospace Research; 2020, 3 (260); 1-10
    0509-6669
    2545-2835
    Pojawia się w:
    Transactions on Aerospace Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Data preparation for the purposes of 3D visualization
    Autorzy:
    Gryboś, P.
    Kaletowska, M.
    Litwin, U.
    Pijanowski, J. M.
    Szeptalin, A.
    Zygmunt, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/1396715.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Rolniczy im. Hugona Kołłątaja w Krakowie
    Tematy:
    digital terrain model (DTM)
    cultural landscape
    3D visualization
    photorealistic visualization
    data conversion
    wizualizacja 3D
    wizualizacja fotorealistyczna
    zagospodarowanie przestrzenne
    Opis:
    The article presents a method of preparing input data for 3D visualizations. The authors implemented the proposed procedure when they were working on a visualization, with use of Autodesk 3ds Max software. The test object were the ruins of a historic grange that belonged to the Nostitz family in Mściwojów (Mściwojów commune, Jaworski district, Lower-Silesia Voivodeship). After surveying the area and analyzing the data, using MicroStation with a geodetic application MK (Mapa Kontekstowa - context map), a Digital Terrain Model (DTM) was created along with contour lines, with use of Data Acquisition (a tool in some programs of Bentley). Next, the models of spatial objects were created using the authors' software VITAL LANDSCAPES Tools, developed during the EU CENTRAL EUROPE program. It was the basis for development of a visualization of current land management, using the sotware Autodesk 3ds Max. This allowed the design of the future land management of the historic grange so that the landscape balance is maintained. The data processed in this manner can be used for photorealistic visualizations in Autodesk 3ds Max or other graphical sotware.
    Źródło:
    Geomatics, Landmanagement and Landscape; 2013, 1; 31-40
    2300-1496
    Pojawia się w:
    Geomatics, Landmanagement and Landscape
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Impact of Noise and Mismatch on SAR ADCs and a Calibratable Capacitance Array Based Approach for High Resolutions
    Autorzy:
    Mueller, J. H.
    Strache, S.
    Busch, L.
    Wunderlich, R.
    Heinen, S.
    Powiązania:
    https://bibliotekanauki.pl/articles/226396.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    analog-digital conversion
    analog-digital integrated circuits
    calibration
    CMOS integrated circuits
    mathematical model
    MATLAB
    mixed analog digital integrated circuits
    noise
    numerical simulation
    prediction methods
    Opis:
    This paper describes widely used capacitor structures for charge-redistribution (CR) successive approximation register (SAR) based analog-to-digital converters (ADCs) and analyzes their linearity limitations due to kT/C noise, mismatch and parasitics. Results of mathematical considerations and statistical simulations are presented which show that most widespread dimensioning rules are overcritical. For high-resolution CR SAR ADCs in current CMOS technologies, matching of the capacitors, influenced by local mismatch and parasitics, is a limiting factor. For high-resolution medium-speed CR SAR ADCs, a novel capacitance array based approach using in-field calibration is proposed. This architecture promises a high resolution with small unit capacitances and without expensive factory calibration as laser trimming.
    Źródło:
    International Journal of Electronics and Telecommunications; 2013, 59, 2; 161-167
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    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