<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel rdf:about="http://dspace.nbuv.gov.ua:80/handle/123456789/131226">
<title>Електронне моделювання, 2018, № 1</title>
<link>http://dspace.nbuv.gov.ua:80/handle/123456789/131226</link>
<description/>
<items>
<rdf:Seq>
<rdf:li rdf:resource="http://dspace.nbuv.gov.ua:80/handle/123456789/131246"/>
<rdf:li rdf:resource="http://dspace.nbuv.gov.ua:80/handle/123456789/131245"/>
<rdf:li rdf:resource="http://dspace.nbuv.gov.ua:80/handle/123456789/131244"/>
<rdf:li rdf:resource="http://dspace.nbuv.gov.ua:80/handle/123456789/131243"/>
</rdf:Seq>
</items>
<dc:date>2026-04-06T09:40:18Z</dc:date>
</channel>
<item rdf:about="http://dspace.nbuv.gov.ua:80/handle/123456789/131246">
<title>Преобразование псевдочисел системы остаточных классов со всеми четнымимодулями в числа системы</title>
<link>http://dspace.nbuv.gov.ua:80/handle/123456789/131246</link>
<description>Преобразование псевдочисел системы остаточных классов со всеми четнымимодулями в числа системы
Полисский, Ю.Д.
Изложен подход к преобразованию псевдочисел системы остаточных классов со всеми четными модулями в числа системы. Подход основан на формировании произвольного набора остатков и проверке на принадлежность данного набора диапазону системы, в  которой используются таблицы констант вычитания. В случае невыполнения этого условия для некоторого остатка осуществляется замена этого остатка таким остатком, для которого данное условие выполняется.; Викладено підхід до перетворення псевдочисел системи залишкових класів з усіма парними модулями в числа системи. Підхід базовано на формуванні довільного набору залишків і перевірці на приналежність даного набору діапазону системи, в якій використовуються таблиці констант віднімання. У разі невиконання цієї умови для деякого залишку здійснюється заміна цього залишку таким залишком, для якого ця умова виконується.; The approach to the transformation of pseudo-numbers of the residual class system with all even modules into the numbers of the system is expounded. The approach is based on the formation of an arbitrary set of residues and verification of the belonging of a given set to the range of the system based on the use of the tables of subtraction constants. If this condition is not fulfilled, for a certain remainder, this residue is replaced by a residue for which this condition is satisfied.
</description>
<dc:date>2018-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://dspace.nbuv.gov.ua:80/handle/123456789/131245">
<title>The main statements of ontology theory and its implementation in the system of legal knowledge</title>
<link>http://dspace.nbuv.gov.ua:80/handle/123456789/131245</link>
<description>The main statements of ontology theory and its implementation in the system of legal knowledge
Kosenko, S.O.
The paper presents general information about a notion “ontology” historical derivation. Apart from this different ways of ontology term transformation for usage in artificial intelligence systems are analyzed. Ontology is regarded there as a complex of knowledge for clear representation of the data about events, phenomena, general and special notions concerning society, laws and the world. Apart from this, ontology is developed to supply different information about the subject of interest. There are a number of ontologies, namely surface, top, domain ones and so on, which form a base for further development of knowledge based systems and their application in combination with artificial intelligence and a set of databases for improving the process of logical thinking and making relevant decisions. Ontologies are of particular importance for law and legal theory for rule formalization, accepting court resolutions and providing information about precedents and untypical cases. The ontology design criteria are also given along with the peculiarities of their application in legal domain. Ontologies are formed with specific goals, but there are no ways of forming their contents and design. The main task to be followed in ontology creation deals with the strict and clear formulation of the idea of  ontology with allowance for the link between different ontologies.; Подано загальні відомості про походження поняття «онтологія» та проаналізовано шляхи  його подальшої трансформації для використання в системах штучного інтелекту, де онтологія розглядається як комплекс знань, що надають певну інформацію про об’єкт дослідження. На теперішній час розроблено низку різноманітних онтологій, а саме поверхневі, топові, доменні тощо, котрі є основою при розробці системи штучного інтелекту з використанням накопичених знань та баз даних для удосконалення процесу логічного  мислення і прийняття відповідних рішень. Особливого значення набули онтології в правознавстві для формалізації законів, прийняття судових рішень та надання інформації про певні прецеденти та нетипові випадкі. Наведено критерії дизайну онтологій, а також  особливості їх застосування в правовому домені. Формування онтологій має специфічні  завдання, однак відсутні які-небудь способи формування їх змісту та дизайну. Головне  завдання, якого слід дотримуватися при створенні онтології, полягає у суворому і чіткому   формулюванні суті онтології, враховуючи зв’язок між різними онтологіями.; Представлены обобщенные данные о происхождении понятия «онтология» и проанализированы пути его дальнейшей трансформации для применения в системах искусственного интеллекта, где онтология понимается как комплекс знаний, представляющих определенную информацию об объекте исследования. В настоящее время разработан ряд различных онтологий, в частности поверхностные, топовые, доменные и другие, которые являются основой при разработке системы искусственного интеллекта с использованием накопленных знаний и баз данных для усовершенствования процесса логического мышления и принятия соответствующих решений. Особое значение имеют  онтологии в правоведении для формализации законов, принятия судебных решений и  подачи информации об определенных прецедентах и нетипичных случаях. Описаны  критерии дизайна онтологий, а также особенности их применения в правовом домене.  Формирование онтологий имеет специфические задачи, но отсутствуют какие-либо способы формирования их содержания и дизайна. Основная задача, которая должна быть выполнена при создании онтологии, связана со строгим и четким формулированием сути понятия «онтология», учитывая связь между различными онтологиями.
</description>
<dc:date>2018-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://dspace.nbuv.gov.ua:80/handle/123456789/131244">
<title>Повышение эффективности работы паротурбинных установок энергоблоков ТЭС</title>
<link>http://dspace.nbuv.gov.ua:80/handle/123456789/131244</link>
<description>Повышение эффективности работы паротурбинных установок энергоблоков ТЭС
Фархадзаде, Э.М.; Мурадалиев, А.З.; Фарзалиев, Ю.З.; Рафиева, Т.К.; Абдуллаева, С.А.
Разработана автоматизированная система анализа и синтеза технико-экономических показателей (ТЭП) для повышения эффективности работы паротурбинных установок энергоблоков ТЭС в условиях, когда точность нормативных значений недостаточна. Синтез ТЭП  «вручную» связан с высоким риском ошибочного решения эксплуатационных задач. Кроме информационной поддержки система обеспечивает методическую поддержку персонала в  виде рекомендаций по повышению эффективности работы как отдельных энергоблоков, так и ТЭС в целом. Объективность этих рекомендаций несомненна в рамках исходных данных.; Розроблено автоматизовану систему аналізу і синтезу техніко-економічних показників  (ТЕП) для підвищення ефективності роботи паротурбінних установок енергоблоків ТЕС  в умовах, коли точність нормативних значень недостатня. Синтез ТЕП «вручну» пов’язаний з високим ризиком помилкового вирішення експлуатаційних задач. Крім інформаційної підтримки система забезпечує методичну підтримку персоналу у вигляді рекомендацій по підвищенню ефективності роботи як окремих енергоблоків, так и ТЕС в цілому. Об’єктивність цих рекомендацій безсумнівна в рамках вихідних даних.; The automated system of the analysis and synthesis of TEI of power units of HPS developed by the authors is quick and faultless. The possibility of “manual” synthesis of TEI is practically excluded since it is connected with a high risk of wrong decisions. Along with information support the system provides also methodical support of personnel in the form of recommendations about the increase of work efficiency of both separate power units, and HPS in general. Objectivity of these recommendations is undoubted within the framework of the basic data.
</description>
<dc:date>2018-01-01T00:00:00Z</dc:date>
</item>
<item rdf:about="http://dspace.nbuv.gov.ua:80/handle/123456789/131243">
<title>Квантовый метод синтеза тестов на основе кубитных структур данных</title>
<link>http://dspace.nbuv.gov.ua:80/handle/123456789/131243</link>
<description>Квантовый метод синтеза тестов на основе кубитных структур данных
Хаханов, В.И.; Емельянов, И.В.; Любарский, М.М.; Чумаченко, С.В.; Литвинова, Е.И.
Предложено одно из возможных решений проблемы создания и апробирования на классических компьютерах теории и методов квантовых вычислений на памяти (без использования логики) для последующего применения во всех сферах человеческой деятельности. Сформулированы инженерно-ориентированные определения видов компьютинга,  включая квантовый, использующий понятия суперпозиции и перепутывания, а также  компьютинг на памяти без использования логики. Показана необходимость совместного и  параллельного решения проблемы создания рыночно доступного квантового компьютера и разработки кванто-ориентированных приложений и облачных сервисов. Приведены примеры квантового проектирования и тестирования фрагментов цифровых схем. Предложен метод синтеза и минимизации тестов для функциональностей с использованием матрицы кубитных производных и секвенсор для определения квазиоптимального покрытия.; Запропоновано одне з можливих вирішень проблеми створення та апробування на класичних комп’ютерах теорії і методів квантових обчислень на пам’яті (без використання  логіки) для подальшого застосування в усіх сферах людської діяльності. Сформульовано інженерноорієнтовані визначення видів комп’ютингу, у тому числі квантового, який використовує поняття суперпозиції і змішування, а також комп’ютингу в пам’яті. Обумовлено  необхідність спільного і паралельного вирішення проблеми створення ринково доступного  квантового комп’ютера і розробки кванто-орієнтованих додатків і хмарних сервісів. Наведено  приклади квантового проектування і тестування фрагментів цифрових схем. Запропоновано метод синтезу і мінімізації тестів для функціональностей з використанням матриці кубітних похідних і секвенсор для віднаходження квазіоптимального покриття.; One of the possible solutions to the problem of creating and testing the theory and methods of quantum memory-driven computing on the classical computers for their subsequent application in all fields of human activity is proposed. Engineering-focused definitions of computing types, including quantum ones, are used, including the notions of superposition and entanglement, and also memory-driven computing. The necessity of joint and parallel solution of the problem of creation of a market-accessible quantum computer and development of quantum-focused applications and cloud services is explained. Examples of quantum memory-driven design and test of digital circuit fragments are presented. A method for synthesizing and minimizing tests for black-box functionality is proposed, using a matrix of qubit derivatives and a sequencer for defining a quasi-optimum coverage.
</description>
<dc:date>2018-01-01T00:00:00Z</dc:date>
</item>
</rdf:RDF>
