Verbum

НАВІГАЦЫ́ЙНЫЯ ПРЫЛА́ДЫ,

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

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

В.В.Латушкін, П.М.Шумскі.

т. 11, с. 104

А́ЛГЕБРА ЛО́ГІКІ,

раздзел матэматычнай логікі, які вывучае логікавыя аперацыі над выказваннямі. Заснавальнік — англ. матэматык Дж.Буль (1815—64). Алгебра логікі разглядае выказванні толькі з пункту гледжання іх праўдзівасці (пазначаюць лічбамі 1 — праўдзівасць і 0 — ілжывасць). Логікавыя аперацыі над выказваннямі даюць магчымасць будаваць новыя выказванні. Праўдзіваснае значэнне такога выказвання A (a₁,..., a_n), атрыманага пры дапамозе логікавых аперацый з прасцейшых выказванняў a₁, ..., a_n, адназначна выяўляецца праўдзіваснымі значэннямі зыходных выказванняў a₁,..., a_n. Таму кожнаму такому выказванню A (a₁, ..., a_n) адпавядае n-ме́сцавая функцыя, якая прымае значэнні 0,1, аргументы яе таксама прымаюць гэтыя значэнні. Такія функцыі наз. функцыямі алгебры логікі, ці булевымі, функцыямі. Яны могуць быць зададзеныя з дапамогай праўдзівасных табліц, якія маюць 2​ⁿ радкоў.

Логікавыя аперацыі: кан’юнкцыя &, дыз’юнкцыя ⋁, адмаўленне ¬, імплікацыя ⇒, эквіваленцыя ⇔ — могуць быць зададзеныя з дапамогай праўдзівасных табліц. Замест ¬x часам пішуць $\stackrel{\_}{x}$. Ужываецца заданне функцый алгебры логікі і з дапамогай формул у мове, у якой ёсць пераменныя x, y, z... і сімвалы некаторых канкрэтных функцый. Найбольш ужывальная мова, якая мае логікавыя сімвалы &, ⋁, ¬, ⇒, ⇔. Кожнай формуле гэтай мовы адпавядае нейкая функцыя алгебры логікі, значэнне (0,1) якой пры дадзеных значэннях пераменных (0,1) знаходзіцца ў адпаведнасці з аперацыямі, з якіх пабудавана дадзеная формула. Такая функцыя рэалізуе дадзеную формулу. Формулы A і B наз. роўнымі (раўназначнымі), калі адпаведныя ім функцыі роўныя, г.зн. калі супадаюць іх праўдзівасныя табліцы. Азначэнне A=B ці A≡B, A~B, калі кажуць пра іх раўназначнасць. Важную ролю ў алгебры логікі маюць роўнасці, якія задаюць булеву алгебру.

Кожная функцыя алгебры логікі можа быць рэалізаваная нейкай формулай мовы з логікавымі сімваламі &, ⋁, ¬. Асаблівую ролю ў алгебры логікі адыгрываюць дыз’юнктыўныя і кан’юнктыўныя нармальныя формы, якія маюць вял. прыкладное значэнне. Сістэма функцый Ф. наз. функцыянальна поўнай, калі адвольная функцыя алгебры логікі можа быць рэалізаваная формулай, якая мае толькі сімвалы функцый з Ф. Напр., сістэмы функцый {&, ⋁, ¬}, {&, ¬}, {⋁, ¬}, {⇒, ¬}, {x | y}, {x ↓ y} функцыянальна поўныя (тут , , якія наз. штрыхам Шэфера і стрэлкай Пірса адпаведна).

Алгебра логікі мае шмат дадаткаў, асабліва ў тэорыі эл. схем.

Р.Т.Вальвачоў.

т. 1, с. 234

ДЭРЫВА́ЦЫЯ (ад лац. derivatio адвядзенне, адхіленне),

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

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

т. 6, с. 356

КІРАВА́ЛЬНАЯ ВЫЛІЧА́ЛЬНАЯ МАШЫ́НА,

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

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

М.П.Савік.

т. 8, с. 276

МАДЭЛІ́РАВАННЕ ЭКАНО́МІКА-МАТЭМАТЫ́ЧНАЕ,

апісанне эканам. працэсаў і з’яў у выглядзе эканоміка-матэм. мадэлей. Адной з першых у гісторыі эканам. навукі была мадэль узнаўлення, распрацаваная франц. вучоным Ф.Кенэ ў 18 ст. У 20 ст. першая агульная мадэль эканомікі сканструявана Дж. фон Нейманам. Значны вопыт пабудовы эканоміка-матэм. мадэлі назапашаны вучонымі былога СССР у развіцці нар. гаспадаркі краіны, асабліва — перспектыўнага. Вылучаюць 2 асн. групы эканоміка-матэм. мадэлей: мадэлі, якія паказваюць пераважна сац. аспекты эканомікі (звязаны з прагназаваннем і планаваннем даходаў і спажывання насельніцтва, дэмаграфічных працэсаў), і мадэлі, што адлюстроўваюць пераважна вытв. аспект эканомікі (доўгатэрміновага прагнозу зводных паказчыкаў эканам. развіцця; міжгаліновыя мадэлі нар.-гасп. планавання, галіновыя аптымальнага планавання і размяшчэння вытв-сці, аптымізацыі структуры вытв-сці ў галінах). Адрозніваюць таксама мадэлі статычныя (апісваюць момантавы стан эканомікі) і дынамічныя (паказваюць развіццё аб’екта мадэліравання). Паводле спосабу пабудовы адрозніваюць аналітычныя (у выглядзе формул), лікавыя (у выглядзе лікавых прыкладаў), матрычныя (у выглядзе табліц), сеткавыя (у форме графаў) і інш.

