Verbum

анлайнавы слоўнік

эпані́м

(гр. eponymos = які мае імя, назву)

1) першы з дзевяці архонтаў, імем якога абазначаўся год у старажытных афінян;

2) асоба, якая дае чаму-н. сваё імя.

Слоўнік іншамоўных слоў (А. Булыка, 1999, правапіс да 2008 г.)

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

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

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

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

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

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

т. 1, с. 234

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

ПРАМЫСЛО́ВЫ РО́БАТ,

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

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

Літ.:

Козырев Ю.Г. Промышленные роботы: Справ. 2 изд. М., 1988;

Механика промышленных роботов. (Кн.) 1—3. М., 1988—89;

Борисенко Л.А., Самойленко А.В. Механика промышленных роботов и манипуляторов с электроприводом. Мн., 1992;

Гибкие производственные системы... Кн. 5. Промышленные роботы. М., 1990;

Проектирование и разработка промышленных роботов. М., 1989;

Белянин П.Н. Кинематические схемы, системы и элементы промышленных роботов. М., 1992.

А.В.Самойленка.

**Прамысловыя робаты**: а — падлогавы з шматзвёнавай рукой (1 — паваротны корпус; 2, 6 — электрарухавікі; 3 — вінтавая пара; 4, 5 — звёны рукі; 7 — крывашып); б — падлогавы з лікавым праграмным кіраваннем (1 — аснова; 2, 3 — прыводы гарызантальнага і вертыкальнага перамяшчэнняў; 4, 5 — прыводы перамяшчэнняў па каардынатах θ і α; 6 — захопнае прыстасаванне); в — падвесны (θ, Z, X, R, α — каардынаты перамяшчэнняў).

т. 13, с. 9

Беларуская Энцыклапедыя (1996—2004, правапіс да 2008 г., часткова)

Бру́нькі ’шэрсць дрэннай якасці, знятая з ног і галавы авечкі’ (Улад.). Відаць, укр. паходжання. Параўн. укр. бру́нька ’пупышка на дрэве’ (мае дакладную адпаведнасць у балг. мове: балг. бру́нка ’пупышка на дрэве’, параўн. Краўчук, ВЯ, 1968, № 4, 129). Развіццё семантыкі ’пупышка’ → ’катылёк’ (першапачаткова ’шэрсць у катыльках, зваляная’).