Побудовано спеціальні композиційно-номінативні логіки предикатів, названі неокласичними та посткласичними, які зберігають основні властивості класичної логіки. Досліджено семантичні моделі таких логік, проаналізовано відношення між класичними, неокласичними та посткласичними логіками.

Описано композиційні системи еквітонних функцій та предикатів. Розглянуто мову пропозиційної логіки, реномінативної неокласичної логіки, а також логіки першого порядку, метод автоморфізмів, теореми про гомоморфізми, повноту і неповноту, компактності.

Описаны композиционные системы эквитонных функций и предикатов. Рассмотрены язык пропозиционной логики, реноминативной неоклассической логики, а также логики первого порядка, метод автоморфизмов, теоремы о гомоморфизмах, полноте и неполноте, компактности.

Проведено дослідження механізмів антиоксидантної дії нового комбінованого адаптогенного засобу "Полентар" та його складових субстанцій: квіткового пилку (КП) і бурштинової кислоти (БК) в порівнянні з класичним адаптогеном - екстрактом елеутерокока. Встановлено здатність полентару та КП в концентрації 1,4 мкл/мл середовища гальмувати утворення супероксидного радикалу в системі "адреналін - адренохром" відповідно на рівні 27,7 і 17,7 % та в системі "ксантин - ксантиноксидаза - нітротетразолієвий синій" відповідно на рівні 30,7 і 36,1 %, а також виразно пригнічувати активність ксантиноксидази на 49,9 і 24,9 % в концентрації 4,2 мкл/мл середовища. Бурштинова кислота практично не проявляє антирадикальних властивостей та антиксантиноксидазної активності. Показано, що в забезпеченні антирадикальної дії полентару суттєва роль належить біологічно активним сполукам квіткового пилку. Класичний адаптоген - екстракт елеутерокока в досліджуваному інтервалі концентрацій 0,8 - 1,4 мкл/мл середовища виразно гальмував утворення супероксиданіона на рівні 45 - 33 % тільки в системі з ксантиноксидазою та пригнічував активність ферменту відповідно на рівні 34,5 - 47,6 %.

Проведено исследование механизмов антиоксидантного действия нового комбинированного адаптогенного средства "Поллентар" и его составных субстанций: цветочной пыльцы (ЦП) и янтарной кислоты (ЯК) в сравнении с классическим адаптогеном - экстрактом элеутерококка. Установлена способность поллентара ЦП в концентрации 1,4 мкл/мл среды тормозить образование супероксидного радикала в системе "адреналин - адренохром" соответственно на уровне 27,7 и 17,7 % и в системе "ксантин - ксантиноксидаза - нитротетразолий синий"соответственно на уровне 30,7 и 36,1 %, а также выраженно угнетать активность ксантиноксидазы на 49,9 и 24,9 % в концентрации 4,2 мкл/мл среды. Янтарная кислота практически не обладает антирадикальными свойствами и антиксантиноксидазной активностью. Показано, что в обеспечении антирадикальной активности поллентара существенная роль принадлежит биологически активным веществам ЦП. Классический адаптоген - экстракт элеутерококка в исследуемом интервале концентраций 0,8 - 1,4 мкл/мл среды выраженно тормозил образование супероксиданиона на уровне 45 - 33 % только в системе с ксантиноксидазой и угнетал активность фермента соответственно на уровне 34,5 - 47,6 %.

