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

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

Освещены актуальные проблемы археологии железного века, эпохи средневековья, золотоординского и казацкого времен, а также учета археологических памятников. Уделено внимание результатам археологических исследований на территории Левобережного Поднепровья. Дана информация о новых находках золотоординской эпохи в Полтавской области, сарматских комплексах в курганах низовья Псла, курганах бассейна р. Грунь-Ташань, памятниках казацкого времени Комсомольского микрорегиона. Раскрыты особенности определения ареала распространения гончарной продукции канцерской традиции. Обоснована типология котлованов жилищ роменской культуры (по материалам юго-восточных территорий расселения северян).

Відомо, що структури даних є визначальними для створення ефективних паралельних алгоритмів і високопродуктивних обчислювальних пристроїв. Тому розробка математично досконалих і технологічно простих структур даних займає близько 80 відсотків часу проектування, коли на алгоритми і їх hardware- software кодування витрачається близько 20 відсотків часових і матеріальних ресурсів. Це обумовлює пошук таких примітивів структур даних, які суттєво спростять паралельні високопродуктивні алгоритми, що працюють на них. Пропонуються моделі і методи для тестування та моделювання цифрових систем, що містять окремі переваги квантового комп'ютингу в частині імплементації векторних кубітних структур даних в технології класичних обчислювальних процесів. Мета роботи - розробка інноваційної технології кубітно-векторного синтезу і дедуктивного аналізу тестів для їх верифікації на основі векторних структур даних, що істотно спрощують алгоритми, які можуть бути вбудовані як компоненти BIST в цифрові системи на кристалах. Використовується дедуктивне моделювання несправностей для отримання аналітичних виразів, орієнтованих на транспортування списків несправностей через функціональний або логічний елемент на основі xor-операції, яка виконує роль вимірника подібності-відмінності між тестом, функцією і несправностями, заданими однаково в одному з форматів - таблицею, графом, рівнянням. Пропонується двійковий вектор як самий технологічний примітив структур даних для завдання логічної функціональності з метою паралельного синтезу та аналізу цифрових систем. Паралелізм рішення комбінаторних задач є фізична властивість квантового комп'ютингу, що в класичному комп'ютингу, для паралельного моделювання та діагностування несправностей, забезпечується унітарно-кодованими структурами даних, завдяки надлишковій пам'яті. Розроблено метод аналітичного синтезу дедуктивної логіки для функціональних елементів вентильного рівня і рівня регістрових передач. Запропоновано дедуктивний процесор для моделювання несправностей на основі транспортування вхідних списків або векторів несправностей на зовнішні виходи цифрових схем. Описано кубітно-векторну форму завдання логіки та методи кубітного синтезу дедуктивних рівнянь для моделювання несправностей. Розроблено кубітно- векторний метод синтезу тестів, що використовує похідні, які обчислюються за векторним покриттям логіки. Виконано верифікацію моделей і методів на тестових прикладах в програмній реалізації структур і алгоритмів. Висновки: наукова новизна полягає в новій парадигмі технології синтезу дедуктивної RTL-логіки на основі метричного рівняння тестування, що формує xor-відносини між тестом, функцією і несправностями. Вводиться векторна форма опису структур, яка дає можливість застосувати відомі технології синтезу та аналізу тестів логічних схем для ефективного вирішення завдань тестування графових структур і автоматних моделей цифрових пристроїв. Практична значимість відбивається в прикладах аналітичного синтезу дедуктивної логіки для функціональних елементів векторного рівня і рівня регістрових передач.

Індекс рубрикатора НБУВ: Ч446 + С5*333.4*333.114

Рубрики:

Методика викладання окремих навчальних предметів в школах дорослих

Соціологія

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

У дисертації визначено сутність і структуру професійної компетентності майбутніх перемовників; схарактеризовано основні принципи, форми, методи, завдання формування професійної компетентності перемовника як представника інтегрованої професії, так і додаткової професійної компетентності представників інших спеціальностей, що використовуються в секторі неформальної освіти. Зокрема обґрунтовано автономність та самостійність професії «перемовник» як соціального феномена та його відмінності від схожих за функціоналом спеціальностей (медіатор, парламентер, посередник). Визначено, що найбільш продуктивною формою підготовки майбутніх перемовників є індивідуальні заняття, робота в малих та надмалих групах, наставництво, серед найбільш поширених методів можна назвати такі: метод пояснення, інструктаж, метод пізнавальних ігор, метод створення проблемних ситуацій, спеціально організоване професійно орієнтоване навчання тощо. Особливістю підготовки перемовника є перестановка акценту зі знань фахівця на його людські, особистісні якості, психологічні характеристики. В роботі обґрунтовано та експериментально перевірено педагогічні умови формування професійної компетентності перемовників у неформальній освіті, здійснено їх перевірку через впровадження навчального курсу «Перемовник: входження в професійний простір», а також проаналізовано ефективність цього процесу. Окреслено перспективи розвитку системи професійної підготовки перемовника як представника інтегрованої професії та додаткової професійної компетенції представників інших спеціальностей у вітчизняній педагогічній практиці.

