раздзел інфарматыкі, які вывучае метады, спосабы і прыёмы мадэліравання і ўзнаўлення з дапамогай ЭВМ разумовай дзейнасці чалавека, звязанай з рашэннем розных задач. Асн. дастасаванні адносяцца да робататэхнікі і стварэння метадаў, сродкаў і тэхналогій праектавання камп’ютэрных сістэм спец. класа — інтэлектуальных сістэм (ІС).
Сфарміраваўся як навук. кірунак у пач. 1970-х г. на аснове дасягненняў псіхалогіі, біялогіі, медыцыны, нейрафізіялогіі, лінгвістыкі, семіётыкі, матэм. логікі, праграміравання, выліч. тэхнікі, стварэння баз ведаў, экспертных сістэм і інш.Асн. праблемы: мадэліраванне разважанняў, фарміраванне паняццяў, распазнаванне вобразаў (у т. л. зрокавых, гукавых), прагназаванне адаптацыі, вылічэнняў, творчасці і інш., а таксама рэалізацыя мадэлей гэтых працэсаў у ІС. Адрозненне ІС ад традыц. камп’ютэрных сістэм: магчымасць навучацца новым відам дзейнасці — знаходзіць рашэнне задачы без папярэдне зададзенага алгарытму, напр., карыстальнік дае патрэбнае заданне, а праграму для яго выканання ІС будуе сама.
Літ.:
Искусственный интеллект: Справ. Кн. 1—3. М., 1990.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КАКО́САВЫЯ АСТРАВЫ́ (Cocos Islands),
Кілінг астравы, група з 27 нізінных каралавых астравоў на У Індыйскага ак.; тэр. Аўстраліі. Пл. 14 км². Нас. 609 чал. (1996), пераважна малайцы. Клімат трапічны. Т-ра паветра на працягу года ад 21 да 32 °C. Ападкаў каля 2180 мм за год. На в-ве Уэст-Айленд міжнар. аэрапорт, які абслугоўвае трасы з Аўстраліі ў Афрыку і Паўд. Азію. Аснова эканомікі — абслугоўванне аэрапорта, сельская гаспадарка (какосавая пальма, агародніна), рыбалоўства.
Адарыў у 1609 англ. капітан У.Кілінг (ад яго другая назва астравоў). Пастаянныя пасяленні з 1826—27. У 1857 анексіраваны Вялікабрытаніяй, у 1878 перададзены пад кіраванне ўрада брыт. ўладання Цэйлон. У 1903 уключаны ў калонію Сінгапур. У 1955 перададзены пад кіраванне Аўстраліі. У выніку рэферэндуму (крас. 1984) жыхары астравоў выказаліся за далучэнне іх да Аўстраліі. Ген. асамблея ААН у снеж. 1984 прыняла рэзалюцыю, якая зацвярджае рашэнне насельніцтва астравоў.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
КО́ПНЫ СУД (ад капа — грамада),
суд сельскай і гарадской грамады на Беларусі, які разглядаў справы простых людзей. Збіраўся ў пэўных месцах — капавішчах, на майдане. Судаводства мела 2 формы: звычайную і гвалтоўную. Звычайная капа збіралася па ініцыятыве зацікаўленых асоб у загадзя вызначаныя тэрміны і месца. Суддзямі маглі быць усе гаспадары мясцовасці (найчасцей збіралася 10—20 чал.). Прысутнічалі прадстаўнікі дзярж. або панскай адміністрацыі (віж, возны). Пастанова суда не падлягала апеляцыі. Рашэнне К.с. магло быць скасавана, калі капа адбывалася не на сваім капішчы. Гвалтоўная капа склікалася адразу пасля ўчынення злачынства (забойства, напад і да т. п.), без вызначэння пэўнага месца збору. Уся капа разам ішла па «гарачым следзе» і ў выпадку затрымання вінаватага ў межах воласці выносіла прыгавор, магла пакараць нават смерцю. Калі злачынца ўцякаў у суседнюю воласць, усе страты ўскладаліся на яе жыхароў. Дзейнасць К.с. у Беларусі спынена ў 17—18 ст.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
«КО́СМАС»,
1) серыя савецкіх ШСЗ для навуковых, тэхнічных і інш. даследаванняў у каляземнай касм. прасторы. Запускаюцца з 16.3.1962.
Навук. праграма ўключае даследаванне касм. прамянёў, радыяцыйных паясоў Зямлі, іанасферы, сонечнай актыўнасці і выпрамянення Сонца, распаўсюджвання радыёхваль і інш. выпрамяненняў у атмасферы Зямлі; прадугледжвае таксама рашэннетэхн. праблем, звязаных з касм. палётамі: стыкоўку на арбіце, уваход касм. апарата ў атмасферу, арыентацыю ў космасе, жыццезабеспячэнне і ахову ад радыеактыўных выпрамяненняў, адпрацоўку элементаў канструкцыі і бартавых сістэм касм. апаратаў. Пры сумесным палёце «К.-186» і «К.-188» 30.10.1967 упершыню здзейснена аўтам. збліжэнне і стыкоўка на арбіце; пасля расстыкоўкі прадоўжаны іх аўтаномны палёт і праведзена пасадка.
2) Савецкія 2-ступеньчатыя ракеты-носьбіты, пры дапамозе якіх выводзяцца на арбіты ШСЗ «К.», «Інтэркосмас» і інш.
ШСЗ«Космас» для даследавання радыяцыйных паясоў Зямлі: 1 — сонечная батарэя; 2 — блок буферных батарэй; 3 — сістэма тэрмарэгулявання; 4 — блок абслуговай апаратуры; 5 — датчык месцазнаходжання спадарожніка; 6 — адсек навуковай апаратуры.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
МА́НЕРГЕЙМ ((Mannerheim) Карл Густаў Эміль) (16.6.1867, Вільняс, каля г. Турку, Фінляндыя — 28.1.1951),
фінскі дзярж. і ваен. дзеяч. Маршал Фінляндыі (1933), барон. Скончыў Гельсінгфорскі ун-т (1887) і Мікалаеўскае кав. вучылішча (Пецярбург). У 1889—1917 на службе ў рас. арміі, ген.-лейт. (1917). Удзельнік рус.-яп. і 1-й сусв. войнаў. У снеж. 1918 — ліп. 1919 рэгент Фінляндыі. З 1931 старшыня Савета абароны краіны, намагаўся ўзмацніць абарончую моц Фінляндыі, у т. л. з дапамогай фартыфікацыйных збудаванняў і загарод (гл.«Манергейма лінія»). З 1939 галоўнакамандуючы фін. арміяй, дзеяннямі якой кіраваў у савецка-фінляндскую вайну 1939—40, а таксама ў 1941—44 у 2-ю сусв. вайну як саюзнік фаш. Германіі. У 1944—46 прэзідэнт Фінляндыі. У вер. 1944 прыняў рашэнне аб выхадзе краіны з Берлінскага пакта 1940 і з вайны. Аўтар кн. «Праз Азію з Захаду на Усход» (1940), мемуараў (1951).
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АПЕРАЦЫ́ЙНАЕ ЗЛІЧЭ́ННЕ,
метад аналізу матэматычнага, які дае магчымасць зводзіць рашэнне складаных матэм. задач да больш простых. У аснову закладзена замена па пэўных правілах зададзеных функцый (арыгіналаў) 𝑓(t) інш. функцыямі (вобразамі) камплекснай пераменнай F(s); пры гэтым аперацыя дыферэнцавання пераходзіць у аперацыю множання на s, інтэгравання — дзялення на s, дыферэнцыяльныя і інтэгральныя ўраўненні — у алг. ўраўненні і інш.
Англ. вучоны О.Хевісайд прапанаваў у 1892 фармальныя правілы карыстання аператарам p=d/dt і некаторымі функцыямі гэтага аператара, з дапамогай чаго вырашыў шэраг задач электрадынамікі. Абгрунтаванне аперацыйнага злічэння праводзіцца на аснове інтэгральнага Лапласа пераўтварэння. Аперацыі знаходжання вобразаў па арыгіналах (і наадварот) забяспечаны спец. табліцамі. Найбольш агульныя вынікі аперацыйнага злічэння атрыманы на аснове тэорыі абагульненых функцый. Далейшае развіццё ідэі аперацыйнага злічэння атрымалі ў функцыянальным злічэнні аператараў, сімвалічным злічэнні псеўдадыферэнцыяльных аператараў. Распрацаваны абагульненні аперацыйнага злічэння на аснове пераўтварэнняў Фур’е і Меліна; для інш. дыферэнцыяльных аператараў.
Літ.:
Диткин В.А., Прудников А.П. Интегральные преобразования и операционное исчисление. 2 изд. М., 1974.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
АПТЫМІЗА́ЦЫІ ЗАДА́ЧЫ І МЕ́ТАДЫ,
раздзел матэматыкі, у якім вывучаюцца ўласцівасці розных класаў задач, што грунтуюцца на выбары сярод некаторага мноства найлепшага з дазволеных рашэнняў (аптымізацыйныя задачы). Кожная задача ўключае фармальнае апісанне мноства рашэнняў і крытэрыяў аптымальнасці. У залежнасці ад інфармаванасці асобы, што прымае рашэнне, задачы бываюць дэтэрмінаваныя (адзіны інфарм. стан), нявызначаныя (мноства інфарм. станаў; звычайна разглядаюцца ў гульняў тэорыі) і стахастычныя (кожны з мноства інфарм. станаў мае пэўную імавернасць); у залежнасці ад уласцівасцяў мноства рашэнняў і крытэрыяў аптымальнасці выбару — аднакрытэрыяльныя (патрабаванні мінімізацыі або максімізацыі адной мэтавай функцыі) і многакрытэрыяльныя (некалькіх мэтавых функцый). Могуць быць зададзены і спецыфічныя суадносіны перавагі адных рашэнняў перад інш. магчымымі. Матэм. асновай распрацоўкі лікавых метадаў аптымізацыі з’яўляюцца матэм. аналіз, лінейная алгебра, тэорыя імавернасцяў і інш. Для рашэнняў аптымізацыйных задач распрацаваны шэраг пакетаў праграм.
Літ.:
Габасов Р., Кириллова Ф.М. Методы оптимизации. 2 изд. Мн., 1981;
Васильев Ф.П. Численные методы решения экстремальных задач. 2 изд. М., 1988;
Карманов В.Г. Математическое программирование. 3 изд. М., 1986.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
БЕЛАРУ́СКАЯ РЭВАЛЮЦЫ́ЙНАЯ АРГАНІЗА́ЦЫЯ (БРА),
нелегальная рэвалюцыйна-дэмакр.арг-цыянац.-вызв. характару ў Зах. Беларусі ў 1922—23. Вылучылася ў пач. 1922 з левага крыла Беларускай партыі сацыялістаў-рэвалюцыянераў і ў ліп. 1922 аформілася ў самаст. арг-цыю. У шэрагу дакументаў называлася Бел.рэв. партыя, Бел.камуніст. партыя. Арг-цыі БРА існавалі ў Вільні, Навагрудку, Пружанах, Баранавічах, Слоніме, Нясвіжы, Нова-Свянцянску, Лідзе, Валожыне, Свіслачы, Ваўкавыску і аб’ядноўвалі каля 300 чл. (1923); мела некалькі соцень спачуваючых. У ЦК БРА уваходзілі П.Корчык (І.К.Лагіновіч), А.У.Канчэўскі, Л.І.Родзевіч (А.Сталевіч), А.Р.Капуцкі. Друкаваны орган — газ.«Вольны сцяг». БРА стаяла на пазіцыях класавай барацьбы, падтрымлівала дыктатуру пралетарыяту, выступала за канфіскацыю памешчыцкай зямлі, сац. і нац. вызваленне працоўных, уз’яднанне Зах. Беларусі з БССР. Знаходзілася ў пастаянным кантакце з ЦККамуніст. рабочай партыі Польшчы. Прызнаўшы асн. праграмныя і тактычныя прынцыпы Кампартыі, 30.12.1923 прыняла рашэнне пра самароспуск і ўступленне ў КПЗБ.
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ГАЛУА́ ТЭО́РЫЯ,
тэорыя, якая вывучае ўласцівасці алгебраічных ураўненняў віду xn+a1xn-1 + ... + an=0 і іх рашэнне пры дапамозе груп тэорыі.
Падрыхтавана працамі Ж.Лагранжа, К.Гаўса, Н.Абеля. Створана Э.Галуа. Ставіць у адпаведнасць алг. ўраўненню яго групу Галуа, якая складаецца з тых падстановак каранёў, што захоўваюць усе рацыянальныя суадносіны паміж каранямі і каэфіцыентамі ўраўнення. Галуа тэорыя дае неабходную і дастатковую ўмову вырашальнасці ўраўнення ў радыкалах. У прыватнасці, з яе вынікае, што алг. ўраўненні ступені вышэй за 4-ю ў агульным выпадку невырашальныя ў радыкалах. У сучасным разуменні Галуа тэорыя — тэорыя, якая вывучае матэм. аб’екты праз іх групы аўтамарфізмаў. Напр., існуюць Галуа тэорыі палёў, кольцаў, тапалагічных прастораў і інш. Ідэі і метады Галуа тэорыі выкарыстоўваюцца ў тэорыі аналітычных функцый, тапалогіі, тэорыі дыферэнцыяльных ураўненняў і інш.
Літ.:
Чеботарев Н.Г. Основы теории Галуа. Т. 1—2. М.; Л., 1934—37;
Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)
ДЫЯФА́НТАВЫ НАБЛІЖЭ́ННІ,
раздзел лікаў тэорыі, у якім вывучаецца рашэнне ў цэлых ліках лінейных і нелінейных няроўнасцей ці сістэм няроўнасцей з рэчаіснымі каэфіцыентамі. У прыватнасці, вывучаюцца набліжэнні рэчаісных лікаў рацыянальнымі. Названы ў гонар Дыяфанта.
Напр., для адвольнага рэчаіснага ліку α няроўнасць |α − p/q| < q−2 мае бясконца шмат рашэнняў у цэлых ліках p і q (ням. матэматык П.Дзірыхле), аднак няроўнасць |β − p/q| < c(β)q−n пры пэўным значэнні c(β) не мае рашэнняў у алгебраічных ліках β ступені n (франц. матэматык Ж.Ліувіль). З апошняй тэарэмы вынікае трансцэндэнтнасць лікаў тыпу
Д.н. маюць шмат дастасаванняў у розных раздзелах матэматыкі. Значны ўклад у развіццё Д.н. зрабілі ням. матэматык Г.Мінкоўскі, англ. матэматыкі К.Рот і А.Бейкер, сав. матэматык А.В.Гельфанд, бел. матэматык У.Г.Спрынджук.
Літ.:
Виноградов И.М. Метод тригонометрических сумм в теории чисел. 2 изд. М., 1980;