RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Финько Олег Анатольевич

Публикаций: 76 (45)
в MathSciNet: 2 (2)
в zbMATH: 3 (3)
в Web of Science: 17 (5)
в Scopus: 8 (8)
Цитированных статей: 7
Ссылок в Math-Net.Ru: 4
Ссылок в Web of Science: 5
Ссылок в Scopus: 8

Статистика просмотров:
Эта страница:3076
Страницы публикаций:740
Полные тексты:220
Списки литературы:112
Финько Олег Анатольевич
профессор
доктор технических наук (2005)
Специальность ВАК: 05.13.01 (системный анализ, управление и обработка информации (по отраслям))
Дата рождения: 13.07.1963
E-mail:
Сайт: http://ofinko.ru
Коды УДК: 519.7
Коды MSC: *03B50, 68W30, *68M07, *94C10, 06E30, 13M99

Основные темы научной работы

# Синтез дискретных устройств реализации систем функций алгебры логики (ФАЛ), программные методы (посредством модулярных ЛОГИКО-ЧИСЛОВЫХ формул).

# Функциональное диагностирование дискретных устройств специального назначения (посредством ЧИСЛОВЫХ кодов).

# Контроль и ОБЕСПЕЧЕНИЕ целостности и имитозащиты данных (посредством КРИПТОКОДОВЫХ конструкций): системы связи, цифровые хранилища данных, спутниковые системы навигации (GNSS).

# Системы электронного документооборота (МЕТОДОЛОГИЯ).

______________________________________________________________

(к п. 1) Упрощается синтез и структура устройств реализации систем ФАЛ (однако получаемые схемы, в общем случае, по отношению к традиционным методам синтеза, – не минимальны). Созданы условия для опосредованного применения числовых методов кодового контроля ошибок вычислений в новой для них предметной области – логических вычислениях.

Рекомендации к применению: синтез аналого-цифровых устройств на перспективной (электрической, оптической и пр.) аналого-дискретной элементной базе (аналоговые преобразования – цифровой выход ), например, основанной на первом законе Кирхгофа.

$\textbf{Логико-числовые формулы реализации двоичных функций}$ (АиТ, 2004, №6. С. 37-60; ОПиПМ, 2006, №4; ОПиПМ, 2016, №2).

$Исходные\ данные:$ числовая нормальная форма (ЧНФ) для булевой функции $f_t(x_1,\, \ldots,\, x_n)$: \begin{eqnarray*} A(x_1,\, \ldots,\, x_n)=b_{0}+\sum^{2^n-1}_{i=1}b_{i}\centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n \right), \end{eqnarray*} где $b_{0},b_{1},\ldots,a_{k^n-1} \in \mathbb{Z}$; $i_1, i_{2},\ldots,i_n$ – цифры двоичного представления $i$ ($i=\sum_{u=1}^n i_u 2^{n-u}$); $x_u^{i_u}=\left\{ \begin{array}{ll} x_u,& i_u\neq 0, \\ 1,& i_u=0. \end{array} \right. $

Обобщение числовой нормальной формы (ЧНФ) на систему булевых функций в $\mathbb{Z}$ (Малюгин В. Д. АиТ. 1982, №4. 84–93). Система $f_1(x_1,\, \ldots,\, x_n);\ \ldots;\ f_d(x_1,\, \ldots,\, x_n)$: \begin{eqnarray*} C(x_1,\, \ldots,\, x_n)=\sum^{2^n-1}_{i=0}c_i \centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n \right), \end{eqnarray*} где $c_i\in\mathbb{Z}$; $c_i =\sum^d_{t=1} b_{t,\, i}2^{d-t}$ для $i=0,\,1\, \ldots,\, 2^{n-1}$; при этом, значение полинома $C(x_1,\, \ldots,\, x_n)$ на наборе $x_1,\, \ldots,\, x_n$ есть число $Y^{(x_1,\, \ldots,\, x_n)}=\sum_{t=1}^d f_t(x_1,\, \ldots,\, x_n)2^{d-t}$, а $\left(f_1(x_1,\, \ldots,\, x_n),\ \ldots,\ f_d(x_1,\, \ldots,\, x_n)\right)_2$ – двоичная его запись.

$\blacktriangleright$ $Положение\ 1.$ Обобщение алгебраической нормальной формы (полинома Жегалкина) на область кольца $\mathbb{Z_{2^d}}$ (частный случай ЧНФ В.Д. Малюгина). Система произвольных $f_1(x_1,\, \ldots,\, x_n);\ \ldots;\ f_d(x_1,\, \ldots,\, x_n)$ может быть представлена модулярным логико-числовым полиномом (МЛЧП): \begin{eqnarray} M(x_1,\, \ldots,\, x_n)=\sum^{2^n-1}_{i=0}\psi_i \centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n \right) \pod{\mathbb{Z}_{2^d}}, \end{eqnarray} где $\psi_i\in\mathbb{Z}_{2^d}$; $\psi_i =\left | \sum_{t=1}^{d}b_{t,\,i} 2^{d-t} \right |_{2^d}=\left | c_i \right |_{2^d}$ для $i=0,\,1\, \ldots,\, 2^{n-1}$; при этом, значение полинома $M(x_1,\, \ldots,\, x_n)$ на наборе $x_1,\, \ldots,\, x_n$ есть число $Y^{(x_1,\, \ldots,\, x_n)}=\sum_{t=1}^d f_t(x_1,\, \ldots,\, x_n)2^{d-t}$, а $\left(f_1(x_1,\, \ldots,\, x_n),\ \ldots,\ f_d(x_1,\, \ldots,\, x_n)\right)_2$ – двоичная его запись.

$\mathbf{Замечание}$. Алгебраическая нормальная форма есть частный случай (1) при $d=1$.