The research of the antioxidant action mechanism of a new combined adaptogenic medication Pollentar and its substance components (the flower pollen and the succinic acid) has been carried out comparing with the classical adaptogenic agent - Eleutherococcus extract. It has been proven that the Pollentar's flower pollen in the concentration of 1.4 mkl/ml of the medium can inhibit the superoxide radical generation in the "adrenalin-adrenochrome" system at the level of 27.7 % and 17.7 % respectively and in the "xantin - xantinoxidase - nitrotetrazolium blue "system at the level of 30.7 % and 36.1 % respectively, as well as inhibit markedly the activity of xantinoxidase in 49.9 % and 24.9 % in the concentration of 4.2 mkl/ml of the medium. The succinic acid has practically no antiradical properties and antixantinoxidase's activity. The essential role in providing the antiradical activity of Pollentar belongs to the biological active substances of the flower pollen. The classical adaptogenic agent - Eleutherococcus extract in the studied concentration range of 0.8 - 1.4 mkl/ml of the medium inhibited the superoxide radical generation at the level of 45 - 33 % only in the system with xantinoxidase and inhibited the enzyme's activity at the level of 34.5 - 47.6 % respectively.

Доведено необхідність вживання в кожному господарстві всіх заходів для знищення кліщів - переносників збудників небезпечних інфекційних хвороб у природі та захисту тварин від їх нападу. Серед різноманітних вивчених методів віддано перевагу біологічному, який, є природним і, по суті, безперервним та може відігравати велику роль у регуляції переносників хвороб.

Запропоновано логіки, орієнтовані на специфікації програм. Логіки побудовано в семантико-синтаксичному стилі на базі композиційно-номінативного підходу. Перша з них (неокласична композиційна логіка) є логікою еквітонних предикатів над нескінченними іменними множинами, яка зберігає основні властивості класичної логіки предикатів. Друга логіка (над скінченними номінативними даними) є конкретизацією першої, на її основі визначається клас багатозначних натурально (абстрактно) обчислюваних функцій над номінативними даними.

Предикати над даними з неповною інформацією уточнено як еквісумісні та локально-еквісумісні предикати. Запропоновано композиційно-номінативні логіки еквісумісних і локально-еквісумісних предикатів, що є природними розширеннями логік еквітонних і локально-еквітонних предикатів. Такі логіки зберігають основні дедуктивні властивості класичних логік, але мають істотно багатший клас семантичних моделей. Розглянуто семантичні властивості цих логік, побудовано відповідні секвенційні числення. Побудовані логіки можна розглядати як формалізми для опису та моделювання різноманітних предметних областей з урахуванням частковості та неповноти інформації.

На базі композиційно-номінативного підходу запропоновано спеціальні модальні логіки для моделювання предметних областей, які грунтуються на понятті композиційної модальної системи. Визначено транзиційні та темпоральні логіки. Розглянуто семантичні та синтаксичні властивості композиційно-номінативних модальних логік, побудовано їх аксіоматичні системи.

Запропоновано композиційно-номінативні логіки локально-еквітонних предикатів. Зазначено, що такі логіки зберігають основні дедуктивні властивості класичних логік, але мають значно багатший клас моделей. Вивчено семантичні властивості цих логік, відношення логічного наслідку для множин формул, побудовано відповідні секвенційні числення, на їх базі доведено теореми коректності та повноти.

Установлено, что снижение активности ряда антиоксидантных ферментов в эритроцитах в первые часы после введения крысам фенилгидразина (7 мг/100 г) сопровождается накоплением в сыворотке крови гемсодержащих соединений, появлением в печени свободного гема и снижением содержания цитохрома Р450. Выявлены тканеспецифические особенности динамики активности изученных ферментов антиоксидантной защиты и содержания восстановленного глутатиона, которые могут быть обусловлены различиями в содержании общего и свободного гема в данных органах. Обсуждена роль ключевых ферментов биосинтеза и деградации гема в адаптации метаболизма при действии фенилгидразина.

Запропоновано ієрархію композиційно-номінативних логік, які будуються в семантико-синтаксичному стилі на базі композиційно-номінативного підходу. Місце логіки в ієрархії визначається рівнем абстракції розгляду й обмеженнями класу предикатів. Стосовно екстенсійного аспекту предметних областей запропоновано логіки квазіарних предикатів і логіки номінативних даних, стосовно інтенсійного аспекту - композиційно-номінативні модальні логіки.

