ГАА́ГСКІЯ КАНВЕ́НЦЫІ,

1) міжнародныя пагадненні аб нормах права ва ўзброеных канфліктах (раней наз. законы і звычаі вайны), правах і абавязках нейтральных краін, шляхах мірнага вырашэння міжнар. спрэчак, прынятыя на 1-й і 2-й мірных канферэнцыях у Гаазе ў 1899 і 1907.

1-я Гаагская канферэнцыя (1899, 27 дзяржаў-удзельніц) прыняла 3 канвенцыі (пра мірнае вырашэнне міжнар. спрэчак; пра законы і звычаі сухапутнай вайны; пра дастасаванне да марской вайны асноў Жэнеўскай канвенцыі 10.8.1864), а таксама 3 дэкларацыі.

2-я Гаагская канферэнцыя (1907, 44 дзяржавы-ўдзельніцы) прыняла 13 канвенцый: пра мірнае вырашэнне міжнар. спрэчак; пра абмежаванне выпадкаў выкарыстання сілы для спагнання па дагаворных даўгавых абавязацельствах; пра адкрыццё ваен. дзеянняў; пра законы і звычаі сухапутнай вайны; аб правах і абавязках нейтральных дзяржаў і асоб у сухапутнай вайне; пра становішча варожых гандл. суднаў пры адкрыцці ваен. дзеянняў; пра ператварэнне гандл. суднаў у ваенныя; пра ўстаноўку аўтам. кантактных падводных мін; пра бамбардзіроўку марскімі сіламі ў час вайны; пра дастасаванне да марской вайны асноў Жэнеўскай канвенцыі 10.8.1864; пра некаторыя абмежаванні ў карыстанні правам захопу ў марской вайне; пра заснаванне міжнар. прызавога суда; аб правах і абавязках нейтральных краін у марской вайне.

Гаагскія канвенцыі адыгралі значную ролю ў міжнар.-прававой рэгламентацыі правіл вядзення вайны.

2) Канвенцыя 1954 пра абарону культ. каштоўнасцей у час узбр. канфлікту — міжнар. шматбаковае пагадненне, якое абавязвае дзяржавы паважаць і захоўваць у час ваен. дзеянняў культ. каштоўнасці, забараняе іх вываз з акупіраваных тэрыторый.

3) Канвенцыі па міжнар. прыватным праве 1902—05, 1951, 1956, 1961 і інш.

т. 4, с. 407

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

Прыла́дзіць ’прымацаваць, прырабіць; падрыхтаваць; падагнаць’ (Нас., ТСБМ), прыла́дзіць, пріла́дзіць ’тс’ (Бяльк.); сюды ж прыла́дзісты ’зручны ва ўжыванні, спрытны’ (Нас.) і аддзеяслоўныя назоўнікі прыла́да ’прыстасаванне, прыбор, механізм’ (Гарэц., Ласт., Байк. і Некр., Яруш., Бяльк., ТСБМ), таксама вытворныя: прыла́дак ’прыбор’ (ТСБМ), пріла́дка ’дастасаванне’ (Бяльк.), зборн. прыла́ддзе ’прылады’ (Нар. Гом.). Да ла́дзіць (гл.). Рус. дыял. прила́дить ’зрабіць, прыгатаваць’, укр. прила́дити ’прыладзіць’.

Этымалагічны слоўнік беларускай мовы (1978-2017)

Апліка́цыя ’ўзор, малюнак, створаны шляхам наклёпвання ці прышывання рознакаляровых кавалачкаў паперы, матэрыі і інш.’ (БРС); ’навучанне пісарскай справе’, аплікант ’практыкант пры адвакаце ці землямеры’, аплікавацца (Нас., Гарэц.). Крыніца: лац. applicatio ’прыяднанне’. З лацінскай у старапольскую мову са значэннем ’дастасаванне, перадача’, aplikować прадаваць, прысвойваць’. Ст.-бел. aplikacya ў значэнні ’вучэнне’ і ’прымяненне, дастасаванне’ (Гарб.). Ст.-укр. апплѣковати ’прыкладаць’ з XVII ст. Гэта значэнне як устарэлае фіксуецца ў сучаснай польскай мове; развіццём яго тлумачыцца і ’практычнае навучанне’, а таксама слова aplikant. Таму бел. аплікацыя ў другім значэнні (цяпер устар.) можна лічыць засвоеным праз польскую мову ці паралельна з польскай. Параўн. для рускай сцвярджэнне Шанскага, 1, А, 131, аб запазычанні рус. аппликация ў старых значэннях з польскай у Пятроўскую эпоху. Сучаснае літаратурнае значэнне, магчыма, запазычана з рускай (Крукоўскі, Уплыў, 76), дзе яно фіксуецца з XIX ст. (ССРЛЯ); у такім значэнні слова фіксуецца ў Дарашэўскага з прыкладамі сярэдзіны XX ст.

