Наведено результати експериментальних досліджень формування детонаційних властивостей сумішевих вибухових речовин (ВР) на основі гранульованої аміачної селітри (АС) шляхом поверхневої активізації гранул. Такий технічно доступний прийом поліпшення детонаційних характеристик вихідного компонента найпростіших сумішевих ВР - гранульованої АС - дозволяє істотно розширити діапазон можливостей керування параметрами вибухового імпульсу.

Індекс рубрикатора НБУВ: Р264.921.2-7

Рубрики:

Стрептококи

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

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

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

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

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

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

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

Індекс рубрикатора НБУВ: Р121.5 + Н761.104.3 + Н761.204

Рубрики:

Гігієна водопостачання

Знезаражування води

Очищання стічних вод

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

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

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

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

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

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

Анализируются существующие проблемы и возможность применения формальных методов при разработке отказоустойчивых компьютерных систем. Рассматривается интеграция формального метода разработки Event-B и метода анализа надежности FME(C)A для выявления возможных отказов, оценки их критичности, а также оптимального выбора и формального доказательства корректности средств восстановления и обеспечения отказоустойчивости. Предложена процедура перехода от Event-B модели корректной системы к Event-B модели корректной отказоустойчивой системы.

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

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

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

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

Представлены результаты совместного использования формального метода спецификации требований Event-B, метода анализа видов и последствий критических отказов FME(С)A, а также метода анализа деревьев отказов FTA на примере системы управления движением автотранспорта по однонаправленному мосту.