Цель работы - исследование влияния света PILER на динамику прооксидантно-антиоксидантного гомеостаза (ПАГ) у детей, часто болеющих острыми респираторными инфекциями, в зависимости от типа адаптационных реакций. У 179-ти часто болеющих детей (ЧБД) и 90-а эпизодически болеющих в возрасте 3-х - 11-ти лет по лейкограмме периферической крови определяли тип общей неспецифической адаптационной реакции (ОНАР). Содержание гидроперекисей липидов в сыворотке крови рассчитывали по эквивалентному количеству малонового диальдегида. Глутатионпероксидазную активность определяли с помощью метода спектрофотометрии, антиокислителькую активность сыворотки крови - по ее способности тормозить накопление ТБК-активных продуктов перекисного окисления липидов. Профилактический курс PILER-светотерапии проведен 46 ЧБД в индивидуальном режиме. Динамику ПАГ определяли по показателям индекса про-антиоксидантного баланса (ИПАБ). Результаты. У детей выявлена гетерогенность адаптационно-резервных возможностей, что подтверждалось частотой полиморбидных состояний, уровнем резистентности, смещением гомеостатического равновесия в сторону про- и антиоксидантных процессов. Влияние света PILER на динамику ПАГ зависело от типа ОНАР: при реакции "стресс" про-антиоксидантные процессы уравновешивались, при реакции "тренировка" - процессы пероксидации активизировались, при реакции "спокойной активации" - показатели ИПАБ сохранялись, при реакции "повышенной активации" - баланс смещался в сторону системы антиоксидантной защиты, при "переактивации" - определялась тенденция к нормализации про-антиоксидантного равновесия. Выводы. Метод интегральной оценки состояния ПАГ с п

омощью вычисления ИПАБ и предварительного определения типа адаптационной реакции позволяет обоснованно подходить к назначению антиоксидантных препаратов, а также может использоваться в качестве критерия эффективности PILER-светотерапии у детей.

Запропоновано інтенсіонально-орієнтований підхід до визначення основних понять логіки. Розглянуто інтенсіонали понять даного, функції та композиції. Введено поняття номінату (номінативного даного) та розглянуто його зв'язки з поняттям множини. Продемонстровано застосовність підходу в математичній логіці. Розглянуто спектр композиційно-номінативних логік. Описано композиції квазіарних предикатів на різних рівнях абстрактності. Виділено класи логік квазіарних предикатів, розглянуто їх основні властивості.

Розглянуто композиційно-номінативні логіки, орієнтовані на специфікації програм. Такі логіки будуються в семантико-синтаксичному стилі на базі композиційно-номінативного (КН) підходу. Запропоновано спектр КН логік різних рівнів абстрактності та загальності. Для логік еквітонних квазіарних предикатів на базі секвенційних числень доведено теореми про визначність. На базі аксіоматичної системи специфікацій програм над метаномінативними даними (МНД) побудовано прототип системи автоматизації доведення теорем теорії МНД.

Індекс рубрикатора НБУВ: З973-018

Рубрики:

Комп'ютери та програмування

Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ 

На базі аналізу сучасних поглядів закордонних військових спеціалістів щодо шляху розвитку легких бойових розвідувальних машин розглянуто деякі основні вимоги до їх оперативно-технічного характеру.

Проведено комплексне дослідження лінгводидактичних умов навчання української мови у загальноосвітніх закладах Республіки Молдова. Розглянуто вплив соціально-політичних факторів на процес вивчення української мови в республіці, визначено лінгвістичні передумови її викладання, виявлено особливості функціонування за умов місцевої діаспори, обгрунтовано методи навчання. Проаналізовано зміст базового та шкільного куррікулуму з української мови для I - XII класів, обгрунтовано його переваги у порівнянні з традиційними програмами, показано можливість формування навчально-дидактичного забезпечення на базі куррікулуму в іншомовному середовищі. Вивчено стан викладання української мови у школах і ліцеях, здійснено експериментальне дослідження результатів впровадження нових технологій навчання. Доведено, що використання нових лінгводидактичних принципів у навчально-методичному комплексі сприяє ефективності викладання української мови за умов діаспори Республіки Молдова.