Этымалагічны слоўнік беларускай мовы (1978-2017)

ПРАЕ́КТНА-ТЭХНАЛАГІ́ЧНАЕ ПРАДПРЫЕ́МСТВА «БЕЛГАНДАЛЬСІСТЭ́МА» Міністэрства гандлю Рэспублікі Беларусь.

Засн. ў 1973 у Мінску на базе Бел. філіяла Усесаюзнага аб’яднання «Саюзгандальсістэма» як Бел. праектна-тэхнал. ін-т Усесаюзнага праектна-тэхнал. і вытв. аб’яднання па ўкараненні аўтаматызаваных сістэм кіравання (АСК) гандлем Мін-ва гандлю СССР. З 1978 БелгандальАСКпраект Мін-ва гандлю БССР. З 1981 Праектна-тэхнал. ін-т па распрацоўцы, укараненні і эксплуатацыі аўтаматызаваных сістэм кіравання гандлем (ПТІ «Белгандальсістэма»). З 1997 Праектна-тэхнал. дзярж. прадпрыемства, з 2000 — рэсп. унітарнае. Асн. кірункі дзейнасці: распрацоўка праектнай дакументацыі і ўкараненне аўтаматызаваных сістэм кіравання (комплексаў задач) на прадпрыемствах і ў арг-цыях гандлю, грамадскага харчавання і інш.; аказанне ўлікова-вылічальных, інфарм. і паліграфічных паслуг; стварэнне і падтрымка ў рабочым стане галіновай інфарм. камп’ютэрнай сеткі «Гандальсетка», суправаджэнне (адаптацыя, дастасаванне да мясц. умоў і інш.) праграмнага забеспячэння, абслугоўванне тэхн. сродкаў; абагульненне навукова-тэхн. дасягненняў у галіне вылічальнай тэхнікі і ўкараненне іх у арг-цыях і прадпрыемствах гандлю і грамадскага харчавання Беларусі.

В.​А.​Шкандзяюк.

т. 12, с. 540

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

БУ́ЛЕВА А́ЛГЕБРА,

апарат сімвалічнай логікі; сукупнасць аб’ектаў з аперацыямі алгебры логікі, якія падпарадкаваны пэўным аксіёмам. Прапанавана Дж.Булем для аналізу рэлейных схем. Знайшла дастасаванне ў тапалогіі, тэорыі імавернасцей і інш. раздзелах матэматыкі. У аксіёмах булева алгебры адлюстравана аналогія паміж паняццямі «мноства», «падзея», «выказванне». Асн. паняцці булева алгебры: логікавая (булева) функцыя, элементарная логікавая функцыя, функцыйна поўная сістэма логікавых функцый, мінімізацыя булевых функцый.

Логікавая функцыя n булевых аргументаў прымае значэнні 0 і 1, азначаецца праўдзіваснай табліцай або аналітычнай залежнасцю ад элементарных логікавых функцый. Вызначана 16 элементарных функцый: кан’юнкцыі (логікавае множанне; аперацыя «І»), дыз’юнкцыі (складанне; «АБО»), інверсіі (адмаўленне; «НЕ»), эквівалентнасці (тоеснасць), складання па модулі 2 (выключальнае «АБО») і інш. Функцыйна поўная сістэма логікавых функцый — сукупнасць функцый, дастатковая для выражэння логікавай функцыі любой складанасці, напр., аперацыя Пірса, аперацыя Шэфера. Мінімізацыя логікавых функцый праводзіцца з мэтай упарадкавання і спрашчэння складаных функцый з дапамогай аксіём булева алгебры, картаў Карно, метадаў Квайна і Мак-Класкі і інш.

Булева алгебра з’яўляецца логікавай асновай функцыянальнай арганізацыі лічбавых ЭВМ; элементарныя логікавыя функцыі рэалізаваны ў спец. інтэгральных мікрасхемах для ЭВМ.

Літ.:

Янсен Й. Курс цифровой электроники: Пер. с голланд.: В 4 т. Т. 1. М., 1987.

А.​С.​Кабайла.

т. 3, с. 330

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

КВАНТАВА́ННЕ,

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

