Verbum

АПЕРА́ЦЫЙ ДАСЛЕ́ДАВАННЕ,

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

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

М.​А.​Лепяшынскі.

т. 1, с. 424

ДЗІРА́К ((Dirac) Поль Адрыен Марыс) (8.8.1902, г. Брысталь, Вялікабрытанія — 20.10.1984),

англійскі фізік-тэарэтык, адзін са стваральнікаў квантавай механікі і квантавай тэорыі поля. Чл. Лонданскага каралеўскага т-ва (1930), замежны чл. АН СССР (1931). Скончыў Брыстольскі (1921) і Кембрыджскі (1926) ун-ты. У 1932—69 праф. Кембрыджскага ун-та, з 1971 праф. ун-та штата Фларыда (ЗША). Навук. працы па квантавай механіцы, квантавай электрадынаміцы, квантавай тэорыі поля, тэорыі электрычных часціц і тэорыі гравітацыі. Распрацаваў матэм. апарат квантавай механікі — тэорыю пераўтварэнняў, прапанаваў метад другаснага квантавання (1926—27). Незалежна ад Э.​Фермі ў 1926 распрацаваў статыстыку часціц з паўцэлым спінам (гл. Фермі—Дзірака статыстыка), разам з В.​Гайзенбергам адкрыў абменнае ўзаемадзеянне (1928). Развіў рэлятывісцкую тэорыю руху электрона (гл. Дзірака ўраўненне) і прадказаў існаванне пазітрона (1928). Выказаў гіпотэзы аб існаванні элементарнага магн. зараду (1931) і антырэчыва (1933). Нобелеўская прэмія 1933 (разам з Э.Шродынгерам).

Тв.:

Рус. пер. — Лекции по квантовой теории поля. М., 1971;

Общая теория относительности. М., 1978;

Принципы квантовой механики. М., 1979.

Літ.:

Поль Дирак и физика XX века: Сб. науч. тр. М., 1990.

М.​М.​Касцюковіч.

т. 6, с. 116

НЁТЭР ТЭАРЭ́МА,

фундаментальная тэарэма тэарэт. фізікі, якая ўстанаўлівае сувязь паміж уласцівасцямі сіметрыі фіз. сістэмы, патрабаваннямі інварыянтнасці фіз. тэорыяй адносна пераўтварэнняў гэтай сіметрыі і адпаведнымі захавання законамі. Сфармулявана Э.Нётэр (1918). Дае найб. просты і універсальны метад вывядзення і матэм. абгрунтавання законаў захавання ў класічнай і квантавай механіцы, тэорыі палёў і інш.

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

Літ.:

Нетер Э. Инвариантные вариационные задачи // Вариационные принципы механики. М., 1959.

А.​А.​Богуш.

т. 11, с. 309

ПА́ЎЛІ ((Pauli) Вольфганг) (25.4.1900, Вена — 15.12.1958),

швейцарскі фізік-тэарэтык, адзін са стваральнікаў квантавай механікі і рэлятывісцкай квантавай тэорыі поля. Скончыў Мюнхенскі ун-т (1921). З 1923 у Гамбургскім ун-це, з 1928 праф. Вышэйшага тэхн. вучылішча ў Цюрыху. У 1940—46 у Ін-це фундаментальных даследаванняў (г. Прынстан, ЗША). Навук. працы па квантавай механіцы, мезоннай тэорыі ядз. сіл, тэорыі адноснасці, па гісторыі і філасофіі навукі. Сфармуляваў Паўлі прынцып. Прадказаў існаванне нейтрына (1930). Нобелеўская прэмія 1945.

Тв.:

Рус. пер. — Труды по квантовой теории. Квантовая теория. Общие принципы волновой механики: Статьи, 1920—1928. М., 1975;

Труды по квантовой теории: Статьи, 1928—1958. М., 1977;

Теория относительности. 3 изд. М., 1991.

Літ.:

Теоретическая физика XX в. М., 1962.

т. 12, с. 206

ДАБРУ́ШКІН (Уладзімір Андрэевіч) (н. 11.6.1949, Мінск),

бел. матэматык. Д-р фіз.-матэм. н. (1992). Скончыў БДУ (1971). З 1971 у Ін-це матэматыкі Нац. АН Беларусі. З 1996 праф. ун-та Браўна (г. Провідэнс, ЗША). Навук. працы па дынамічнай тэорыі пругкасці. Пабудаваў і даследаваў уласцівасці рашэнняў краявых задач тэорыі пругкасці і тэрмапругкасці ў абсягах з нягладкімі межамі.

Тв.:

Краевые задачи динамической теории упругости для клиновидных областей. Мн., 1988.

т. 5, с. 560

ВІ́ЛЬСАН, Уілсан (Wilson) Кенет Гедэс (н. 8.6.1936, г. Уолтэм, ЗША), амерыканскі фізік-тэарэтык. Чл. Нацыянальнай АН. Скончыў Гарвардскі ун-т (1956), дзе працаваў у 1959—62. З 1963 у Корнелскім ун-це (з 1971 праф.). Навук. працы па квантавай тэорыі поля, тэорыі элементарных часціц і стат. фізіцы. Прапанаваў тэорыю фазавых пераходаў другога роду (тэорыя Вільсана), у якой даў дакладнае тлумачэнне тэмпературнай залежнасці цеплаёмістасці пры малых тэмпературах. Нобелеўская прэмія 1982.

