Proof-of-useful-work: Blockchain mining by solving real-life optimization problems
M Todorović, L Matijević, D Ramljak, T Davidović… - Symmetry, 2022 - mdpi.com
Blockchains (BCs) are distributed database systems, popular for their innovative,
unsupervised maintenance process. They use a so-called consensus protocol to prevent …
unsupervised maintenance process. They use a so-called consensus protocol to prevent …
Towards elastic incrementalization for datalog
Various incremental evaluation strategies for Datalog have been developed that reuse
computations for small input changes. These methods assume that incrementalization is …
computations for small input changes. These methods assume that incrementalization is …
Model of representation and acquisition of new knowledge by an autonomous intelligent robot based on the logic of conditionally dependent predicates
VB Melekhin - Journal of Computer and Systems Sciences …, 2019 - Springer
The model for the representation of declarative and procedural knowledge of an
autonomous intelligent robot is developed without reference to a specific subject area. The …
autonomous intelligent robot is developed without reference to a specific subject area. The …
[PDF][PDF] Планирование поведения интеллектуального беспилотного летательного аппарата в недоопределенной среде. Часть I. Структура и применение …
ВБ Мелехин, МВ Хачумов - Искусственный интеллект и принятие …, 2018 - mathnet.ru
В работе на основе логики условно-зависимых предикатов построена модель
представления процедурных знаний интеллектуального беспилотного летательного …
представления процедурных знаний интеллектуального беспилотного летательного …
Инструментальные средства управления целесообразным поведением самоорганизующихся автономных интеллектуальных агентов
ВБ Мелехин, МВ Хачумов - Мехатроника, автоматизация …, 2021 - mech.novtex.ru
Аннотация Сформулированы основные принципы построения знакосигнального
управления целесообразным поведением автономных интеллектуальных агентов в …
управления целесообразным поведением автономных интеллектуальных агентов в …
Accelerating an FPGA‐based SAT solver by software and hardware co‐design
K Ma, L Xiao, J Zhang, T Li - Chinese Journal of Electronics, 2019 - Wiley Online Library
The Boolean Satisfiability (SAT) problem is the key problem in computer theory and
application. Field‐programmable gate array (FPGA) has been addressed frequently to …
application. Field‐programmable gate array (FPGA) has been addressed frequently to …
Модель представления и получения новых знаний автономным интеллектуальным роботом на основе логики условно-зависимых предикатов
ВБ Мелехин - Известия Российской академии наук. Теория и …, 2019 - elibrary.ru
Разработана модель представления декларативных и процедурных знаний
автономного интеллектуального робота, безотносительно к конкретной предметной …
автономного интеллектуального робота, безотносительно к конкретной предметной …
Planning the Behavior of an Autonomous Flying Robot in a Space of Subtasks. Knowledge Representation Model
VB Melekhin, MV Khachumov - Scientific and Technical Information …, 2022 - Springer
This article shows that usually the automatic control system of autonomous flying robots
based on unmanned aerial vehicles has limited computing resources, which makes it …
based on unmanned aerial vehicles has limited computing resources, which makes it …
Boolean satisfiability problem: Discrete and continuous reformulations with applications
O Pichugina, O Matsyi - 2020 IEEE 15th International …, 2020 - ieeexplore.ieee.org
An SAT problem is attacked, which is one of the most fundamental problems in Computer
Science. A number of algebraic reformulations of SAT are presented as problems of …
Science. A number of algebraic reformulations of SAT are presented as problems of …
[PDF][PDF] 加强约束的布尔可满足硬件求解器
马柯帆， 肖立权， 张建民， 黎铁军， 周善祥 - 国防科技大学学报, 2018 - journal.nudt.edu.cn
利用现场可编程门阵列固有的并行性和灵活性, 提出在硬件可编程平台上基于随机局部搜索算法
的布尔可满足性求解器, 用于求解大规模的布尔可满足性问题. 相对其他求解器 …
的布尔可满足性求解器, 用于求解大规模的布尔可满足性问题. 相对其他求解器 …