Verbum

ІНСТЫТУ́Т РАДЫЯЦЫ́ЙНЫХ ФІ́ЗІКА-ХІМІ́ЧНЫХ ПРАБЛЕ́М Нацыянальнай акадэміі навук Беларусі.

Засн. ў 1991 у Мінску на базе Ін-та ядзернай энергетыкі АН Беларусі (існаваў з 1965). У ін-це (1998): 7 лабараторый, 2 тэхнал. аддзелы. аспірантура.

Асн. кірункі навук. даследаванняў: фізіка і хімія ўзаемадзеяння высокаэнергетычных выпрамяненняў з рэчывам, распрацоўка тэхналогій і тэхнікі для выкарыстання выпрамяненняў у нар. гаспадарцы. Распрацаваны: тэарэт. метады, мадэлі і матэм. праграмы апісання і аналізу працэсаў узаемадзеяння нуклонаў з ядрамі для разліку ядзерна-фіз. канстантаў трансактынідаў і спектраў нейтронаў, што вылучаюцца ў гэтых працэсах; інфарм. сістэма для комплекснай ацэнкі рызыкі ад уздзеяння на чалавека прымесей таксінаў і канцэрагенаў, якія маюць харч. прадукты, пітная вада, паветра; метад апрамянення харч. прадуктаў для павелічэння тэрмінаў захавання і знішчэння патагеннай мікрафлоры; тэхналогія і абсталяванне для вытв-сці пенаполітэтылену метадам радыяцыйнага сшывання. Створаны: новы кампазіцыйны антыфрыкцыйны матэрыял; устаноўка для рэгенерацыі адпрацаванага травільнага раствору; аўтаматызаваная ацяпляльная сістэма на аснове інфрачырвоных выпрамяняльнікаў; сістэма ачысткі ад фенолу і фармальдэгіду, газавых выкідаў хім. вытв-сцей. Запушчаны ў эксплуатацыю нейтронны генератар (тып НГ-12-1 — адзін з буйнейшых у Еўропе, 1997).

В.​А.​Нікалаеў.

т. 7, с. 271

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

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

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

Літ.:

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

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

т. 11, с. 309

ПАГРАНІ́ЧНАЯ СІТУА́ЦЫЯ ў філасофіі,

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

А.​А.​Цітавец.

т. 11, с. 480

ПАДВО́ЙНАЕ ПРАМЕНЕПЕРАЛАМЛЕ́ННЕ,

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

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

т. 11, с. 491

МАТЭМАТЫ́ЧНАЯ ЛО́ГІКА, сімвалічная логіка,

адзін з кірункаў сучаснай фармальнай логікі, заснаваны на выкарыстанні матэм. метадаў даследавання. У М.л. аперацыі мыслення і пераважна вывадных ведаў вывучаюцца шляхам іх адлюстравання ў спец. фармалізаваных мовах, або лагічных злічэннях. Адным з асн. яе метадаў з’яўляецца метад фармалізацыі, або вывучэння аб’ектаў з дапамогай адносна жорсткіх фіксаваных элементаў іх формы (пры адцягненні ад унутр. зместу). Сістэма фармалізаваных аксіём і фармальных правіл вываду афармляецца ў выглядзе некаторага злічэння. Прасцейшыя з іх — злічэнні выказванняў, калі аперацыі з простымі выказваннямі аб’ядноўваюцца ў складаныя выказванні з дапамогай аператараў кан’юнкцыі, дыз’юнкцыі, імплікацыі, эквіваленцыі і адмаўлення (гл. Логіка выказванняў). У агульных злічэннях выказванняў — класічным і інтуіцыянісцкім (гл. Інтуіцыянізм) — ужываюцца адны і тыя ж правілы вываду (падстаноўкі і вываду заключэння). Формула лічыцца класічна агульназначнай, калі правільнае ўсякае выказванне, што выводзіцца з яе ў выніку падстановак любых выказванняў замест пераменных (A, B, C...); да ўсякага злічэння прад’яўляюцца патрабаванні несупярэчлівасці і паўнаты. Другая форма — злічэнне прэдыкатаў, якое ўключае ў свой склад злічэнне выказванняў, але дадае да яго апарату аперацыі агульнасці і існавання (гл. Логіка прэдыкатаў, Квантары). Самаст. раздзелам у М.л. ўваходзіць злічэнне класаў, якое адпавядае вузкаму злічэнню аднамесных прэдыкатаў, або сілагістыцы Арыстоцеля (гл. Логіка класаў).

