Об'єкт – процеси відмовостійкої маршрутизації із захистом рівня якості обслуговування в телекомунікаційних мережах. Мета – підвищення рівня якості обслуговування для забезпечення відмовостійкості телекомунікаційних мереж шляхом розроблення нових та вдосконалення наявних моделей і методів відмовостійкої маршрутизації. Методи досліджень – тензорне обчислення та тензорний аналіз мереж; теорія ієрархічних багаторівневих систем; методи нелінійного та змішаного цілочисельного програмування; методи імітаційного моделювання. Результати – удосконалено тензорну модель телекомунікаційної мережі, яку представлено в базисі міжполюсних шляхів і внутрішніх вузлових пар; уперше запропоновано математичну модель швидкої перемаршрутизації трафіка даних із захистом рівня якості обслуговування за показниками пропускної здатності та ймовірності втрат пакетів у телекомунікаційній мережі; удосконалено систему тензорних моделей швидкої перемаршрутизації із захистом рівня якості обслуговування в ТКМ за множиною показників мережної продуктивності; уперше запропоновано систему тензорних моделей маршрутизації та швидкої перемаршрутизації голосового трафіка із забезпеченням захисту рівня якості сприйняття послуг, що надаються кінцевим користувачам у телекомунікаційній мережі за R-фактором, в умовах реалізації схем захисту каналів, вузлів та маршруту (маршрутів); уперше запропоновано систему тензорних моделей маршрутизації та швидкої перемаршрутизації мультимедійного трафіка із забезпеченням захисту рівня якості сприйняття послуг, що надаються кінцевим користувачам у телекомунікаційній мережі за показником мультимедійної якості, під час реалізації схем захисту каналів, вузлів і маршруту (маршрутів); отримала подальший розвиток декомпозиційна модель міждоменної маршрутизації із забезпеченням якості обслуговування в телекомунікаційній мережі, яка складається з множини послідовно з'єднаних доменів; подальшого розвитку набули методи ієрархічно-координаційної маршрутизації в мультидоменних ТКМ; отримав подальший розвиток метод ієрархічно-координаційної відмовостійкої маршрутизації в мультидоменних ТКМ. Впроваджено – в навчальному процесі кафедри інфокомунікаційної інженерії ім. В. В. Поповського Харківського національного університету радіоелектроніки (ХНУРЕ): в лекційному курсі й на практичних заняттях з дисциплін «Маршрутизація в ТКС», «Алгоритми управління та адаптації в ТКС» і «Telecommunication transmission systems» для підготовки студентів зі спеціальності 172 – Телекомунікації та радіотехніка; в науково-дослідних роботах «Підвищення масштабованості технологічних рішень щодо забезпечення якості обслуговування в конвергентних телекомунікаційних системах» (ДР № 0115U002432), «Методи підвищення продуктивності безпроводових мереж наступного покоління» (ДР № 0111U002627); на підприємстві «ХДРНТЦ ТЗІ», ТОВ «Воркнест» та ПрАТ «Фарлеп-Інвест». Галузь використання – телекомунікаційні системи та мережі.^UObject – fault-tolerant routing processes with provision of the quality of service in telecommunication networks. Purpose – the improving the quality of service to ensure the fault tolerance of telecommunications networks by developing new and improving existing models and methods of fault-tolerant routing. Methods of research – tensor calculus and analysis, postulates and principles of the theory of hierarchical multilevel systems; methods of mathematical programming; methods of simulation modeling. Results – the tensor model of the telecommunication network, which is presented in the basis of interpolar paths and internal node pairs, has been improved; for the first time, a mathematical model of fast rerouting of data traffic with protection of the QoS in terms of bandwidth and probability of packet loss indicators in a telecommunications network has been proposed; the system of tensor models of fast rerouting with protection of the TCN QoS level by a set of network performance indicators has been improved; for the first time, there has been proposed a system of tensor models for routing and fast rerouting of voice traffic with ensuring the QoE of services provided to end users in the TCN on the R-factor in the implementation of protection schemes for links, nodes and a path (paths); for the first time, there has been proposed a system of tensor models of routing and fast rerouting of multimedia traffic with ensuring the QoE of services provided to end users in the telecommunications network in terms of multimedia quality during the implementation of protection schemes for links, nodes and a path (paths); the decomposition model of inter-domain routing with the provision of the Quality of Service in the TCN, which consists of a set of sequentially connected domains, has been further developed; methods of hierarchical coordination routing in multi-domain telecommunication networks have been further developed; the method of hierarchical coordination fault-tolerant routing in multi-domain telecommunication networks has been further developed. Implementation – – in the educational process of the V.V. Popovskyy department of infocommunication engineering of Kharkiv National University of Radio Electronics (NURE): in a lecture course and in practical classes in the disciplines «Routing in TCS», «Algorithms of control and adaptation in TCS» and «Telecommunication transmission systems» to prepare students for specialty 172 – Telecommunications and radio engineering; in research works «Increasing the scalability of technological solutions to ensure the quality of service in converged telecommunications systems» (SR № 0115U002432), «Methods of improving the performance of next generation wireless networks» (SR № 0111U002627); at the enterprise "KhSRSTC TPI", LLC "Worknest" and PJSC "Farlep-Invest". The field of use is telecommunication systems and networks.