К. ўведзена ў фізіку М.Планкам (1900), які выказаў меркаванне, што энергія асцылятара з частатой ваганняў ν можа мець толькі дыскрэтны шэраг значэнняў E = nhν, дзе h — Планка пастаянная. Дастасаванне гэтых суадносін да планетарнай мадэлі атама прывяло да К. энергіі атама вадароду (Н.​Бор, 1913; гл. Бора тэорыя). А.​Зомерфельд (1915) абагульніў умовы К. на больш складаныя выпадкі, што дазволіла распрацаваць метады разліку атамных спектраў. Да стварэння квантавай механікі К. мела характар некат. спец. правіл. У квантавай механіцы К. ўзнікае як вынік агульных матэм. патрабаванняў, якім падпарадкоўваюцца яе ўраўненні. З Шродынгера ўраўнення для электрона ў атаме вадароду вынікае, што для электрона магчымыя толькі некат. дыскрэтныя ўзроўні энергіі. Пад К. разумеюць таксама працэдуру замены суадносін паміж класічнымі фіз. велічынямі на суадносіны паміж адпаведнымі аператарамі.

Літ..: Шпольский Э.В. Атомная физика. Т. 1. М., 1984; Борн М. Атомная физика: Пер. с англ. 3 изд. М., 1970; Гольдин Л.Л., Новикова Г.И. Введение в квантовую физику. М., 1988.

Л.​М.​Тамільчык.

т. 8, с. 207

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

РАДЫЁАСТРАНО́МІЯ,

раздзел астраноміі, які вывучае нябесныя целы па іх радыёвыпрамяненні. Узнікненне Р. звязана з адкрыццём радыёвыпрамянення нашай Галактыкі на хвалі 14,7 м (1931, амер. радыёінж. К.​Янскі). Паводле аб’ектаў даследавання Р. падзяляюць на галактычную (вывучае аб’екты нашай Галактыкі) і пазагалактычную. Аб’ектамі даследавання з’яўляюцца Сонца (гл. Радыёвыпрамяненне Сонца), міжпланетнае асяроддзе, міжзорнае асяроддзе. Метадамі Р. адкрыты новыя віды крыніц касм. эл.-магн. выпрамянення: у нашай Галактыцы — рэшткі звышновых зорак (напр., Крабападобная туманнасць), пульсары, вобласці вадароду HII і інш., пазагалактычныя — радыёгалактыкі, квазары, а таксама рэліктавае выпрамяненне.

