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

  Lista filtrów

Dostawca treści

Wyrównaj
    Wyświetlanie 1-10 z 10
    Tytuł:
    Application of finite difference method for measurement simulation in ultrasound transmission tomography
    Autorzy:
    Kania, Konrad
    Mazurek, Mariusz
    Rymarczyk, Tomasz
    Powiązania:
    https://bibliotekanauki.pl/articles/2097434.pdf
    Data publikacji:
    2022
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    forward problem
    ultrasound transmission tomography
    sensors
    machine learning
    finite difference
    Opis:
    In this work, we present a computer simulation model that generates the propagation of sound waves to solve a forward problem in ultrasound transmission tomography. The simulator can be used to create data sets used in the supervised learning process. A solution to the "free-space" boundary problem was proposed, and the memory consumption was significantly optimized from O(n2) to O(n). The given method of simulating wave scattering enables the control of the noise extinction time within the tomographic probe and the permeability of the sound wave. The presented version of the script simulates the classic variant of a circular probe with evenly distributed sensors around the circumference.
    Źródło:
    Applied Computer Science; 2022, 18, 2; 101--109
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Simulating electrical potential distribution by using "Spice" for electrical impedance tomography
    Autorzy:
    Biały, S.
    Wróbel, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/333653.pdf
    Data publikacji:
    2002
    Wydawca:
    Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
    Tematy:
    elektryczna tomografia impedancyjna
    zagadnienie proste
    electrical impedance tomography
    forward problem
    model spice
    Opis:
    In this paper solution of straight problem was introduced in electrical impedance tomography with help of method of junction's potentials with utilisation of computer program "Spice". Preliminary investigations of model were introduced based on mesh of resistance artificially disturbances of schedule of resistance. Created images of boundary potentials permit onto estimation of errors introduced through model.
    Źródło:
    Journal of Medical Informatics & Technologies; 2002, 4; MT131-136
    1642-6037
    Pojawia się w:
    Journal of Medical Informatics & Technologies
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Zastosowanie metody elementów brzegowych do rozwiązywania problemów prostych w obszarach strefowo niejednorodnych względem przewodnictwa właściwego
    Solutions of forward problems obtained via boundary element method for nonhomogeneous domains in regard to electrical conductivity
    Autorzy:
    Tchórzewski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/408064.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Tematy:
    symulacja numeryczna
    metoda elementów brzegowych
    zagadnienie proste
    numerical simulation
    boundary element method
    forward problem
    Opis:
    Przedstawiam rozwiązanie problemu prostego dla pola elektrycznego otrzymane z wykorzystaniem metody elementów brzegowych. Funkcja opisująca rozkład przewodnictwa właściwego na rozważanym obszarze przyjmuje dwie różne niezerowe wartości. Proponowane podejście może zostać wykorzystane przy wyznaczaniu rozwiązania zagadnienia odwrotnego w systemie przeznaczonym do monitorowania stanu wałów przeciwpowodziowych. Działanie tego systemu opiera się na impedancyjnej tomografii komputerowej.
    I present solution of the forward problem for electric field obtained through the boundary element method. The function which describes electrical conductivity distribution on the domain possesses two different nonzero values. Proposed approach can be utilised in order to obtain solution of the inverse problem in the flood embankment control system. Such system relies on the electrical impedance tomography.
    Źródło:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2015, 3; 14-18
    2083-0157
    2391-6761
    Pojawia się w:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ReMo3D – an open-source Python package for 2D and 3D simulation of normal and lateral resistivity logs
    Autorzy:
    Wilkosz, Michał
    Powiązania:
    https://bibliotekanauki.pl/articles/2124700.pdf
    Data publikacji:
    2022
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    normal and lateral resistivity logs
    geophysical forward problem
    finite element method
    Python
    Gmsh
    Netgen/NGSolv
    Opis:
    An open-source Python package is presented, ReMo3D, which allows the generation of synthetic normal and lateral resistivity logs for 2D and 3D models. The package is built around a finite element mesh generator Gmsh and a high-performance multiphysics finite element software Netgen/NGSolve and supports distributed-memory parallel computation. The examples included in the paper show that the developed software can accurately simulate the measurement process and produce detailed synthetic normal and lateral resistivity logs. In addition, basic information about normal and lateral tools such as tool configurations, measurement principles, nomenclature and a brief history of utilization is included in the paper.
    Źródło:
    Geology, Geophysics and Environment; 2022, 48, 2; 195--211
    2299-8004
    2353-0790
    Pojawia się w:
    Geology, Geophysics and Environment
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Numerical aspects of the secondary magnetic field mapping in Magnetic Induction Tomography
    Numeryczne aspekty odwzorowania wtórnego pola magnetycznego w Magnetycznej Tomografii Indukcyjnej
    Autorzy:
    Szuflitowska, B.
    Ziolkowski, M.
    Stawicki, K.
    Powiązania:
    https://bibliotekanauki.pl/articles/408766.pdf
    Data publikacji:
    2017
    Wydawca:
    Politechnika Lubelska. Wydawnictwo Politechniki Lubelskiej
    Tematy:
    magnetic induction tomography
    eddy current
    forward problem
    electrical conductivity
    magnetyczna tomografia indukcyjna
    prąd wirowy
    zagadnienie proste
    konduktywność elektryczna
    Opis:
    Magnetic Induction Tomography (MIT) belongs to the noncontact electromagnetic imaging techniques. This paper focuses on determination of a secondary magnetic field map calculated with the help of the Biot-Savart law around the low-conductivity object. The inclusions of various shapes and different electrical conductivities values and two measurement planes are considered. In each case the objects’ single maximal cell volume with assumed uniform eddy current density has been determined. In order to keep the relative error below 1% the object should be divided in most cases into elements with maximal cell volume equal to 0.244 mm3 for yz − plane, and 0.03 mm3 for xy − plane.
    Magnetyczna Tomografia Indukcyjna (MIT) należy do bezkontaktowych, elektromagnetycznych technik obrazowania. Artykuł skupia się na wyznaczeniu mapy wtórnego pola magnetycznego obliczonego za pomocą prawa Biota-Savarta wokół obiektu słaboprzewodzącego. Przeanalizowano wtrącenia o różnym kształcie i różnej wartości konduktywności elektrycznej oraz dwie płaszczyzny pomiarowe. W każdym przypadku została wyznaczona maksymalna objętość pojedynczej komórki obiektu z założoną stałą wartością gęstości prądu. W celu uzyskania błędu względnego poniżej 1% obiekt powinien zostać podzielony w większości przypadków na elementy z maksymalną objętością równą 0,244 mm3 dla płaszczyzny yz oraz 0,03 mm3 dla płaszczyzny xy.
    Źródło:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska; 2017, 7, 3; 11-14
    2083-0157
    2391-6761
    Pojawia się w:
    Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Środowiska
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Active source localization inside of multilayered 3D BEM model with the aid of wavelet transformation
    Lokalizacja aktywności elektrycznej w przestrzennych modelach wielowarstwowych z zastosowaniem metody elementów brzegowych i transformaty falkowej
    Autorzy:
    Nita, K.
    Filipowicz, S.F.
    Berowski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/158916.pdf
    Data publikacji:
    2007
    Wydawca:
    Sieć Badawcza Łukasiewicz - Instytut Elektrotechniki
    Tematy:
    metoda elementów brzegowych
    lokalizacja aktywności elektrycznej
    transformata falkowa
    boundary element method
    active source localization
    wavelet transformation
    forward problem
    Opis:
    Boundary Element Method for simulation of spatially heterogeneous objects of electroencephalography is presented in this paper. The four layer spherical model (representing skin, skull, CSF layer and brain) of the real head approximated with isoparametric six nodes triangles was considered. Forward problem for active source localization was presented in this paper.
    W artykule przedstawiono lokalizację aktywności elektrycznej w przestrzennych obiektach wielowarstwowych. Do budowy numerycznego obiektu zastosowano metodę elementów brzegowych. Uproszczony. Uproszczoną czterowarstwową głowę zawierającą modele skóry, czaszki, płynów mózgowo rdzeniowych (CSF) oraz mózgu aproksymowano sześciowęzłowymi trójkątami isoparametrycznymi. Przedstawiono sposób formułowania równań oraz metodę rozwiązania zadania prostego oraz możliwość przyspieszenia obliczeń poprzez zastosowanie transformaty falkowej. W artykule pokazano wpływ stosunku sygnału do szumu (SNR) na dokładność rozwiązania zadania odwrotnego.
    Źródło:
    Prace Instytutu Elektrotechniki; 2007, 233; 5-12
    0032-6216
    Pojawia się w:
    Prace Instytutu Elektrotechniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Some efficient algorithms to deal with redundancy allocation problems
    Autorzy:
    Es-Sadqi, Mustapha
    Idrissi, Abdellah
    Benhassine, Ahlem
    Powiązania:
    https://bibliotekanauki.pl/articles/2141899.pdf
    Data publikacji:
    2020
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    redundancy allocation problem
    constraint programming
    forward checking
    optimization
    genetic algorithm
    top_k
    Opis:
    In this paper, we will discuss some algorithms in order to better optimize the problems of redundancy allocation in multi-state systems. The goal is to find the optimal configuration of the system that maximizes the availability and minimizes the investment cost. The availability will be evaluated using the universal generating function. In first step, our contribution consists in improving the genetic algorithm. In a second step, in the framework of the Constraint Programming, we propose a new method of optimization based on the Forward Checking as solver. Finally, we used the top-k method in our choice that helps us to get the best k elements from all possible values with highest availability. In comparison with the chosen study, our methods yield better results that satisfy the constraints of the problem in a shorter time.
    Źródło:
    Journal of Automation Mobile Robotics and Intelligent Systems; 2020, 14, 4; 48-57
    1897-8649
    2080-2145
    Pojawia się w:
    Journal of Automation Mobile Robotics and Intelligent Systems
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Insertion Algorithms with Justification for Solving the Resource-Constrained Project Scheduling
    Autorzy:
    Klimek, M.
    Łebkowski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/375927.pdf
    Data publikacji:
    2016
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    insertion algorithms
    resource - constrained project scheduling problem
    makespan minimisation
    justification
    forward scheduling
    priority rules
    Opis:
    The paper presents the resource-constrained project scheduling problem with the makespan minimization criterion. To solve the problem, the authors propose insertion algorithms that generate schedules with the use of forward serial and parallel decoding procedures. Schedules are improved with the use of the double justification by the extremes technique (first right and then left justification). The efficiency of the procedures proposed is tested on standard test problems from the PSPLIB library.
    Źródło:
    Decision Making in Manufacturing and Services; 2016, 10, 1-2; 31-43
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Local Levenberg-Marquardt algorithm for learning feedforwad neural networks
    Autorzy:
    Bilski, Jarosław
    Kowalczyk, Bartosz
    Marchlewska, Alina
    Zurada, Jacek M.
    Powiązania:
    https://bibliotekanauki.pl/articles/1837415.pdf
    Data publikacji:
    2020
    Wydawca:
    Społeczna Akademia Nauk w Łodzi. Polskie Towarzystwo Sieci Neuronowych
    Tematy:
    feed-forward neural network
    neural network learning algorithm
    optimization problem
    Levenberg-Marquardt algorithm
    QR decomposition
    Givens rotation
    Opis:
    This paper presents a local modification of the Levenberg-Marquardt algorithm (LM). First, the mathematical basics of the classic LM method are shown. The classic LM algorithm is very efficient for learning small neural networks. For bigger neural networks, whose computational complexity grows significantly, it makes this method practically inefficient. In order to overcome this limitation, local modification of the LM is introduced in this paper. The main goal of this paper is to develop a more complexity efficient modification of the LM method by using a local computation. The introduced modification has been tested on the following benchmarks: the function approximation and classification problems. The obtained results have been compared to the classic LM method performance. The paper shows that the local modification of the LM method significantly improves the algorithm’s performance for bigger networks. Several possible proposals for future works are suggested.
    Źródło:
    Journal of Artificial Intelligence and Soft Computing Research; 2020, 10, 4; 299-316
    2083-2567
    2449-6499
    Pojawia się w:
    Journal of Artificial Intelligence and Soft Computing Research
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Binary Tree Based Forward Secure Signature Scheme in the Random Oracle Model
    Autorzy:
    Jurkiewicz, Mariusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2055214.pdf
    Data publikacji:
    2021
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    forward secure digital signature scheme
    bilinear pairing of Type 3
    random oracle model
    bilinear Diffie-Hellman inversion problem
    Opis:
    In this paper we construct and consider a new group-based digital signature scheme with evolving secret key, which is built using a bilinear map. This map is an asymmetric pairing of Type 3, and although, for the reason of this paper, it is treated in a completely abstract fashion it ought to be viewed as being actually defined over E(Fqn )[p] × E(Fqnk )[p] → Fqnk [p]. The crucial element of the scheme is the key updater algorithm. With the adoption of pairings and binary trees where a number of leaves is the same as a number of time periods, we are assured that an updated secret key can not be used to recover any of its predecessors. This, in consequence, means that the scheme is forward-secure. To formally justify this assertion, we conduct analysis in fu-cma security model by reducing the security of the scheme to the computational hardness of solving the Weak ℓ-th Bilinear Diffie-Hellman Inversion problem type. We define this problem and explain why it can be treated as a source of security for cryptographic schemes. As for the reduction itself, in general case, it could be possible to make only in the random oracle model.
    Źródło:
    International Journal of Electronics and Telecommunications; 2021, 67, 4; 717--726
    2300-1933
    Pojawia się w:
    International Journal of Electronics and Telecommunications
    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