PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Інформаційна технологія розробки та аналізу моделей предметних областей для їх вивчення
Get PDFThe paper describes the information technology of domain models design and analysis for their study. The basic concepts of information technology – abstraction, association and adaptation – are defined. Domain information model, domain content model and domain associative map are built on basis of basic concepts. Using of these models for assessing the quality of the domain model is described.В работе описана информационная технология разработки и анализа моделей предметных областей для их изучения. Определены базовые понятия информационной технологии - абстракция, ассоциация и адаптация, на основе которых строятся информационная модель, содержательная модель и ассоциативная карта предметной области. Описаны их применения для оценки качества моделей предметных областей.У роботі описана інформаційна технологія розробки та аналізу моделей предметних областей для їх вивчення. Визначені базові поняття інформаційної технології – абстракція, асоціація та адаптація, на основі яких будуються інформаційна модель, змістовна модель та асоціативна карта предметної області. Описано їх застосування з метою оцінювання якості моделей предметних областей
Models and tools for effective-ness increase of requirements traceability in agile-software development
Get PDFThis paper presents the Agile-centered framework for advanced requirements traceability support which consists of following components: a procedure to build an advanced traceability matrix (ATM) using the elaborated time-oriented metric for quantitative estimation of project activities and developer’s interests; a special CASE-tool to combine the functions of typical requirements management system and the functionality of integrated development environments (e.g., Eclipse). ATM provides assessment of relationships between requirements and software projects artifacts due to gathering and processing all developer’s activities in time-oriented retrospective data model.Ця стаття презентує Agile-орієнтований підхід для підтримки трасування вимог, який складається з наступних компонентів: процедури побудови розширеної матриці трасування вимог (ATM) із використанням метрики, яка враховує час, для чисельного оцінювання активності та ступеня інтересу розробників проекту; спеціального CASE-засобу, що об`єднує можливості типових системи управління вимогами та функціональність інтегрованих середовищ розробки програмного забезпечення (наприклад, Eclipse). Матриця ATM забезпечує можливість кількісної оцінки ступеню зв’язків між вимогами та програмними артефактами шляхом накопичення та обробки ретроспективних даних щодо дій розробників проекту
До питання модифікованості і безаномальності схеми реляційної бази даних
No full textA new approach to the DK/NF synthesis for an arbitrary domain is offered. A new criterion for the database scheme's appurtenance to DK/NF is given. The uniqueness of the design approach of both modifiable and non-abnormal schemes of the relational BD, based on the relational framework, is shown. Numerous investigations of specific abstract domain’s scheme have been carried out. The effect of acceleration of the database by saving on the compound operations is detected. The conclusion about the possibility of applying this approach to the design of information warehouse schemes is made.Предложен новый подход к синтезу ДКНФ для произвольной предметной области. Дан новый критерий принадлежности схемы БД к ДКНФ. Показана единственность подхода к проектированию одновременно и модифицируемой, и безаномальной схемы реляционной БД, основанная на реляционном каркасе. Проведены численные исследования схемы конкретной предметной области. Обнаружен эффект ускорения работы БД за счет экономии на операциях соединений. Делается вывод о возможности применения данного подхода к проектированию схем информационных хранилищ.Запропоновано новий підхід до синтезу ДКНФ для довільної предметної області. Дан новий критерій приналежності схеми БД до ДКНФ. Показана єдиність підходу до проектування одночасно і модифікується, і безаномальной схеми реляційної БД, заснована на реляционном каркасі. Проведено чисельні дослідження схеми конкретної предметної області. Виявлено ефект прискорення роботи БД за рахунок економії на операціях з'єднань. Робиться висновок про можливість застосування даного підходу до проектування схем інформаційних сховищ
Обробка даних у гетерогенних мережах типа GRID
Get PDFРозглядаються підходи до обробки даних, переданих між різнорідними науковими програмами e-sciences в гетерогенної середовищі Grid, а також інтерфейс опису параметрів і їх типів даних, які при передачі від однієї до іншої програми можуть зажадати їх перетворення до інших форматів і типів. Запропоновано апарат генерації фундаментальних і загальних типів даних, описаний в стандарті ISO / IE 11404-2007, представлений набором примітивних функцій перетворення і використовуваний при вирішенні задач обробки даних в системі MySQL GridThe article studies the data processing methods, transferred between the manifold scientific programs e-sciences in the heterogeneous environment such as Grid, as well as the interface of programs description and their data types, which may require to be converted into the other forms and types when transferred from one program to the other one. Basic and general data types generation mechanism is proposed, described in ISO/ IEC 11404-2007 standard, represented by the primitive set of conversion function and used during the data processing solution tasks
Reputation-based secyrity for heterogtneous structurally complex systems
Get PDFIn this paper we present the service-oriented infrastructure within the Wide Area Grid (WAG) project that was carried out within the Working Group on Information Systems and Services of the Committee on Earth Observation Satellites (CEOS). The study focuses on enabling trust for this infrastructure using certificates and reputation-based model
Аспекты моделирования в системе Гомеопат
Get PDFThe questions of construction of fuzzy models for processes of diagnosing in Homeopath system and procedures of fuzzy inference are considered.Рассматриваются вопросы построения нечетких моделей процессов диагностирования в системе Гомеопат и процедур нечеткого логического вывода.The questions of construction of fuzzy models for processes of diagnosing in Homeopath system and procedures of fuzzy inference are considered
Засоби параметрически керованої генерації алгоритмів на основі алгебри гіперсхем
No full textThe approach to development of serial and parallel algorithmsdevelopment of serial and parallel algorithms, which is based on usage of tools for parameter-driven generation of schemes, is proposed. The tools are based on the abstract-automaton model of regular schemes generation process, associated algebras of hyperschemes and grammars of structured design. Software facilities are designed for construction of algorithms and hyperschemes in the mode of dialogue constructing, providing their syntactic regularity.Предложен подход к разработке последовательных и параллельных алгоритмов на основе использования инструментария параметрически управляемой генерации схем программ. Инструментарий базируется на абстрактно-автоматной модели процесса генерации регулярных схем, ассоциированных с ней алгебрах гиперсхем и грамматиках структурного проектирования. Программные средства ориентированы на построение алгоритмов и гиперсхем в режиме поуровневого диалогового конструирования, обеспечивающем их синтаксическую правильность.Запропоновано підхід до розробки послідовних і паралельних алгоритмів на основі використання інструментарію параметрично керованої генерації схем програм. Інструментарій базується на абстрактно-автоматної моделі процесу генерації регулярних схем, асоційованих з нею алгебрах гіперсхем і граматиках структурного проектування. Програмні засоби орієнтовані на побудову алгоритмів і гіперсхем в режимі поуровневого діалогового конструювання, що забезпечує їх синтаксичну правильність
Система символьних обчислень для програмування динамічних застосувань
No full textThe system of symbolical computation intended for embedding in the industrial applications with the purpose of maintenance to their flexibility and tenability on the varied requirements and a condition of functioning is described. The method of immersion of adjusted program systems in industrial complexes based on use of declarative means of programming at the description of interactions a program component with the environment is offered. The method allows considerably to reduce cost of development of the complex software and also to solve problems of the analysis and maintenance of reliability of a program code.Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен метод погружения настраиваемых программных систем в промышленные комплексы, основанный на использовании декларативных средств программирования при описании взаимодействий программных компонент со своим окружением. Метод позволяет значительно уменьшить стоимость разработки сложного программного обеспечения, а также решать задачи анализа и обеспечения надежности программного кода.Описано систему символьних обчислень, призначену для вбудовування в промислові застосування з метою забезпечення їх гнучкості і настроюваності на вимоги, що змінюються, і умови функціонування. Запропоновано метод занурення настроюваних програмних систем у промислові комплекси, заснований на використанні декларативних засобів програмування при описі взаємодій програмних компонент зі своїм оточен- ням. Метод дозволяє значно зменшити вартість розробки складного програмного забезпечення, а також вирішувати задачі аналізу і забезпечення надійності програмного коду
Використання ГІС для системного аналізу екобіомедичних даних у контексті оцінювання ризиків. Частина 1:Загальна характеристика предметної області та проблем, що виникають
No full textAn extensive EH domain is considered and problems to solve in. The main problems are characterized consisting in risk assessment and risk management. Initial assumptions are discussed carefully for quantitative solution.Рассматриваются обширная предметная область “окружающая среда—здоровье“ и задачи, подлежащие решению. На содержательном уровне дается общая характеристика основных проблем оценивания рисков и управления ими. Тщательно оговариваются условия, при которых возможен количественный анализ.Розглядається широка предметна область “навколишнє середовище – здоров’я” і задачі, що виникають. На змістовному рівні дається загальна характеристика основних проблем оцінювання ризиків і керування ними. Ретельно обговорюються умови, за яких можливий кількісний аналіз
Логіки квазіарних предикатів кванторно-екваційного рівня
Get PDFFirst-order composition-nominative logics of partial single-valued, total multiple valued and partial multiple-valued quasiary predicates of quantifierequational level are studied. We define basic semantic properties of the introduced logics, particularly the properties of the relations of logical consequence for sets of formulas and the Х–Y-valued relations of logical consequence. On this basis we construct sequent calculi for logics of single-valued quasi-ary predicates of quantifier-equational level.Исследованы первопорядковые композиционно-номинативные логики частичных однозначных, тотальных неоднозначных и частичных неоднозначных квазиарных предикатов кванторно-эквационального уровня. Приведены основные семантические свойства таких логик, в частности, свойства отношений логического следствия для множеств формул, Х–Y-означенных отношений логического следствия. На этой основе для логик однозначных квазиарных предикатов кванторно-эквационального уровня построены исчисления секвенциального типа.Досліджено першопорядкові композиційно-номінативні логіки часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів кванторно-екваційного рівня. Наведено основні семантичні властивості таких логік, зокрема, властивості відношень логічного наслідку для множин формул, Х–Y-означених відношень логічного наслідку. На цій основі для логік однозначних квазіарних предикатів кванторно-екваційного рівня побудовано числення секвенційного типу