Verbum

МІЖНАРО́ДНАЯ БІЯЛАГІ́ЧНАЯ ПРАГРА́МА (МБП; International Biological Program),

комплекс даследаванняў біял. прадукцыйнасці экалагічных сістэм, праблем аховы прыроды, адаптацыі чалавека да розных умоў жыцця і інш. Праведзена ў 1964—72 паводле зацверджаных Ген. асамблеяй МБП асн. кірункаў даследаванняў: прадукцыйнасць наземных, прэснаводных і марскіх згуртаванняў, прадукц. працэсы, выкарыстанне і ўзнаўленне біял. рэсурсаў, адаптацыя чалавека, ахова ўнутр. вадаёмаў, ахова і вывучэнне балот і тарфянікаў. У МБП удзельнічалі вучоныя больш як 100 краін, у т. л. Беларусі (ін-ты Аддзялення біял. навук Нац. АН Беларусі, БДУ і інш.), якія правялі даследаванні па біяцэналогіі, экалагічнай энергетыцы, ахове прыроды і інш. Пераемніца МБП — праграма «Чалавек і біясфера».

т. 10, с. 339

МІКСЕДЭ́МА (ад грэч. myxa слізь + oidēma пухліна, ацёк),

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

М.​І.​Федзюковіч.

т. 10, с. 364

МІКУ́ЛІК (Мікалай Аляксандравіч) (н. 26.3.1932, в. Зарэчча Пружанскага р-на Брэсцкай вобл.),

бел. вучоны ў галіне прыкладной матэматыкі. Д-р тэхн. н. (1992), праф. (1991). Засл. работнік адукацыі Беларусі (1995). Скончыў БДУ (1956). З 1957 у БПА (з 1975 заг. кафедры). Навук. працы па матэм. мадэліраванні вагальных працэсаў складаных дынамічных сістэм з рэактыўнымі звёнамі і разліку іх нагрузачных рэжымаў. Аўтар вучэбных дапаможнікаў для ВНУ.

Тв.:

Динамические системы с реактивными звеньями. Мн., 1985;

Решение технических задач по теории вероятностей и математической статистике. Мн., 1991 (разам з Г.​М.​Рэйзінай);

Прикладная математика: В 2 ч. Ч. 1. Мн., 1998 (разам з Г.​І.​Лебедзевай).

т. 10, с. 365

МАЦЮШКО́Ў (Уладзімір Ягоравіч) (н. 10.4.1946, г. Віцебск),

бел. вучоны ў галіне лазернай тэхнікі і мікраэлектронікі. Д-р тэхн. н. (1990), праф. (1998). Скончыў БДУ (1968). З 1968 у Ін-це фізікі Нац. АН Беларусі. З 1975 у КБ дакладнага электроннага машынабудавання канцэрна «Планар» (з 1992 віцэ-прэзідэнт), адначасова з 1991 праф. БДУ і БПА. Навук. працы па лазерным прыладабудаванні і тэхнал. абсталяванні для мікраэлектронікі, праблемах стварэння лазерных аптычных сістэм тэхнал. абсталявання для вытв-сці электронных прылад. Дзярж. прэмія СССР 1986.

Тв.:

Синтез микроизображений лазерными растровыми сканирующими системами (разам з У.​У.​Нямковічам, У.​В.​Юрэвічам) // Электронная техника. Сер. 11. 1987. № 3.

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

т. 10, с. 232

МЕНІ́СКАВЫЯ СІСТЭ́МЫ люстрана-лінзавыя сістэмы, у якіх перад сферычным (радзей эліптычным) люстэркам ці перад сістэмай люстэркаў і лінзаў або пасля іх знаходзіцца 1 ці некалькі ахраматычных меніскаў. Вынайдзены ў 1941 Дз.​Дз.Максутавым і Д.Габарам, незалежна адзін ад аднаго. Меніскавыя лінзы, радыусы крывізны паверхняў якіх мала адрозніваюцца, не ўплываюць на агульны ход прамянёў, але істотна змяншаюць аберацыі аптычных сістэм, у якія яны ўваходзяць. М.с. маюць малы астыгматызм, у іх можна скампенсаваць сферычную аберацыю, пазбавіцца ад комы. Выкарыстоўваюцца ў астраноміі, фатаграфіі і інш. Гл. таксама Максутава тэлескоп.

Я.​У.​Чайкоўскі.

т. 10, с. 287

НАБЛІ́ЖАНАЕ ВЫЛІЧЭ́ННЕ,

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

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

Л.​А.​Яновіч.

т. 11, с. 88

НАРМА́ЛЬНЫЯ ВАГА́ННІ,

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

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

т. 11, с. 162

МО́ДЗІН (Мікалай Канстанцінавіч) (н. 20.12.1939, с. Аксаур Інзенскага р-на Ульянаўскай вобл., Расія),

бел. вучоны ў галіне аўтаматызацыі і бяспекі чыг. транспарту. Канд. тэхн. н. (1972), праф. (1993). Вынаходнік СССР (1973), Ганаровы чыгуначнік (1993). Скончыў Ленінградскі ін-т інжынераў чыг. транспарту (1962). З 1972 у Бел. ін-це інжынераў чыг. транспарту (у 1977—87 заг. кафедры). Навук. працы па тэорыі і метадах кіравання бяспекай тэхн., у т. л. транспартных сістэм, аўтаматызацыі станцыйных працэсаў, тэхн. абслугоўванні сродкаў механізацыі і аўтаматызацыі на сартавальных горках.

Тв.:

Механизация и автоматизация станционных процессов. М., 1985;

Техническое обслуживание горочных устройств. М., 1989 (разам з Я.​У.​Шчарбаковым);

Безопасность функционирования горочных устройств. М., 1994.

т. 10, с. 511

МУ́ХА (Уладзімір Сцяпакавіч) (н. 6.3.1945, в. Хваставічы Глускага р-на Магілёўскай вобл.),

бел. вучоны ў галіне інфарматыкі і аўтам. кіравання. Д-р тэхн. н. (1994), праф. (1996). Скончыў Мінскі радыётэхн. ін-т (1967). З 1968 у Бел. ун-це інфарматыкі і радыёэлектронікі (з 1999 заг. кафедры). Навук. працы па сістэмах і метадах апрацоўкі інфармацыі і аўтам. кіравання. Распрацаваў асновы мнагамерна-матрычнага падыходу да мадэліравання мнагамерных сістэм і працэсаў.

Тв.:

Многомерно-матричные полиномы Эрмита // Весці АН БССР. Сер. фіз.-мат. навук. 1990. № 4;

Многомерно-матричная технология для полиномов Лягерра векторной переменной в вероятностных приложениях // Электромагнитные волны и электронные системы. 1998. Т. 3, № 4.

т. 11, с. 42

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

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

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

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

Літ.:

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

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

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

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

т. 1, с. 207