Russian Chinese (Simplified) English German

Публикация научных работ

Publication of scientific papers foto Журнал «Проблемы современной науки и образования» выходит раз в две недели, по пятницам. Следующий номер журнала № 04(124), февраль 2018 г. Выйдет - 26.02.2018 г. Статьи принимаются до 21.02.2018 г.

Если Вы хотите напечататься в ближайшем номере, не откладывайте отправку заявки. Потратьте одну минуту, заполните и отправьте заявку в Редакцию.

linecolor




УЯЗВИМОСТЬ ЗАЩИТНЫХ СВОЙСТВ CRC - КОНТРОЛЬНОЙ СУММЫ ПРИ ИНФОРМАЦИОННОМ ПРОТИВОДЕЙСТВИИ (ФАЛЬСИФИКАЦИИ ДАННЫХ)

Филатов О.В.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Филатов Олег Владимирович - инженер-программист, ЗАО Научно технический центр «Модуль», г. Москва 

Аннотация: обнаружена серьёзная уязвимость в широко распространенной системе защиты информации, основанной на CRC. Экономические фальсификации данных, хакерские атаки, информационное противодействие – основные направления угроз, с которых постоянно ощутимы деструктивные воздействия и которые могут в ближайшее время воспользоваться этой найденной уязвимостью. Сейчас сложилась практика, в которой первым уровнем защиты принимаемой информации, удостоверения безошибочности приёма информации, являются алгоритмы проверки принятых данных по величине контрольной суммы – CRC (остатка от деления сообщения на константу). В статье приведены простейшие способы подмены информации в передаваемом сообщении с сохранением размеров фальсифицируемых файлов (сообщений) и сохранением значения CRC (контрольной суммы, которая удостоверяет целостность принятой информации). То есть, в статье показывается, что CRC более не является защитой от хакерской атаки или подмены информации для извлечения экономической выгоды, так как CRC не позволяет однозначно определить, фальсифицировано исходное сообщение при передаче или нет. Предлагается начать поиск новых критериев подтверждения целостности исходного кода на основе открытий, сделанных «Комбинаторикой длинных последовательностей».

Ключевые слова: CRC, циклически избыточные коды, контрольная сумма, полином, F–алгоритм.

 VULNERABILITY OF PROTECTIVE PROPERTIES OF CRC - CHECKSUM FOR INFORMATION COUNTERMEASURES (FALSIFICATION OF DATA)

Filatov O.V.

Filatov Oleg Vladimirovich - Software Engineer, SCIENTIFIC AND TECHNICAL CENTER «МОДУЛЬ», MOSCOW

Abstract: а serious vulnerability has been discovered in the widespread system of information protection based on CRC. Economic data falsifications, hacker attacks, information counteraction are the main directions of threats, from which destructive influences are constantly felt and which can soon take advantage of this found vulnerability. Now there is a practice in which the algorithms for checking the received data by the amount of the checksum - CRC (the remainder from dividing the message into a constant) are the first level of protection of the received information, the certificate of error-free reception of information. The article presents the simplest ways of substituting information in a transmitted message while preserving the size of falsified files (messages) and saving the CRC value (a checksum that certifies the integrity of the received information). That is, the article shows that CRC is no longer a defense against hacker attack or substitution of information to extract economic benefits, since CRC does not allow unequivocally to determine whether the original message is falsified during transmission or not. It is proposed to start searching for new criteria for confirming the integrity of the source code based on the discoveries made by the "Combinatorics of long sequences".

Keywords: CRC, Cyclic Redundancy Codes, checksum, polynomial, F-algorithm.

