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

Dostawca treści

Podbaza

Wyrównaj
Wyświetlanie 1-15 z 325
Tytuł:
Characteristics simulations of the electrodynamic railgun different constructions and their measurement verification
Autorzy:
Piekielny, Paweł
Tomczuk, Bronisław
Waindok, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/27309948.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
3D field analysis
analysis of transients
analytical models
electrodynamic accelerator
experimental verification
field-circuit modeling
projectile velocity
Opis:
Dynamic characteristics for three types of railgun constructions were simulated and measured in this work. The simplest construction is the iron-less (IL) railgun, while the two other ones (IC and ICPM) have an iron-core. The iron-core permanent magnet (ICPM) railgun additionally has permanent magnets. To compare their characteristics, similar dimensions of the rails and iron cores were adopted, and the same power supply system was used. Numerical magnetic field analyses and our analytical models have been used to determine the electromagnetic parameters. They were verified experimentally. The transient states of the railguns were studied with our field-circuit mathematical model, and their results were also verified by experiments.
Źródło:
Archives of Electrical Engineering; 2023, 72, 4; 951--969
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Comparative analysis of the power parameters of a line start permanent magnet synchronous motor using professional FEM packages and in-house software
Autorzy:
Baranski, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/27309928.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
FEA
in-house software
measurement verification
professional FEM packages
finite element software packages
Opis:
The paper discusses the methods for calculating the power parameters of a line start permanent magnet synchronous motor (LSPMSM). The calculations have been performed using the author’s specialized FEM software and professional FEM packages, ANSYS Maxwell and COMSOL Multiphysics. The author’s algorithm for solving equations of the electromagnetic field based on the FEM has been presented. The in-house software developed on this algorithm and professional software have been used to analyse the power parameters of the LSPMS motor. In addition, both calculation time and accuracy were analysed. The calculation results were compared to the measurement results.
Źródło:
Archives of Electrical Engineering; 2023, 72, 3; 585--596
1427-4221
2300-2506
Pojawia się w:
Archives of Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dezinformacja jako czynnik ryzyka w sytuacjach kryzysowych
Disinformation as a Risk Factor in Crisis Situations
Autorzy:
Kaczmarek, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/30147078.pdf
Data publikacji:
2023
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
crisis situation
disinformation
information security
information verification
deep fake
sytuacja kryzysowa
dezinformacja
bezpieczeństwo informacji
weryfikacja informacji
Opis:
Fałszywe, szybko rozpowszechniające się informacje mogą modelować nastroje społeczne, wpływać na wyniki demokratycznych wyborów, powodować napięcia na arenie międzynarodowej, a nawet być przyczyną konfliktów zbrojnych. W przypadku zaistnienia sytuacji kryzysowej dezinformacja może być narzędziem wykorzystywanym w celu destabilizowania sytuacji wewnętrznej państwa. W takich okolicznościach poważne konsekwencje może mieć również dostęp osób niepowołanych do informacji niejawnych. Współczesne urządzenia cyfrowe i zarządzające nimi systemy nie wymagają od przeciętnego użytkownika biegłej znajomości systemów informatycznych i umiejętności technicznych. Jednak rozwój nowoczesnych technologii determinuje potrzebę ciągłego uaktualniania wiedzy w tym zakresie. Dotyczy to w szczególności osób, które zajmują się, szeroko rozumianym, bezpieczeństwem państwa.
False and rapidly disseminated information can model public sentiment, influence the results of democratic elections, create tensions in the international arena, and even cause armed conflicts. In the event of a crisis, disinformation may be a tool used to destabilize the internal situation of the state. In such a situation, unauthorized access to classified information may also have serious consequences. Contemporary digital devices and the systems that manage them do not require the average user to have fluent knowledge of IT systems and technical skills. However, the development of modern technologies determines the need for constant updating of knowledge in this field. It applies in particular to people who deal with the broadly understood state security.
Źródło:
Roczniki Nauk Społecznych; 2023, 51, 2; 19-30
0137-4176
Pojawia się w:
Roczniki Nauk Społecznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Dysfunkcjonalność protestów wyborczych w Polsce w świetle standardu uczciwych wyborów
Dysfunctionality of Election Protests in Poland in the Standard of Fair Elections
Autorzy:
Mistygacz, Michał
Materska-Sosnowska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/26850640.pdf
Data publikacji:
2023-10-31
Wydawca:
Wydawnictwo Adam Marszałek
Tematy:
władza
sąd
protest wyborczy
free and fair elections
weryfikacja wyborów
authority
court
election protest
election verification
Opis:
Fair elections are one of the foundations of electoral axiology in a democratic state ruled by law. Every citizen has the right to protest, and the justification of the citizen’s complaint is the public interest. An election protest is a legal measure to control the held General elections and its purpose is to protect the public interest in the electoral process. The standard of fair elections is not only a context for legal solutions strictly derived from the Constitution or the Electoral Code. The juridical architecture of electoral protests in Poland generally creates an effective mechanism to address obvious and flagrant violations of the law but remains dysfunctional from the perspective of the fair election standard. Nor does it provide an instrument to prevent a slide into electoral authoritarianism due to violations of the minimum criteria of democracy.
Uczciwe wybory stanowią jedno z pojęć składających się na aksjologię wyborczą w demokratycznym państwie prawnym. Każdy obywatel ma prawo złożenia protestu, traktowanego jako skarga obywatelska, której uzasadnieniem jest ważny interes publiczny, Protest wyborczy stanowi środek prawny służący kontroli prawidłowości przeprowadzonych wyborów o charakterze powszechnym, a jego zasadniczym celem jest ochrona interesu publicznego w procesie wyborczym. Standard uczciwych wyborów nie stanowi jedynie kontekstu dla rozwiązań prawnych ściśle wynikających z Konstytucji czy kodeksu wyborczego. Jurydyczna architektura protestów wyborczych w Polsce zasadniczo tworzy efektywny mechanizm pozwalający na uwzględnienie oczywistych i rażących naruszeń przepisów, ale pozostaje dysfunkcjonalny z perspektywy standardu uczciwych wyborów. Nie stanowi też instrumentu zapobiegającego popadaniu w autorytaryzm wyborczy w związku z naruszaniem minimalnych kryteriów demokracji.
Źródło:
Przegląd Prawa Konstytucyjnego; 2023, 5(75); 191-203
2082-1212
Pojawia się w:
Przegląd Prawa Konstytucyjnego
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Effectiveness of friction force reduction in sliding motion depending on the frequency of longitudinal tangential vibrations, sliding velocity and normal pressure
Autorzy:
Leus, Mariusz
Gutowski, Paweł
Rybkiewicz, Marta
Powiązania:
https://bibliotekanauki.pl/articles/27314317.pdf
Data publikacji:
2023
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
reduction of friction force
vibrations
experimental verification
Opis:
The article presents the results of experimental research and simulation analyses of the influence of slip velocity, normal pressures and vibration frequency on the effectiveness of friction force reduction carried out in sliding motion in the presence of forced tangential vibrations. In experimental studies, changes in the driving force were measured during the slip of the upper body over the vibrating lower body. The direction of these vibrations was parallel both to the contact plane and to the direction of movement of the shifted body. The simulation tests were carried out in the Matlab/Simulink environment through the use of numerical procedures that were specially created for this purpose. Dynamic friction models considering the tangential compliance of contact and the phenomenon of pre-sliding displacement were used for calculations. The paper presents the designated values of the so-called coefficient of average friction force reduction in sliding motion for the following friction pairs: steel C45–steel C45, steel C45–cast iron GGG40 and steel C45–polytetrafluoroethy-lene PTFE (Teflon). The results of numerical analyses were in good agreement with those of experimental tests. A significant dependence of the level of average friction force reduction on the frequency of forced vibrations, sliding velocity as well as the kind of sliding pair material, and normal pressures was shown.
Źródło:
Acta Mechanica et Automatica; 2023, 17, 4; 490--498
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Koło Wiedeńskie. Podstawowe założenia i próba krytyki
The Vienna Circle. Basic assumptions and a critique attempt
Autorzy:
Tryścień, Rafał
Powiązania:
https://bibliotekanauki.pl/articles/37179522.pdf
Data publikacji:
2023-01-31
Wydawca:
Akademia Humanistyczno-Ekonomiczna w Łodzi
Tematy:
Koło Wiedeńskie
pozytywizm logiczny
weryfikacja
Schlick
Carnap
zasada weryfikacji
Vienna Circle
logical positivism
verification
the principle of verification
Opis:
Działalność Koła Wiedeńskiego rozpoczęła nową erę. Radykalne przemyślenia, które miały z jednej strony ugruntować istniejącą naukę empiryczną, a z drugiej usunąć wszelką metafizykę i w konsekwencji zbudować prawdziwą, naukową filozofię, okazały się błędem. Radykalne założenia, które miały na celu uporządkowanie wiedzy, wbrew intencji doprowadziły do absurdalnych wniosków. Koło Wiedeńskie kierowało się zasadą weryfikacji, która miała rozstrzygnąć, czy dane zdanie jest zdaniem sensownym, czy bezsensownym. Niemniej jednak sama zasada, choć prosta w swoim wysłowieniu, nie była wolna od założeń, które miała pośrednio usunąć – założeń metafizycznych. Celem niniejszego artykułu jest prezentacja poglądów Koła Wiedeńskiego wraz z istotnymi, często w różnych publikacjach pomijanymi zagadnieniami. Natomiast centralnym punktem tekstu będzie próba przedstawienia krytyki podnoszonej w założeniach Koła Wiedeńskiego.
The works of the Vienna Circle introduced a new era. Radical thoughts that were supposed to consolidate the existing empirical science and remove all metaphysics in order to build a real, scientific philosophy proved to be a mistake. The radical assumptions led to absurd conclusions. The Vienna Circle was guided by the principle of verification which sought to establish whether a sentence was meaningful or not. Yet this principle was not free of the assumptions that it was supposed to indirectly remove – metaphysical assumptions. In this article, I present the views of the Vienna Circle that are often overlooked in various publications. The central point of the text will be an attempt to discuss the criticism of the Vienna Circle’s assumptions.
Źródło:
Kultura i Wychowanie; 2023, 24, 2; 125-145
2544-9427
2083-2923
Pojawia się w:
Kultura i Wychowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modyfikacja kształtu prawnego procedur kontrolnych. Czy zwiększanie efektywności działania administracji powinno się odbywać kosztem uprawnień podatnika?
Modification of the legal form of control procedures. Should increasing the efficiency of administration take place at the expense of taxpayer rights?
Autorzy:
Strzelec, Dariusz
Powiązania:
https://bibliotekanauki.pl/articles/28762956.pdf
Data publikacji:
2023-12-18
Wydawca:
Instytut Studiów Podatkowych Modzelewski i wspólnicy
Tematy:
kontrola podatkowa
kontrola celno-skarbowa
czynności sprawdzające
tax audit
customs and fiscal audit
verification activities
Opis:
Niepokojące sygnały o skali szarej strefy w Polsce czy też wręcz funkcjonowaniu zorganizowanych grup przestępczych, których obiektem zainteresowania stały się oszustwa podatkowe, wymusiły kolejne działania polegające na tzw. uszczelnianiu systemu podatkowego. W ostatnim okresie mieliśmy do czynienia ze wzmożoną ingerencją ustawodawcy w obszary, w których nachodzą na siebie regulacje podatkowe z szeroko rozumianymi regulacjami karnymi (np. poprzez penalizowanie nowych czynów związanych z realizacją zobowiązań publicznoprawnych oraz wypełnianiem obowiązków instrumentalnych), ale również w dziedzinę materialnego prawa podatkowego. Po eksperymentowaniu na systemie podatkowym przychodzi czas na podjęcie prac nad regulacjami części ogólnej prawa podatkowego, w tym rozważenie, w jakim stopniu wprowadzone z dniem 1 marca 2017 r.1 procedury kontrolne są efektywne. Pewną próbkę pomysłów ustawodawcy w tym zakresie poznaliśmy w czerwcu 2023 r. w związku z upublicznionym projektem zmiany przepisów ustawy z dnia 29 sierpnia 1997 r. – Ordynacja podatkowa2, który m.in. przewidywał likwidację kontroli podatkowej.
Alarming signals about the scale of the shadow economy in Poland, or even the functioning of organized criminal groups whose area of interest has become tax fraud, have forced further actions related to the so-called tightening of the tax system. Recently, we have seen an intensified interference of the legislator in areas where tax regulations overlap with broadly understood criminal regulations (e.g. by penalizing new acts related to the performance of public-law obligations and the fulfilment of instrumental obligations), but also others in the area of substantive tax law. After experimenting with the tax system, it is time to start working on the regulations of the general part of the tax law, including considering how effective the control procedures introduced on 1.3.2017 are. We got to know a sample of the legislator’s ideas in this regard in June 2023, in connection with the published draft amendment to the provisions of the Tax Ordinance, which, m.in, provided for the elimination of tax audits.
Źródło:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych; 2023, 12(328); 33-37
1427-2008
2449-7584
Pojawia się w:
Doradztwo Podatkowe Biuletyn Instytutu Studiów Podatkowych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Numerical investigations of stilling basin efficiency downstream radial gates : A case study of New Assuit Barrage, Egypt
Autorzy:
Elberry, Mohamed
Ali, Abdelazim
Abdelhaleem, Fahmy
Ibrahim, Amir
Powiązania:
https://bibliotekanauki.pl/articles/28411659.pdf
Data publikacji:
2023
Wydawca:
Instytut Technologiczno-Przyrodniczy
Tematy:
Flow-3D
New Assuit Barrage
riprap stability
stilling basin
verification
Opis:
Radial gates are more common than vertical sluice gates for a number of reasons. They are simpler to use, cause less flow disturbance, require less lifting force, and deliver better discharge. Radial gates are commonly used in new barrages, such as the New Assuit Barrage. Prior researchers used physical investigations to study the efficiency of stilling basin downstream radial gates, but physical studies cost a lot of money and time, so numerical solutions should be investigated. The current study aimed to explore numerically the influence of stilling basin shape and baffle block arrangement on the stability of bed protection, near-bed velocity, energy dissipation, and hydraulic jump characteristics downstream of radial gates. Different 12 discharges were investigated, and their results were compared with previous physical results to verify the performance of the numerical results. The results obtained from the numerical model from all trials are almost identical to the physical model results. Five different alternative designs were carried out numerically to enhance the design of the New Assuit Barrage (NAB) spillway stilling basin. Results showed that alternatives 4 (changing the geometry of the basin by removing the end step and concrete slab) and 5 (as alternative 4 in addition to adding rounded baffle blocks presented in two rows arranged in a staggered way) gave good velocity distribution with low turbulence, low values of near-bed velocities, and stability of bed protection. Also, it is more economical because of the lower cost of concrete and excavation.
Źródło:
Journal of Water and Land Development; 2023, 59; 126--134
1429-7426
2083-4535
Pojawia się w:
Journal of Water and Land Development
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Refined energy method for the elastic flexural-torsional buckling of steel H-section beam-columns. Part II: Comparison and verification for elements LTU and LTR
Udoskonalona metoda energetyczna sprężystego wyboczenia giętno-skrętnego stalowych elementów ściskanych i zginanych o przekroju dwuteowym. Część II: Porównanie i weryfikacja dla elementów LTU i LTR
Autorzy:
Giżejowski, Marian
Barszcz, Anna
Wiedro, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/27312074.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:
element stalowy
ściskanie ze zginaniem
dwuteownik bisymetryczny
zachowanie sprężyste
wyboczenie giętno-skrętne
symulacja numeryczna
weryfikacja
rozwiązanie analityczne
steel beam-column
bisymmetric cross-section
double T section
elastic behaviour
flexural-torsional buckling
numerical simulation
verification
analytical solutions
Opis:
In investigations constituting Part I of this paper, the effect of approximations in the flexural-torsional buckling analysis of beam-columns was studied. The starting point was the formulation of displacement field relationships built straightforward in the deflected configuration. It was shown that the second-order rotation matrix obtained with keeping the trigonometric functions of the mean twist rotation was sufficiently accurate for the flexural-torsional stability analysis. Furthermore, Part I was devoted to the formulation of a general energy equation for FTB being expressed in terms of prebuckling stress resultants and in-plane deflections through the factor k1. The energy equation developed there was presented in several variants dependent upon simplified assumptions one may adopt for the buckling analysis, i.e. the classical form of linear eigenproblem analysis (LEA), the form of quadratic eigenproblem analysis (QEA) and refined (non-classical) forms of nonlinear eigenproblem analysis (NEA), all of them used for solving the flexural-torsional buckling problems of elastic beam-columns. The accuracy of obtained analytical solutions based on different approximations in the elastic flexural-torsional stability analysis of thin-walled beam-columns is examined and discussed in reference to those of earlier studies. The comparison is made for closed form solutions obtained in a companion paper, with a scatter of results evaluated for k1 = 1 in the solutions of LEA and QEA, as well as for all the options corresponding to NEA. The most reliable analytical solution is recommended for further investigations. The solutions for selected asymmetric loading cases of the left support moment and the half-length uniformly distributed span load of a slender unrestrained beam-column are discussed in detail in Part II. Moreover, the paper constituting Part II investigates how the buckling criterion obtained for the beam-column laterally and torsionally unrestrained between the end sections might be applied for the member with discrete restraints. The recommended analytical solutions are verified with use of numerical finite element method results, considering beam-columns with a mid-section restraint. A variant of the analytical form of solutions recommended in these investigations may be used in practical application in the Eurocode’s General Method of modern design procedures for steelwork.
W I części niniejszej pracy zastosowano różne rodzaje aproksymacji w analizie wyboczenia giętno-skrętnego elementów ściskanych i zginanych w płaszczyźnie większej bezwładności przekroju. Punktem wyjścia było sformułowanie zależności na pole przemieszczeń w konfiguracji odkształconej. Pokazano, że macierz rotacji, otrzymana przy zachowaniu funkcji trygonometrycznych średniego kąta skręcenia, jest wystarczająco dokładna do analizy stateczności giętno-skrętnej. Szczególną uwagę zwrócono w Części I na sformułowanie ogólnego równania energetycznego dla FTB, wyrażonego w funkcji sił przekrojowych na podstawowej ścieżce równowagi, przed utratą płaskiej postaci zginania II rzędu, a także wpływu efektu ugięć w płaszczyźnie większej bezwładności przekroju, wyrażonego za pomocą współczynnika k1. Otrzymane równanie energetyczne zostało przedstawione w kilku wariantach zależnych od założeń upraszczających, jakie można przyjąć do rozwiązywania problemów wyboczenia giętno-skrętnego, tj. w postaci klasycznej analizy liniowego problemu własnego (LEA), w postaci kwadratowego problemu własnego (QEA) oraz w postaci udoskonalonej (nieklasycznej) analizy nieliniowego problemu własnego (NEA). W części II, w pierwszej kolejności, została zbadana i dyskutowana dokładność otrzymanych rozwiązań analitycznych w odniesieniu do propozycji przedstawionych we wcześniejszych opracowaniach. Przeprowadzone są też porównania dla rozwiązań w postaci zamkniętej uzyskanych w Części I, z oceną rozrzutu wyników, po przyjęciu k1 = 1 w rozwiązaniach odpowiadających LEA i QEA, a także wszystkich opcji w rozwiązaniach odpowiadających NEA. Do dalszych badań rekomendowano najbardziej wiarygodne rozwiązanie analityczne. Szczegółowej weryfikacji poddano rozwiązania uzyskane dla wybranych asymetrycznych przypadków obciążenia: momentem na lewej podporze i równomiernie rozłożonym obciążeniem w połowie długości nieusztywnionego, smukłego elementu ściskanego i zginanego. Ponadto w Części II zbadano, w jaki sposób kryterium wyboczeniowe, uzyskane dla elementu ściskanego i zginanego bez usztywnień poprzecznych i przeciwskrętnych między przekrojami końcowymi, może być zastosowane dla elementu z dyskretnymi stężeniami poprzecznymi. Zalecane rozwiązania analityczne zweryfikowano z wykorzystaniem wyników numerycznych metody elementów skończonych dla elementów stężonych w przekroju środkowym. Wariant analitycznej postaci rozwiązania zalecanego w zaprezentowanych badaniach może być wykorzystany w praktyce w eurokodowej Metodzie Ogólnej (GM).
Źródło:
Archives of Civil Engineering; 2023, 69, 2; 265--289
1230-2945
Pojawia się w:
Archives of Civil Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of pneumatic systems in the control of the transport line of rolling elements
Autorzy:
Szcześniak, Adam
Szcześniak, Zbigniew
Cedro, Leszek
Powiązania:
https://bibliotekanauki.pl/articles/2204617.pdf
Data publikacji:
2023
Wydawca:
Politechnika Białostocka. Oficyna Wydawnicza Politechniki Białostockiej
Tematy:
pneumatic systems
delay execution systems
synthesis
verification of sequential systems
Opis:
This paper presents the synthesis of a pneumatic control system for a selected configuration of the transport path for the delivery of rolling elements to spiral storage in inter-operational transport. The sequential control system sets the state of the manifolds to ensure a flow of workpieces to serve the subsequent storage. The essential module of the control system is the memory block. It is developed based on a storage filling sequence graph. The filling level of the storages can be monitored in one or two points using sensors. The rolling element displacement control sensors work together with appropriately designed systems to execute the delay of the rising and falling edge input signal. By using a two-level control of the filling level of the storages, it is possible to control the emptying status of the storages as a function of the technological time of removal of the items from the storage between the two control points. Control systems were synthesised and verified using Festo’s FluidSim computer programme.
Źródło:
Acta Mechanica et Automatica; 2023, 17, 2; 254--262
1898-4088
2300-5319
Pojawia się w:
Acta Mechanica et Automatica
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł:
Trivializing verification of cryptographic protocols
Autorzy:
Piątkowski, Jacek
Szymoniak, Sabina
Powiązania:
https://bibliotekanauki.pl/articles/38704303.pdf
Data publikacji:
2023
Wydawca:
Instytut Podstawowych Problemów Techniki PAN
Tematy:
security protocol verification
tree visualisation
hierarchical data structure
weryfikacja protokołu bezpieczeństwa
wizualizacja drzewa
hierarchiczna struktura danych
Opis:
One of the main problems of the digital world is information security. Every second, peopleprocess millions of pieces of information that must be protected from unauthorized access. Cryptographic protocols that define the communication plan and the cryptographictechniques used to secure the messages come to the rescue. These protocols should alsobe regularly verified regarding their ability to protect systems from exposure to threatsfrom the computer network. Bearing in mind the need to secure communication, verify thecorrect operation of security methods and process large amounts of numerical data, we decided to deal with the issues of modeling the execution of cryptographic protocols and theirverification based on the CMMTree model. In this article, we present a tool that verifiesa protocol’s security. The tool allows for modelling a protocol and verifying that the pathin the execution tree represents an attack on that protocol. The tool implements a specially defined hierarchy of protocol classes and a predicate that determines whether a nodecan be attached to a tree. We conducted a number of tests on well-known cryptographicprotocols, which confirmed the correctness and effectiveness of our tool. The tool foundthe attack on the protocols or built an execution tree for them.
Źródło:
Computer Assisted Methods in Engineering and Science; 2023, 30, 4; 389-406
2299-3649
Pojawia się w:
Computer Assisted Methods in Engineering and Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Build Testbenches for Verification in Shift Register ICs using SystemVerilog
Autorzy:
Widianto, M.
Chasrun, H.
Lis, Robert
Powiązania:
https://bibliotekanauki.pl/articles/2134048.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
test bench
verification
shift register IC
stuck-at-faults
SystemVerilog
Opis:
A testbench is built to verify a functionality of a shift register IC (Integrated Circuit) from stuck-at-faults, stuck-at-1 as well as stuck-at-0. The testbench is supported by components, i.e., generator, interface, driver, monitor, scoreboard, environment, test, and testbench top. The IC consists of sequential logic circuits of D-type flip-flops. The faults may occur at interconnects between the circuits inside the IC. In order to examine the functionality from the faults, both the testbench and the IC are designed using SystemVerilog and simulated using Questasim simulator. Simulation results show the faults may be detected by the testbench. Moreover, the detected faults may be indicated by error statements in transcript results of the simulator.
Źródło:
International Journal of Electronics and Telecommunications; 2022, 68, 3; 619--623
2300-1933
Pojawia się w:
International Journal of Electronics and Telecommunications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design optimization of the Petri net-based production process supported by additive manufacturing technologies
Autorzy:
Patalas-Maliszewska, Justyna
Wiśniewski, Remigiusz
Topczak, Marcin
Wojnakowski, Marcin
Powiązania:
https://bibliotekanauki.pl/articles/2173645.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
additive manufacturing technology
manufacturing processes
Petri nets
process modelling
verification
validation
optimization of production process supported by AM technologies
technologia wytwarzania przyrostowego
proces produkcji
sieci Petriego
modelowanie procesów
weryfikacja
walidacja
optymalizacja procesu produkcyjnego wspierana technologiami AM
Opis:
In the era of smart manufacturing and Industry 4.0, the rapid development of modelling in production processes results in the implementation of new techniques, such as additive manufacturing (AM) technologies. However, large investments in the devices in the field of AM technologies require prior analysis to identify the possibilities of improving the production process flow. This paper proposes a new approach to determine and optimize the production process flow with improvements made by the AM technologies through the application of the Petri net theory. The existing production process is specified by a Petri net model and optimized by AM technology. The modified version of the system is verified and validated by the set of analytic methods safeguarding against the formal errors, deadlocks, or unreachable states. The proposed idea is illustrated by an example of a real-life production process.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2022, 70, 2; art. no. e140693
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Evolutionary algorithm for selecting dynamic signatures partitioning approach
Autorzy:
Zalasiński, Marcin
Laskowski, Łukasz
Niksa-Rynkiewicz, Tacjana
Cpałka, Krzysztof
Byrski, Aleksander
Przybyszewski, Krzysztof
Trippner, Paweł
Dong, Shi
Powiązania:
https://bibliotekanauki.pl/articles/2147146.pdf
Data publikacji:
2022
Wydawca:
Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
Tematy:
identity verification
dynamic signature
hybrid partitions
partitions’ selection
evolutionary algorithm
Opis:
In the verification of identity, the aim is to increase effectiveness and reduce involvement of verified users. A good compromise between these issues is ensured by dynamic signature verification. The dynamic signature is represented by signals describing the position of the stylus in time. They can be used to determine the velocity or acceleration signal. Values of these signals can be analyzed, interpreted, selected, and compared. In this paper, we propose an approach that: (a) uses an evolutionary algorithm to create signature partitions in the time and velocity domains; (b) selects the most characteristic partitions in terms of matching with reference signatures; and (c) works individually for each user, eliminating the need of using skilled forgeries. The proposed approach was tested using Biosecure DS2 database which is a part of the DeepSignDB, a database with genuine dynamic signatures. Our simulations confirmed the correctness of the adopted assumptions.
Źródło:
Journal of Artificial Intelligence and Soft Computing Research; 2022, 12, 4; 267--279
2083-2567
2449-6499
Pojawia się w:
Journal of Artificial Intelligence and Soft Computing Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 325

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