http://lib.kart.edu.ua/handle/123456789/4743 Sun, 19 Apr 2026 14:45:24 GMT 2026-04-19T14:45:24Z http://lib.kart.edu.ua/handle/123456789/4746 Title: Аналіз залізничних систем телекомунікації та зв'язку з використанням методів, алгоритмів стиснення Authors: Мазіашвілі, Артур Рамазійович; Maziashvili, A. R. Abstract: UA: Збільшення обсягів інформації, яка передається по лініях зв'язку, необхідність збереження великих масивів даних, а також розвиток цифрової техніки - все це спричиняє підвищення вимог до пропускної здатності систем зв’язку. Включення алгоритмів і методів стиснення даних в процес обробки та передачі інформації дозволяє передавати менші ресурси, згідно з пропускною спроможністю каналів. Все вищесказане і визначає актуальність завдання стиску зображень.; EN: Graphics (maps, charts, plans, drawings, etc.), which are characterized by their apriori structuring, forming a significant subclass of all variety of images, not too effectively treated by existing methods of image coding. This is due to the fact that their intrinsic correlation very much related to their orderly and organized structure. It follows that the lack of consideration of this structure results in a very significant reduction in the compression set of graphical information defining the effective bandwidth of communication channels of telecommunication systems as well as a significant reduction in performance encoding and decoding procedures, or to increase their resourceintensive. Global computerization and informatization of all branches of knowledge, stimulated the development of new mathematical models of the objects of study in different subject areas. These objects include images that provide a lot of information about the objects that appear in visible form. At the same time the possibility of extracting useful information from the images defined by their spatial structure. The increase in volumes transmitted over communication lines, the need to store large amounts of data, as well as the development of digital technology - all this puts increasing demands for bandwidth communications systems. Fri, 01 Jan 2016 00:00:00 GMT http://lib.kart.edu.ua/handle/123456789/4746 2016-01-01T00:00:00Z http://lib.kart.edu.ua/handle/123456789/4745 Title: Методы параллельного решения SAT-задач для реализации процедур прогнозирования трудоемкости Authors: Мирошник, Марина Анатольевна; Клименко, Любовь Анатольевна; Герман, Эдуард Евгеньевич; Miroshnyk, Maryna А.; Klymenko, Lubov А.; German, Eduard E. Abstract: UA: У статті розроблена і реалізована великоблочна паралельна технологія рішення SAT-задач у вигляді MPI-програми в розподілених комп'ютерних системах. У даній технології використовується декомпозиція вихідної SAT- задачі на безліч підзадач. В роботі використовується процедура статистичного прогнозування трудомісткості паралельного розв’язання SAT-задач, яка дозволяє визначити оптимальні прогнозовані параметри декомпозиції. Показано, що використання параметрів декомпозиції, знайдених за допомогою процедур прогнозування, дозволяє успішно вирішувати SAT-задачі, які кодують задачі звернення ряду криптографічних дискретних функцій.; EN: The large-block parallel technology of SAT-tasks solutions as MPI-programs in distributed computing systems was designed and implemented in the paper. The decomposition of the original SAT-tasks into multiple subtasks was used in this technology. The statistical procedure for the parallel SAT-solving tasks complexity predicting, which allows to determine the optimal prediction parameters of decomposition was used in the work. It was shown that the use of decomposition parameters that was found using the prediction procedures allows solving successfully the SAT-encoding task handling cryptographic number of discrete functions. The realization of large-block parallel technology of SAT-tasks solution as PD-SAT MPI-program was presented in the paper. This program allows predicting the complexity of solving SAT-problems and their immediate solution within any distributed computing environment with an installed MPI-communication environment. The successful use of PD-SAT in solving the problems of logical cryptanalysis of stream encrypting systems, in respect of which sequential logic cryptanalysis did not give acceptable results was demonstrated in the series of numerical experiments. Further development of presented technology and its application in parallel logical cryptanalysis in other encryption systems was assumed. Fri, 01 Jan 2016 00:00:00 GMT http://lib.kart.edu.ua/handle/123456789/4745 2016-01-01T00:00:00Z http://lib.kart.edu.ua/handle/123456789/4744 Title: Методи ітеративного декодування кодів з малою щільністю перевірок на парність Authors: Приходько, Сергій Іванович; Штомпель, Микола Анатолійович; Prihodko, S.; Shtompel, М. Abstract: UA: Наведено способи формального подання кодів з малою щільністю перевірок на парність, які визначають особливості класичних методів ітеративного декодування даних кодів. Показано, що класичні методи ітеративного декодування кодів з малою щільністю перевірок на парність мають ряд обмежень з точки зору обчислювальної складності та ефективності декодування. Визначено особливості класичних методів ітеративного декодування кодів з малою щільністю перевірок на парність та обґрунтовано можливість їх застосування у комбінованому методі декодування даних кодів.; EN: The development of telecommunications is based on the construction of telecommunications systems based on the latest technologies, standards and protocols. The important task in creating telecommunication systems is to ensure the reliability of giving transmission of information which determined by the specific application. Significant number of modern telecommunication technologies and standards were used for this purpose low density parity check codes in conjunction with the various methods of iterative decoding which allowing to obtain hard or soft decisions. There are ways of formal representations of low density parity check codes which define features of classical methods iterative decoding data codes. It shows the classical iterative decoding methods low density parity check codes have limitations in terms of computational complexity and decoding efficiency. The features of the classical methods of iterative decoding of low density parity check codes and demonstrated the possibility of their use in a combined decoding method of this codes. Fri, 01 Jan 2016 00:00:00 GMT http://lib.kart.edu.ua/handle/123456789/4744 2016-01-01T00:00:00Z