Список литературы / References

  1. Ross N. Williams «Элементарное руководство по CRC алгоритмам обнаружения ошибок» (A painless guide to CRC error detection algorithms) 19 августа 1993 г. [Электронный ресурс]. Режим доступа: : ftp://www.internode.net.au/clients/rocksoft/papers/crc_v3.txt/ (дата обращения: 26.02.2018).
  2. Филатов О.В., Филатов И.О., Макеева Л.Л. и др. Потоковая теория: из сайта в книгу. Москва, «Век информации», 2014. С. 200.
  3. Филатов О.В., Филатов И.О. «Закономерность в выпадении монет – закон потоковой последовательности». Германия. Издательский дом: LAPLAMBERT Academic Publishing, 2015. С. 268.
  4. Филатов О.В., Филатов И.О. О закономерностях структуры бинарной последовательности. «Журнал научных публикаций аспирантов и докторантов», 2014. № 5 (95). С. 226–233.
  5. Филатов О.В. Теорема «Об амплитудно-частотной характеристике идеальной бинарной случайной последовательности. Журнал «Проблемы современной науки и образования», 2015. № 1 (31). С. 5–11.
  6. Филатов О.В. Определение случайной бинарной последовательности как комбинаторного объекта. Расчёт совпадающих фрагментов в случайных бинарных последовательностях. Журнал «Проблемы современной науки и образования» № 6 (48), 2016.
  7. Филатов О.В. Derivation of formulas for Golomb postulates. A method for creating pseudo-random sequence of frequencies Mises. Basics "Combinatorics of long sequences." / Вывод формул для постулатов Голомба. Способ создания псевдослучайной последовательности из частот Мизеса. Основы «Комбинаторики длинных последовательностей». Журнал «Проблемы современной науки и образования.. № 17 (59), 2016.
  8. Филатов О.В. Доказательство теоремы: «Формула для цуг из составных событий, образующих случайную бинарную последовательность». Журнал «Проблемы современной науки и образования, 2017. № 20 (102). С. 6-12.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Филатов О.В. УЯЗВИМОСТЬ ЗАЩИТНЫХ СВОЙСТВ CRC - КОНТРОЛЬНОЙ СУММЫ ПРИ ИНФОРМАЦИОННОМ ПРОТИВОДЕЙСТВИИ (ФАЛЬСИФИКАЦИИ ДАННЫХ) // Проблемы современной науки и образования  №03 (123), 2018. - С. {см. журнал}.

Publication of scientific papers 2

BOUNDS OF PROOF COMPLEXITY MEASURES FOR SOME SEQUENCE OF MANY-VALUED TAUTOLOGIES

Tshitoyan A.S. 

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра. 

Tshitoyan Arman Samvelovich - PhD Student, DEPARTMENT OF INFORMATICS AND APPLIED MATHEMATICS, YEREVAN STATE UNIVERSITY, YEREVAN, REPUBLIC OF ARMENIA 

Abstract: in this paper the main proof complexity characteristics in some  proof systems for two versions of many valued propositional logic with more than one designated values are investigated for some class of k-valued(k ≥ 3) tautologies. For many valued logic with Łukasiewicz’s negation and negation, defined by permuting the truth values cyclically, we consider the “elimination” system, which is based on the determinative disjunctive normal forms. We suggest some generalization for a family of 2-valued tautologies, which are known as “hard” for some proof systems of classical propositional logic tautologies. For introduced sequence of many-valued tautologies we obtain simultaneously optimal bounds for different proof complexity measures (asymptotically the same upper and lower bounds for each measures).

Keywords: мany-valued logic, elimination systems, determinative disjunctive normal form, proof complexity.

ОЦЕНКИ ВЕЛИЧИН СЛОЖНОСТЕЙ ВЫВОДОВ НЕКОТОРОЙ ПОСЛЕДОВАТЕЛЬНОСТИ МНОГОЗНАЧНЫХ ТАВТОЛОГИЙ

Читоян А.С.

Читоян Арман Самвелович – аспирант, фaкультет информатики и прикладной математики, Ереванский государственный университет, г. Ереван, Республика Армения  

Аннотация: в данной статье исследованы основные сложностные характеристики выводов для определенного класса k-значных (k≥3) тавтологий в некоторых системах двух версий многозначных логик с более чем одним выделенным значением. Для многозначных логик, основанных на отрицании Лукасевича и циклическом отрицании, мы рассматриваем «элиминационные» системы, основанные на определяющих дизъюнктивных нормальных формах. Мы предлагаем обобщение некоторого семейства 2-значных тавтологий, которые известны как «трудновыводимые» в ряде пропозициональных систем классической логики. Для введенной последовательности многозначных тавтологий получены одновременно оптимальные оценки для различных сложностей выводов (ассимптотически одинаковые верхние и нижние оценки для каждой сложности).

Ключевые слова: многозначная логика, системы с правилом удаления, определяющая дизъюнктивная нормальная форма, сложность вывода.

