«Ўзбекистон темир йўллари» акционерлик жамияти тошкент темир йўл муҳандислари институти «Темир йўл транспортида автоматика ва телемеханика» кафедраси «автоматика ва телемеханика тизимларининг ишончлиги ва харакат хавфсизлиги»

3. Минимизациялашга мисол келтиринг.

• 3. Минимизациялашга мисол келтиринг.
• Асосий тушунчалар:
• Мураккаб мантиқий функционал минимизациялаш, тарқатиш функцияси, эҳтимоли зичлиги, дизъюнкциянинг мантиқий операцияси, конъюкциянинг мантиқий операцияси.
• Фойдалниладиган адабиётлар:
• 1. Ворлоу Р., Прошан Ф. «Статическая теория надёжности и испўтания на безопасность». М.: Наука, 1984.
• 2. Ястребенский М.А., Соляник Б.Л. «Надёжность промежуточнўх автоматических систем в условиях эксплуатации». М.: Энергия, 1978.
• 3. А.С. Переборов и др. «Теоритические основў железнодорой автоматики и телемеханики». М. Транспорт, 1984.
• 4. Н..Я. Меньшеков, А.И. Королев «Надёжность железнодорожной автоматики и телемеханики». М.: Транспорт,1976.
• 10-Маъруза
• Ишончлилик ҳисоботида тузилмавий анализ ва ўзгартириш
• Режа:
• «Учбурчак» туридаги структурани «юлдуз» туридаги структурага айлантириш.
• Темир йўл транспортида АБТ ишончлилик ҳисоботининг мураккаблиги ва текшириладиган объект тузилиши мураккаблигидадир.
• Шунинг учун доимо ишончлилик ҳисобини бошлашдан олдин мураккаб тузилмани ўзгартириш, уни мос осонлаштириш йўлларини топиш керак.
• АБТ ишончлилик ҳисобини асосий назариясига кирувчи тузилмавий анализ назариясининг афзалликларини кўрсатамиз.

«Учбурчак» туридаги структурани «юлдуз» туридаги структурага айлантириш

• «Учбурчак» туридаги структурани «юлдуз» туридаги структурага айлантириш
• Берилган «учбурчак» туридаги структурани «юлдуз» турига айлантириш керак.
• «Юлдуз» «учбурчак»ка эквивалент бўлиши учун «учбурчак» ва «юлдуз» ларнинг тенгламаларини тенглаштириш керак:
• a v bcқxy; b v acқxz; c v abқyz(1)бу ерда, a,b,c,x,y,z – элемент иш қобилиятидаги ҳолатда.
• 1-2,1-3 ва 2-3 занжирларнинг ишлаш эҳтимоли «учбурчак» учун ҳам, «юлдуз» учун ҳам бир хил бўлиши керак:
• Pa+PbPb-PaPbPcқPxPy
• Pb+PaPc-PbPaPcқPxPz
• Pc+PaPb-PcPaPbқPyPz}(2)