Досліджено теоретичні та практичні проблеми, наявні у разі застосування строків у трудовому праві. Проаналізовано, розкрито суть і з'ясовано місце строків у окремих інститутах трудового права. Наведено класифікацію строків, які регулюють трудові правовідносини. Досліджено порядок обчислення зазначених строків, а також гарантійну роль строків в охороні праці та дію строків щодо охорони трудових прав працівників і роботодавців. На підставі проведеного аналізу внесено пропозиції щодо вдосконалення чинних і розробки нових нормативно-правових актів щодо встановлення та застосування строків у трудовому праві.

  Скачати повний текст

Досліджено процеси іонного розпилення твердих тіл у широкому інтервалі енергій первинних іонів методом мас-спектрометрії вторинних нейтральних частинок. Із цією метою створено установку для мас-спектрометричного аналізу розпилених нейтралей, що дозволяє працювати у діапазоні енергій первинних іонів до 170 кеВ, та розроблено відповідні методики досліджень. Запропоновано методику обчислення коефіцієнта трансмісії іонно-оптичної системи монопольного мас-аналізатора з енергофільтром як функції енергії іонів. Методом комп'ютерного моделювання траєкторій електронів та іонів у системі аналізу розпилених частинок визначено оптимальні потенціали іонно-оптичних елементів системи, що забезпечують максимальну чутливість установки, для кожного із трьох режимів роботи. Проведено дослідження емісії нейтральних кластерів міді, а також процесу переважного розпилення ізотопів молібдену під час бомбардування поверхні іонами аргону в діапазоні енергій від 30 до 170 кеВ.

  Скачати повний текст

Розкрито зміст поняття "звітність" і розширено класифікаційні ознаки статистичної звітності. Визначено неврегульовані питання щодо заповнення окремих форм статистичної звітності та напрями їх вирішення. Обгрунтовано порядок підготовки облікової інформації для обчислення показника валової доданої вартості через систему показників статистичної звітності. Розроблено комплексне облікове забезпечення формування статистичної звітності з виробництва промислової продукції на підставі використання ресурсного підходу, зокрема запропоновано методичні положення бухгалтерського обліку виробництва продукції власними силами (з використанням власної та давальницької сировини), а також на давальницьких умовах. Визначено порядок формування показників обсягу виробництва та реалізації промислової продукції (валової, товарної та відвантаженої) на підставі даних статистичної звітності. Удосконалено методичне забезпечення використання показника доданої вартості, розрахованого з даних статистичної звітності, в аналізі господарської діяльності підприємства.

  Скачати повний текст

Побудовано прототип програмної системи, основною задачею якої є забезпечення захисту інформації, що зберігається та передається за умов динамічних рівноправних групових середовищ. Формалізовано представлення довірчих зв'язків у групових середовищах. Розроблено груповий тип інфраструктури цифрових підписів, адаптовано схему порогового підпису Лі-Ченга для використання за умов інфраструктур такого типу. Запропоновано модифікації алгоритмів створення цифрового підпису та перевірки пари великих чисел на простоту відповідно до схеми RSA, що надають можливість перенесення складних операцій обчислення на обслуговуючий пристрій без розкриття таємних параметрів закритого ключа. Запропоновано набір алгоритмів делегування процедури узгодження ключа у неоднорідних і великих за розміром середовищах з використанням структури даних "дерево внесків". Запропоновано метод прогнозування продуктивності розподілених криптографічних алгоритмів у динамічних середовищах на підставі моделювання їх роботи системами масового обслуговування.

  Скачати повний текст