Природа є відношення між процесами та явищами. Ніщо не існує у Всесвіті без відношень. Комп'ютер - транзакції відношень між даними за допомогою механізмів управління та виконання. Квантові відношення є суперпозиція частинок та їх станів. Суперпозиція та сплутаність - еквівалентні поняття. Сплутаність - нелокальна суперпозиція детермінованих станів. Квантовий комп'ютер - безумовні транзакції відношень між кубітними даними. Квантовий комп'ютер - аналоговий пристрій для паралельного вирішення комбінаторних задач. Практично орієнтовані визначення понять квантового комп'ютера є шлях до розробки масштабованих квантових паралельних алгоритмів для розв'язання комбінаторних задач. Будь-який алгоритм можна звести до послідовності операцій без умов, бо будь-яка таблиця істинності є сукупність повної системи умов-станів. Будь-яку послідовність дій завжди можна звести до однієї паралельної операції. Умови та послідовності виникають лише у випадку, коли розробник бажає скористатися раніше створеними примітивами-конструкціями для побудови завжди неоптимального обчислювача. Детермінована парадигма створення квантового комп'ютера шляхом використання фотонних транзакцій на електронах атома може виключати використання квантової логіки. Еволюційний шлях квантового комп'ютингу з класичного: "пам'ять-адреса-транзакція" (memory-address-transaction, MAT) - "електрон-адреса-транзакція" (electron-address-transaction) - "електрон-адреса-квантація" (electron-address-quantaction, EAQ) - стан-суперпозиція-логіка (state-superposition-logic). Точка зустрічі класичного та квантового комп'ютингу - фотонні транзакції на структурі електронів. Все, що обчислюється на квантовому комп'ютері, можна паралельно прораховувати на класичному за рахунок надмірності пам'яті. Наводиться приклад - алгоритм на основі пам'яті (memory-driven) для моделювання цифрових виробів на основі кубітно-векторних форм опису функціональностей для суттєвого підвищення продуктивності обчислювальних процесів шляхом паралельного виконання логічних операцій. Мета. Моделювання ісправної поведінки SoC компонентів на основі векторного подання логіки, формування тригерного розвитку комп'ютингу на основі суперпозиції класичного, квантового та аналогового обчислювального процесу, який у своєму розвитку має спиратися на технологічні кубітні, табличні та векторні структури даних для паралельного вирішення комбінаторних задач. Висновок: реалізовано кубітні моделі, квантові методи та комбінаторні алгоритми технічного діагностування цифрових пристроїв, які дають можливість суттєво (до 25 %) зменшити час синтезу тестів, дедуктивного моделювання несправностей та справної поведінки, пошуку дефектних станів за рахунок впровадження інноваційної ідеї використання кубітно-векторних структур даних для опису логічних компонентів. Порівняльні оцінки використання кубітних моделей та методів показують підвищення ефективності алгоритмів моделювання цифрових пристроїв порівняно з табличними. Інтегрально представлена суперпозиція класичного, квантового та аналогового комп'ютинга, що дає можливість знаходити найкращі розв'язки для розпізнавання та прийняття рішень.

Основна ідея - створення векторно-логічного in-memory комп'ютингу (ВЛК), який використовує лише read-write транзакції на адресної пам'яті для моделювання несправностей, як адрес. Традиційна логіка відсутня. ВЛК вільний від команд процесора та АЛП для організації обчислень і тому орієнтований на імплементацію у кристали SoC і FPGA. Пропонується векторно-логічний метод синтезу дедуктивних матриць для транспортування вхідних несправностей, який має квадратичну обчислювальну складність. Мета роботи - розробка векторного дедуктивного методу моделювання несправностей на основі примітивних read-write-транзакцій для аналізу логічних схем. Використовується вхідний тестовий набір та логічний вектор функціональності. Метод, що розробляється, є розвитком алгоритму синтезу дедуктивних векторів на основі таблиці істинності. Дедуктивна матриця призначена для синтезу та верифікації тестів за допомогою паралельного моделювання комбінацій несправностей, як адрес, на основі read-write-транзакцій над бітами дедуктивних векторів, що знаходяться в пам'яті. Запропоновано векторний метод синтезу дедуктивних матриць для транспортування вхідних несправностей векторів на вихід елемента. Розроблено структури даних для паралельного моделювання несправностей цифрових схем на основі примітивної read-write-транзакції в матричній пам'яті, де поєднання несправностей є стовпцями-адресами. Запропоновано секвенсор із п'яти блоків, що складають векторно-логічний комп'ютинг, пов'язаний з дедуктивним моделюванням несправностей на основі read-write транзакцій. Виконано верифікацію моделей та методів на тестових прикладах. Висновки: yаукова новизна полягає у розробці наступних інноваційних рішень: вперше запропоновано векторно-логічний метод синтезу матриці дедуктивних векторів для паралельного моделювання комбінацій вхідних несправностей як адрес; вперше запропоновано автомат векторно-дедуктивного моделювання несправностей, як адрес, на основі read-write транзакцій, орієнтований для імплементації в FPGA LUT, вбудований online симулятор SoC, як ядро для моделювання несправностей цифрових систем RTL-рівня; демонстрація технологічних переваг векторно-логічного синтезу дедуктивних матриць виконана на численних прикладах традиційної та RTL-логіки, що підкреслює технологічність векторів у порівнянні з аналітичними дедуктивними формулами для побудови симуляторів; матриця дедуктивних векторів, як сукупність вектор-стовпців булевих похідних використовується для побудови мінімальних тестів для логічних елементів; рекурсивна формула синтезу матриці перестановки координат у логічному векторі активності дозволяє суттєво спростити отримання дедуктивної матриці для моделювання несправностей як адрес. Практичне значення полягає в тому, що in-memory simulator дозволить отримати швидкодію моделювання несправностей реальних цифрових блоків SoC на рівні сотень наносекунд. Наводяться оцінки складності відповідних алгоритмів.