т. 4, с. 176

ДЗЕМІДО́ВІЧ (Барыс Паўлавіч) (2.3.1906, г. Навагрудак Гродзенскай вобл. — 23.4.1977),

савецкі матэматык. Д-р фіз.-матэм. н. (1963), праф. (1965). Засл. дз. нав. РСФСР (1968). Сын П.П.Дземідовіча. Скончыў БДУ (1927). З 1935 у Маскоўскім дзярж. ун-це. Навук. працы па тэорыі ўстойлівасці, якаснай тэорыі звычайных дыферэнцыяльных ураўненняў. Аўтар падручнікаў па матэматыцы для ВНУ.

Тв.:

Лекции по математической теории устойчивости. М., 1967;

Сборник задач и упражнений по математическому анализу. 9 изд. М., 1977.

т. 6, с. 104

АКСІЯМАТЫ́ЧНЫ МЕ́ТАД,

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

Узнік у работах стараж.-грэч. матэматыкаў. Напр., у «Асновах» Эўкліда праведзена ідэя атрымання асн. зместу геаметрыі з невялікай колькасці аксіём, праўдзівасць якіх лічыцца відавочнай. Адкрыццё ў 19 ст. неэўклідавых геаметрый стымулявала ўзнікненне праблем больш агульнага характару (напр., несупярэчлівасці, паўнаты і незалежнасці той ці інш. сістэмы аксіём). Гэта адкрыла шлях да фармалізаванага развіцця тэорый: пошуку інш. сістэм паняццяў (тэорый, галін ведаў), якія падпарадкоўваюцца тым жа аксіёмам, выяўлення новых інтэрпрэтацый пэўнай сістэмы аксіём, што дало магчымасць адкрываць новыя навук. факты. Д.Гільберт і яго школа спадзяваліся на аснове аксіяматычнага метаду вырашыць гал. пытанні абгрунтавання матэматыкі. Аднак вынікі аўстр. і амер. матэматыка і логіка К.​Гёдэля (1931) выявілі неажыццявімасць гэтай праграмы, напр. тэарэма аб непаўнаце арыфметыкі сведчыць аб абмежаванасці аксіяматычнага метаду. У 20 ст. дзякуючы развіццю матэматычнай логікі стала магчымым аксіяматызаваць тыя сродкі логікі, з дапамогай якіх выводзяцца адны сцвярджэнні аксіяматычнай тэорыі з інш. яе сцвярджэнняў, што мае істотнае значэнне для аўтаматызацыі разумовай працы.

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

Літ.:

Садовский В.Н. Аксиоматический метод построения научного знания // Философские вопросы современной формальной логики. М., 1962;

Столл Р. Множества. Логика: Аксиоматич. теории.: Пер. с англ. М., 1968;

Новиков П.С. Элементы математической логики. 2 изд. М., 1973.

Р.​Т.​Вальвачоў, У.​К.​Лукашэвіч.

т. 1, с. 207

АДЛЮСТРАВА́ННЯ ТЭО́РЫЯ,

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

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

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

Літ.:

Коршунов А.М. Теория отражения и современная наука. М., 1968;

Тюхтин В.С. Отражение. Системы. Кибернетика. М., 1972;

Петушкова К.П. Отражение в живой природе: Динамика теорет. моделей. Мн., 1988.

В.​Я.​Петушкова.

т. 1, с. 113

КІБЕРНЕ́ТЫКА (ад грэч. kybernētikē майстэрства кіравання),

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

Як самаст. навука ўзнікла на аснове прац Н.Вінера, дзе тэрмін «К.» прапанаваны для абазначэння навукі аб кіраванні і сувязі ў машынах і жывых арганізмах, і звязана са стварэннем ЭВМ, здольных запамінаць і апрацоўваць інфармацыю ў адпаведнасці з зададзенай праграмай. Далейшае развіццё атрымала ў працах сав. вучоных АІ.​Берга, В.​М.​Глушкова, А.​А.​Ляпунова, амер. вучонага К.​Э.​Шэнана і інш. Падзяляецца на кібернетыку біялагічную, кібернетыку тэхнічную, матэм. К., медыцынскую, эканам. і інш. Грунтуецца на тэорыі імавернасцей, матэм. логіцы, тэорыі сістэм аўтам. кіравання, тэорыі графаў, а таксама тэорыі аўтаматаў, самаарганізавальных сістэм, распазнавання вобразаў і інш. Кібернетычнае (машыннае) мадэляванне і ўвядзенне ў н.-д. практыку ЭВМ дазваляюць вывучаць складаныя сістэмы без пабудавання іх рэальных фіз. мадэлей.

На Беларусі даследаванні ў галіне К. праводзяцца ў Ін-тах матэматыкі і тэхн. кібернетыкі Нац. АН, БДУ, Бел. ун-це інфарматыкі і радыёэлектронікі, НДІ ЭВМ і інш.

Літ.:

Винер Н. Кибернетика или управление и связь в животном и машине: Пер. с англ. 2 изд. М., 1968;

Ляпунов А.А. Проблемы теоретической и прикладной кибернетики. М., 1980;

Глушков В.М. Кибернетика, вычислительная техника, информатика: Избр. тр. Т. 1—3. Киев, 1990.

В.​С.​Танаеў.

т. 8, с. 245