Дисертаційна робота присвячена дослідженню актуальних проблем в області аналізу автономних систем. Досліджується локальна структурна стійкість (орбітально топологічна еквівалентність), локальна (в околі точки положення рівноваги) дифеоморфність динамічних систем на компактному гладкому многовиді, які описуються звичайними диференціальними рівняннями (автономними системами), а також фрактальна розмірність Каплана-Йоркі.Математично обґрунтовано метод оцінювання локальної матриці Якобі та обчислення експонент Ляпунова. Проводиться аналіз і обчислення експонент Ляпунова, розмірності та граничної ентропії для геомагнітних індексів Dst, Kp, AE, які мають ознаки гіперхаотичної динаміки. Ключові слова: дифеоморфізм, локально дифеоморфні системи, топологічна еквівалентність, компактний гладкий многовид, динамічна система, звичайні диференціальні рівняння, автономна система, розмірність Каплана-Йоркі.^UThe thesis is devoted to the research of actual problems in the field of analysis of autonomous systems such as the local structural stability (topologically orbitally equivalence), the local (in the neighborhood of the equilibrium point) diffeomorphity of dynamical systems (autonomous systems) on a compact smooth manifold, and the Kaplan-Yorke fractal dimension.A review of the literature on the study and detection of local properties of dynamics is given. The Grobman-Hartman theorem is discussed. Hyperbolic systems, conditions of its local diffeomorphity without zero and with zero among the eigenvalues of the Jacobian matrix calculated in the neighborhood of an equilibrium point are considered. Much attention has been paid to the Kaplan-Yorke dimension or the Lyapunov dimension for autonomous systems. There is equality of the Lyapunov dimension in topologically and topologically orbitally equivalent systems. The equality of the Lyapunov dimension and the information dimension is confirmed. A description of the Kaplan-Yorke dimension and its relationship with other dimensions are given. The entropy of the normalized vectors of norms of tangent vectors of autonomous systems is introduced. The extreme functional (Lagrangian) of the maximization of the sum of the introduced entropy, the function of exponential divergence (convergence), initial conditions, and normalization for each moment of time is considered. It is shown that the deduced functional corresponds to the principle of maximum (maximum uncertainty) which can also be considered as a propagation of the Bernoulli-Laplace principle of insufficient basis. The corresponding theorems are proved.The definition of introduced entropy and average entropy is given. Dynamic systems described by differential equations on a -measurable compact smooth manifold are not locally different from differential equations on . The Euclidean norm is used.The zero average entropy theorem is proved. The limit of the average entropy is considered. The formula for the relation between the average entropy and the Lyapunov exponents is derived.The maximum of the average entropy corresponds degenerate equilibrium points of the dynamic systems such as a scalar matrix or degenerate node (Jordan cage).When entropy is less than maximum such a degenerate equilibrium points are impossible. Thus, the possible change in the structure of the autonomous system is detected by the increase of the average entropy. That is the direction for a possible change in the type of phase portrait. When the phase space of larger dimension the number of types of such points is already greater, and they should combine the properties of the above types. It is noted that it is advisable to break into subspaces with stable points or unstable of a certain type. In diffeomorphic dynamical systems the Kaplan-Yorke dimension is the same.Takens's theorems on embedding for discrete and continuous time are considered. The delay time is estimated using an autocorrelation function for the time series of one variable of autonomous systems such as the Lorentz system, Ressler system, and Henon map. The Grasberger-Proccaccia dimension for estimating the size of embedding is described. The content of the Grassberger-Proccaccia dimension and the correlation integral is explained. The Lyapunov exponents decomposition shows the detection of the variability of the vector field of the autonomous dynamic system. The ordering of decomposition limits is considered. A numerical algorithm is provided to calculate these limits by a time series and average entropy.The method for estimating the local Jacobian matrix and calculating Lyapunov exponents is substantiated. The analysis and calculation of the Lyapunov exponents, the dimensions, and average entropy for geomagnetic indices Dst, Kp, and AE are given. It is noted that these geomagnetic indices have signs of hyperhaotic dynamics.Keywords: diffeomorphism, locally diffeomorphic systems, topological equivalence, compact smooth manifold, dynamic system, autonomous system, ordinary differential equations, Kaplan-Yorke dimension.

