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


Wyświetlanie 1-10 z 10
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ł:
Metodyka wybranych procedur przetwarzania danych sejsmicznych z obszaru sigmoidy przemyskiej
Methodology of seismic data processing in the Przemyśl Sigmoid - selected procedures
Autorzy:
Marecik, T.
Pieniądz, K.
Smolarski, L.
Powiązania:
https://bibliotekanauki.pl/articles/183934.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
statyka wolnozmienna
migracja PSDM
transformacja czasowo-głębokościowa
przestrzenny model prędkości
static correction
PSDM migration
time-depth conversion
3D velocity model
Opis:
W artykule przedstawiono metodykę wybranych procedur przetwarzania danych sejsmicznych, którym poddano profile sejsmiczne zarejestrowane na obszarze sigmoidy przemyskiej. Omówiono procedury, które miały decydujący wpływ na uzyskaną poprawę jakości sekcji sejsmicznych. Szczególną uwagę skupiono na estymacji statyki wolnozmiennej metodą tomografii fali refrakcyjnej. W celu poprawy obrazowania strukturalnego zastosowano migrację głębokościową przed składaniem. W skonstruowanym modelu prędkości do migracji oraz konwersji czasowo-głębokościowej wykorzystano dane otworowe, prędkości z analiz migracyjnych przeprowadzonych metodą tomografii refleksyjnej oraz wyniki interpretacji strukturalnej. Zastosowano trójwymiarowy wariant budowy modelu prędkości dla dwuwymiarowych danych sejsmicznych i punktowych informacji otworowych. W wyniku odpowiedniego doboru procedur obliczeniowych uzyskano poprawę obrazu sejsmicznego oraz lepszą ciągłość śledzenia granic sejsmicznych, a także ograniczono wpływ szumu.
In Department of Fossil Fuels at Technical University in Kraków seismic data reprocessing was made and dynamics and resolution of seismic data was improved. It was part of broad Polish-Ukrainian project which aim was to investigate new hydrocarbon reservoir in Polish-Ukrainian Carpathian. In this essay investigation area was confined to sigmoid tectonic element near Przemyśl. Complicated structural conditions and low quality of seismic data made this difficult. Because of this, careful seismic data processing workflow was prepared and included: static correction, prestack depth migration and time-depth conversion. Long wave static was computed by refraction wave tomography method. Prestack depth migration was used to improve quality of imagining. Velocity model for migration and time-depth conversion was prepared as common 3D cube for all 2D seismic lines combining seismic velocity, structural maps and well logs.
Źródło:
Geologia / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie; 2008, 34, 3; 527-540
0138-0974
Pojawia się w:
Geologia / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
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ł
Tytuł:
Wpływ przeobrażenia się roli społecznej oraz pracy zawodowej kobiet na przemianę roli ojca oraz na współzaangażowanie się ojca i matki w wykonywaniu obowiązków rodzinnych i w opiece nad dzieckiem
INFLUENCE OF TRANSFORMING OF THE SOCIAL ROLE AND THE CAREER OF WOMEN TO THE TRANSFORMATION OF THE ROLE OF THE FATHER AND FOR CO-EMPLOYING ONESELF OF THE FATHER AND THE MOTHER IN CARRYING FAMILY RESPONSIBILITIES OUT AND IN THE CHILD CARE
Autorzy:
Głowiak, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/490004.pdf
Data publikacji:
2015
Wydawca:
Instytut Teologiczno-Pastoralny im. św. bpa Józefa Sebastiana Pelczara
Tematy:
transformacja roli kobiety
łączenie roli matki z pracą zawodową
segregacja zawodowa
przemiana władzy w rodzinie
zastępczy opiekun
nowe ojcostwo
transformacja relacji w parach
współpraca
współzaangażowanie
model partnerski
rodzina demokratyczna
podział obowiązków
role i normy rodzinne
transformation of role of woman
connection of role of mother with professional work
professional segregation
conversion of authority in family
replacement guardian
new fatherhood
transformation of rate in couples
cooperation
co-engagement
partner model
democratic family
distribution of duty
Roles and family norms
Opis:
Social roles of parents and children aren’t something solid, they are undergoing transformations along with the evolution of the family institution. The evolution of the role and the post of the woman implemented disorders of the traditional social layout of the family. At present, when also and the mother is having a career job being a co-breadwinner of the family, roles of men and women are starting fading away, are becoming more and more similar to oneself and relations between parents are becoming much more equivalent and partner. The man and the woman are functional in new conditions, stood up in the face of new tasks, are aspiring to professional and family new objectives. He is leading it for taking over by men the part of duties associated with running a household and the child-rearing and for regular employing oneself of men and women into family responsibilities and the care of children.
Źródło:
Resovia Sacra : Studia Teologiczno-Filozoficzne Diecezji Rzeszowskiej; 2015, 22; 139-162
1234-8880
Pojawia się w:
Resovia Sacra : Studia Teologiczno-Filozoficzne Diecezji Rzeszowskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ewolucja modelu opodatkowania zdarzeń restrukturyzacyjnych w podatkach dochodowych
Evolution of the model of taxation of restructuring events in income taxes
Autorzy:
Dmowski, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/28761655.pdf
Data publikacji:
2021-09-27
Wydawca:
Instytut Studiów Podatkowych Modzelewski i wspólnicy
Tematy:
restrukturyzacja
transgraniczna restrukturyzacja
podatek dochodowy od osób fizycznych
podatek dochodowy od osób prawnych
transgraniczny podział
transgraniczne przekształcenie spółki kapitałowej
dyrektywa 2017/1132
dyrektywa 2009/133/WE
dyrektywa 2019/2121
podatek od niezrealizowanych zysków
exit tax
model ewolucji podatków dochodowych
restructuring
cross-border restructuring
personal income tax
corporate income tax
cross-border division
cross-border conversion of a limited company
directive 2017/1132
directive 2009/133/EC
directive 2019/2121
tax on unrealized profits
Opis:
Regulacje dotyczące procesów i zdarzeń restrukturyzacyjnych stanowią istotną część przepisów o podatkach dochodowych. Ewolucja zmian w podatkach, w szczególności w podatku dochodowym od osób prawnych i w podatku dochodowym od osób fizycznych, jest konsekwencją nie tylko harmonizacji prawa europejskiego, ale również uszczelniania modelu opodatkowania zdarzeń restrukturyzacyjnych. Kluczowy wpływ na konsekwencje podatkowe transgranicznych zdarzeń restrukturyzacyjnych miały dwie dyrektywy tj.: 1) dyrektywa Rady 2009/133/WE z dnia 19 października 2009 r. w sprawie wspólnego systemu opodatkowania mającego zastosowanie w przypadku łączenia, podziałów, podziałów przez wydzielenie, wnoszenia aktywów i wymiany udziałów dotyczących spółek różnych państw członkowskich oraz przeniesienia statutowej siedziby SE lub SCE z jednego państwa członkowskiego do innego państwa członkowskiego1 oraz 2) dyrektywa Parlamentu Europejskiego i Rady (UE) 2017/1132 z dnia 14 czerwca 2017 r. w sprawie niektórych aspektów prawa spółek2. Błędy i niejednoznaczności w zakresie implementacji wskazanych dyrektyw spowodowały wiele sporów interpretacyjnych w sprawie domniemanej zasady neutralności podatkowej związanej z reorganizacją spółek kapitałowych. Jednakże kluczowym wyzwaniem, przed którym stoi polski ustawodawca, jest prawidłowy sposób wdrożenia zmian w zakresie dopuszczalności na wspólnym rynku państw członkowskich Unii Europejskiej (UE) dwóch nowych zdarzeń restrukturyzacyjnych – z założenia neutralnych podatkowo – tj. transgranicznego podziału spółki kapitałowej do nowo zawiązanej spółki w innym kraju UE oraz transgranicznego przekształcenia spółki kapitałowej skutkującego zmianą rezydencji podatkowej na inną w innym kraju UE, łącznie z dostosowaniem formy prawnej do najbardziej zbliżonej do funkcjonującej w kraju nowej rezydencji podatkowej. Dyrektywa Parlamentu Europejskiego i Rady (UE) 2019/2121 z dnia 27 listopada 2019 r. zmieniająca dyrektywę (UE) 2017/1132 w odniesieniu do transgranicznego przekształcania, łączenia i podziału spółek3 powinna być implementowana przez kraje członkowskie UE do lokalnych porządków prawnych najpóźniej do dnia 31 stycznia 2023 r. Nowe możliwości mogą być podstawą do realizacji swobód wspólnotowych (m.in. swobody przedsiębiorczości i przepływu kapitału w ramach wspólnego rynku UE) lub mogą stanowić podstawę do istotnych nadużyć podatkowych mających na celu unikanie lub uchylanie się od opodatkowania. Istotnym zagadnieniem będzie dostosowanie regulacji dotyczących podatku od niezrealizowanych zysków (tzw. exit tax) do nowych możliwości w zakresie transgranicznej realokacji aktywów i zobowiązań.
Restructuring processes and events constitute an important part of the regulation of income tax regulations. The evolution of changes in taxes, in particular in corporate income tax and personal income tax, is a consequence of not only the harmonization of European law, but also the tightening of the model of taxation of restructuring events. Two Directives had a key impact on the tax consequences of cross-border restructuring events, i.e.: 1. Council Directive 2009/133/EC of 19 October 2009 on the common taxation system applicable to mergers, divisions, divisions by separation, transfers of assets and exchanges of shares companies of different Member States and the transfer of the registered office of an SE or SCE from one Member State to another Member State and OGÓLNOPOLSKA KONFERENCJA NAUKOWA 8 Doradztwo Podatkowe – Biuletyn Instytutu Studiów Podatkowych Nr 9/2021 2. Directive (EU) 2017/1132 of the European Parliament and of the Council of 14 June 2017 on certain aspects of company law. Errors and ambiguities in the implementation of the aforementioned directives caused many interpretation disputes regarding the alleged principle of tax neutrality related to the reorganization of capital companies. However, the key challenge faced by the Polish legislator is the correct implementation of changes in the admissibility of two new restructuring events on the common market of the European Union Member States – tax-neutral by definition – i.e. the cross-border division of a capital company into a newly established company in another EU country, cross-border conversion of a capital company resulting in a change of tax residence to another in another EU country, including adaptation of the legal form to the most similar new tax residence functioning in the country. Directive (EU) 2019/2121 of the European Parliament and of the Council of November 27, 2019 amending Directive (EU) 2017/1132 with regard to cross-border conversions, mergers and divisions of companies should be implemented by EU Member States into local legal systems no later than 31 January 2023. New opportunities may be the basis for the implementation of Community freedoms (including the freedom of establishment and the movement of capital within the EU common market), or may constitute the basis for significant tax abuses aimed at tax avoidance or evasion. An important issue will be the adjustment of the regulations on the tax on unrealized profits (exit tax) to the new possibilities in the field of cross-border reallocation of assets and liabilities.
Źródło:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2021, 9(301); 6-19
1427-2008
2449-7584
Pojawia się w:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-10 z 10

    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