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

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

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

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

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

Індекс рубрикатора НБУВ: З843.33

Рубрики:

Індій, галій та їхні сполуки

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

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

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

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

Рассмотрен вопрос влияния субъективных факторов на достоверность результатов контроля при применении наиболее распространенных методов неразрушающего контроля. Проанализированы сами факторы, рассмотрены мероприятия по их минимизации; на основе практической деятельности отдела контроля качества ОАО "ЮТЕМ-ИНЖИНИРИНГ" проведен статистический сравнительный анализ результатов рентгенографического контроля при строительстве объектов химической промышленности и теплоэнергетики в штатном (ручном) режиме и с применением автоматизированного оборудования. Сделаны выводы о перспективности внедрения в процесс контроля системотехнических и методологических мероприятий.

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

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

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