Зыходныя паняцці М.л. былі ўжо ў вучэнні прадстаўнікоў мегарскай школы і стоікаў. На мяжы 13—14 ст. ісп. філосаф Р.​Лулій сканструяваў спец. «лагічную машыну», якая складалася з сямі канцэнтрычных кругоў са знакамі, літарамі і тэрмінамі і дазваляла атрымаць разнастайныя камбінацыі слоў і паняццяў. Спроба стварэння «злічэння розуму», падобнага да матэм. злічэння і заснаванага на універсальнай лагічнай мове, належала Г.​Лейбніцу. Як самаст. дысцыпліна М.л. аформілася ў сярэдзіне 19 ст. ў працах англ. матэматыка і логіка Дж.​Буля і ў распрацаванай ім алгебры логікі. Далей М.л. развівалася ў сувязі з распрацоўкай аксіяматычнага метаду, мностваў тэорыі, вызначэння несупярэчлівасці матэм. злічэнняў і інш. Рас. вучоны П.​С.​Парэцкі распрацаваў тэорыю лагічных роўнасцей і прапанаваў найб. агульны метад знаходжання ўсіх эквівалентных форм пасылак і вынікаў з іх («Аб спосабах рашэння лагічных роўнасцей...», 1884). Ч.​Пірс (ЗША) праводзіў даследаванні ў строгай і раздзяляльнай дыз’юнкцыі, матэрыяльнай імплікацыі, індукцыі і гіпотэзы, логікі адносін і інш. галінах М.л. Ням. логік Г.​Фрэге прапанаваў аксіяматычную пабудову логікі выказванняў, сфармуляваў правіла падстаноўкі, увёў паняцце квантара, распрацаваў асн. прынцыпы семантыкі лагічнай. Сучасную форму М.л. надаў італьян. вучоны Дж.​Пеана, які распрацаваў сістэму аксіём для арыфметыкі натуральных лікаў і паказаў, як з дапамогай сімвалічнага злічэння можна практычна пабудаваць матэм. дысцыпліны («Фармуляр матэматыкі», т. 1—2, 1895—97). Развіццю М.л. садзейнічалі працы Б.​Расела і А.​Н.​Уайтхеда («Прынцыпы матэматыкі», т. 1—3, 1910—13). У далейшым атрымалі развіццё даследаванні ў розных галінах М.л., была распрацавана тэорыя матэм. доказаў на аснове выкарыстання лагічных злічэнняў да пытанняў асноў матэматыкі (Я.​Лукасевіч, А.​Гейцінг, А.​М.​Калмагораў, В.​І.​Шастакоў, С.​К.​Кліні, А.​А.​Маркаў і інш.).

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

Літ.:

Клини С.К. Математическая логика: Пер. с англ. М., 1973;

Шенфилд Дж.Р. Математическая логика: Пер. с англ. М., 1975;

Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М., 1982;

Гильберт Д., Бернайс П. Основания математики: Теория доказательств: Пер. с нем. М., 1982;

Брюшинкин В.Н. Логика, мышление, информация. Л., 1988;

Логика и компьютер. Л., 1990.

С.​Ф.​Дубянецкі.

т. 10, с. 213

БЕТО́ННЫЯ РАБО́ТЫ,

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

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

т. 3, с. 130

АПТЫМА́ЛЬНАЕ КІРАВА́ННЕ,

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

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

Асновы матэм. тэорыі аптымальнага кіравання закладзены работамі сав. матэматыка Л.​С.​Пантрагіна і амер. матэматыка Р.​Белмана. На Беларусі даследаванні па праблемах аптымальнага кіравання пачаліся ў 1966 пад кіраўніцтвам Я.​А.​Барбашына і вядуцца ў БДУ і Ін-це матэматыкі АН Беларусі.

Літ.:

Математическая теория оптимальных процессов. 4 изд. М., 1983;

Габасов Р., Кириллова Ф.М. Качественная теория оптимальных процессов. М., 1971.

Р.​Габасаў, Ф.​М.​Кірылава.

т. 1, с. 436