àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

More documents

Recommendations

Info

6 Структура та обсяг дисертації. Дисертаційна робота містить 145 сторінок основного тексту, 56 рисунків. Її структура складається з вступу, 4 розділів, 26 підрозділів, висновків, списку використаних джерел з 121 назв (на 13 с.), 4 додатків (на 19 с.). ОСНОВНИЙ ЗМІСТ РОБОТИ Вступ містить обґрунтування актуальності задачі, що розв’язується, формулювання мети, об’єкта та задач дослідження, сукупність наукових результатів, що виносяться на захист, відомості про їх апробацію та реалізацію. Перший розділ присвячено розгляду перспектив розвитку індустрії комп'ютерних систем і користувальницької електроніки в найближчому майбутньому, що визначають напрями подальшого вдосконалення технологій проектування, валідації та забезпечення якості (quality assurance) систем на кристалах і в пакетах кристалів. У другому розділі запропоновано нову модель взаємодії об'єктів в кіберпросторі, яка характеризується використанням бета-метрики. На інфраструктуру аналізу даних для прийняття рішення (рис. 1) суттєво впливають сім параметрів підвищення продуктивності мозгоподібного комп'ютера: 1) виключення арифметичних операцій з системи команд процесора; 2) використання в обчислювальних процедурах алгебри векторної логіки; 3) застосування Рис. 1. Інфраструктура логічного прийняття рішення мультипроцесорної матриці для розпаралелювання обчислювальних процедур; 4) використання векторного двійкового критерію якості для оцінювання рішення; 5) запровадження операції векторизації з метою генерування асоціації мінімального S-вектора істотних змінних, необхідних для пошуку рішення; 6) створення вектор-біт D-оператора девекторизаціі для формування двійкового рішення на основі застосування логічних операцій and, or, not або їх комбінації до вектора істотних змінних; 7) створення P-платформи логічних процес-моделей (IPcores) для пошуку, розпізнавання та прийняття рішень. Інтегральна аналітична процес-модель аналізу інформації, відповідна структурам даних, наведеним на рис. 1, має вигляд: ⎧ m n ⎪R = [max( S ∧ Pj)] ∆ Li ← max Qi ; ⎪ j= 1 i= 1 ⎪ m n ⎨Q = max Qi{[max( S ∧ Pj)] ∆ Li}; ⎪ j= 1 i= 1 ⎪ m n ⎪Y = D[max Qi{[max( S ∧ Pj)] ∆ Li}]. ⎪⎩ j= 1 i= 1
Тут Pj ∈ P , ∆ = { and, or, not, xor, s1c} – векторні логічні операції операції, де s1с – shift left bit crowding; Y = {0, 1} – двійкове рішення рішення, спрямоване на виконання конкретної активності (action); Q – критерій якості рішення, Y = ( a ∧ b ) що визначається двійковим вектором; L i – варіант змістовного рішення, рішення пред- Y = ( a ∨b b ) ставленого у вигляді інформаційного повідомлення повідомлення; m – кількість процес процес-моделей в платформі P; n – кількість Y = a ∧( a ∧ b) варіантів асоціацій асоціацій, серед яких здійснюється пошук рішення; R – (квазіі-) оптимальне Y = b∧ ( a ∧ b); змістовне рішення рішення, представлене у вигляді сукупності векторів або інших інформаційних повідомлень у Y = ( a ∨ b b) ∧( a ∧b); форматі синтаксису природних або штучних мов. мов Складні Рис. Рис 2. Примітивні процес процес-моделі прийняття рішень ішень конструкції, конструкції що використовують логічну взаємодію двох векторів, векторів представлені вира- зами: Y Y= {( a∧b); ( a∨b); a∧( a ∧ ∧b); b∧( a∧b); ( a∨b) ∧( a ∧ b)} . Кожному варіанту взаємодії можна поставити у відповідність відповідність теоретико теоретико-множинну множинну діаграму, діаграму а також логічну схему, схему що відповідає процес-моделі моделі прийняття рішення (рис. 2). Векторний дискретний логічний (булевий булевий) простір визначає взаємодію об'єктів шляхом використання трьох аксіом (тотожності (тотожності, тотожності симетрії та трикутника), трикутника які формують неарифметичну B-метрику метрику векторного вимірювання: вимірювання Рис. 3. Первинний Перви аналіз з таблиці таблиц 7 ⎧d( a, b) = a ⊕ b = ( ai ⊕ bi ), i = 1 , n; ⎪ d( a, b) = [ 0 ← ←∀i( d ⎪ i = 0)] ↔ a = b; B = ⎨d( a, b) = d( b b, a); ⎪d( a, b) ⊕ d( b b, c) = d( a, c), ⎪ ⎩⊕ = [ d( a, b) ∧ d( b, c)] ∨ [ d( a, b) ∧ d( b, c)]. Розглядається таблиця A, розмірністю m× n , що взаємодіє з двома векторами m a , mb , які можуть бути вхідними та вихідними, вихідними залежно від процедури аналізу табличних структур даних (рис. 3): A = (A1, A2,..., A Ai ,..., An ) ; A = (A (A1, A2,..., A j,..., A m m) ; ma = (m1, m2 ,..., mr ,..., mn ) ; mb = (m1, m2,..., ms ,..., mm ) .
Page 1 and 2: МІНІСТЕРСТВО ОСВІТ
Page 3 and 4: 1 ЗАГАЛЬНА ХАРАКТЕР
Page 5 and 6: 3 2. Моделей вбудова
Page 7: 5 стандарту граничн
Page 11 and 12: X1 0 0 1 1 X1 0 0 1 1 X2 0 1 0 1 X2
Page 13 and 14: 11 рівень деталізац
Page 15 and 16: призначений для ви
Page 17 and 18: 15 мультипроцесора,
Page 19 and 20: 17 «Повышение качес
Page 21 and 22: 19 архитектуры муль

àâòîðåô Èâ 07_02 - Kharkiv National University of Radio Electronics

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?