У дисертаційній роботі вирішено важливу науково-технічну проблему створення методів та засобів комп'ютеризованого оцінювання стану матеріалів та елементів конструкцій шляхом побудови методів структурно-адаптивної сегментації зображень для кількісного визначення їх діагностичних параметрів. Розроблені методи охоплюють попередню обробку зображень, локалізацію 39 об'єктів інтересу, сегментацію, кількісне визначення параметрів. Акцентовано локалізацію зварних швів та визначення розміру дефектів зварювання на складно-структурованому фоні, аналіз корозійних ушкоджень на зображеннях фарбованих поверхонь довільного кольору, моделювання та аналіз лазерного армування поверхні алюмінієвого сплаву частинками карбіду кремнію, оцінювання поруватості металевих покриттів, підвищення точності відслідковування траєкторії руху при електронно-променевому зварюванні, аналіз фрактографічних зображень зламів теплостійких сталей. Розроблено структурно-адаптивний метод сегментації зон зварних швів різної форми на радіографічних зображеннях. Завдяки введенню нових інформативних ознак дефектів у зоні зварного шва труб нафто-газового сортаменту побудовано метод сегментації дефектів, що підвищило імовірність правильної класифікації сферичних пор та шлаків. Розроблено методику визначення глибини дефектів за їх радіографічними зображеннями та експериментально встановлено відносні похибки визначення ширини та глибини дефектів. На основі циліндричної колірної моделі і одномасштабного ретинексу вперше розроблено методику структурно-адаптивної сегментації корозійних ушкоджень на зображеннях фарбованих поверхонь довільного кольору, отриманих при нерівномірному освітленні. Проведено моделювання для різної об'ємної концентрації частинок в поверхневому шарі алюмінієвого сплаву на основі рівномірного розподілу. Це забезпечило можливість порівняння експериментальних і змодельованих зображень перерізів поверхневих шарів для визначення об'ємної концентрації частинок карбіду кремнію та подальше прогнозування механічних властивостивостей таких поверхонь. Розроблено метод структурно-адаптивної локалізації та сегментації пор на зображеннях поверхні оксидокерамічних покритів, що використовує перевірку області фону пори, чим забезпечено можливість обчислення ступеня поруватості покриття.^UThe dissertation solves an important scientific and technical problem of creating methods and means for computerized assessment of materials and structural elements by creating methods of structure-adaptive image segmentation to quantify their 40 diagnostic parameters. The developed methods include image pre-processing, localization of objects of interest, segmentation, quantitative parameter estimation. It is necessary to highlight the localization of welds and determining the size of welding defects on a complex-structured background, analysis of corrosion damage on images of painted surfaces of arbitrary color, modeling and analysis of laser reinforcement of aluminum alloy with silicon carbide particles, evaluation of porosity of metal coatings, improving the accuracy of tracking motion in electron beam welding, analysis of fractographic images of fractures of heat-resistant steels. A structure-adaptive method of segmentation of weld zones of different shapes on radiographic images has been developed. Due to the introduction of new informative features of defects in the welding area of the oil and gas pipes, a method of defect segmentation was constructed, which increased the probability of correct classification of spherical pores and slags. A method for calculating the depth of defects based on their radiographic images has been developed and the relative errors in calculation the width and depth of defects have been experimentally established. On the basis of a cylindrical color model and a single-scale retinex, a method of structure-adaptive segmentation of corrosion damage on images of painted surfaces of arbitrary color obtained under non uniform illumination was developed. Modelling for different volume concentrations of particles in the surface layer of aluminum alloy based on uniform distribution was performed. This made it possible to compare experimental and simulated images of surface layers cross-section to determine the volume concentration of silicon carbide particles and further prediction the mechanical properties of such surfaces. A method of structure-adaptive localization and segmentation of pores on surface images of oxide ceramic coatings has been developed, which uses the verification of the pore background area, which provides the possibility of calculating the degree of porosity of the coating.