$\textbf{Частный случай – схема Горнера:}$ $$M(x_1,\, \ldots,\, x_n)=\zeta_0 \oplus_p \zeta_1 \left(K_1 \oplus_p \zeta_2\left(K_2 \oplus_p \ldots \oplus_p \zeta_i \left(K_i \oplus_p \ldots \oplus_p \zeta_{2^n-1}K_{2^n-1}\right)\ldots \right)\right) \pod{\mathbb{GF}(m)},$$ где $K_i$ – элементарная $i$-я конъюнкция переменных $x_1,\, \ldots,\, x_n$; $p > 2^d$ – простое; $\zeta_0=\psi_0, \ \ \zeta_i=\left|\frac{\psi_{i}}{\prod_{j=0}^{i-1}\psi_j}\right|_p \ \ (i=1\ldots 2^n-1 )$; или $$M(x_1,\, \ldots,\, x_n)=\xi_0 \oplus_p \xi_1\left(\xi_2^{-1} K_1 \oplus_p \ldots \oplus_p \xi_i \left(\xi_{i+1}^{-1}K_i \oplus_p \ldots \oplus_p \xi_{2^n-2}\left(\xi_{2^n-1}^{-1} K_{2^n-2} \oplus_p K_{2^n-1}\right)\ldots\right)\ldots\right)\pod{\mathbb{GF}(m)},$$ где $\xi_0=\psi_0, \ \ \xi_i=\left|\prod_{j=2^n-1}^{i}\xi_j\right|_p \ \ (i=1\ldots 2^n-1 )$.

$\blacktriangleright$ $Положение\ 2.$ Система $f_1(x_1,\, \ldots,\, x_n),\, \ldots,\,f_{d}(x_1,\, \ldots,\, x_n)$ может быть единственным способом задана произведением: \begin{align} N(x_1,\, \ldots,\, x_n)&=\prod_{i=1}^d m_i^{f_i(x_1,\, \ldots,\, x_n)} \nonumber \\ &= \nu_0 \prod_{i=1}^{2^n-1} \nu_i^{x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n} \pod{\mathbb{Z}_{p\geq m+1}}, \end{align} где $m=\prod_{i=1}^d m_i$; $m_t$ $(t=1,\,\ldots,\,d)$ – неповторяющиеся простые (2, 3, и т. д.); $\nu_j=\left | \prod_{t=1}^d m_t^{b_{t,\,j}}\right|_{p\geq m+1}=\left | \prod_{t=1}^d \left | m_t^{b_{t,\,j}}\right|_{p\geq m+1}\right|_{p\geq m+1}$ ($j=0,\, \ldots,\,2^n-1$); $b_{t,\,i}$ $(t=1,\,\ldots,\,d;\ \ i=0,\,1,\,\ldots,\,2^n-1)$ – коэффициенты ЧНФ $t$-й функции; при этом: $$ f_t(x_1,\, \ldots,\, x_n)= \begin{cases} 1, & \ \ m_t | N(x_1,\, \ldots,\, x_n); \\ 0, & \ \ m_t\not|\,N(x_1,\, \ldots,\, x_n). \end{cases} $$

$\textbf{Логико-числовые формулы реализации многозначных функций}$ (АиТ, 2005, №7. С. 66-86; ОПиПМ, 2006, №4).

$Исходные\ данные$ (см., например, Асланова Н. Х., Фараджев Р. Г. АиТ, 1992, №2. С.120-131): числовая нормальная форма для $k$-значной функции $f^{(k)}_t(x_1,\, \ldots,\, x_n)$, при $k>2$ и $k\in \mathbb{Z}$: \begin{eqnarray*} f^{(k)}(x_1,\, \ldots,\, x_n)=a_{0}+\sum^{k^n-1}_{i=1}a_{i}\centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n \right), \end{eqnarray*} где $a_{0},a_{1},\ldots,a_{k^n-1} \in \mathbb{R}$; $i_1, i_{2},\ldots,i_n$ – цифры $k$-значного представления $i$ ($i=\sum_{u=1}^n i_u k^{n-u}$); $x_u^{i_u}=\left\{ \begin{array}{ll} x_u,& i_u\neq 0, \\ 1,& i_u=0. \end{array} \right. $

$\blacktriangleright$ $Положение\ 3.$ Произвольная $k$-значная $f^{(k)}(x_1,\, x_2, \ldots,\, x_n)$, при $k>2$ и $k\in \mathbb{Z}$ (т. е. не обязательно простом) может быть представлена МЛЧП: \begin{eqnarray} f^{(k)}(x_1,\, x_2, \ldots,\, x_n)=\sum^{k^n-1}_{i=0}\rho_i \centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n\right) \pod{\mathbb{GF}(m)}, \end{eqnarray} где $m \geq k$ ($m$, очевидно, – простое), $\rho_{i}=\left|a_i\right|_m$.

$\blacktriangleright$ $Обобщение\ положений\ 1\ и\ 3.$ Система произвольных $k$-значных $f_1^{(k)}(x_1,\, x_2, \ldots,\, x_n); \ldots; f_d^{(k)}(x_1,\, x_2, \ldots,\, x_n)$, при $k>2$ и $k\in \mathbb{Z}$ может быть представлена МЛЧП: \begin{eqnarray} \Omega^{(k)}(x_1,\, x_2, \ldots,\, x_n)=\sum^{k^n-1}_{i=0}\omega_i \centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n\right) \pod{\mathbb{GF}(m)}, \end{eqnarray} где $m > k^d$; $\omega_i=\left|\sum_{t=1}^d a_{t,\,i} k^{d-t}\right|_m$ для $i=0,\,1,\, \ldots k^{n-1}$; при этом, значение полинома $\Omega^{(k)}(x_1,\, x_2, \ldots,\, x_n)$ на наборе $x_1,\, \ldots,\, x_n$ есть число $\sum_{i=1}^d f_i^{(k)}(x_1,\, \ldots,\, x_n)k^{d-i}$, а $\left(f_1^{(k)}(x_1,\, \ldots,\, x_n),\ \ldots,\ f_d^{(k)}(x_1,\, \ldots,\, x_n)\right)_k$ – $k$-ичная его запись.