Розроблено загальну теорію моделей програм, яка базується на принципах розвитку, композиційності та номінативності. Запропоновано та досліджено формалізм композиційно-номінативних систем, які задають моделі програм різних рівнів абстракції та загальності, припускають адекватну специфікацію програм та їх ефективну реалізацію. Охарактеризовано підкласи систем, що задають інфінітарні логіки предикатів різних типів. Вирішено класичні проблеми коректності та повноти для зазначених логік. Визначено методи обчислюваності програм, які узагальнюють традиційні підходи до обчислюваності. Описано повні класи обчислюваних функцій та композицій над номінативними даними різних рівнів абстракції та загальності. Побудовано алгебричні представлення даних класів.

Розкрито сутність економічної ефективності та методичні підходи щодо визначення ефективності виробництва. Запропоновано доповнити традиційний підхід оцінювання економічної ефективності інтегрованим показником економічної ефективності й ефекту виробничого важеля. Проаналізовано розвиток інтеграційних процесів у сільському господарстві, організаційні, правові й економічні умови функціонування сільськогосподарських підприємств та їх ресурсне забезпечення. Оптимізовано виробничу структуру сільськогосподарських підприємств за умов існуючого ресурсного забезпечення за раціонального поєднання тваринницької та рослинницької галузей для досягнення максимального прибутку. Проаналізовано інтеграційні взаємозв'язки аграрних підприємств досліджуваного регіону та їх вплив на ефективність функціонування сільськогосподарських товаровиробників. Обгрунтовано напрями подальшого удосконалення економічних відносин аграрних формувань з іншими підприємницькими структурами та посилення їх державної підтримки шляхом відшкодування частини вартості дизельного пального на рівні акцизного збору.

Викладено основи метематичної логіки та теорії алгоритмів, поняття й методи яких засвідчують високу ефективність у процесі моделювання різноманітних предметних областей і програмних систем. Традиційно використовується класична логіка предикатів, яка є основою ряду спеціальних логік (модальних, темпоральних, епістемічних, релевантних тощо). З'ясовано, що класична логіка не дозволяє адекватно виразити потреби моделювання та програмування, тому розглянуто проблему побудови нових логік, які орієнтовані на такі потреби. Необхідність посилення можливостей класичної логіки для розв'язку задач моделювання та програмування стала передумовою виникнення композиційно-номінативних логік, в яких основний акцент зроблено на дослідження семантичних аспектів, а синтаксичні аспекти вважаються похідними від семантичних. Застосування композиційно-номінативного підходу дає змогу побудувати ряд логічних моделей різноманітних предметних областей, що знаходяться на різних рівнях абстрактності та загальності. Серед композиційно-номінативних логік виділено логіки, які є найближчими до класичних і зберігають їх основні властивості у разі істотного розширення класу семантичних моделей - логіки еквітонних квазіарних предикатів, які природно назвати неокласичними. Серед модальних логік виділено традиційні, або алетичні, темпоральні, деонтичні, епістемічні. Поєднано можливості неокласичних і модальних логік, одержано композиційно-номінативні модальні логіки, зокрема, транзиційні та темпоральні композиційно-номінативні логіки.

Вперше здійснено цілісний аналіз поетики лірики Є. Васильєвої. З'ясовано природу та механізми її містифікацій, виявлено та проаналізовано особливості поетики стилізованих віршів, створених в межах іспанської та китайської містифікацій. Проведено комплексний аналіз поетичних текстів Є. Васильєвої, встановлено їх інтертекстуальні зв'язки з творчістю попередників і сучасників поетеси. Зазначено, що збірка "Домик под грушевым деревом" містить символи, запозичені з лірики поетів доби Тан. Виявлено слов'янські корені лірики Ли Сян Цзи, які полягають у християнському претексті.