PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Віртуальний музей історії інформатики в Сибіру
No full textThe paper presents the project of a virtual museum of informatics history in Siberia. The Siberian informatics and programming school is briefly described, the structure, contents and user interface of the virtual museum are considered, and adaptive hypermedia problems are studied.Представлен проект создания виртуального музея истории информатики в Сибири. Кратко описана сибирская школа информатики и программирования, рассматривается структура виртуального музея и его содержимое, описывается пользовательский интерфейс и изучаются вопросы адаптивной гипермедиа.Представлений проект створення віртуального музею історії інформатики в Сибіру. Коротко описана сибірська школа інформатики і програмування, розглядається структура віртуального музею і його вміст, описується користувальницький інтерфейс і вивчаються питання адаптивної гіпермедіа
Формальні моделі компонентного програмування
No full textThe approach to construction of formal models of component programming, as bases of component theory creation, is offered. The models of components, component environments and external and internal component algebra are considered. The various aspects of these models and their relations with practice of programming are analysed.Предложен подход к построению формальных моделей компонентного программирования как основы создания компонентной теории. Рассмотрены модели компонентов, компонентных сред, определены внешняя и внутренняя компонентные алгебры. Проанализированы различные аспекты предложенных моделей и их связь с практикой программирования. Запропоновано підхід до побудови формальних моделей компонентного програмування як основи створення компонентної теорії. Розглянуті моделі компонентів і компонентних середовищ, визначені зовнішня та внутрішня компонентні алгебри. Проаналізовані різні аспекти запропонованих моделей і їх зв’язок з практикою програмування.
Про нові методи опису невизначених величин
Get PDFIn the article are examined the various ways to describe the uncertain variable, namely: probabilistic presented by random variable; possibilistic presented by fuzzy variable and mixed presented by fuzzy random variables. Also here are proposed some examples of problems in which you can see the basic similarities and differences ways of description.Рассматриваются разные способы описания неопределенных величин, а именно: вероятностный , с помощью случайной величины; возможностный, с помощью нечеткой величины; и смешанный, с помощью нечеткой случайной величины. А также приводятся примеры задач, в каких можно увидеть основные сходства и различия способов описания.Розглядаються різні способи описання невизначеної величини, а саме: ймовірнісний, через випадкову величину; можливістний, через нечітку величину, та змішаний, через нечітку випадкову величину. А також наводяться приклади задач, в яких можна побачити основні схожості та розбіжності способів опису
Проведено аналіз засобів подання інформації, що публікується в Інтернеті. Запропоновано онтологічний підхід до опису предметної області, що цікавить користувача, з метою задання контексту інформаційного запиту для підвищення релевантності його результатів
No full textAnalysis of Internet informational resources is considered. Ontological approach to sphere of user’s informational interests for relevantness increasing of informational retrieval results is proposed. User builds this ontology and then uses itfor context of request. Different interpretation methods of relations between the ontology terms are described.Проведен анализ средств представления информации, публикуемой в Интернете. Предложен онтологический подход к описанию предметной области, интересующей пользователя, с целью задания контекста информационного запроса для повышения релевантности его результатов. Предлагаются различные способы интерпретации отношений между терминами онтологии, которые входят в контекст поиска.Проведено аналіз засобів подання інформації, що публікується в Інтернеті. Запропоновано онтологічний підхід до опису предметної області, що цікавить користувача, з метою задання контексту інформаційного запиту для підвищення релевантності його результатів. Пропонуються різні способи інтерпретації відношень між термінами онтології, що входять у контекст пошуку
Завдання перевірки Т-здійсненності для логічнї мови VL1 системи VRS
No full textIn this paper we give a short introduction to the satisfiability modulo theories (SMT) problem and demonstrate how the methods developed in the SMT research field can be applied in the requirement verification tool VRS, which supports insertion modelling methodology. We formalize the logical language VL1 used for formal reasoning in VRS and justify decidability of satisfiability problem in that language. Besides we discuss the context of the problem being solved and indicate possible methods that can be used on different stages of solution. Finally, we present a satisfiable conjunction search method, which is based on a set-representation of logical connectives in formulas.В данной работе дается короткое введение в задачу проверки T-выполнимости формул относительно логических теорий, и показывается, что разработанные методы решения этой задачи могут применяться в технологии инсерционного моделирования, которая представлена в системе верификации требований VRS. Дается формализация логического языка, используемого в VRS для проведения формальных рассуждений, и показывается разрешимость проблемы выполнимости формул в этом языке. Обсуждаются особенности применения используемых методов, и описывается альтернативный алгоритм поиска выполнимой конъюнкции, основанный на множественном представлении операций в формулах.У даній роботі дається короткий введення в задачу перевірки T-виконуваності формул щодо логічних теорій, і показується, що розроблені методи вирішення цього завдання можуть застосовуватися в технології інсерційного моделювання, яка представлена в системі верифікації вимог VRS. Дається формалізація логічної мови, використовуваного в VRS для проведення формальних міркувань, і показується можливість розв'язання проблеми здійсненності формул в цій мові. Обговорюються особливості застосування використовуваних методів, і описується альтернативний алгоритм пошуку здійсненним кон'юнкції, заснований на множині поданні операцій в формулах
Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності
Get PDFThe architecture and functionalities of system of situational management of protection of zones of the responsibility are considered. Features of realization and functioning of subsystem "Analytic" intended for an estimation of situations which can arise during situational management are described.Рассматриваются архитектура и функциональные возможности системы ситуационного управления охраной зон ответственности. Описываются особенности реализации и функционирования подсистемы «Аналитик», предназначенной для оценки ситуаций, которые могут возникать в процессе ситуационного управления.Розглядаються архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності. Описуються особливості реалізації та функціонування підсистеми (ПС) „Аналітик”, призначеної для оцінки ситуацій, що можуть виникати в процесі ситуаційного керування
Засоби побудови звукового интерфейсу для незрячих користувачів ПК
No full textThe main advantages and disadvantages of the most widespread means of access to PC by blind people are considered. A structure and functioning of sound surrounding for blind people is provided with the help of which they will be able to develop computer programs together with sighted programmers. Рассматриваются основные достоинства и недостатки наиболее распространённых средств доступа незрячих к ПК. Предлагаются структура и функции слуховой среды для незрячих, с помощью которых они смогут разрабатывать программы наряду со зрячими программистами.Розглядаються основні достоїнства й недоліки найбільш розповсюджених засобів доступу незрячих до ПК. Пропонується структура й функції слухового середовища програмування, за допомогою якого вони зможуть розробляти програми разом із зрячими програмістами
Про можливе підґрунтя немонотонного дедуктивного синтезу програм
No full textThis Paper reported the Approach to practical automatically Synthesis of Programs from Components, with direct received from Subject Field Model. This Approach is based on using non-monotone deductive Constructions. Potentiality to Organizations real Databases for programming Problems is considered.Предлагается подход к практической автоматизации синтеза программ из готовых исполнимых программных составляющих, непосредственно извлекаемых из моделей предметных областей. Этот подход основывается на использовании немонотонных дедуктивных построений. Рассматривается возможность организации действенных баз данных для задач построения конкретных программ.Пропонується підхід до практичної автоматизації синтезу програм з готових програмних складових, що безпосередньо видобуваються з моделей предметних областей. Цей підхід ґрунтується на використанні немонотонних дедуктивних побудов. Розглядається можливість організації дієвих баз даних для задач побудови конкретних програм
UWN: Універсальна онтологічна база знань укранської мови
Get PDFThis article describes the purpose and main objectives that were set by UWN ontology developers. The architecture of the created system, structure of knowledge storage, knowledge access mechanism and internal logic key elements are considered in details. The article also describes two system utilities which provide access to the ontology data: ontocorrector and ontoeditor.Cтатья описывает цель и основные задачи, которые ставились разработчиками при создании онтологии UWN. Детально рассмотрены архитектура созданной системы, структура хранения знаний, механизмы доступа к знаниям, внутренняя логика работы системы и некоторые ключевые программные модули. Также статья содержит описание двух системных утилит, обеспечивающих доступ к данным онтологии: онтокоректора и онторедактора.Дана стаття описує мету та основні задачі, які ставилися розробниками при створенні онтології UWN. Детально розглянуто архітектуру створеної системи, структуру збереження знань, механізми доступу до знань, внутрішню логіку роботи системи та деякі ключові програмні модулі. Також стаття містить опис двох системних утиліт, що забезпечують доступ до даних онтології: онтокоректора та онторедактора
Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування
Get PDFThis paper describes an approach to modeling and calculation of dynamic processes in the objects and the control circuits. The authors developed a software package for calculation of continuous and discrete models of dynamical processes and control circuits in the time domain. The models presented in the paper are built on the basis of computational methods. They are the basis of developed package.Описывается подход к моделированию и расчету динамических процессов, протекающих в объектах и контурах управления. Вследствие громоздких вычислений и необходимости визуализации полученных результатовдля дальнейшей их обработки был разработан пакет прикладных программ для расчета непрерывных и дискретных моделей динамических процессов и контуров управления во временной области. Представленные в работе модели, построенные на основе вычислительных методов, являются основой разработанного программного комплекса.Описується підхід до моделювання та розрахунку динамічних процесів, що протікають в об’єктах та контурах керування. Внаслідок громіздких обчислень та необхідності візуалізації отриманих результатів для подальшого їх опрацювання було розроблено пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів і контурів керування у часовій області. Представлені у роботі моделі, побудовані на основі обчислювальних методів, є основою розробленого програмного комплексу