References / Список литературы 

  1. Lukasiewicz J. O Logice Trojwartosciowej (On three-valued logic), Ruch Filozoficzny (Lwow). 5,1920. 169-171.
  2. Chubaryan An. Relative efficiency of some proof systems for classical propositional logic, Proceedings of NASA RA. 37. № 5, 2002 and Journal of CMA (AAS).Vol. 37. № 5, 2002. 71-84.
  3. Chubaryan А.А., Tshitoyan A.S., Khamisyan А.А. On some proof systems for many-valued logics and on proof complexities in it, (in Russian) Reports of NASA. 116, № 2, 2016. 18-24.
  4. Chubaryan Anahit, Khamisyan Artur Generalization of Kalmar’s proof of deducibility in two valued propositional logic into many valued logic, Pure and Applied Mathematics Journal. Vol 6. № 2, 2017. doi: 10.116448/j.pamj. 20170602.12.71-75.
  5. Filmus Y., Lauria М., Nordstrom J., Thapen N., Ron-Zewi N.: Space Complexity in Polynomial Calculus, 2012 IEEE Conference on Computational Complexity (CCC), 2012. 334-344.
  6. Tshitoyan Arman. Bounds of proof complexities in some systems for many-valued logics, Isaac Scientific Publishing (ISP), Journal of Advances in Applied Mathematics. 2. № 3, July 2017. 164-172. [Electronic resource]. URL: https://dx.doi.org/10.22606/jaam.2017.23006/ (date of acces: 26.02.2018).
  7. Chubaryan Anahit, Khamisyan Artur, Tshitoyan Arman. On some systems for Łukasiewicz’s many-valued logic and its properties,Fundamentalis Scientiam. 8 (8). Spain, 2017. 74-79.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Читоян А.С. ОЦЕНКИ ВЕЛИЧИН СЛОЖНОСТЕЙ ВЫВОДОВ НЕКОТОРОЙ ПОСЛЕДОВАТЕЛЬНОСТИ МНОГОЗНАЧНЫХ ТАВТОЛОГИЙ // Проблемы современной науки и образования  №03 (123), 2018. - С. {см. журнал}.

Publication of scientific papers 2

«СЛАБЫЕ» СИСТЕМЫ ВЫВОДОВ КЛАССИЧЕСКОГО ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ НЕ МОНОТОННЫ

Чубарян А.А., Саядян С.М.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Чубарян Анаит Арташесовна - доктор физико-математических наук, профессор;

Саядян Сергей Мушегович - кандидат физико-математических наук, ассистент,

фaкультет информатики и прикладной математики,

Ереванский государственный университет,

г. Ереван, Республика Армения

Аннотация: в настоящей статье для некоторых пропозициональных систем выводов классической логики мы исследуем соотношение между сложностными характеристиками выводов минимальных тавтологий и результатов подстановoк в них. Мы показываем, что существуeт последовательность пар минимальных тавтологий φn и формул ψn, являющихся результатом подстановок в φn таких, что: 1) длины φn и ψn по порядку равны, 2) для каждого n количество шагов выводов ψn ограничены константой, а длины тех же выводов в двух системах ограничены константой, а в третьей ограничены линейной функцией от длины формул, в то время как 3) и количество шагов и дины выводов φn вo всех системах по порядку не менее экспоненты от длины формул. Таким образом, доказано, что результат подстановки в минимальную тавтологию может быть выведен в этих системах гораздо проще, чем сама минимальная тавтология, следовательно, исследованные системы не монотонны ни по шагам, ни по длинам выводов.

Ключевые слова: минимальная тавтология, элиминационная система выводов, система резолюций, обобщенная система расщеплений, сложностные характеристики выводов, монотонные системы.

“WEAK” PROPOSITIONAL PROOF SYSTEMS OF CLASSICAL LOGIC ARE NO MONOTONOUS

Chubaryan A.A., Sayadyan S.M.

Chubaryan Anahit Artashesovna - Doctor of Sciences, Professor;

Sayadyan Sergej Mushegovich – PhD, Assistant,

DEPARTMENT OF INFORMATICS AND MATHEMATICS,

YEREVAN STATE UNIVERSITY,

YEREVAN, REPUBLIC OF ARMENIA

Abstract: in this paper we investigate the  relations between the proof complexities of minimal tautologies and of results of substitutions in them for some propositional proof systems of classical logic. We show that there is sequence of pairs of minimal tautologies φn and formulae ψn, which are the results of some substitution  in φn   such, that:  1) the sizes of φn and ψn are equal by order, 2) for every n  the lines of proofs for ψn in all systems and the sizes of proof in two systems are bounded by some constant and the sizes of proofs for ψn in tried system are bounded by linear function in the length of formulas, just as 3) both the lines and the sizes of proofs for φn in all systems are required with exponential functions in the length of formulas. So the result of substitution can be proved in investigated  systems more easier than corresponding minimal tautology, therefore these systems are no monotonous neither by lines nor by size.

Keywords: minimal tautology, elimination proof systems, resolution system, generalized Analytic Tableaux system, proof complexity characteristics, monotonous system.