Удосконалено теоретико-методологічні положення моделювання на сучасному ринку деривативів. Розроблено нові економіко-математичні моделі процесів ціноутворення нестандартних опціонів із урахуванням стохастичного характеру їх параметрів. За допомогою математичного інструментарію та сучасних засобів програмування розроблено ефективні методи практичного обчислення цін нестандартних опціонів із стохастично змінними параметрами. Запропоновано нові підходи до моделювання на безарбітражних ринках динаміки цін нестандартних опціонів з метою вирішення проблеми врахування стохастичного характеру їх параметрів, які базуються на послабленні ряду обмежень в класичних моделях типу Блека - Шоулса та нових способах обчислення умовного математичного сподівання від мартингалів, які описують такі процеси ціноутворення. З'ясовано, що, на відміну від відомих моделей із фіксованими параметрами, нові підходи дозволяють суттєвим чином підвищувати точність прогнозованих цін опціонів. Розроблено економіко-математичні моделі ціноутворення: стандартних і нестандартних опціонів європейского стилю виконання із урахуванням стохастичних стрибкоподібних змін відсоткової ставки без ризику; нестандартних опціонів європейського стилю виконання із урахуванням стохастичного стрибкоподібного характеру дохідності базового активу; нестандартних опціонів європейського стилю виконання з урахуванням стохастичного характеру параметрів змінності цін інвестиційного портфеля декількох базових активів. У межах розроблених моделей виведено формули для визначення цін широкого класу нестандартних опціонів, на базі яких проведено експериментальні розрахунки із використанням сучасних засобів математичного програмування, зокрема, на реальних даних ряду суб'єктів господарювання під час побудови їх інвестиційних стратегій і стратегій хеджування, за допомогою портфелів активів із нестандартних опціонів, що дозволило більш точно прогнозувати ціни таких деривативів у разі раптових випадкових змін ринкової кон'юнктури.

  Скачати повний текст

Досліджено особливості таксаційної та морфологічної будови маргінальних букових насаджень Бескидів та обгрунтовано пропозиції щодо формування їх оптимального стану та продуктивності. Запропоновано оригінальну методику оцінки просторової структури насаджень. Визначено умови розмежування крони дерева на освітлену та затінену частини на базі використання визначених коефіцієнтів, обчислення об'єму та площі зовнішньої поверхні крони, індексів заповнення об'єму та площі намету, обчислення верхньої висоти для модальних насаджень. Вивчено особливості площинного розташування дерев у насадженнях різного віку та їх будову за таксаційними та морфологічними показниками. Досліджено розподіл редукційних чисел за відсотковими долями від загальної кількості дерев. Виявлено, що букові насадження Бескидів характеризуються порушеною природною структурою, з пристигаючого віку в них формуються біогрупи у складі 5 - 8 дерев і вертикальна зімкнутість намету. За морфологічними показниками дерев та їх крон вивчено намет насаджень, проаналізовано об'єм та площу зовнішньої поверхні крони та її освітлених і затінених частин за соціальними рівнями. Виявлено, що основу об'єму та площі росту букняків становлять дерева трьох верхніх рівнів, які формуються панівними, співпанівними та підпорядкованими деревами. Відзначено зростання з віком ролі панівних дерев у формуванні насаджень за основними показниками. Вивчено парні та множинні кореляційні залежності між основними таксаційними та морфологічними показниками у букових насадженнях. Проаналізовано істотність впливу і здійснено моделювання методами множинної регресії таксаційних показників для формування оптимальних за продуктивністю букових насаджень.

  Скачати повний текст

Вперше проведено дослідження несучої здатності похилих перерізів сталебетонних конструкцій без зчеплення зовнішньої стрічкової арматури з бетоном. Розглянуто існуючі типи сталебетонних конструкцій і методи їх розрахунку. Експериментально вивчено несучу здатність похилих перерізів сталебетонних балок без зчеплення зовнішньої стрічкової арматури з бетоном за контактом з різними видами поперечного та поздовжнього армування та плечами прикладання сили. Узагальнено особливості функціонування таких балок. Визначено сферу застосування існуючих методик розрахунку для обчислення несучої здатності похилих перерізів сталебетонних балок без зчеплення зовнішньої стрічкової арматури з бетоном за довжиною контакту. На базі поєднання методу скінченних елементів і послідовних наближень з урахуванням реальних діаграм деформування матеріалів розроблено методику розрахунку на ЕОМ. Наведено пропозиції щодо проектування сталебетонних балок без зчеплення зовнішньої стрічкової арматури з бетоном.

  Скачати повний текст

