Індекс рубрикатора НБУВ: Х881в2 + Ю703.2

Рубрики:

Мораль і право

Шифр НБУВ: Ж27747 Пошук видання у каталогах НБУВ 

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

Запропоновано застосування розподілення обчислень з використанням ієрархічного підходу для розв'язування систем лінійних рівнянь великої розмірності.

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

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

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

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

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

Описано інтерактивний постпроцесор, у якому реалізовано алгоритми об'ємної візуалізації для зображення розподілу температури в мікроелектронних пристроях (МЕП). Реалізовані апроксимаційні алгоритми об'ємної візуалізації надають можливість виділяти області, в яких температура є близькою чи перевищує максимально допустиму у елементах МЕП, зокрема, в елементах, об'єм яких є малим у порівнянні з розмірами конструкції.

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

Розглянуто архітектуру програмного забезпечення для тестування та верифікації методів розв'язування систем рівнянь у часткових похідних, що описують фізичні процеси. Розроблено архітектуру процесора автоматизованого генерування задач, їх розв'язування та порівняльного аналізу з іншими методами аналізу задач математичної фізики. Проаналізовано роботу програмного забезпечення на оболонці COMSOL 4.2.

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

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

Досліджено зміст та сутність пенальної теорії кримінальної відповідальності. Виявлено її суперечності та запропоновано варіант виходу з них.

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

Досліджено проблему розуміння кримінальної відповідальності. Увагу приділено еклектичній методології тлумачення сутності, змісту та форми кримінальної відповідальності, яка критикується. Наведено аргументи проти еклектичних теорій кримінальної відповідальності.

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

Побудовано компоненту та програмну архітектуру Віртуального інноваційного простору як спеціалізованої Веб-спільноти для ІТ-студентів. Обгрунтовано необхідність ведення високорівневої розробки VIS за допомогою системи керування контентом Drupal. Для побудови програмної платформи VIS вибрано типовий набір Apache, PHP, MySQL.

Исследованы вопросы измерения интенсивности преступности. Приведены результаты математической проверки достоверности существующих вычислений "темной цифры" преступности и виктимологических измерений виктимизации, которые в наше время кладут в основу выводов о достоверности статистических измерений преступности. Исследование включает изыскания, касающиеся математических и компьютерно-модуляционных измерений влияния количества населения на состояние преступности в обществе.

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