Предлагается подход к повышению доверия к ПС высокоцелостных систем. В его основу положено очевидное утверждение: максимально повысить доверие к ПС можно путем совместного использования различных методов верификации и валидации, поскольку каждый из них может быть важен для разных видов дефектов и применим на различных этапах жизненного цикла ПС. Данный подход может служить основой для интеграции различных методов тестирования и анализа, а также формальных и неформальных методов.

Поряд із загальноприйнятими клініко-лабораторними методами, комплексне поетапне обстеження хворих дозволяє підвищити ефективність диференціальної діагностики механічних жовтяниць до 98 . Діагностику та диференціальну діагностику цих захворювань слід проводити низкою послідовних етапів: I-підтвердження механічного характеру жовтяниці та встановлення рівня обтурації жовчних проток за допомогою УЗД; II-диференціальна діагностика пухлинної і непухлинної природи механічної жовтяниці та орієнтовне визначення походження новоутворення за допомогою радіоконкурентного мікроаналізу пухлинних маркерів: РЕА, ТПА, СА 19-9 (проводиться з урахуванням даних I етапу); III-верифікація діагнозу шляхом ЕРПХГ та лапароскопії (у випадку негативних результатів показана діагностична лапаротомія). Своєчасне визначення механічного генезу жовтяниці та встановлення обтурації жовчних проток за допомогою УЗД (I етап), підтвердження пухлинної природи захворювання шляхом радіоконкурентного мікроаналізу РЕА, ТПА, СА 19-9 (II етап) забезпечує більш чіткий відбір хворих у профільні лікувальні заклади, скорочення часу обстеження, можливість оцінити локалізацію та поширеність процесу і вірно обрати подальшу діагностичну та лікувальну тактику. Неінвазивність, висока інформативність методів діагностики, відсутність протипоказань, відносна простота, можливість повторних обстежень дозволяють використовувати їх у доклінічний період.

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

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

Проанализирована заболеваемость острой лейкемией детей г. Киева за период 1980-1997 гг. Изучали уровень заболеваемости в период 1980-1985 гг. и после катастрофы на ЧАЭС - в период 1986-1997 гг. Не отмечено достоверного увеличения заболеваемости детей острой лейкемией после аварии на ЧАЭС, но выявлено увеличение в послеаварийный период заболеваемости врожденной лейкемией, увеличение частоты миелоидной лейкемии среди детей в возрасте до 1 года и 10-14 лет, увеличение количества больных В-зрелоклеточной лейкемией.

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

Проаналізовано захворюваність на гострі лейкемії дитячого населення України та Києва за період 1986 - 1996 рр. З'ясовано, що території чотирьох досліджуваних областей зазнали значного забруднення радіонуклідами внаслідок аварії на Чорнобильській АЕС (Київщина, Житомирщина, Чернігівщина, Рівненщина). За 11-річний період спостереження (1986 - 1996 рр.) після чорнобильської аварії встановлено зростання захворюваності на гострі лейкемії у дітей. Загальний рівень захворюваності на гострі лейкемії дітей Києва після катастрофи на ЧАЕС не збільшився. Виявлено особливості захворюваності на різні типи гострих лейкемій у дітей віком 0 - 4, 5 - 9 і 10 - 14 років. Обгрунтовано необхідність створення Національного клініко-діагностичного реєстру лейкемій з верифікацією кожного випадку захворювання з метою проведення тривалого моніторингу захворюваності. Значну увагу приділено плануванню розвитку спеціалізованої медичної допомоги, визначення об'ємів закупок цитостатичних препаратів, розвитку спеціалізованого ліжкового фонду, впровадження нових лікувальних технологій, розробки основних напрямків профілактики злоякісних новоутворень кровотворної системи.

On the basis of the functional approach, the conditions of correctness are stated for locally formulated boundary-value problems of the nonlinear theory of isotropic elastic bodies in the three-dimensional statement. We use the known unique existence theorems for the minimum of a functional being lower semicontinuous in the weak topology of a reflexive Banach space.

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

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

With regard for the convective component, we consider the process of heterodiffusion of an admixture in the layer by two ways. A solution of the boundary-value problem is constructed in the form of an integral series that is absolutely and uniformly convergent. The existence and uniqueness of the solution is proved, and the remainder terms of the series are estimated.

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

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

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

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

Індекс рубрикатора НБУВ: Х859(4Укр)-30 + Х809(4Укр)62-91

Рубрики:

Екологічне право окремих країн

Державне право окремих країн

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

A variational statement for initial-boundary value problems of the nonlinear couple elasticity theory is formulated by using Hamilton's functional Local model equations are obtained, and the cases of both dynamical uncouple theory and the quasistatic couple and uncouple elasticity theories are written as particular cases.

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

Індекс рубрикатора НБУВ: Р668.62 с03

Рубрики:

Зубне протезування і протези

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

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

Індекс рубрикатора НБУВ: Х850в4 + Х916.33

Рубрики:

Міжнародноправова охорона природи

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