Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (7) | Автореферати дисертацій (2) | Реферативна база даних (23) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Манжос Ю$<.>) | ||||
|
Загальна кількість знайдених документів : 22 Представлено документи з 1 до 20 |
||||
| ||||
| 1. | 
Манжос Ю. С. Використання аналізу розмірностей для підвищення рівня функціональної безпеки I&C систем [Електронний ресурс] / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2012. - № 7. - С. 313–318. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2012_7_55 Розглянуто основи інформаційної технології підвищення рівня функціональної безпеки, побудованої на принципах аналізу фізичних розмінностей, що дозволяє верифікувати програмний код під час його розробки, зменшити ризики некоректного використання вхідних даних, та контролювати відсутність функціональних відмов під час штатної роботи технічних систем. Наведено перелік операцій, що контролюються. Визначено межі контролю коду під час формальної верифікації, а також контролю обчислювальних процесів під час експлуатації систем. Приведено класи програмних дефектів та визначено ефективність методу, що для реального коду перевищує 80 %. | |||
| 2. |
Берднікова А. Л. Інформаційна технологія аналiзування складних систем [Електронний ресурс] / А. Л. Берднікова, Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 192–197. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_33 Приведено класифікацію складних систем, що використовує декартовий добуток ортогональних множин властивостей, що є "класифікаційними" множинами складних систем. Розглянуто життєвий цикл аналізування та моделювання складних систем як ітеративну послідовність моделей, що поступово наближуються до реальної системи. Запропоновано функціональну модель інформаційної технології моделювання складних систем, особливістю якої є наявність метаконцептуальної та метаматематичної моделей, використання яких дозволить зменшити ризики побудови некоректних математичних і програмних моделей та підвищіть достовірність прогнозу стану складних систем. | |||
| 3. |
Манжос Ю. С. Фактори надійності програмного забезпечення [Електронний ресурс] / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2013. - № 5. - С. 305–312. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2013_5_53 Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як чорної скрині, та системи відображень множин елементів зовнішнього середовища та програмного забезпечення. Розглянуто властивості відображень. Досліджено за допомогою алгебричних методів можливі джерела дефектів програмного забезпечення, обумовлені порушенням інтервальних відношень, та визначено необхідні умови відсутності дефектів. З використанням теоретико-множинного підходу визначено комбінаційну оцінку ймовірності безпомилкової роботи програмних систем. | |||
| 4. |
Конорев Б. М. Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Електронний ресурс] / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34 Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации. | |||
| 5. |
Мандрикова Л. В. Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике [Електронний ресурс] / Л. В. Мандрикова, Ю. С. Манжос, П. А. Лучшев // Радіоелектронні і комп’ютерні системи. - 2008. - № 2. - С. 115–118. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_2_24 Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой логики для оценивания стоимости ПО. Предложено использование диверсифицированных методов оценки, что позволит получить более точную оценку трудоемкости и стоимости разработки. Показана зависимость стоимости программного обеспечения от требуемого уровня надежности. Рассмотрены факторы, влияющие на стоимость программного обеспечения; предложено рассмотрение программных комплексов как открытых систем, а также показано влияние на надежность программного обеспечения внешней среды. Рассмотрены подходы оценивания себестоимости программного продукта. | |||
| 6. |
Петрик В. Л. Модель дефектов программного обеспечения [Електронний ресурс] / В. Л. Петрик, Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2008. - № 3. - С. 46–51. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_3_10 Предложена модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой вероятностью может содержать остаточный программный дефект. Модель дефектов учитывает адресные операции, операции перехода и позволяет на основании статистических характеристик кода оценить долю остаточных дефектов, связанных с нарушением семантических инвариантов, и эффективность метода, основанного на контроле целочисленных семантических дескрипторов. | |||
| 7. |
Манжос Ю. С. Багатоінваріантний метод підвищення надійності програмних засобів [Електронний ресурс] / Ю. С. Манжос // Радіоелектронні і комп’ютерні системи. - 2008. - № 6. - С. 193–196. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_6_35 З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точністної та семантичної коректності обчислювальних процесів, та має у по рівнянні з відомими меншу ресурсоємність та більшу діагностувальну спроможність виявлення залишкових дефектів. | |||
| 8. | 
Василенко Г. А. Определение остаточных напряжений после азотирования в плоских круглых деталях [Електронний ресурс] / Г. А. Василенко, Ю. П. Манжос // Авиационно-космическая техника и технология. - 2006. - № 9. - С. 56–59. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2006_9_12 В результате обработки результатов эксперимента получены величины остаточных напряжений в пластине после азотирования в азотированном слое и в сердцевине детали. Предложена формула для оценки напряжений в детали после азотирования. | |||
| 9. |
Мандрикова Л. В. Метод идентификации рисков программного проекта на основе вероятностного подхода [Електронний ресурс] / Л. В. Мандрикова, Ю. С. Манжос, В. В. Хоменко // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 207–211. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_38 Рассмотрены вероятностные модели оценки рисков, связанных с разработкой программного продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс. Предложена формальная модель жизненного цикла программного продукта, представленная в виде графа состояний и соответствующей системы алгебро-дифференциальных уравнений Колмогорова, связывающая риски программного проекта и риски программной инженерии. Для оценки рисков программного проекта, связанных с превышением ресурсных ограничений, предложено использование экспертных оценок рисков программной инженерии. | |||
| 10. |
Манжос Ю. С. Оценка эффективности независимой верификации программного обеспечения [Електронний ресурс] / Ю. С. Манжос // Авиационно-космическая техника и технология. - 2004. - № 7. - С. 210–214. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2004_7_44 | |||
| 11. |
Манжос Ю. С. Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем [Електронний ресурс] / Ю. С. Манжос, В. Л. Петрик // Авиационно-космическая техника и технология. - 2007. - № 5. - С. 86–93. - Режим доступу: http://nbuv.gov.ua/UJRN/aktit_2007_5_15 Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и проанализированы модели полноты семантического контроля программного обеспечения. Доказана устойчивость полученных результатов. | |||
| 12. | 
Манжос Ю. С. Алгебричне аналізування надійності програмного забезпечення [Електронний ресурс] / Ю. С. Манжос // Інженерія програмного забезпечення. - 2014. - № 1. - С. 20-27. - Режим доступу: http://nbuv.gov.ua/UJRN/Ipz_2014_1_4 | |||
| 13. | 
Манжос Ю. С. Дескрипторный контроль программного обеспечения критического применения в реальном времени [Електронний ресурс] / Ю. С. Манжос, В. Л. Петрик // Збірник наукових праць Харківського університету Повітряних сил. - 2008. - Вип. 1. - С. 90-93. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2008_1_23 Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий, по сравнению с методом семантического контроля, на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационно-управляющих систем для АЭС и авиационно-космических комплексов. | |||
| 14. | 
Берднікова А. Л. Інформаційна технологія моделювання складних систем [Електронний ресурс] / А. Л. Берднікова, Ю. С. Манжос // Системи обробки інформації. - 2012. - Вип. 3(2). - С. 2-7. - Режим доступу: http://nbuv.gov.ua/UJRN/soi_2012_2_3_3 Розглянуто та проведено порівняльний аналіз підходів до моделювання складних систем (СС), до яких можливо віднести соціально-економічні системи (СЕС) заснованих як на статистичних характеристиках процесів так ймовірнісних моделях з використанням детермінованого та стохастичного підходів. Сформовано вимоги до інформаційної технології (ІТ) адаптованого моделювання СС. Показано, що диверсифікація дозволяє підняти достовірність прогнозу. Показано, що комплексування методів аналітичного моделювання з засобами штучного інтелекту (штучними нейронними мережами) забезпечує необхідну якість прогнозу, а використання реальних даних про стан СС як початкових даних для аналітичної моделі зменшує похибку результату. Наведено узагальнену функціональну модель ІТ, що дозволяє з високою достовірністю прогнозувати шляхом моделювання стан складних соціально-економічних систем. Запропонований підхід дозволяє знизити системні ризики обумовлені незбалансованістю окремих ланок. | |||
| 15. |
Берднікова А. Л. Аналізування життєвого циклу моделювання космічних об’єктів [Електронний ресурс] / А. Л. Берднікова, Ю. С. Манжос // Збірник наукових праць Харківського університету Повітряних Сил. - 2014. - Вип. 3. - С. 93-101. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2014_3_21 Розглянуто життєвий цикл моделювання космічних об'єктів та побудовано ймовірнісні моделі переходів. Запропоновано систему рівнянь Колмогорова, що визначає потоки ймовірностей станів моделі життєвого циклу. Досліджено тривалості ітерацій етапів життєвого циклу, ймовірності внесення дефектів під час виконання реальних програмних проектів та їх вплив на програмні ризики. Досліджено чисельні розв'язки математичної моделі життєвого циклу для різноманітних вхідних даних. Запропоновано способи зменшення ризиків. | |||
| 16. | 
Манжос Ю. С. Аналізування життєвого циклу моделювання космічних літальних апаратів [Електронний ресурс] / Ю. С. Манжос, А. Л. Берднікова // Збірник наукових праць [Полтавського національного технічного університету ім. Ю. Кондратюка]. Сер. : Галузеве машинобудування, будівництво. - 2014. - Вип. 2. - С. 287-300. - Режим доступу: http://nbuv.gov.ua/UJRN/Znpgmb_2014_2_44 | |||
| 17. | 
Манжос Ю. В. О воздействии электромагнитных излучений на промышленные электродетонаторы в упаковке [Електронний ресурс] / Ю. В. Манжос, Л. Н. Терентьева, А. Б. Бунин, Ф. Н. Галиакберова, С. C. Горшков // Наукові праці Донецького національного технічного університету. Серія : Гірничо-геологічна. - 2005. - Вип. 96. - С. 31-35. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_gg_2005_96_8 | |||
| 18. |
Рєзніченко Д. О. Дослідження дії домішок, що впливають на водостійкість водомістких вибухових речовин найпростішого складу [Електронний ресурс] / Д. О. Рєзніченко, Ю. В. Манжос, Т. М. Праздникова // Наукові праці Донецького національного технічного університету. Серія : Гірничо-геологічна. - 2010. - Вип. 11. - С. 48-51. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_gg_2010_11_10 Досліджено вплив поліакриламіду та натрій-карбоксиметилцелюлози на водостійкість концентрованого розчину окиснювача (аміачної селітри), та цього розчину у поєднанні з розчинною пальною домішкою (сахарозою). Вивчено дію поперечних зшивок на одержані суміші. Виявлено оптимальні концентрації досліджуваних згущувачів та зшивок, досліджено їх дію на водостійкість складів, в яких вони використовуються. Всі компоненти перевірено на сумісність, встановлено їх вплив на кристалізацію аміачної селітри з розчину за температури, нижчої за стандартну. | |||
| 19. |
Примак А. В. Лабораторний стенд для дослідження характеристик вибухових приладів [Електронний ресурс] / А. В. Примак, Ю. В. Манжос, Ф. Н. Галіакберова // Наукові праці Донецького національного технічного університету. Серія : Гірничо-геологічна. - 2011. - Вип. 13. - С. 3-6. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_gg_2011_13_3 Поставлено задачу розробки лабораторного стенда для перевірки вибухових приладів за показниками, зазначеними в технічних умовах на прилад, та показниками безпеки ведення вибухових робіт. | |||
| 20. |
Ильина Е. А. Исследование зависимости критического диаметра детонации от содержания сенсибилизатора в эмульсионных взрывчатых веществах [Електронний ресурс] / Е. А. Ильина, Ю. В. Манжос // Наукові праці Донецького національного технічного університету. Серія : Гірничо-геологічна. - 2012. - Вип. 2. - С. 55-59. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_gg_2012_2_11 | |||
| ||||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |