PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Організація схем взаємодії відомчихінформаційних систем в інтегрованій міжвідомчій інформаційній системі
Get PDFApproaches to creation of integrated interdepartmental information system, which takes into account possible variants of interaction of departmental information system components in its bounds, are proposed. Analytical comparison of these variants and their use in such a system’s implementation is provided.Предложен подход к созданию интегрированной межведомственной информационной системы, учитывающий возможные варианты схем взаимодействия в рамках системы ее компонентов – ведомственных информационных систем. Приводится сравнительная оценка вариантов схем взаимодействия и их использование при реализации такой интегрированной системы.Пропонується підхід до створення інтегрованої міжвідомчої інформаційної системи, який враховує можливі варіанти схем взаємодії в межах системи її компонентів — відомчих інформаційних систем. Подається порівняльний аналіз варіантів схем взаємодії та їхнього застосування при реалізації такої інтегрованої системи
УЗАГАЛЬНЕНА КОМПОЗИЦІЙНА МОДЕЛЬ СИМВОЛЬНОЇ ОБРОБКИ
Get PDFУ концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей.У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей
Алгебра для опису даних у композиційних схемах алгоритмів
No full textThe algebra of the data in which frameworks the complex approach to programming is realized at the description of operating structures and structures of the data in composite schemes of algorithms is offered.Предлагается алгебра данных, в рамках которой реализуется комплексный подход к программированию при описании управляющих структур и структур данных в композиционных схемах алгоритмов.Пропонується алгебра даних, в рамках якої реалізується комплексний підхід до програмування при описі керованих структур та структур даних у композиційних схемах алгоритмів
Проблеми і можливості програмування в середовищі SEMATIC WEB
Get PDFWide spread of the Internet and the creation of a global World Wide Web (WWW) has created a new basis for developing programs, due to the advent of, on the one hand, new challenges and problems that make it difficult to develop, and on the other, new promises and bonuses to enrich it. This article analyses the problems mentioned above, approaches that currently help to decide them, in particular, which are proposed in a well-known Semantic Web environment, and perspectives to changes in the current paradigm of programming.Широкое распространение Интернета и создания глобальной мировой сети данных (WWW) создало новые принципы разработки программ, обусловленные появлением, с одной стороны, новых вызовов и проблем, которые затрудняют разработку, а с другой, новых возможностей и бонусов, которые ее обогащают. В статье анализируются упомянутые выше проблемы, подходы, которые на данный момент помогают их решать, в частности наработанные для известной среды Semantic Web, и перспективные изменения парадигмы программирования, которые обещает эта среда.Широке розповсюдження Інтернету і створення глобальної світової мережі даних (WWW) створило нові засади розробки програм, обумовлені появою, з одного боку, нових викликів і проблем, які ускладнюють розробку, а з іншого, нових можливостей і бонусів, які її збагачують. У статті аналізуються згадані вище проблеми, підходи, які натепер допомагають їх вирішувати, зокрема напрацьовані для відомого середовища Semantic Web, та перспективні зміни парадигми програмування, які обіцяє це середовище
Итеративный подход к анализу естественно-языковых текстов: логический аспект
Get PDFОписывается логический подход к анализу естественно языкового текста с целью извлечения знаний. В частности рассматривается использование линейной темпоральной логики для анализа и представления модальностей в таком тексте.A logical approach to analysis of natural language text for extraction knowledges from this text is described. In special case consider using of linear temporal logic for representations of modalities in such text
Чи здатна інформатика обґрунтовувати побудову великих комп’ютерних систем? Частина II. Доказова побудова компіляторів
No full textThe present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system misbehaviors we want to ask: Can informaticians righteously be accounted for incorrectness of ystems, will they be able to justify systems to work correctly as intended? We understand the word justification in this sense, i.e. for the design of computer based systems, the formulation of mathematical models of information flows, and the construction of controlling software to be such that the expected system effects, the absence of internal failures, and the robustness towards misuses and malicious external attacks are foreseeable as logical consequences of the models. Since more than 40 years, theoretical informatics, software engineering and compiler construction have made important contributions to correct specification and also to correct high-level implementation of compilers. But the third step, translation — bootstrapping — of high level compiler programs into host machine code by existing host ompilers, is as important. So far there are no realistic recipes to close this gap, although it is known for many years that trust in executable code can dangerously be compromised by Trojan Horses in compiler executables, even if they pass strongest tests. Our article will show how to close this low level gap. We demonstrate the method of rigorous syntactic a-posteriori code inspection, which has been developed by the research group Verifix funded by the Deutsche Forschungsgemeinschaft (DFG). Много лет теоретическая информатика в части разработки программного обеспечения и построения компиляторов занималась проблемами правильности спецификаций и высокоуровневых реализаций компиляторов. Во второй части статьи рассматривается проблема корректного и безопасного перевода (bootstrapping) программ с языка высокого уровня в коды машины. Показано, как решаются проблемы корректности программ на языках низкого уровня. Продемонстрирован метод строго синтаксического апостериорного анализа, который был разработан исследовательской группой Verifix в университете г. Киля (ФРГ). Багато років теоретична інформатика вчастині розробки програмного забезпечення і побудови компіляторів займалась проблемами правильності специфікацій і високорівневих реалізацій компіляторів. У другій частині статті розглядається проблема коректного і безпечного перекладу (bootstrapping) програм з мови високого рівня в коди машини. Показано, як вирішуються проблеми коректності програм на мовах низького рівня. Продемонстрований метод строго синтаксичного апостеріор ного аналізу, котрий був розроблений дослідною групою Verifix в університеті м. Киля (ФРН).
Алгеброавтоматные спецификации параллельных программ над общей и распределенной памятью
Get PDFIssues of automata and algebraic research ascending to fundamental works of V.М. Glushkov are covered, the retrospective review of the basic results received in the given area is given and their internal interrelations and perspective directions of development are established. There are considered algebrai dynamic models of parallel interaction of the sequential programs and algebraic algorithmic specifications associated with these models. The questions of discrete transformers above internal memory and conveyor calculations are stated and also theory of clones and tool means of synthesis of parallel algorithms and programs are considered.Освещены вопросы теоретико-автоматных и алгебраических исследований, восходящих от фундаментальных работ В.М.Глушкова, приведен ретроспективный обзор основных результатов, полученных в данной области, а также установлены их внутренние взаимосвязи и перспективные направления развития. Рассмотрены алгебродинамические модели параллельного взаимодействия последовательных программ и алгеброалгоритмические спецификации, ассоциированные с этими моделями. Изложены вопросы дискретных преобразователей над внутренней памятью и конвейерные вычисления, а также теория клонов и инструментальные средства синтеза параллельных алгоритмов и программ
Дидактичні аспекти програмної системи для синтеза та діагностики логічних схем
No full textThe Contribution deals with the Internet application of the program system for the synthesis and diagnostics of logic circuits. Internet application contents description of basic notion, theoretical principles and procedure from area of synthesis and diagnostics of logic circuits. This system comprises also programs for solution of logic circuit synthesis and diagnostic tasks. These programs can run in automatic, demo, didactic and test mode. The evaluation of student answers in didactic and test mode are saved to database, which allows analyzing by students or questions. Also the universal virtual learning environment architecture based on this program system is introduced.Рассматривается использование Интернета для программной системы синтеза и диагностики логических схем, которая может работать в автоматическом, демонстрационном и дидактическом режимах. Описана универсальная виртуальная архитектура среды обучения, основанная на данной системе.Розглядається використання Інтернету для програмної системи синтезу та діагностики логічних схем, яка може працювати в автоматичному, демонстраційному та дидактичному режимах. Описано універсальну віртуальну архітектуру середовища навчання, засновану на даній системі
Моделі і методи аналітичної підтримки прийняття рішень стратегічного управління
No full textThe prospects of the strategic management decisions’ risks mitigation are considered by analytical functions developing and computer support over all the stages of decision life cycle. Two methodical platforms decisions analysis are clarified unsupported with strategic management complex automation tools. They are: Decisions expert-analytical consideration and Compromise decisions forming andresearch. For them the model of realization is described as an intellectual information technology. The framework proposed may be useful for strategic management processes efficiency.Рассмотрены перспективы снижения рисков решений стратегического управления за счет включения и компьютерной поддержки аналитических функций на всех этапах жизненного цикла решений. Выявлены две методических платформы анализа решений, не поддерживаемые средствами комплексной автоматизации стратегического управления: Экспертно-аналитическое рассмотрение решений и Формирование и исследование компромиссных решений. Для них описана модель реализации в форме интеллектуальной информационной технологии. литической поддержки принятия решений. Предложенный аппарат может быть полезен для повышения эффективности процессов стратегического управления.Розглянуто перспективи зниження ризиків рішень стратегічного управління за рахунок включення і комп'ютерної підтримки аналітичних функцій на всіх етапах життєвого циклу рішень. Виявлено дві методичних платформи аналізу рішень, які не підтримувані засобами комплексної автоматизації стратегічного управління: експертно-аналітичне розгляд рішень і Формування і дослідження компромісних рішень. Для них описана модель реалізації в формі інтелектуальної інформаційної технології. литической підтримки прийняття рішень. Запропонований апарат може бути корисний для підвищення ефективності процесів стратегічного управління
Логіки локально-еквітонних предикатів: семантичні властивості та секвенційні числення
Get PDFComposition nominative logics of local equitone predicates are proposed. Such logics preserve the main deductive properties of classical logic, but have more rich class of models. Semantic properties and consequence relation for sets of formulas of such logics are studied and сorresponding sequential calculuses are constructed. The soundness and completeness theorems are proved on this base.Предложены композиционно-номинативные логики локально-эквитонных предикатов. Такие логики сохраняют основные дедуктивные свойства классических логик, но имеют более богатый класс моделей. Изучаются семантические свойства этих логик, отношение логического следования для множеств формул, строятся соответствующие секвенциальные исчисления, на их основе доказываются теоремы корректности и полноты.Пропонуються композиційно-номінативні логіки локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчаються семантичні властивості цих логік, відношення логічного наслідку для множин формул, будуються відповідні секвенційні числення, на їх основі доводяться теореми коректності та повноти.