Verbum

ВЕРЫФІКА́ЦЫЯ (ад лац. verus сапраўдны + facio раблю),

праверка, эмпірычнае пацвярджэнне тэарэт. палажэнняў навукі праз супастаўленне іх з аб’ектамі, за якімі вядзецца назіранне, фактычнымі данымі, эксперыментам; прынцып вызначэння навук. асэнсаванасці і ісціннасці выказванняў. Вылучана прадстаўнікамі лагічнага пазітывізму, сфармулявана аўстр. філосафамі М.Шлікам у працы «Усеагульная тэорыя пазнання» (1918) і Л.​Вітгенштэйнам у «Логіка-філасофскім трактаце» (1922); далей развіта ў працах Венскага гуртка. У аснове гэтага прынцыпу ляжыць тэзіс аб тым, што чалавечае пазнанне не можа выйсці за межы пачуццёвага вопыту, а ўсе веды можна звесці да «непасрэдна дадзенага» вяртання да нагляднага ўзроўню пазнавання і ігнаравання ідэальнага характару абстракцый. Усе навук. выказванні павінны задавальняць патрабаванне правяральнасці, або верыфіцыруемасці; любое меркаванне (гіпотэза) можа верыфіцыравацца, г.зн. яго ісціннасць можа быць даказана з дапамогай доследу або лагічнага доказу. У сучаснай л-ры верыфікацыя разглядаецца як вынік шматпланавых узаемаадносін паміж рознымі тэорыямі і данымі іх эксперыментальных праверак.

В.​М.​Пешкаў.

т. 4, с. 114

ДЫСКРЭ́ТНАЯ СІСТЭ́МА,

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

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

т. 6, с. 293

КІБЕРНЕ́ТЫКА ТЭХНІ́ЧНАЯ,

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

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

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

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

т. 8, с. 245

МЕ́РТАН ((Merton) Роберт Кінг) (н. 5.7.1910, г. Філадэльфія, ЗША),

амерыканскі сацыёлаг. Даследаваў праблемы акад. сацыялогіі ЗША, у т. л. ў тэорыі і метадалогіі структурнага функцыяналізму, сацыялогіі навукі, вывучэнні сац. структуры, з’яў сац. дэзарганізацыі і бюракратыі. Вынікі даследаванняў выкладзены ў працах «Сацыяльная тэорыя і сацыяльная структура» (1957, 1968), «Сацыялогія навукі» (1973), «Структурны аналіз у сацыялогіі» (1975) і інш. М. распрацаваў паняцце дысфункцыі і правёў дыферэнцыяцыю паміж «відавочнымі» і «латэнтнымі» (скрытымі) функцыямі, што ў працэсе аналізу механізмаў забеспячэння «сацыяльнага парадку» дае магчымасць выяўляць дысфункцыянальныя з’явы, якія ўзнікаюць у выніку супярэчнасцей і напружанасці ў сац. структуры грамадства. Сфармуляваў асновы сацыялаг. аналізу навукі, які характарызуецца ўласнымі каштоўнасна-нарматыўнымі рэгулятывамі (універсалізм, агульнасць, бескарыслівасць, арганізаваны скептыцызм). Услед за франц. сацыёлагам Э.Дзюркгеймам развіваў тэорыю анаміі, якую разумеў як асаблівы маральна-псіхал. стан індывід. і грамадскай свядомасці, абумоўлены распадам сістэмы маральных каштоўнасцей і «вакуумам ідэалаў».

В.​Л.​Боўш.

т. 10, с. 295

МЭ́ХЭН ((Mahan) Альфрэд Таер) (27.9.1840, г. Уэст-Пойнт, штат Нью-Йорк, ЗША — 1.12.1914),

амерыканскі ваен.марскі тэарэтык і гісторык. Контр-адмірал (1906). Скончыў ваен.-марскую акадэмію ЗША (1859). Удзельнік грамадз. вайны 1861—65 на баку федэральных сіл (паўночнікаў). У 1886—89 і 1892—93 прэзідэнт ваен.-марскога каледжа ў г. Ньюпарт. З 1893 камандаваў крэйсерам, з 1896 у адстаўцы. У час ісп.-амер. вайны 1898 чл. Марскога к-та па стратэгіі. У 1899 член амер. дэлегацыі на 1-й Гаагскай канферэнцыі (гл. Гаагскія канвенцыі). У сваіх творах, у т. л. «Уплыў марской магутнасці на гісторыю, 1660—1783» (1890), «Марская моц у яе адносінах да вайны 1812» (т. 1—2, 1905), даказваў вырашальнае значэнне перавышаючай марской магутнасці ў сусв.-паліт. канфліктах новага часу, выказваўся за ўзмацненне марскіх узбраенняў ЗША і набыццё імі ваен.-марскіх баз. Тэорыя М. значна паўплывала на знешнюю палітыку і стратэгію ЗША, Германіі, Вялікабрытаніі і Японіі.

