Verbum

ВЫЛІЧА́ЛЬНАЯ СІСТЭ́МА,

сукупнасць сродкаў вылічальнай тэхнікі і праграмнага забеспячэння, прызначаная для рашэння пэўнага класа задач. Бывае адна- і многапрацэсарная (функцыі працэсара могуць выконваць асобныя вылічальныя машыны). Па прызначэнні вылічальныя сістэмы адрозніваюць спецыялізаваныя і універсальныя; па складзе працэсараў — аднародныя і неаднародныя; паводле тыпу сувязей — з інфармацыйна звязанымі працэсарамі, звязанымі толькі па кіраванні і з сувязямі абодвух тыпаў. Вылічальная сістэма ўключаецца непасрэдна ў контур збору інфармацыі, яе апрацоўкі і выдачы кіроўных уздзеянняў ці інфармацыі для прыняцця рашэнняў. Для сучасных вылічальных сістэм характэрны дыялогавы рэжым (зносіны гукаслыхавыя і зрокавыя); паралельная апрацоўка патокаў інфармацыі; праграмаванне на мовах высокага ўзроўню, блізкіх да натуральных; значны ўзровень штучнага інтэлекту і інш.

Да аднапрацэсарнай вылічальнай сістэмы адносіцца ЭВМ «Мінск-32» (гл. Вылічальная машына «Мінск»), якая забяспечвае выкананне адначасова да 4 рабочых праграм; да яе «павольнага» канала сувязі можна далучыць да 104 вонкавых прылад, да «хуткага» — да 32 накапляльнікаў інфармацыі на магн. барабанах, дысках, стужках і інш. Многапрацэсарная вылічальная сістэма мае не менш як 2 працэсары (або выліч. машыны): адзін з іх (асн.) выконвае вылічэнні, прадугледжаныя алгарытмам задачы, астатнія (дапаможныя) апрацоўваюць інфармацыю, не прадугледжаную асн. алгарытмам, выконваюць неасн. вылічэнні і інш. Аднародныя вылічальныя сістэмы характарызуюцца ідэнтычнасцю ўсіх працэсараў, напр., 3-машынная вылічальная сістэма «Мінск-222» (складаецца з машын «Мінск-2» і «Мінск-22»), вылічальная сістэма «Эльбрус» характарызуецца размеркаваным кіраваннем, агульнай памяццю і універсальнай сістэмай сувязей паміж працэсарамі. Найб. цяжкім рэжымам работы спецыялізаваных вылічальных сістэм з’яўляецца рэжым рэальнага часу, калі вылічэнні адбываюцца ў тэмпе, які забяспечвае пэўны вонкавы працэс, напр. у сістэмах кантролю і кіравання тэхнал. працэсамі, лятальнымі апаратамі, інш. трансп. сродкамі. Гл. таксама Электронная вылічальная машына, Вылічальны цэнтр.

Літ.:

Илюкович А.А., Свирид Г.П. Основы вычислительных систем. Мн., 1983.

М.​П.​Савік.

т. 4, с. 312

ІВАНО́Ў (Аляксандр Васілевіч) (19.2.1919, Масква — 24.12.1964),

бел. матэматык. Д-р тэхн. н. (1958), праф. (1962). Скончыў Маскоўскі пед. ін-т (1941). З 1957 у Ін-це энергетыкі, з 1959 у Ін-це матэматыкі і выліч. тэхнікі АН БССР. Адначасова выкладаў у БДУ. Навук. працы па аналіт. тэорыі цеплаправоднасці, канечных інтэгральных пераўтварэннях, аперацыйным вылічэнні.

Тв.:

Операционный метод в задачах теплопроводности и тепло- и массопереноса // Теплофизика в литейном производстве. М., 1963.

т. 7, с. 150

АСТРАНАМІ́ЧНЫЯ ПАСТАЯ́ННЫЯ,

універсальныя параметры, якія характарызуюць арбіты, масы, памеры, форму, арыентацыю і рух касмічных целаў. Вызначаюцца са шматлікіх астр. назіранняў, некаторыя — тэарэтычна.

Сістэма астранамічных пастаянных уключае: 2 вызначальныя (гаўсава гравітацыйная пастаянная k = 0,017202009895, скорасць святла ў вакууме c = 299792458 м/с), 9 асноўных (напр., гравітацыйная пастаянная Ньютана-Кавендыша G = 6,6720∙10​⁻¹¹ м³/кг∙с, экватарыяльны радыус Зямлі a_e = 6378140 м і інш.), шэраг вытворных пастаянных (напр., астранамічная адзінка A = 1,49597870∙10​¹¹ м, пастаянная аберацыі x = 20,49552 і інш.), а таксама масы і экватарыяльныя радыусы вял. планет і Сонца. Астранамічныя пастаянныя выкарыстоўваюцца пры рашэнні задач дынамікі Сонечнай сістэмы, дастасавальных задач геадэзіі, картаграфіі, касманаўтыкі, навігацыі, вылічэнні эфемерыд, апрацоўцы астр. назіранняў у адзінай сістэме каардынат.

В.​К.​Абалакін.

т. 2, с. 52

ІНТЭГРА́Л (ад лац. integer цэлы),