Для (3) и (4) по аналогии с полиномами для булевых функций строятся схемы Горнера.

$\blacktriangleright$ $Обобщение\ положения \ 2 .$ Система произвольных $k$-значных $f_1^{(k)}(x_1,\, x_2, \ldots,\, x_n); \ldots; f_d^{(k)}(x_1,\, x_2, \ldots,\, x_n)$ может быть представлена логико-числовой формулой: \begin{align} N^{(k)}(x_1,\, \ldots,\, x_n)&=\prod_{i=1}^d m_i^{f^{(k)}_i(x_1,\, \ldots,\, x_n)}\nonumber \\ &=\mu_0 \prod_{i=1}^{k^n-1}\mu_i^{x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n} \pod{\mathbb{Z}_{p\geq m+1}}, \end{align} где $m=\prod_{t=1}^d m_t^{k-1}$; $m_t$ $(t=1,\,\ldots,\,d)$ – неповторяющиеся простые (2, 3, и т. д.); $\mu_j=\left | \prod_{t=1}^d m_t^{a_{t,\,j}}\right|_{p\geq m+1}$ ($j=0,\, \ldots,\,k^n-1$); $a_{t,\,i}$ $(t=1,\,\ldots,\,d;\ \ i=0,\,1,\,\ldots,\,k^n-1)$ – коэффициенты ЧНФ $t$-й $k$-значной функции; при этом: $$ f_t^{(k)}(x_1,\, \ldots,\, x_n)= \alpha, \ \ \mbox{если}\ \ \ m_t^{\alpha} | N^{(k)}(x_1,\, \ldots,\, x_n)\ \ (0 \leq \alpha<k) \ \ \mbox{и} \ \ m_t^{\beta} \not| N^{(k)}(x_1,\, \ldots,\, x_n),\ k>\beta>\alpha. $$

$\mathbf{Замечание}$. В общем случае кодировка значений $f^{(k)}_t(x_1,\, \ldots,\, x_n)$ может включать в себя область отрицательных чисел, например, при $k$ нечетном: $\{ -\frac{k}{2},\, -\left(\frac{k}{2}-1\right),\, \ldots,\,0,\, \ldots,\, \frac{k}{2}-1,\,\frac{k}{2} \}$. Тогда вычисление (5) следует осуществлять уже не в $\mathbb{Z}_p$, а в $\mathbb{GF}(p)$ (т.е. при простом $p$). Кроме того, $\mu_j=\left | \prod_{t=1}^d m_t^{r_{t}a_{t,\,j}}\right|_{p\geq m+1}$ для $j=0,\, \ldots,\,k^n-1$ и $r_{t}=\pm 1$ в зависимости от знака значения $t$-ой функции.

Например, при $k=3$ и области значений $f^{(3)}_t(x_1,\, \ldots,\, x_n)\in \{-1,\,0,\,1\}$: $$ f^{(3)}_t(x_1,\, \ldots,\, x_n)= \begin{cases} 1, & \ \ m_t | N^{(3)}(x_1,\, \ldots,\, x_n); \\ 0, & \ \ m_t\not|\,N^{(3)}(x_1,\, \ldots,\, x_n); \\ -1, & \ \ m_{t_1}^{-1} | N^{(3)}(x_1,\, \ldots,\, x_n). \end{cases} $$ При этом возникает дополнительное требование к выбору простых множителей: $\gcd{(m_{t_1}^{-1}, \, m_{t_2})}=1 \ \ (t_1,\,t_2=1,\,2,\,\ldots,\,d)$.

$\blacktriangleright$ $Положение\ 4.$ Система произвольных $k$-значных $f_1^{(k)}(x_1,\, x_2, \ldots,\, x_n); \ldots; f_d^{(k)}(x_1,\, x_2, \ldots,\, x_n)$ при $k>2$ и $k\in \mathbb{Z}$ может быть представлена МЛЧП: \begin{eqnarray} \Theta^{(k)}(x_1,\, x_2, \ldots,\, x_n)&=&f^{(k)}_1(x_1,\, x_2, \ldots,\, x_n)\frac{mq_1}{m_1}+ \ldots +f^{(k)}_d(x_1,\, x_2, \ldots,\, x_n)\frac{mq_d}{m_d} \pod{\mathbb{Z}_m} \nonumber \\ &=&\zeta_0 + \sum^{k^n-1}_{i=1}\zeta_i \centerdot \left(x^{i_1}_1 \wedge x^{i_2}_2 \wedge \ldots \wedge x^{i_n}_n\right) \pod{\mathbb{Z}_m}, \end{eqnarray} $m>k^d$; $m=\prod_{i=1}^d m_i$; $m_i \geq k$; $m_i$ – неповторяющиеся простые для $\forall i$; $\zeta_i=\left|\sum^{d}_{t=1}a_{t,\,i}\frac{m q_t}{m_t}\right|_m$ для $i=0,\,1,\,\ldots,\,k^n-1$, где $a_{t,\,i}$ – коэффициенты ЧНФ $t$-й $k$-значной функции; $q_i$ удовлетворяет сравнению $q_i m m_i^{-1} \equiv 1 \mod{m}$. Результат вычисления: \begin{eqnarray*} \left\lbrace \begin{split} f_1^{(k)}(x_1,\, \ldots,\, x_n) = \left | \Theta^{(k)}(x_1,\, \ldots,\, x_n) \right |_{m_1} \\ \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \\ f_d^{(k)}(x_1, \ldots,\, x_n) = \left| \Theta^{(k)}(x_1, \ldots,\, x_n) \right |_{m_d}. \end{split} \right. \end{eqnarray*}

Научная биография:

1. Предложены положения теории в области компьютерной алгебры: «Модулярная арифметика параллельных логических вычислений», находящиеся на пересечении алгебры логики и теории сравнений (модулярной арифметики), а также её приложения для решения задач функционального диагностирования цифровых устройств специального назначения. Результаты обобщены на область k-значной логики.

2. Предложены ряд теоретических и инновационных (изобретения) решений по обеспечению целостности и имитозащиты информации на основе совместного использования методов криптографии и помехоустойчивого кодирования.