Касм. радыёвыпрамяненне даследуюць пры дапамозе радыётэлескопаў, высокая адчувальнасць і раздзяляльная здольнасць якіх перавышаюць магчымасці аптычных тэлескопаў. На аснове буйных радыётэлескопаў створана глабальная радыёінтэрферэнцыйная сетка (раздзяленне вышэй за 0,001"). Дыяпазон наземных радыёастр. назіранняў вызначаецца празрыстасцю зямной атмасферы (даўж. хваль ад 1 мм да 30 м); для радыётэлескопаў на ШСЗ гэты дыяпазон значна шырэйшы. Вымяральнай велічынёй у Р. з’яўляецца прырашчэнне колькасці выпрамянення пры навядзенні радыётэлескопа на аб’ект. Радыёвыпрамяненне касм. аб’ектаў вызначаецца механізмам выпрамянення, умовамі генерацыі і распаўсюджвання радыёхваль, энергіяй выпраменьвальных часціц і магн. поля. Неперарыўнае выпрамяненне касм. крыніц абумоўлена сінхратронным і цеплавым механізмам (гл. Сінхратроннае выпрамяненне, Цеплавое выпрамяненне), выпрамяненне ў вузкіх лініях — пераходамі паміж узроўнямі энергіі атамаў і малекул. Устаноўлена, што працяглыя кампаненты крыніц радыёвыпрамянення, звязанага з радыёгалактыкамі, — гэта намагнічаныя воблакі разрэджанага газу, напоўненыя касмічнымі прамянямі. Р. мае практычнае дастасаванне ў навігацыі, пасіўнай лакацыі, антэннай тэхніцы і інш. Гл. таксама Радыёлакацыйная астраномія.

Літ.:

Галактическая и внегалактическая радиоастрономия: Пер. с англ. М., 1976;

Матвеенко Л.И. Радиоастрономия. М., 1977 (Астрономия. Т. 13);

Апушкинский Г.П. Методы радиоастрономии. Л., 1979.

А.​А.​Шымбалёў.

т. 13, с. 230

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

приложе́ние ср.

1. (действие) прыклада́нне, -ння ср., прыкла́дванне, -ння ср.; дастасава́нне, -ння ср., дастасо́ўванне, -ння ср., дапасо́ўванне, -ння ср., прымяне́нне, -ння ср.; см. приложи́ть​ 1, 4;

2. (то, что является добавлением к чему-л.) дада́так, -тку м.;

3. грам. прыда́так, -тка м.

Руска-беларускі слоўнік НАН Беларусі, 10-е выданне (2012, актуальны правапіс)

фо́рмула, ‑ы, ж.

1. Дакладнае вызначэнне якога‑н. агульнага палажэння, закона і пад., якое мае дастасаванне да ўсіх прыватных выпадкаў. Задача вучоных — устанавіць формулы законаў прыроды. □ Вульгарна-сацыялагічныя формулы знешне выходзілі з прызнання заканамернасці развіцця пралетарскай літаратуры як вядучага, пануючага напрамку. Перкін. // Кароткае і дакладнае выказванне, азначэнне чаго‑н. Паэт дае формулу .. барацьбы: «Стрэльбы, хлопчыкі, бяры». Лужанін. // Устаноўлены нязменны тэкст чаго‑н.; прадвызначаная кіруючая ідэя. Асноўным прынцыпам першай фазы камунізма з’яўляецца формула: «Ад кожнага па яго здольнасцях, кожнаму — па яго працы». Лушчыцкі.

2. Умоўнае абазначэнне адносін якіх‑н. велічынь, элементаў і пад., якое складаецца з літар, лічбаў, знакаў. Алгебраічная формула. Хімічная формула. □ [Марынка] схілілася над сшыткамі, паволі ўваходзячы ў знаёмы свет формул і вывадаў. Хадкевіч. Адноснасць руху, Адноснасць часу, Энергію праменьчыка і масы Мы ў формулы загналі, Як у сеці. Грачанікаў.

[Ад лац. formula — форма, правіла, палажэнне.]

Тлумачальны слоўнік беларускай мовы (1977-84, правапіс да 2008 г.)

АРЫФМЕ́ТЫКА (ад грэчаскага arithmos лік),

навука, галоўны аб’ект якой цэлыя, рацыянальныя лікі і дзеянні над імі. Узнікла ў старажытныя часы з практычных патрэб чалавека лічыць і вымяраць. Для падліку вялікай колькасці аб’ектаў створаны сістэмы лічэння. Найбольш зручная дзесятковая сістэма лічэння; існуюць таксама сістэмы лічэння з асновамі 5, 12, 20, 40, 60 і нават 11 (Новая Зеландыя). З пашырэннем вылічальнай тэхнікі выкарыстоўваецца двайковая сістэма лічэння.

Да пачатку нашай эры былі атрыманы дастаткова глыбокія вынікі: даказана бесканечнасць мноства простых лікаў, несувымернасць стараны квадрата і яго дыяганалі (па сутнасці доказ ірацыянальнасці ліку √2), створаны алгарытм выяўлення агульнай меры двух адрэзкаў і найбольшага агульнага дзельніка, Піфагорам знойдзены агульны выгляд цэлалікавых катэтаў і гіпатэнузы прамавугольных трохвугольнікаў, значны ўплыў на развіццё арыфметыкі зрабіў Архімед. Фундаментальнае значэнне арыфметыкі як навукі стала зразумелым у канцы 17 стагоддзя ў сувязі з далучэннем да яе паняцця ірацыянальнага ліку. Развіццё апарату сувязяў паміж гэтымі лікамі і іх рацыянальнымі набліжэннямі (у прыватнасці, дзесятковымі), а таксама вынаходства і дастасаванне лагарыфмаў (шатландскі матэматык Дж.​Непер) значна пашырылі тэматыку даследаванняў. Шматлікія пытанні знайшлі вырашэнне ў лікаў тэорыі. Спроба Г.Грасмана аксіяматычнай пабудовы арыфметыкі (сярэдзіна 19 стагоддзя) завершана італьянскім матэматыкам Дж.​Пеана ў выглядзе 5 аксіём: 1) адзінка ёсць натуральны лік; 2) наступны за натуральным лікам ёсць таксама натуральны лік; 3) у адзінкі няма папярэдняга натуральнага ліку; 4) калі натуральны лік a стаіць за натуральным лікам b і за натуральным лікам c, то b і c тоесныя; 5) калі якое-небудзь сцвярджэнне даказана для адзінкі і калі з дапушчэння, што яно праўдзівае для натуральнага ліку n, вынікае, што яно выконваецца і для наступнага за n натуральнага ліку, то гэта сцвярджэнне справядліва для адвольнага натуральнага ліку (аксіёма поўнай матэматычнай індукцыі). Па-за прапанаванай сістэмай аксіём застаюцца многія пытанні, у якіх вывучаецца ўся бесканечная сукупнасць натуральных лікаў, што патрабуе даследавання несупярэчлівасці адпаведнай сістэмы аксіём і больш дэталёвага аналізу сэнсу сцвярджэнняў, якія вынікаюць з яе. Як навука арыфметыка часам атаясамліваецца з тэорыяй лікаў.

Літ.:

История математики с древнейших времен до начала XIX столетия. Т. 1—3. М., 1970—72. Депман И.Я. История арифметики. 2 изд. М., 1965.

В.​І.​Бернік.

т. 2, с. 9

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)