Теорія обчислювальних систем — це технічна наука, що систематизує математичні прийоми створення, збереження, відтворення, обробки і передачі даних засобами обчислювальної техніки, а також принципи, функціонування цих засобів і методи керування ними.
Одним із основних питань теорії обчислювальних систем є питання досягнення високого рівня ефективності. Під показниками ефективності розуміють кількісні характеристики надійносні та живучості.
Історія
Перші ефективні результати застосування теорії обчислювальних систем пов'язані з використанням ЕОМ для розрахунків з аеродинаміки, механіки, фізики. Із розвитком електронно-обчислювальної техніки теорії обчислювальних систем почала застосовуватися в галузі економіки й управління виробництвом із метою пошуку оптимальних рішень[].
Одним з перших, хто узявся за побудову математичної теорії обчислювальних систем, був Віктор Михайлович Глушков. Розвиток теорії за Глушковим спрямований за двома напрямами — винахід математичних конструкцій, що адекватно відображають властивості компонентів електронних обчислювальних машин i системи у цілому, які можна було б використовувати як моделі відповідних компонентів, а також на створення математичної техніки їхніх трансформацій з метою відображення процесів рішення задач проєктування цих компонентів з тим ступенем деталізації, що доступна відповідній технології виготовлення електронних обчислювальних машин.
Предмет вивчення і завдання
Предметом вивчення дисципліни є обчислювальні системи. До основних завдань відносять:
- завдання оптимального синтезу систем, яке спрямоване на вибір способу побудови системи, що найкращим чином пристосована для виконання заданих функцій;
- завдання аналізу, яке ставить на меті якісну і кількісну оцінку властивостей різних класів прикладних задач, структур і стратегій управління обчислювальними процесами.
Методи
В теорії обчислювальних систем передусім застосовують аналітичні, числові та експериментальні методи, а також метод оптимізації. Серед числових методів, зокрема при побудові імітаційних моделей, найбільш широко використовується метод статистичних випробувань (наприклад, метод Монте-Карло).
Математичні основи
Суміжні області
- Програмування стосується написання комп'ютерних програм
- Інформаційна безпека це аналіз та реалізація безпеки інформаційних систем, сюди входить також криптографія
Див. також
- Дискретна система
- [fr]
Примітки
- Сергієнко І.В., Капітонова Ю.В. (1998). . Архів оригіналу за 25 серпня 2021. Процитовано 25 серпня 2021.
- Теорія паралельних обчислень [ 12 травня 2021 у Wayback Machine.]: Методичний посібник для студентів спеціальності «Програмне забезпечення систем» / В. М. Коцовський. — Ужгород: Видавництво УжНУ «Говерла», 2015. — С. 9
- Евреинов Э. В., Хорошевский В. Г. Однородные вычислительные системы. Новосибирск: Наука — 1978.
- Общая характеристика методов теории вычислительных систем // Основы теории вычислительных систем: учебное пособие для вузов / С. А. Майоров и др. — М. : Высшая школа, 1978. — С. 12, 20-23, 24-27
Додаткова література
- В. М. Глушков О некоторых задачах вычислительной техники и связанных с ними задачах математики // Украинский математический журнал, 1957, т. 9, № 4, с. 369—376 (рос.)
- Лазарович І. М. Конспект лекцій з дисципліни «Компютерні системи» для студентів напряму підготовки «Компютерна інженерія» [ 24 січня 2022 у Wayback Machine.]/ І. М. Лазорович. — Івано-Франківськ: Видавництво Прикарпатського національного університету імені Василая Стефаника, 2014. — 190 с.
- Салыга В. И. Основы теории вычислительных систем: [учеб. пособие для вузов по спец. «АСУ» / под ред. В. И. Салыги ; В. И. Салыга, М. Ф. Бондаренко, А. Е. Кадацкий и др.]. — Харьков: Вища школа. Изд-во при Харьк. ун-те, 1984. — 200 с. : ил. ; 22 см — Библиогр.: с. 194—197. (рос.)
- Поспелов Д. А. Введение в теорию вычислительных систем. — М.: Советское радио, 1972. — 280 с. (рос.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Teoriya obchislyuvalnih sistem ce tehnichna nauka sho sistematizuye matematichni prijomi stvorennya zberezhennya vidtvorennya obrobki i peredachi danih zasobami obchislyuvalnoyi tehniki a takozh principi funkcionuvannya cih zasobiv i metodi keruvannya nimi Odnim iz osnovnih pitan teoriyi obchislyuvalnih sistem ye pitannya dosyagnennya visokogo rivnya efektivnosti Pid pokaznikami efektivnosti rozumiyut kilkisni harakteristiki nadijnosni ta zhivuchosti IstoriyaPershi efektivni rezultati zastosuvannya teoriyi obchislyuvalnih sistem pov yazani z vikoristannyam EOM dlya rozrahunkiv z aerodinamiki mehaniki fiziki Iz rozvitkom elektronno obchislyuvalnoyi tehniki teoriyi obchislyuvalnih sistem pochala zastosovuvatisya v galuzi ekonomiki j upravlinnya virobnictvom iz metoyu poshuku optimalnih rishen dzherelo Odnim z pershih hto uzyavsya za pobudovu matematichnoyi teoriyi obchislyuvalnih sistem buv Viktor Mihajlovich Glushkov Rozvitok teoriyi za Glushkovim spryamovanij za dvoma napryamami vinahid matematichnih konstrukcij sho adekvatno vidobrazhayut vlastivosti komponentiv elektronnih obchislyuvalnih mashin i sistemi u cilomu yaki mozhna bulo b vikoristovuvati yak modeli vidpovidnih komponentiv a takozh na stvorennya matematichnoyi tehniki yihnih transformacij z metoyu vidobrazhennya procesiv rishennya zadach proyektuvannya cih komponentiv z tim stupenem detalizaciyi sho dostupna vidpovidnij tehnologiyi vigotovlennya elektronnih obchislyuvalnih mashin Predmet vivchennya i zavdannyaPredmetom vivchennya disciplini ye obchislyuvalni sistemi Do osnovnih zavdan vidnosyat zavdannya optimalnogo sintezu sistem yake spryamovane na vibir sposobu pobudovi sistemi sho najkrashim chinom pristosovana dlya vikonannya zadanih funkcij zavdannya analizu yake stavit na meti yakisnu i kilkisnu ocinku vlastivostej riznih klasiv prikladnih zadach struktur i strategij upravlinnya obchislyuvalnimi procesami MetodiV teoriyi obchislyuvalnih sistem peredusim zastosovuyut analitichni chislovi ta eksperimentalni metodi a takozh metod optimizaciyi Sered chislovih metodiv zokrema pri pobudovi imitacijnih modelej najbilsh shiroko vikoristovuyetsya metod statistichnih viprobuvan napriklad metod Monte Karlo Matematichni osnoviDvijkova algebra Matematichna logika Diskretna matematika Teoriya grafiv Simvolichna logika Teoriya jmovirnosti Matematichna statistikaSumizhni oblastiProgramuvannya stosuyetsya napisannya komp yuternih program Informacijna bezpeka ce analiz ta realizaciya bezpeki informacijnih sistem syudi vhodit takozh kriptografiyaDiv takozhDiskretna sistema fr PrimitkiSergiyenko I V Kapitonova Yu V 1998 Arhiv originalu za 25 serpnya 2021 Procitovano 25 serpnya 2021 Teoriya paralelnih obchislen 12 travnya 2021 u Wayback Machine Metodichnij posibnik dlya studentiv specialnosti Programne zabezpechennya sistem V M Kocovskij Uzhgorod Vidavnictvo UzhNU Goverla 2015 S 9 Evreinov E V Horoshevskij V G Odnorodnye vychislitelnye sistemy Novosibirsk Nauka 1978 Obshaya harakteristika metodov teorii vychislitelnyh sistem Osnovy teorii vychislitelnyh sistem uchebnoe posobie dlya vuzov S A Majorov i dr M Vysshaya shkola 1978 S 12 20 23 24 27Dodatkova literaturaV M Glushkov O nekotoryh zadachah vychislitelnoj tehniki i svyazannyh s nimi zadachah matematiki Ukrainskij matematicheskij zhurnal 1957 t 9 4 s 369 376 ros Lazarovich I M Konspekt lekcij z disciplini Kompyuterni sistemi dlya studentiv napryamu pidgotovki Kompyuterna inzheneriya 24 sichnya 2022 u Wayback Machine I M Lazorovich Ivano Frankivsk Vidavnictvo Prikarpatskogo nacionalnogo universitetu imeni Vasilaya Stefanika 2014 190 s Salyga V I Osnovy teorii vychislitelnyh sistem ucheb posobie dlya vuzov po spec ASU pod red V I Salygi V I Salyga M F Bondarenko A E Kadackij i dr Harkov Visha shkola Izd vo pri Hark un te 1984 200 s il 22 sm Bibliogr s 194 197 ros Pospelov D A Vvedenie v teoriyu vychislitelnyh sistem M Sovetskoe radio 1972 280 s ros