Научные школы: профессор Амербаев В. М. (МГИЭТ (ТУ), ИППМ РАН), профессор Червяков Н. И. (СКФУ), профессор Малюгин В. Д. (ИПУ РАН), профессор Цимбал В. А. (ИИФ, Москва–Серпухов).

   
Основные публикации:
  1. Финько О. А., Модулярная арифметика параллельных логических вычислений, ред. В. Д. Малюгин, ИПУ РАН, М., 2003, 224 с.  elib
  2. Финько О. А., “Реализация систем булевых функций большой размерности методами модулярной арифметики”, Автоматика и телемеханика, 2004, № 6, 37–60  mathnet  crossref  mathscinet  zmath  isi  scopus
  3. Финько О. А., “Модулярные формы систем $k$-значных функций алгебры логики”, Автоматика и телемеханика, 2005, № 7, 66–86  mathnet  crossref  mathscinet  zmath  scopus
  4. Ткаченко А.В., Финько О.А., “Синтез и преобразование сложных структурных кодов”, Автоматика и телемеханика, 1995, № 5, 183–189  mathnet  zmath  isi  scopus
  5. Oleg Finko, Sergey Dichenko, “Secure Pseudo-Random Linear Binary Sequences Generators Based on Arithmetic Polynoms”, Advances in Intelligent Systems and Computing, Soft Computing in Computer and Information Science, 2015, 279-290  crossref  isi  scopus

http://www.mathnet.ru/rus/person40004
http://scholar.google.com/citations?user=t8PKKLAAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:finko.o-a
https://mathscinet.ams.org/mathscinet/MRAuthorID/745038
http://elibrary.ru/author_items.asp?authorid=162318
ИСТИНА http://istina.msu.ru/workers/10387930
http://orcid.org/0000-0002-7376-2714
http://www.researcherid.com/rid/J-2585-2012
http://www.scopus.com/authid/detail.url?authorId=7801578117
https://www.researchgate.net/profile/Oleg_Finko
https://arxiv.org/a/finko_o_1

Полный список публикаций:
| по годам | по типам | по числу цитирований | научные публикации | общий список |



   2018
1. Д. В. Самойленко, М. А. Еремеев, О. А. Финько, “Повышение информационной живучести группы робототехнических комплексов методами модулярной арифметики”, Наукоемкие технологии в космических исследованиях Земли, 10:2 (2018), 62–77 URL  crossref  elib
2. Д. В. Самойленко, М. А. Еремеев, О. А. Финько, С. А. Диченко, “Параллельный линейный генератор многозначных псевдослучайных последовательностей с контролем ошибок функционирования”, Труды СПИИРАН, 59:4 (2018), 31-61 URL  crossref; D. V. Samoylenko, M. A. Eremeev, O. A. Finko, S. A. Dichenko, “Parallel linear generator of multivalued pseudorandom sequences with operation errors control”, SPIIRAS Proceedings, 59:4 (2018), 31-61 URL  crossref  scopus
3. Д. В. Самойленко, М. А. Еремеев, О. А. Финько С. А. Диченко, Патент РФ № 2669144. Способ и устройство имитоустойчивой передачи информации по каналам связи, Заявка №2017141540, 28.11.2017. Опубликовано: 08.10.2018. Бюл. № 28, 2018
4. Ю. Е. Рябинин, О. А. Финько, Патент RU 2665251. Способ и система скрытого помехоустойчивого оповещения, Заявка: 2017109785, 23.03.2017. H04L 9/00 (2006.01), G06F 21/60 (2013.01). Опубл. 28.08.2018. Бюл. № 25, 2018; YU. E. Ryabinin, O. A. Finko, Patent RU 2665251. Hidden anti-jamming notification method and system, Priority number(s): RU20170109785, 2017-03-23, 2018 Espacenet
5. Ю. Е. Рябинин, О. А. Финько, Д. В. Самойленко, Патент на изобретение №2649753. Способ безопасного кодирования информации для еë передачи по открытым каналам связи методами стеганографии, H04L 9/00 (2006.01). Заявка №2016131813, 02.08.2016. Опубликовано: 04.04.2018. Бюл. 10, 2018; YU. E. Ryabinin, O. A. Finko, D. V. Samoylenko, Patent RU2649753C2. Method of safe coding information for its transmission over open communication channels using steganography techniques, Priority number(s): RU20160131813, 2016-08-02, 2018 Espacenet  isi
6. Н. И. Елисеев, О. А. Финько, Д. В. Самойленко, Патент RU2667978 . Система формирования электронной подписи, устойчивой к деструктивным воздействиям, Опубликовано: 25.09.2018. Бюл. № 27, 2018; N. I. Eliseev, O. A. Finko, D. V. Samojlenko, Patent RU2667978C2. System for electronic signature formation, sustainable to destructive impact, Priority number(s): RU20170100279 2017-01-09, 2018 Espacenet

   2017