адно з асн. паняццяў матэматыкі. Узнікла ў сувязі з неабходнасцю рашаць задачы аб узнаўленні функцыі па зададзенай вытворнай (напр., задача адшукання закону руху матэрыяльнага пункта ўздоўж прамой па зададзенай скорасці руху гэтага пункта) і аб вылічэнні плошчаў, аб’ёмаў, работы сілы за зададзены прамежак часу і інш. Гэтыя задачы прыводзяць да паняццяў нявызначанага інтэграла і вызначанага інтэграла. Вывучэнне ўласцівасцей і спосабаў вылічэння розных відаў І. — задача інтэгральнага злічэння. У працэсе развіцця матэматыкі і пад уплывам патрабаванняў прыродазнаўства і тэхнікі паняцце І. ўдакладнялася, змянялася і абагульнялася. Гл. таксама Няўласны інтэграл, Кратны інтэграл, Крывалінейны інтэграл, Паверхневы інтэграл.

Літ.:

Курс вышэйшай матэматыкі. [Ч. 2] Мн., 1997;

Гусак А.А. Высшая математика. Т. 1—2. 2 изд. Мн., 1983—84.

А.​А.​Гусак.

т. 7, с. 279

ІНТЭГРАВА́ННЕ ў матэматыцы,

аперацыя знаходжання інтэграла па пэўных правілах; знаходжанне рашэння дыферэнцыяльнага ўраўнення. Бывае аналітычнае, графічнае (гл. Графічныя вылічэнні) і лікавае (гл. Лікавае інтэграванне, Лікавыя метады).

Асн. метады аналітычнага І.: непасрэднае І., замена пераменнай і І. па частках. Непасрэднае І. [вылічэнне нявызначанага інтэграла ∫𝑓(x)dx] — аперацыя, адваротная дыферэнцаванню: знайсці функцыю F(x), вытворная ад якой роўная зададзенай функцыі 𝑓(x). Пры гэтым ∫[𝑓_i(x) + 𝑓₂(x) + ... + 𝑓_n(x)]dx = 𝑓₁(x)dx + ∫𝑓₂(x)dx + ... + ∫𝑓_n(x)dx. Вызначаны інтэграл у выпадку неперарыўнай 𝑓(x) і элементарнай F(x) вылічваецца па формуле Ньютана—Лейбніца: ∫𝑓(x)dx = F(b) − F(a). Для складанай функцыі 𝑓(x), дзе x = g(t) — дыферэнцавальная функцыя, выкарыстоўваецца метад замены пераменнай (метад падстаноўкі): ∫𝑓(x)dx = ∫𝑓[g(t)]g(t)dt. Метад І. па частках; калі u = u(x) і v = v(x) — дыферэнцавальныя функцыі, то ∫udv = uv + ∫vdu.

А.​А.​Гусак.

т. 7, с. 279

РАЗРЫ́ЎНЫЯ ФУ́НКЦЫІ,

функцыі, якія ў некаторых пунктах (пунктах разрыву) не з’яўляюцца неперарыўнымі функцыямі. Узнікаюць пры інтэграванні па параметры элементарных функцый, вылічэнні сумы функцыянальных (напр., трыганаметрычных) радоў, задачах аптымальнага кіравання і інш.

Пункт разрыву (ПР) x₀ функцыі ƒ(x) наз. ПР 1-га роду, калі існуюць лева- і правабаковы ліміты ƒ(x) у гэтым пункце. Іншыя ПР наз. ПР 2-га роду. Напр., пункт x₀=1 — ПР 1-га роду для функцыі ƒ(x)=0 пры x ≤ 1 і ƒ(x)=1 пры x > 1; пункт x₀=0 — ПР 2-га роду для функцыі ƒ(x)=sin(1/x). Мноства ПР можа мець складаную структуру. Існуюць Р.ф. ў кожным пункце, напр., функцыя Дырыхле: ƒ(x)=0, калі x — ірацыянальны лік, і ƒ(x)=1, калі x — рацыянальны лік.

А.​І.​Гусак.

т. 13, с. 264

ДВАЙНО́ГА АДМАЎЛЕ́ННЯ ЗАКО́Н,

закон логікі, паводле якога адмаўленне адмаўлення (г.зн. паўторанае двойчы адмаўленне) дае сцвярджэнне. Напр.: «Калі няправільна, што сусвет не з’яўляецца бясконцым, то ён бясконцы». Гэты закон вядомы з часоў антычнасці. Стараж.-грэч. філосафы Зянон Элейскі і Горгій выкладалі яго так: калі з адмаўлення якога-н. выказвання выходзіць супярэчнасць, то мае месца двайное адмаўленне зыходнага выказвання, г.зн. яно само. Д.а.з. запісваецца ў вылічэнні выказванняў сучаснай матэм. логікі наступным чынам: a→A, што чытаецца так: «двайное адмаўленне a мае вынікам A′» (знак → — знак імплікацыі, які адпавядае злучніку «калі, то»). Другі закон логікі, які гаворыць аб магчымасці не здымаць, а ўводзіць 2 адмаўленні, называюць зваротным Д.а.з.; двайное сцвярджэнне мае вынікам сваё двайное адмаўленне. Напр.: «Калі Шэкспір пісаў санеты, то няпраўда, што ён не пісаў санеты». Аб’яднанне гэтых 2 законаў дае поўны Д.а.з.: двайное адмаўленне раўназначна сцвярджэнню. Напр.: «Планеты не нерухомыя толькі ў тым выпадку, калі яны рухаюцца».

т. 6, с. 74