Список литературы / References

  1. Chubaryan Anahit, Petrosyan Garik. Frege systems are no monotonous, Evolutio, Естественные науки. Вып 3, 2016. 12-14.
  2. Chubaryan Anahit, Khamisyan Artur, Petrosyan Garik. On some systems for two versions of many-valued logics and its properties. Lambert Academic Publishing (LAP), 2017. 80 pages.
  3. Чубарян Ан, Относительная эффективность некоторых систем доказательств классической пропозициональной логики. Известия НАН РА. Т. 37. № 5, 2002 and Journal of CMA (AAS). V. 37. № 5, 2002. 71-84.
  4. Цейтин Г.С. О сложности вывода висчислении высказываний. Записки научных семинаров ЛОМИ. Ленинград. Наука, 1968. Т. 8. Стр. 234-259.
  5. Чубарян Ан.А., Чубарян Арм.А. Оценки некоторых сложностных характеристик выводов в системе обобщенных расщеплений, НАУ, Отечественная наука в эпоху изменений: постулаты прошлого и теории нового времени, часть 10, 2 (7), 2015. С. 11-14.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Чубарян А.А., Саядян С.М. «СЛАБЫЕ» СИСТЕМЫ ВЫВОДОВ КЛАССИЧЕСКОГО ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ НЕ МОНОТОННЫ // Проблемы современной науки и образования  №02 (122), 2018. - С. {см. журнал}.

Publication of scientific papers 2

СТРОЕНИЕ И ВОЗНИКНОВЕНИЕ НАШЕГО МИРА, ПРОСТРАНСТВО, ГРАВИТАЦИЯ

Неробов И.Д.

Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.

Неробов Илья Дмитриевич - индивидуальный предприниматель,  г. Чистополь, Республика Татарстан 

Аннотация: данная работа посвящена изучению свойств пространства-времени, пониманию того, как материя искривляет окружающее пространство, изучает процессы, происходящие в гравитационном поле. Предполагается существование пространственной сетки, состоящей из сегментов – «застывшей» барионной энергии. Вся материя и энергия существует, взаимодействует и перемещается только внутри пространственной сетки. Теория основана на общей теории относительности Альберта Эйнштейна [1], в которой пространство искривляется любым телом и именно его искривление вызывает гравитационное притяжение, а также на библейской версии возникновения нашего мира.

Ключевые слова: физика, пространство, материя, гравитация, пространственная решетка, энергия, темная материя, библия.

THE STRUCTURE AND APPEARANCE OF OUR WORLD, SPACE, GRAVITY

Nerobov I.D.

Nerobov Ilya Dmitrievich - Individual Entrepreneur,  CHISTOPOL, REPUBLIC OF TATARSTAN

Abstract: this work is devoted to study of properties of space-time . Understanding how matter curves the surrounding space, studying the processes occurring in a gravitational field. It is assumed the existence of a spatial grid consisting of segments – the "frozen" energy of the baryon . All matter and energy exists, interacts and moves only within the spatial grid. The theory is based on the General theory of relativity by Аlbert Einstein, in which space is curved by anybody and that its curvature causes the gravitational attraction and the biblical version of the origin of our world.

Keywords: physics, space, matter, gravity, spatial grid, energy, dark matter, the Bible.

Список литературы / References

  1. Einstein Albert, 25 ноября «Die Feldgleichungen der Gravitation».
  2. Ахундов М.Д. Концепция пространства и времени: источники, эволюция, перспективы. М. «Мысль», 1982. 222 стр.
  3. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 2.
  4. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 3, 4.
  5. Электромагнитное взаимодействие. Электрослабое взаимодействие. Э.А. Тагиров.
  6. Чернин A.Д. Тёмная энергия и всемирное антитяготение. 178. 267 стр., 2008.
  7. Российское библейское общество, 2002. Библия. Стр. 9. Книга Бытие 1: 6, 7, 8.
  8. Ландау Л.Д., Лифшиц E.M. Теория поля. 6 изд. M., 1973.
  9. Эйнштейн А. Собрание научных трудов. Т. 1-4. М., 1965-67.
  10. Сивухин Д.В. Общий курс физики. М.: Физматлит, 2005. Т. I. Механика. С. 37. 560 с.

Ссылка для цитирования данной статьи

Publication-of-scientific-papers-copyright    

Неробов И.Д. СТРОЕНИЕ И ВОЗНИКНОВЕНИЕ НАШЕГО МИРА, ПРОСТРАНСТВО, ГРАВИТАЦИЯ // Проблемы современной науки и образования  №38 (120), 2017. - С. {см. журнал}.

Publication of scientific papers 2

Старый сайт

oldsite Старая версия сайта >>>

Импакт-фактор российских научных журналов
 
  Рейтинг@Mail.ru
 

Контакты

  • Адрес: 153008, Россия, г. Иваново, ул. Лежневская, д. 55, 4 этаж. Время работы: с 10-00 до 18-00. Кроме выходных.
  • Tel: +7(910)690-15-09
  • Fax: +7(910)690-15-09
  • Email: Этот адрес электронной почты защищён от спам-ботов. У вас должен быть включен JavaScript для просмотра.
  • Website: http://www.ipi1.ru/
  • Вконтакте: http://vk.com/scienceproblems
Вы здесь: Главная Статьи 01.00.00 Физико-математические науки