7. Д. В. Самойленко, О. А. Финько, “Обеспечение целостности информации в группе беспилотных летательных аппаратов в условиях деструктивных воздействий нарушителя”, "Вопросы оборонной техники. Технические средства противодействия терроризму. Серия 16", 2017, № 107–108, 20-27. URL  elib
8. Д. В. Самойленко, О. А. Финько, М. А. Еремеев, “Распределëнная обработка и защита информации в группировке комплексов с беспилотными летательными аппаратами”, Теория и техника радиосвязи, 2017, № 4, 93–100.  elib
9. Ю. Е. Рябинин, О. А. Финько, “Математическая модель скрытой, помехоустойчивой передачи информации, представленной в модулярном коде”, Наука. Инновации. Технологии, 2017, № 2, 53-62.  elib
10. D. V. Samoylenko, M. A. Eremeev, O. A. Finko, “A method of providing the integrity of information in the group of robotic engineering complexes based on crypt-code constructions”, Automatic Control and Computer Sciences, 51:8 (2017), 965–971  crossref  isi  scopus
11. Д. В. Самойленко, М. А. Еремеев, О. А. Финько, “Распределëнная обработка и защита информации в группировке комплексов сбеспилотными летательными аппаратами”, Актуальные проблемы защиты и безопасности: Труды XX Всероссийской научно-практической конференции РАРАН (Санкт-Петербург, 3–6 апреля 2017 г.), 1, ред. акад. РАРАН, д.т.н., проф. В.А. Петров, член-кор. РАН, акад. РАРАН, д.т.н., проф. М.В. Сильников, со, ФГБУ «Российская академия ракетных и артиллерийских наук», Москва, 2017, 306
12. О. А. Финько, Д. В. Самойленко, С. А. Диченко и др., Патент РФ №2620730. Способ защищенной передачи шифрованной информации по каналам связи, G09C 1/00; H04L 9/06; G06F 21/62 (2013.01). Заявка №2015152381, 07.12.2015. Опубликовано: 29.05.2017. Бюл. 16, 2017; DICHENKO, S. A. and ELISEEV, N. I. and FINKO, O. A. and PETLEVANYJ, A. A. and SAMOYLENKO, D. V., Patent RU 2620730 - C1. Method of secured transmission of encrypted information over communication channels, Web of Science, 2017  isi
13. О. А. Финько и др., Патент РФ №2634201. Устройство имитостойкого кодирования и декодирования информации избыточными систематическими кодами, H03M 13/23; G06F 11/08 (2006.01). Заявка №2016130881, 26.07.2016. Опубликовано: 24.10.2017. Бюл. 30, 2017; PETLEVANNYJ, A. A. and SAMOYLENKO, D. V. and DICHENKO, S. A. and KISHKIN, S. A. and FINKO, O. A., Patent RU 2634201 - C1. Device for spoofing resistant coding and decoding information with excessive systematic codes, Web of Science, 2017  isi
14. Н. И. Елисеев, О. А. Финько, Патент РФ №2623899. Система защищенного электронного документооборота, G06F 21/64 (2013.01). Заявка №2016128393, 12.07.2016. Опубликовано: 29.06.2017. Бюл. 19, 2017; ELISEEV, N. I. and FINKO, O. A., Patent RU 2623899 - C1. System of protected electronic flow of documents, Web of Science, 2017  isi
15. С. В. Савин, О. А. Финько, Н. И. Елисеев, Патент РФ №2637486. Система контроля целостности журналов непрерывно ведущихся записей данных, G06F 21/62; G06F 21/64; G06F 11/30 (2006.01). Заявка №2015152423, 07.12.2015. Опубликовано: 04.12.2017 Бюл. 34, 2017; SAVIN, S. V. and FINKO, O. A. and ELISEEV, N. I., Patent RU 2015152423 - A; RU 2637486 - C2. System for monitoring integrity of logs of maintained data records, has distribution key storage unit connected to input of foreign key switch unit, and internal key switching blocks outputs connected to hash code forming block inputs, PN RU 2015152423 -A; RU 2637486 -C2, 2017  isi
16. С. А. Диченко, О. А. Финько и др., Заявка на изобретение №2017141538. Способ контроля и обеспечения целостности данных, Заявка: 2017141538, 28.11.2017, 2017 (в печати)
17. Н. И. Елисеев, О. А. Финько и др., Патент РФ №2637482. Способ многоуровневого контроля целостности электронных документов, G06F 21/64 (2013.01); G06F 17/20 (2006.01). Заявка: 2015152437, 07.12.2015. Опубликовано: 04.12.2017. Бюл. 34, 2017; ELISEEV, N. I. and FINKO, O. A. et al., Patent RU 2015152437 - A; RU 2637482 - C2. Method for multi-level monitoring of integrity of electronic documents, involves creating intermediate electronic document file with original format-invariant image of source text for representing place-transition net, Web of Science, 2017  isi
18. С. А. Диченко, О. А. Финько и др., Заявка на изобретение №2017115539. Способ и система распределенного хранения восстанавливаемых данных с обеспечением целостности и конфиденциальности информации, Заявка: 2017115539, 02.05.2017, 2017 (в печати)
19. С. А. Диченко, О. А. Финько и др., Заявка на изобретение №2017117714. Способ обеспечения целостности данных, Заявка: 2017117714, 22.05.2017, 2017 (в печати)

   2016
20. Д. В. Самойленко, О. А. Финько, “Помехоустойчивая передача данных в радиоканалах робототехнических комплексов на основе полиномиальных классов вычетов”, Наукоемкие технологии в космических исследованиях Земли, 8:3 (2016), 49-55  elib
21. O. A. Finko, K. S. Meretukov, “Systems of Boolean functions: numerical decomposition in Z_m ring”, OP&PM Surveys on Applied and Industrial Mathematics. Proceedings II International Baltic Symposium on Applied and Industrial Mathematics (Svetlogorsk, June 12 – 18, 2016), 23, TVP, Moscow, 2016, 167-168 Proceedings. URL
22. Н. И. Елисеев, О. А. Финько, Патент РФ №2591655. Способ контроля целостности и подлинности электронных документов текстового формата, представленных на твердых носителях информации, G06F 21/64; H04L 9/32; G06K 9/00 (2006.01). Заявка №2015111578/08, 30.03.2015. Опубликовано: 20.07.2016. Бюл. 20. Внесено в базу «Перспективные изобретения» за 2016 год, п. 269; новости МО РФ, 2016; ELISEEV, N. I. and FINKO, O. A., Patent RU 2591655 - C1. Method for checking integrity and authenticity of electronic documents in text format stored as hard copy, Web of Science, 2016  isi
23. С. А. Диченко и др., Патент РФ №2579991. Самопроверяемый специализированный вычислитель систем булевых функций, G06F 7/57 (2006.01). Заявка №2015116042/08, 27.04.2015. Опубликовано: 10.04.2016. Бюл. 10, 2016; DICHENKO, S. A. et al., Patent RU 2579991 - C1. Self-checking special-purpose computer of parallel implementation boolean function systems, Web of Science, 2016  isi
24. А. К. Вишневский, О. А. Финько, Патент РФ №164166. Логико-арифметическая матрица с контролем ошибок программируемой конфигурации, Описание патента на нэб.рф, 2016; VISHNEVSKY, A. K. and FINKO, O. A., Patent RU164166-U1. Logical-arithmetical matrix with error checking programmed configuration has inputs that are connected to output register, such that inputs and outputs are connected to control input of register storing values of Boolean functions, Web of Science, 2016  isi

   2015
