Перегляд за автором "Miroshnyk, A. M."

Зараз показано 1 - 3 з 3
  • Зображення мініатюри
    Публікація
    Dielectric parameters measurement with the aid of microwave multimeter
    (2017) Miroshnyk, A. M.; Zaichenko, O. B.; Rozhnova, T. G.
    Multiprobe microwave multimeters allow to measure dielectric permittivity of materials along with power, complex reflection coefficient and wavelenght, being universal devices. A method proposed for determining the permittivity of materials on the basis of the mode in the form of an integral equation that is distinguished by the use of the dyadic Green's function as the kernel of the integral equation, with the simplification by variational principles to obtain engineering formulas for calculation measurement uncertainty.
  • Зображення мініатюри
    Публікація
    Synchronizing sequences for verification of finite state machines
    (2019) Shkil, O. S.; Rakhlis, D. Y.; Kulak, E. M.; Miroshnyk, M. V.; Pahomov, Y. V.; Miroshnyk, A. M.
    Abstract—The method of detection and localization of design errors in HDL-models of finite state machines with arbitrary output functions was proposed. The diagnostic experiment is carried out bypassing all arcs of the Mealy machine, starting from the initial vertex, including for machines of the "non- exclusive" class. To ensure the return of the machine with a possible design error in the initial state, it is suggested to use synchronizing sequences. Diagnostic experiments were performed in the Active-HDL design environment.
  • Зображення мініатюри
    Публікація
    Verification of FPGA control systems by analyzing the correctness of state diagrams
    (2020) Shkil, O. S.; Rakhlis, D. Y.; Kulak, E. M.; Filippenko, I. V.; Miroshnyk, A. M.; Miroshnyk, M. M.
    The work is dedicated to verification of automatic logic control systems by analyzing the correctness of state diagrams of control finite state machines which are represented in the form of the code in the hardware description language. As a method for state diagram analysis the, it is proposed to use the concept of orthogonality, as a system of incompatible events. Analysis of the correctness is carried out by analysis the results of behavioral modeling and logical synthesis using CAD tools.