т. 11, с. 59

ПАСТУЛА́Т (ад лац. postulatum патрабаванне),

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

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

П.​С.​Габец.

т. 12, с. 173

САЦКО́Ў (Юрый Назаравіч) (н. 1.1.1948, г. Шахцёрск Сахалінскай вобл., Расія),

бел. матэматык. Д-р фіз.-матэм. н. (1991), праф. (1994). Скончыў БДУ (1971). З 1972 у НДІ сродкаў аўтаматызацыі, з 1974 у Ін-це буд-ва і архітэктуры. З 1978 у Ін-це тэхн. кібернетыкі Нац. АН Беларусі (у 1994—95 нам. дырэктара, з 1999 заг. лабараторыі). Адначасова з 1999 у Бел. ун-це інфарматыкі і радыёэлектронікі. Навук. працы па тэорыі раскладаў, тэорыі графаў, сеткавым планаванні і кіраванні («Тэорыя раскладаў. Шматстадыйныя сістэмы», 1989, з В.​С.​Танаевым, В.​А.​Струсевічам; перавыд. 1994 на англ. мове). Распрацаваў метады даследавання ўстойлівасці аптымальных раскладаў і складанасці задач тэорыі раскладаў з фіксаванай колькасцю работ, адаптыўныя метады каляндарнага планавання. Чл. Амер. матэм. т-ва (1989). Дзярж. прэмія Беларусі 1998.

Тв.:

Математические модели и методы календарного планирования. Мн., 1994 (разам з В.​А.​Струсевічам, В.​С.​Танаевым).

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

т. 14, с. 209

АПТЫМІЗА́ЦЫІ ЗАДА́ЧЫ І МЕ́ТАДЫ,

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

Літ.:

Габасов Р., Кириллова Ф.М. Методы оптимизации. 2 изд. Мн., 1981;

Васильев Ф.П. Численные методы решения экстремальных задач. 2 изд. М., 1988;

Карманов В.Г. Математическое программирование. 3 изд. М., 1986.

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

т. 1, с. 436

АЎСТРЫ́ЙСКАЯ ШКО́ЛА, Венская школа,

суб’ектыўна-псіхалагічны кірунак у палітэканоміі. Сфарміравалася ў Аўстрыі ў 1870—80-х г. Заснавальнікі — К.​Менгер, Э.​Бём-Баверк, Ф.​Візэр. Ідэі аўстрыйскай школы падзялялі У.​Джэванс (Вялікабрытанія), Л.​Вальрас (Швейцарыя), М.​Туган-Бараноўскі і П.​Струве (Расія), у 20 ст. развівалі Ф.​Хаек і інш. Задачу палітэканоміі прадстаўнікі школы бачылі ў вывучэнні свядомасці суб’екта, які гаспадарыць ва ўсёй разнастайнасці яго вопыту. Паводле Бём-Баверка, карані эканам. з’яў — у адчуваннях суб’екта, у псіхал. матывах, што рэгулююць яго паводзіны. У якасці аб’екта даследавання выбіралася адна асобная гаспадарка як тыповы элемент рыначнай эканомікі. Ідэальным лічыўся ізаляваны ад грамадства індывід (гаспадарка Рабінзона; адсюль назва метаду даследавання — метад рабінзанад Аўстрыйская школа заклала асновы маржыналізму, увяла прынцып гранічнасці, які стаў універсальным і адкрыў шлях шырокаму выкарыстанню матэм. метадаў у эканам. навуцы. Цэнтр. месца ў канцэпцыях аўстрыйскай школы заняла тэорыя вартасці, названая гранічнай тэорыяй карыснасці. Прадстаўнікі аўстрыйскай школы распрацавалі таксама тэорыі прыбытку і працэнта.

М.​В.​Навучыцель.

т. 2, с. 98

БІЯЛАГІ́ЧНЫЯ СІСТЭ́МЫ,

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

А.​С.​Леанцюк.

т. 3, с. 174