PROBLEMS IN PROGRAMMING
Not a member yet
761 research outputs found
Sort by
Еволюційне програмування
Get PDFPrombles in programming 2013; 4: 3-13Проведено комплексний аналіз стану царини практичного застосування сучасного еволюційного програмування, а також визначення світових тенденцій і перспектив розвитку еволюційних технологій.Prombles in programming 2013; 4: 3-1
Автотьюнер та візуалізація для задачі метеорологічного прогнозування
Get PDFPrombles in programming 2013; 4: 64-73Розглядається застосування техніки автотьюнінгу та розширення картографічного інструментарію Google Maps для комплексного розв’язання задачі короткотермінового моделювання циркуляції атмосфери. Наводяться чисельні показники швидкодії розробленого паралельного алгоритму.Prombles in programming 2013; 4: 64-7
Підхід до побудови об’єктно-компонентної моделі сімейства програмних продуктів
Get PDFProblems in programming 2013; 4: 14-24 Модель властивостей Сімейства програмних продуктів (СПП) розвинуто об’єктно-компонентним методом проектування ПС (К.М. Лавріщева, В.М. Грищенко). Для опрацювання виявлених обмежень моделі її подано графом складних об’єктів, що відображають функції програмних продуктів (ПП) з СПП разом з їх даними та відношеннями варіантного підпорядкування й залежності. Його конкретизовано графами: інтерфейсних об’єктів (для формалізації взаємодії функцій), інтерфейсів та компонентів повторного використання (КПВ), що реалізують інтерфейси. Показано, що відображення між графами – ізоморфізми алгебраїчних моделей, які зіставляють властивостям ПП його реалізацію збіркою КПВ – образів властивостей. Графи й відображення поєднано в інтегрованій об’єктно-компонентній моделі СПП. Надано її переваги для виведення варіантів ПП, відстеження варіабельності й підтримки еволюції СПП.Problems in programming 2013; 4: 14-2
Створення методики проектування застосувань для програмно-апаратної платформи CUDA
Get PDFPrombles in programming 2013; 3: 47-60Проаналізовано програмно-апаратні платформи, призначені для масивно-паралельних обчислень на відеоадаптерах. Описано принципи створення програм для платформи NVidia CUDA. Запропоновано методику роботи з динамічно розподіленою пам’яттю на основі шаблону «Стратегія» з використанням нотації UML. Відзначено взаємозв’язок шаблонів паралельного програмування із математичним апаратом систем алгоритмічних алгебр. Описано підхід до проектування алгоритмів на основі шаблону «Команда». Реалізовано програмний інтерфейс, на основі якого створено паралельну версію алгоритму Данцига.Prombles in programming 2013; 3: 47-6
Системно-онтологический анализ предметной области проведения испытаний КСЗИ
Get PDFPrombles in programming 2014; 1: 62-75Проводится системно-онтологический анализ процесса проведения испытаний комплексной системы защиты информации (КСЗИ). Рассматривается феномен онтологии, методика ее построения, онтологический подхода к анализу предметной области исследования. Проводится анализ онтологических моделей проведения предварительных и экспертных испытаний КСЗИ. Рассматривается фрагмент онтологического графа и глоссарий разрабатываемой онтологии процесса проведения испытаний КСЗИ.Prombles in programming 2014; 1: 62-7
Розробка архітектури програмного забезпечення для інтерактивного навчання жестовій мові
Get PDFThe article suggests an approach to the software system development, dedicated to the interactive learning of sign language. The article shows a basic architecture of the system, its modules, format and transmission protocol of the data. The article also describes the main module of the system responsible of the synthesis and the animation of the gestures and facial expressions of the emotions, based on the three-dimensional pattern of a human body. It describes main requirements for the module, analyzing basic problems and the implements for their solution, architecture and components, especially these ones that are responsible of the generation of the animation, its structure, the algorithm of gestures’ combination and their graphical processing.Prombles in programming 2014; 2-3: 295-302У статті пропонується підхід до розробки програмної системи для інтерактивного навчання жестовій мові. Розглянуто базову архітектуру та складові такої системи, формат та протокол передачі даних між ними. Також описано основний модуль системи, що відповідає за синтез та анімації жестів, емоційно-мімічних проявів на обличчі людини з використанням тривимірних моделей тіла людини. Описуються основні вимоги до модуля, проблеми та інструменти їх вирішення, його архітектура та контролери, що відповідають за генерацію анімації та її обробку на графічних процесорах.Prombles in programming 2014; 2-3: 295-30
Фреймворк для розробки високорівневих Grid-застосувань
Get PDFPrombles in programming 2014; 1: 31-39Розглянуто особливості використання Grid-середовища для вирішення різних типів обчислювальних завдань. Визначені вимоги до засобів розробки високорівневих Grid-застосувань та наведено результати дослідження існуючих. Запропоновано розширення архітектури відкритого фреймворку gUSE/WS-PGRADE сервісами оптимізації планування та виконання різних типів завдань у Grid-середовищі шляхом аналізу особливостей структури завдання, стану та QoS рівня ресурсів Grid-мережі.Prombles in programming 2014; 1: 31-3
Симулятор фізіологічних надсистем людини: інтегрована функція органів життєзабезпечення клітини
Get PDFA quantitative model of fluids’ dynamics (MFD) in the human body is created. Initially, MFD was realized as an autonomous C# software module (SM) functioning under given dynamic input characteristics. Later, SM was incorporated into our special software-modeling tool (SMT) capable of simulating the main modes of the human physiological super-system (PSS) providing cells' life. MFD describes mechanisms regulating long-term blood, lymph, total cells’, and intercellular volumes. SMT simulates both intracellular and multicellular mechanisms providing cell energy balance despite casual dynamics of energy consumption rate. Multicellular mechanisms include complex systems controlling systemic and regional hemodynamics, interaction of the liver with the pancreas, blood filtration in kidneys, bladder function, and liquid expirations in lungs and skin in the background of a dynamic external environment. The latter is a gas atmosphere with altering pressure, illumination, temperature, humidity, and wind speed. Models have been tested using algorithms that design scenarios, including simulation of either short-time or long-time (hours or days) observations. Input data include different combinations of internal and external parameters including osmotic, and oncotic pressures. Output data include the main parameters characterizing organs and life support systems. Both student-medics and physiologists interested in providing theoretical research can be users of SM. Prombles in programming 2024; 4: 77-88Створено кількісну модель динаміки рідин (РРР) в організмі людини. Спочатку MFD був реалізований як автономний програмний модуль C# (SM), що функціонує при заданих динамічних вхідних характеристиках. Пізніше SM було включено в наш спеціальний інструмент програмного моделювання (SMT), здатний моделювати основні режими фізіологічної суперсистеми людини (PSS), що забезпечує життєдіяльність клітин. MFD описує механізми довготривалої регуляції крові, лімфи та загального внутрішньоклітинного та міжклітинного об’ємів. SMT моделює як внутрішньоклітинні, так і багатоклітинні механізми, що забезпечують енергетичний баланс клітини, незважаючи на випадкову динаміку швидкості споживання енергії. Багатоклітинні механізми включають складні системи контролю системної та регіональної гемодинаміки, взаємодії печінки з підшлунковою залозою, фільтрації крові в нирках, функції сечового міхура, виділення рідини в легенях і шкірі на тлі динамічного зовнішнього середовища. Останнє являє собою газову атмосферу зі змінним тиском, освітленістю, температурою, вологістю та швидкістю вітру. Моделі були перевірені з використанням алгоритмів, які розробляють сценарії, включаючи симуляцію короткочасних або тривалих (години або дні) спостережень. Вхідні дані включають різні комбінації внутрішніх і зовнішніх параметрів, включаючи осмотичний і онкотичний тиск. Вихідні дані містять основні параметри, що характеризують органи та системи життєзабезпечення. Користувачами СМ можуть бути як студенти-медики, так і фізіологи, зацікавлені у проведенні теоретичних досліджень.Prombles in programming 2024; 4: 77-8
Розробка програмної моделі нейромережевого під-регулятора в середовищі LabVIEW
Get PDFIn this article the method of synthesis and modeling of neural network PID controller is presenred by means of LabVIEW to build an adaptive system of automatic control. As a control object was selected DC motor. Synthesis and simulation of neural network PID controller met the functional properties of classical PID regulator. Structure of neural network PID controller – perceptron with one hidden layer neurons, and neural network learning algorithm is back propagation.Problems in programming 2011; 1: 99-108У даній роботі представлена методика синтезу та моделювання нейромережевого ПІД-регулятора засобами LabVIEW для побудови адаптивної системи автоматичного керування. Як об'єкт керування було обрано двигун постійного струму. Синтез та моделювання нейромережевого ПІД-регулятора виконані за функціональними властивостями класичного ПІД-регулятора. Структура нейромережевого ПІД-регулятора – перцептрон із одним прихованим шаром нейронів, а навчання нейромережі відбувається за алгоритмом зворотного поширення помилки.Problems in programming 2011; 1: 99-10
Відношення логічного наслідку в композиційно-номінативних логіках
Get PDFSemantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated.Prombles in programming 2010; 1: 15-38Исследуются семантические свойства композиционно-номинативных логик частичиых однозначних, тотальных и частичиых неоднозначных предикатов пропозиционального, реноминативного и кванторного уровней. Изучаются отношения логического следствия для пар и множеств формул, отношения логической эквивалентности.Prombles in programming 2010; 1: 15-38Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності.Prombles in programming 2010; 1: 15-3