25. O. Finko, D. Samoylenko, S. Dichenko, N. Eliseev, “Parallel generator of q-valued pseudorandom sequences based on arithmetic polynomials”, Przeglad Elektrotechniczny, 3 (2015), 24-27 , arXiv: 1408.3743v2  crossref  elib  scopus (cited: 1)
26. O. Finko, S. Dichenko, “Secure Pseudo-Random Linear Binary Sequences Generators Based on Arithmetic Polynoms”, Advances in Intelligent Systems and Computing (Pomeranian Univ Technol, Fac Comp Sci, Miedzyzdroje, POLAND, OCT 22-24, 2014), Soft Computing in Computer and Information Science, 342, eds. Wilinski, A., ElFray, I., Pejas, J, Springer, Cham, 2015, 279-290  crossref  isi  elib  scopus (cited: 1)
27. К. С. Меретуков, О. А. Финько, “Синтез комбинационных устройств средств криптографической защиты информации на основе двоичных деревьев решений”, Информационное противодействие угрозам терроризма, 2015, № 24, 358-365  elib

   2014
28. Н. И. Елисеев, О. А. Финько, “Управление целостностью системы юридически значимого электронного документооборота в условиях межформатных преобразований электронных документов”, Проблемы управления, 3 (2014), 68-73 URL  mathnet  elib
29. O. Finko, S. Dichenko, Secure pseudo-random linear binary sequences generators based on arithmetic polynoms, arXiv:1409.2248 Cryptography and Security (cs.CR), Cornell University, New York State, 2014 , 13 pp.  adsnasa
30. O. Finko, D. Samoylenko, S. Dichenko, N. Eliseev, Parallel generator of q-valued pseudorandom sequences based on arithmetic polynomials, arXiv:1408.3743 Cryptography and Security (cs.CR), Cornell University, New York State, 2014 , 8 pp.  adsnasa

   2013
31. С. А. Диченко, Н. И. Елисеев, О. А. Финько, “Контроль ошибок функционирования генераторов двоичных ПСП, реализованных на арифметических полиномах”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 176:4 (2013), 142-149  elib
32. С. А. Диченко, О. А. Финько, “Безопасные генераторы псевдослучайных линейных последовательностей на арифметических полиномах для защищенных систем связи”, Нелинейный мир, 2013, № 9, 632 – 645  elib
33. Д. В. Самойленко, О. А. Финько, “Имитоустойчивая передача данных в защищенных системах однонаправленной связи на основе полиномиальных классов вычетов”, Нелинейный мир, 2013, № 9, 647 – 658  elib
34. С. А. Диченко, А. К. Вишневский, О. А. Финько, Патент РФ №2485575. Самопроверяемый специализированный вычислитель систем булевых функций, G06F 7/57; G06F 11/08 (2006.01). Заявка №2012120739/08, 18.05.2012. Опубликовано: 20.06.2013 Бюл. 17, 2013; DICHENKO, S. A. and VISHNEVSKII, A. K. and FINKO, O. A., Patent RU 2485575 - C1. Self-checking special-purpose computer of boolean function systems comprises memory units, adders, multiplexers, logic elements AND and NOR, Web of Science, 2013  isi

   2012
35. S. Dichenko , O. Finko, “Parallel Generators of Pseudo-random Numbers with Control of Calculation Errors”, IJSR, 1:2 (2012), 20–22
36. О. А. Финько и др., Патент РФ №2461868. Арифметический вычислитель булевых функций, G06F 7/57 (2006.01). Заявка №2011140146/08, 03.10.2011. Опубликовано: 20.09.2012. Бюл. 26. Бронзовая медаль салона изобретений и инновационных технологий «Архимед», 2012  elib; VISHNEVSKII, A. K. and DICHENKO, S. A. et al., Patent RU 2461868 - C1. Arithmetic computer of systems of boolean functions comprises 2^k memory units, Web of Science, 2012  isi

   2011
37. С. М. Сульгин, О. А. Финько и др., Патент РФ №2417405. Самопроверяемый модулярный вычислитель систем логических функций, G06F 7/57; G06F 11/08 (2006.01). Заявка №2009121955/08, 08.06.2009. Опубликовано: 27.04.2011. Бюл. 12, 2011  elib; SULGIN, S. M. and FINKO, O. A. et al., Patent RU 2417405 -C2. Self-checking modular computer of boolean function systems, has a conjunction unit, two memory units, two adders, a unit for calculating the modulo residue, a NOR element, an AND element and memory register, Web of Science, 2011  isi

   2010
