Ахборот-бошқарувчи тизимлар дастурий таъминотининг функционал ишончлилигини баҳолашнинг моделлари ва алгоритмлари

Аннотация

Диссертация мавзусининг долзарблиги ва зарурати. Жаҳонда ҳозирги вақтда рақамли технологиялар ва муҳитларнинг яратилиши дастурий таъминотларга, айниқса, ахборот-бошқарувчи тизимларнинг дастурий таъминотига бўлган талабнинг ортиши, дастурий таъминотларнинг сифат даражасидан функционаллигига ҳамда ишончлилигига оид илмий-амалий масалаларни амалга оширишга алоҳида эътибор қаратилмоқда. Ш у жиҳатдан, маълумотларнинг норавшанлиги ва хатолиги шароитида, хавфларнинг мавжудлиги ва мураккаб тизимлар ҳаёт циклининг барча поғоналарида вактнинг етишмаслиги, ҳисоблаш техникасида самарали қўллашда масалаларнинг янги даражаларини ечиш, сунъий интеллект воситалари ва усулларини ишлаб чиқишга катта эътибор қаратилмоқда. Тадқиқотнинг усуллари. Тадқиқот жараёнида тизимли тахдил қоидалари ва усуллари, техник тизимларнинг ишончлилик назарияси, сунъий интеллект назарияси усуллари, норавшан кўпҳад ва лингвистик ўзгарувчанлар назарияси, қарор қабул қилишнинг дастурий инженерияси ва назарияси усулларидан фойдаланилган. Тадқиқот натижаларининг ишончлилиги. Тадқиқот натижаларининг ишончлилиги мавжуд ахборот-бошқарув тизимлари дастурий таъминотининг сифати ва ишончлилигини баҳолашнинг амалий кўникмалари ҳамда назарий таҳпил натижаларини қўллаш орқали, сунъий интеллект, норавшан кўпҳадлар назарияси, лингвистик ўзгарувчанлар, юмшоқ ҳисоблашлар, математик ва ўхшаш моделлаш, кўп даражали оптималлаштириш усулларидан қатьий ва ўз ўрнида фойдаланиш орқапи ҳамда таклиф этилган модел ва алгоритмларнинг апробацияси бўйича ҳисоблаш тажрибалари билан диссертация ишининг предметли соҳасида илмий ишларни таҳлилий кўриб чиқиш билан изоҳланади.