Досліджено технологічні параметри штампування обкочуванням вісесиметричних деталей, розроблено на цій основі ресурсозберігаючі технології та обладнання, що реалізують переваги цього методу обробки металів тиском. Всебічно досліджено розподіл контактних напружень. На плямі контакту розглянуто три зони, що відрізняються видом напружено-деформованого стану. В межах основної зони тангенціального плину розглянуто три ділянки, зважаючи на характер дії контактних дотичних напружень. Отримано рішення для визначення всіх технологічних параметрів процесу штампування обкочуванням. Розроблено ресурсозберігаючі технології виробництва дискових, кільцевих деталей, виробів з надтонким фланцем, а також комплексне програмне забезпечення для комп'ютерного обчислення технологічних параметрів.

  Скачати повний текст

Теоретично досліджено поглинання світла глибокими домішковими центрами в одноосьово стиснутих p-Ge і GaAs. Розраховано енергію зв'язку та розширення резонансних домішкових станів для домішкового центра з екранованою кулонівською взаємодією. Проведено обчислення й аналіз перетину домішкового розсіювання. Обчислено поляризаційні залежності спонтанного випромінювання світла з одноосьово стиснутого p-Ge. Обгрунтовано, що одержані результати вказують на зміну механізму випромінювання з ростом величини одноосьового стиску. Виявлено, що перебудова спектра та хвильових функцій домішкових станів продовжується і в області великих величин тисків (> 6кбар). Розглянуто методи та моделі розрахунку домішкових станів, а також фізичні представлення про домішковий стан та їх вплив на оптичні та кінетичні ефекти у домішкових деформованих кристалах.

  Скачати повний текст

Досліджено шляхи підвищення ефективності засобів захисту даних за рахунок використання булевих функціональних перетворень, основаних на функціях спеціального класу. Запропоновано новий клас булевих функцій, який характеризується інваріантністю до лінійних перетворень та має властивості, важливі для його використання у булевих функціональних перетвореннях засобів захисту даних. Створено новий метод синтезу нелінійних балансних булевих функцій, що відповідають критерію чіткого лавинного ефекту, а також каскадний метод побудови булевих функціональних перетворень на основі таких функцій. Запропоновано новий таблично-паралельний спосіб обчислення булевих функціональних перетворень для блокових засобів захисту інформації. Зазначено, що даний спосіб має лінійну обчислювальну складність та дозволяє підвищити ефективність засобів захисту даних шляхом використання в них перетворень великої розрядності.

  Скачати повний текст

Дисертація на здобуття наукового ступеня доктора філософії за спеціальністю 033 «Філософія» (03 – Гуманітарні науки). – Київський національний університет імені Тараса Шевченка. – Київський національний університет імені Тараса Шевченка, Київ, 2021.Дане дослідження взаємозв'язків між логікою та інформатикою в значній мірі є актуальним і для філософії. До прикладу, розуміння природи обчислень як логічного механізму, математичної основи та наукового чи інженерного процесу істотно впливає на наші погляди щодо процесу пізнання та природи людського розуму. Більше того, стрімкий розвиток машинного навчання, автономних інтелектуальних агентів та робототехніки породив велику кількість етичних питань навколо штучного інтелекту. Зокрема, ці питання пов'язані з типами відносин, що можуть виникати між людьми та машинами. В основу таких відносин покладено багато фундаментальних понять, таких як свідомість, моральний статус, етичні обов'язки та етичне обчислення. Також філософськи актуальним вбачається намагання зрозуміти, як розвиток логіцизму, чисто філософської програми, по суті, посприяв утворенню багатьох розділів інформатики.^UDissertation for a Ph.D. scientific degree on the specialty 033 – Philosophy- (Logic). – Taras Shevchenko National University of Kyiv. – Taras Shevchenko National University of Kyiv, Kyiv, 2021.This study about the interconnections between logic and computer science is relevant to philosophy in many ways. For example, the understanding of the nature of computation as a logical mechanism, a mathematical basis, a scientific or engineering process, has a major impact on our interpretation of cognition and human mind. Moreover, the fast developments of machine learning, autonomous intelligent agents, and robotics have triggered a large variety of relevant ethical questions around artificial intelligence. In particular, these questions are concerned with the type of relationships that should exist between humans and machines. At the heart of these relationships, many fundamental concepts are also involved including consciousness, moral status, ethical responsibilities, and ethical computation. Another philosophical relevance could be seen through the understanding of how a purely philosophical programme, the logicism, had led to the creation of many areas of computer science.

Вирішено завдання розрахунків гідрографів та ймовірних витрат паводків для річок сахельської зони республіки Нігер на базі просторової моделі типу "опади - стік", параметри якої оптимізувалися за даними виміряних опадів і витрат на річках басейну Середнього Нігеру. Статистична обробка рядів пікових витрат, обчислених за змодельованими опадами і виміряними витратами, довела задовільну збіжність їх кривих забезпеченості у межах амплітуди виміряних витрат. Ефект використання моделі виявлено під час обчислення витрат рідкої повторюваності. Модель запропоновано для розрахунків паводків на басейнах річок сахельської зони Республіки Нігер. Розроблений метод обчислень і подовження рядів паводкових витрат на просторовій моделі можна використовувати у практичних розрахунках імовірних паводкових витрат на річках регіону.

  Скачати повний текст

Проведено аналіз існуючих макроекономічних моделей та засобів їх системної підтримки. Розроблено комплекс моделей трансформаційного напрямку, який включає моделі перебудови структури економіки, оновлення фондів, регулювання запасами, а також виникнення забруднення навколишнього середовища. Розглянуто способи алгоритмізації даного комплексу із застосуванням перехідних функцій експоненційного вигляду. Запропоновано алгоритми комплексування макроекономічних моделей з визначенням узгоджувальних процедур та обчисленням результатів. Розроблено алгоритм оптимізації грошової емісії. Визначено макроекономічний прогноз за видами промислової продукції України до 2010 р. на базі застосування логістичної функції. Розглянуто одну з моделей, яка включає аспекти національної безпеки та охорони навколишнього середовища та визначає оптимальну процедуру інспектування. Вперше знайдено застосування функцій Бесселя для обчислення одного із фундаментальних показників економічного аналізу - коефіцієнта еластичності ризику функції гарантованого доходу (функції корисності). Наведено високоточний алгоритм обчислення рівняння Бесселя.

  Скачати повний текст

Запропоновано новий підхід до опису кінетики затвердіння переохолодженої рідини, що базується на механізмі конкурентного утворення й росту кристалічної та некристалічної фаз. Виявлено, що полікластерна структура аморфних тіл, що спостерігається в експерименті, є результатом переваги об'ємної частки некристалічних зародків (кластерів) над часткою кристалічних. Якісно й кількісно описано процеси фазових перетворень метастабільної кристалічної фази високого тиску ряду сплавів - аморфізації й наступної кристалізації; одержано рівняння калориметричних кривих даних процесів. Проведено узагальнення імовірнісно-феноменологічної теорії фазових перетворень на випадок декількох фаз. Запропоновано геометрико-імовірнісний метод для обчислення об'ємних часток конкуруючих фаз.

  Скачати повний текст

Розроблено метод диференційного кодування компонент контрольної суми, який забезпечує значне підвищення надійності виявлення багатократних помилок передачі даних у лініях і шинах, що відповідають моделі двійкового симетричного каналу. Розроблено метод кодування компонент контрольної суми, який забезпечує гарантоване виявлення усіх двократних помилок і помилок непарної кратності. Здійснено модифікацію методу ехоплексу, яка забезпечує гарантоване виявлення усіх однократних помилок передачі коду, а також виключення можливості помилкового виявлення помилки у лініях і шинах, що відповідають моделі двійкового симетричного каналу. Розроблено новий підхід щодо кодування контрольних кодів ехоплексу, який дозволяє виявити всі однократні помилки передачі сигналів у каналах комп'ютерних мереж з амплітудно-фазовою модуляцією. Обгрунтовано структуру програмно-апаратних засобів високопродуктивної реалізації операцій контролю помилок з використанням циклічних надлишкових кодів. Розроблено структури апаратних засобів паралельного обчислення запропонованих модифікацій контрольних сум.

  Скачати повний текст

  Скачати повний текст

Створено алгоритм формування оптимальної системи навігаційного обладнання для стислих районів плавання суден. Запропоновано новий спосіб оптимального синтезу системи навігаційного обладання обмежених районів, який дозволяє поетапно формувати її фрагменти з урахуванням формалізованих характеристик стислого району, а також зсуву осьової лінії та рівня інформаційного навігаційного потенціалу даної території. Розроблено метод обчислення кількісної оцінки ефективності системи навігаційного обладнання стислого району та частотний спосіб його формалізації. Створено процедуру визначення характеристик точності бічного відхилення судна залежно від структури системи навігаційного обладнання стислого району та показників точності її компонентів. Запропоновано новий спосіб послідовного синтезу оптимальної за вартістю системи навігаційного обладнання стислого району.

  Скачати повний текст