38. Д. В. Самойленко, О. А. Финько, “Криптографическая система в полиномиальных классах вычетов для каналов с шумом и имитирующим злоумышленником”, Теория и техника радиосвязи, 2010, № 4, 39―44  elib
39. Д. В. Самойленко, О. А. Финько, “Криптографическая система параллельного многоканального шифрования в полиномиальных классах вычетов для каналов с шумом и имитирующим злоумышленником”, Пятая Международная конференция «Параллельные вычисления и задачи управления» (PACO'2010) (Москва, 26-28 октября 2010 г.), ИПУ РАН им. В.А. Трапезникова, М., 2010, Москва, 26-28 октября 2010 г. Сборник трудов конференции (CD)

   2009
40. О. А. Финько, “Модулярные числовые формы систем логических функций”, XIII Международная конференция “Дискретные модели в теории управляющих систем” (Москва, 6 – 9 апреля 2009 г.), ISBN 978-5-89407-366-8, ред. В.Б. Алексеев, В.А. Захаров, Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, М., 2009, 311–317 Сборник трудов. Москва : МАКС Пресс  elib
41. О. А. Финько, Д. В. Самойленко, “Конструкции, контролирующие ошибки, на основе действующих криптографических стандартов”, ISBN 978-5-89407-366-8, XIII Международная конференция “Дискретные модели в теории управляющих систем”, Сборник трудов. Москва : МАКС Пресс (Москва, 6 – 9 апреля 2009 г.), ред. В.Б. Алексеев, В.А. Захаров, Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2009, 318–320  elib
42. А. В. Щербаков, О. А. Финько и др., Патент РФ №2373564. Модулярный вычислитель систем логических функций, G06F 7/57 (2006.01). Заявка №2007141074/09, 06.11.2007. Опубликовано: 20.11.2009 Бюл. 32, 2009  elib

   2008
43. С. М. Сульгин, О. А. Финько, “Контроль ошибок логических вычислений на основе синтеза избыточных арифметико-логических AN-форм”, IX Всероссийский симпозиум по прикладной и промышленной математике (весенняя сессия). (г. Кисловодск, 1–8 мая 2008 г.), Обозрение прикладной и промышленной математики №6, 15, ТВП, 2008, 1134–1135
44. И. В. Чечин, О. А. Финько, Патент РФ №78341. Параллельно-последовательный умножитель по произвольному модулю, G06F 7/00 (2006.01). Заявка №2008128687/22, 14.07.2008. Опубликовано: 20.11.2008. Бюл. 32, 2008  elib

   2007
45. В. М. Амербаев и др., Криптографические методы защиты информации, Сер. Защита информации, т. 4, ред. Е. М. Сухарев, Издательство Радиотехника, М., 2007 , 304 с.  elib
46. О. А. Финько и др., Патент РФ №69358: Аналого-цифровой преобразователь в модулярный код, G06F 7/00 (2006.01). Заявка №2008128687/22, 14.07.2008. Опубликовано: 20.11.2008. Бюл. № 32, 2007  elib

   2006
47. О. А. Финько, “Algorithms and Devices for N-ary Finite Ring Computations”, Юбилейная Международная научно-техническая конференция «50 лет модулярной арифметике» (Зеленоград, 23 – 25 ноября 2005 г.), МИЭТ (ТУ), Зеленоград, 2006, 559–575 Сборник трудов
48. О. А. Финько, “Реализация систем булевых функций посредством мультипликативных арифметико-логических форм”, VII Всероссийский симпозиум по прикладной и промышленной математике (весенняя сессия). Тезисы докладов. Часть IV (г. Кисловодск, 2–8 мая 2006 г.), Обозрение прикладной и промышленной математики. №4, 13, ТВП, Москва, 2006, 732-733
49. О. А. Финько, “Реализация систем k-значных функций на основе Китайской теоремы об остатках”, VII Всероссийский симпозиум по прикладной и промышленной математике (весенняя сессия). Тезисы докладов. Часть IV (г. Кисловодск, 2–8 мая 2006 г.), Обозрение прикладной и промышленной математики №4, 13, ТВП, Москва, 2006, 733–734
50. А. В. Щербаков, О. А. Финько, “Оптимизация логического сопроцессора на основе декомпозиции арифметико-логических форм”, VII Всероссийский симпозиум по прикладной и промышленной математике (весенняя сессия) (г. Кисловодск, 2–8 мая 2006 г.), Обозрение прикладной и промышленной математики №4, 13, ТВП, М., 2006, 741–742

   2005
51. О. А. Финько, “Модулярные формы систем k-значных функций алгебры логики”, Автомат. и телемех., 2005, № 7, 66–86  mathnet  mathscinet  zmath  elib (цит.: 3); O. Finko, “Modular forms of systems of $k$-valued functions of the algebra of logic”, Autom. Remote Control, 66:7 (2005), 1081–1100  crossref  mathscinet  zmath  scopus (cited: 2)

   2004
52. О. А. Финько, “Реализация систем булевых функций большой размерности методами модулярной арифметики”, Автомат. и телемех., 2004, № 6, 37–60  mathnet (цит.: 4)  mathscinet  zmath  isi (цит.: 2); O. Finko, “Large systems of boolean functions: realization by modular arithmetic methods”, Autom. Remote Control, 65:6 (2004), 871–892  crossref  mathscinet  zmath  isi (cited: 2)  scopus (cited: 2)
53. О. А. Финько, “Параллельные логические вычисления методами модулярной арифметики”, II Междунар. конф. «Параллельные вычисления и задачи управления» (PACO'2004), ISBN 5-201-14974-X (Москва, 4–6 октября 2004), CD, ИПУ РАН им. В.А. Трапезникова, Москва, 2004, 1120–1207

   2003
54. О. А. Финько, “Групповой контроль ассиметричных криптосистем методами модулярной арифметики”, XIV Международной школы-семинара «Синтез и сложность управляющих систем» (Нижний Новгород, 27 октября – 1 ноября 2003 г.), Материалы, под ред. академика РАН О.Б. Лупанова; Нижний Новгород. Издательство Нижегородсткого университета, 2003, 85–86
55. О. А. Финько, Модулярная арифметика параллельных логических вычислений, ред. проф. В.Д. Малюгин, Институт проблем управления им. В.А. Трапезникова РАН, М., 2003 , 224 с.  elib
56. О. А. Финько, “Вариант классификации арифметических форм представления логических функций”, XIV Международной школы-семинара «Синтез и сложность управляющих систем» (Нижний Новгород, 27 октября – 1 ноября 2003 г.), ред. академик РАН О.Б. Лупанов, Нижегородский государственный педагогический университет, Нижний Новгород, 2003, 83–84
57. О. А. Финько, “Групповой контроль ассиметричных криптосистем методами модулярной арифметики”, XIV Международной школы-семинара «Синтез и сложность управляющих систем» (Нижний Новгород, 27 октября – 1 ноября 2003 г.), ред. академик РАН О.Б. Лупанов, Нижегородский государственный педагогический университет, 2003, 85–86
58. О. А. Финько, “Модулярные формы арифметической логики”, Международная конференция, посвященная 100-летию со дня рождения члена-корреспондента АН СССР Михаила Александровича Гаврилова (Москва, 10 – 11 ноября 2003 г.), ред. А.А. Амбарцумян, ИПУ РАН им. В.А. Трапезникова, 2003, 111–114
59. О. А. Финько, “Introduction to New Parallel Computer Arithmetics Grounded on Factorizations of Operands”, International Congress "MATHEMATICS in XXI century. The role of the MMD of NSU in science, education, and business (25–28 June 2003, Novosibirsk Akademgorodok), NSU, 2003, 5 p.

   2002
60. O. A. Fin'ko, “Methods of problem-oriented representation and data processing in resources of the hardware support of intellectual systems”, Proceedings – 2002 IEEE International Conference on Artificial Intelligence Systems, ICAIS 2002 (Divnomorskoe, September 05-10, 2002), Institute of Electrical and Electronics Engineers Inc., 2002, 453–454  crossref  isi (cited: 1)  elib
61. О. А. Финько и др., Патент РФ: №2190928. Преобразователь формы кода, H03M 7/30 (2000.01). Заявка №99108646/09, 21.04.1999. Опубликовано: 10.10.2002. Бюл. 28, 2002  elib

   2000
62. О. А. Финько, “Контроль и реконфигурация аналого-цифровых устройств, функционирующих в системе остаточных классов”, Электронное моделирование, 22:4 (2000), 92-103; O. A. Finko, “Check and Reconfiguration of Analog-to-Digital Devices Operating in the System of Residual Classes”, Engineering Simulation, 18 (2001), 531―543

   1999
63. O. A. Finko, “Number Restoration in the System of Residual Classes with a Minimum Number of Radices”, Engineering Simulation, 16:3 (1999), 329-334  elib; О. А. Финько, “Восстановление числа в системе остаточных классов с минимальным количеством оснований”, Электронное моделирование, 1998, 98
64. О. А. Финько, “Синтез параллельных электрооптических аналого-цифровых преобразователей для вычислителей, функционирующих в модулярной арифметике”, Известия высших учебных заведений. Приборостроение, 42:3–4 (1999), 30–32

   1996
65. А. В. Ткаченко, О. А. Финько, “Согласованные позиционные избыточные счисления”, Электронное моделирование, 18:5 (1996), 72-78; A. V. Tkachenko, O. A. Finko, “Concordant Redundant Positional Notations”, Engineering Simulation, 14 (1997), 827-832  elib  scopus (cited: 1)

   1995
66. А. В. Ткаченко, О. А. Финько, “Синтез и преобразование сложных структурных кодов”, Автомат. и телемех., 1995, № 5, 183–189  mathnet  zmath; A. V. Tkachenko, O. A. Fin'ko, “Synthesis and transformation of complex structure codes”, Autom. Remote Control, 56:5 (1995), 765–770  zmath  isi  scopus (cited: 1)

   1990
67. В. А. Краснобаев, Н. И. Швецов, О. А. Финько, Авторское свидетельство СССР: №1557682. Преобразователь позиционного кода в код системы остаточных классов, H03M 7/18 (2000.01). Заявка №4450764, 27.06.1988. Опубликовано: 15.04.1990. Бюл. 14, 1990

   1988
68. В. И. Ключко, А. В. Ткаченко, О. А. Финько, Авторское свидетельство СССР: №1444961. Преобразователь числа в модулярный код, H03M 7/18 (2000.01). Заявка №4235497, 27.04.1987. Опубликовано: 15.12.1988. Бюл.46, 1988
69. Н. И. Червяков, О. Е. Коршунов, О. А. Финько, Авторское свидетельство СССР: №1388996. Преобразователь кода из системы остаточных классов в позиционный код, H03M 7/18 (2000.01). Заявка №4137733, 20.06.1986. Опубликовано: 15.04.1988. Бюл. 14, 1988
70. О. А. Финько и др., Авторское свидетельство СССР: №1383365. Устройство для свертки по модулю, G06F 11/10 (2000.01). Заявка №4140414, 20.06.1986. Опубликовано: 23.03.1988. Бюл. 11, 1988
71. О. А. Финько и др., Авторское свидетельство СССР: №1372620. Аналого-цифровой преобразователь в системе остаточных классов, H03M 1/28 (2000.01). Заявка №4104913, 15.08.1986. Опубликовано: 07.02.1988. Бюл. 5, 1988
72. О. А. Финько и др., Авторское свидетельство СССР: №1368989. Аналого-цифровой преобразователь в код системы остаточных классов, H03M 1/28 (2000.01). Заявка №4115050, 15.05.1986. Опубликовано: 23.01.1988. Бюл. 3, 1988

   1987
73. Е. К. Лебедев, О. А. Финько, Методы и устройства преобразования фибоначчиевых и модулярных кодов, Деп. № 7994-В87, ВИНИТИ АН СССР, Москва, 1987 , 27 с.  elib
74. Н. И. Червяков, О. Е. Коршунов, О. А. Финько, Авторское свидетельство СССР: №1343553. Преобразователь кода системы остаточных классов в позиционный код, H03M 7/18 (2000.01). Заявка №4050010, 07.04.1986. Опубликовано 07.10.1987. Бюл. 37., 1987
75. О. А. Финько и др., Авторское свидетельство СССР: №1307588. Аналого-цифровой преобразователь, H03M 1/12 (2000.01). Заявка №3821128, 06.12.1984. Опубликовано: 30.04.1987. Бюл.16, 1987

   1986
76. С. Н. Хлевной, О. А. Финько, Авторское свидетельство СССР: №1259487. Преобразователь перемещения в код системы остаточных классов, H03M 1/28 (2000.01). Заявка №3831441, 26.12.1984. Опубликовано 23.09.1986. Бюл. 35, 1986

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018