т. 9, с. 495

ЛАГАРЫ́ФМ ліку N па аснове a

(a>0, a≠1) (ад логас + грэч. arithmos лік),

паказчык ступені m, у якую ўзводзіцца лік a для атрымання ліку N. Абазначаецца log_aN. Напр., log₁₀100 = lg 100 = 2; log₂1/32 = −5. Дазваляе зводзіць множанне (дзяленне) лікаў да складання (адымання) іх Л., а ўзвядзенне ў ступень (здабыванне кораня) — да множання (дзялення) Л. на паказчык ступені (кораня).

Л. і табліцы Л. уведзены незалежна шатл. матэматыкам Дж.Неперам (1614, 1619) і швейц. матэматыкам І.Бюргі (1620). Кожнаму дадатнаму ліку адпавядае пры зададзенай аснове адзіны сапраўдны Л. (Л. адмоўнага ліку — камплексны лік). Найб. пашыраныя дзесятковыя (a = 10) і натуральныя (a = e = =2,71828...), якія абазначаюцца lgN і lnN адпаведна. Цэлую частку Л. наз. характарыстыкай, дробавую — мантысай. Дзесятковыя Л. лікаў, якія адрозніваюцца множнікам 10​ⁿ, маюць аднолькавыя мантысы, што закладзена ў аснову пабудавання лагарыфмічных табліц. У камплекснай вобласці разглядаюцца Л камплексных лікаў: Lnz = ln(z) + iArgz, дзе Argz — аргумент z. Пры пераменным х>0 суадносіны y = lnx вызначаюць лагарыфмічную функцыю. Да з’яўлення выліч. машын табліцы Л. былі асн. дапаможным сродкам пры разліках.

Ю.С.Багданаў, А.А.Гусак.

т. 9, с. 86

НАВУКО́ВЫ СТЫЛЬ,

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

Літ.:

Юрэвіч А.К. Стылістыка беларускай мовы. Мн., 1983;

Стилистика русского языка. 2 изд. Л., 1989;

Каўрус А.А. Стылістыка беларускай мовы. 3 выд. Мн., 1992;

Современный русский язык. Ч. 3. 2 изд. Мн., 1998.

Р.Р.Чэчат.

т. 11, с. 110

ГЕНЕАЛО́ГІЯ (ад грэч. genealogia радаслоўная),

спецыяльная гістарычная навука, якая вывучае паходжанне, гісторыю, сац. становішча, сваяцкія сувязі родаў і асоб. Вытокі генеалогіі ў язычніцкім кульце продкаў. Як галіна ведаў існавала ў Стараж. Рыме. У эпоху пераходу да феадалізму звесткі пра генеалогію — састаўная частка вусна-паэт. творчасці. У сярэдневякоўі былі вельмі пашыраны генеалагічныя паданні пра паходжанне родаў і цэлых народаў. Шырока вядома сага 12 ст. «Кніга пра ісландцаў» А.Торгільсана пра паходжанне і генеалогію насельнікаў Ісландыі. У ВКЛ у 15—16 ст. бытавала легенда, што мясц. шляхта паходзіць ад рымскага патрыцыя Палемона і яго паплечнікаў, якія перасяліліся ў Літву. У ВКЛ былі шырока распаўсюджаны гербоўнікі, якія спалучалі звесткі з генеалогіі і геральдыкі. Як гіст. навука генеалогія склалася ў 16—18 ст., калі сталі распрацоўвацца метады складання радаводных табліц і роспісаў, сістэмы нумарацыі сваяцтва. У 19 ст. ўзніклі генеалагічныя т-вы ў Вялікабрытаніі і Аўстрыі, якія займаліся даследаваннямі на навук. аснове. З часам падобныя т-вы ўтварыліся ва ўсіх краінах Еўропы, зараз яны існуюць і на правінцыяльным узроўні. У Рэспубліцы Беларусь пытанні генеалогіі распрацоўваюць Ін-т гісторыі Нац. АН, Згуртаванне бел. шляхты, Бел. генеалагічнае т-ва, Аддзел геральдыкі і генеалогіі К-та па архівах і справаводстве.

Літ.:

История и генеалогия. М., 1977;

Genealogia. Warszawa, 1959.

У.М.Вяроўкін-Шэлюта.

т. 5, с. 151

МАТЭМАТЫ́ЧНАЯ СГАТЫ́СТЫКА,

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

В.В.Цярэшчанка.

т. 10, с. 213