Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Рубрика | Физика и энергетика |
Вид | автореферат |
Язык | украинский |
Дата добавления | 27.07.2015 |
Размер файла | 123,7 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Дослідження властивостей електричних розрядів в аерозольному середовищі. Експериментальні вимірювання радіусу краплин аерозолю, струму, напруги. Схема подачі напруги на розрядну камеру та вимірювання параметрів напруги та струму на розрядному проміжку.
курсовая работа [1,9 M], добавлен 26.08.2014Складання моделі технічних об’єктів в пакеті Simulink, виконання дослідження динаміки об’єктів. Моделювання динаміки змінення струму якісної обмотки та швидкості обертання якоря електричного двигуна постійного струму. Електрична рівновага моделі.
лабораторная работа [592,7 K], добавлен 06.11.2014Вивчення основних фізичних закономірностей, визначаючих властивості та параметри фототранзисторів, дослідження світлових характеристик цих приладів. Паспортні дані для фототранзистора ФТ-1К. Вимірювання струму через фототранзистор без світлофільтра.
лабораторная работа [1,3 M], добавлен 09.12.2010Кристалічна структура та фононний спектр шаруватих кристалів. Формування екситонних станів у кристалах. Безструмові збудження електронної системи. Екситони Френкеля та Ваньє-Мотта. Екситон - фононна взаємодія. Екситонний спектр в шаруватих кристалах.
курсовая работа [914,3 K], добавлен 15.05.2015Природа електронних процесів, що відбуваються при високоенергетичному збудженні і активації шаруватих кристалів CdI2. Дослідження спектрів збудження люмінесценції і світіння номінально чистих і легованих атомами металів свинцю кристалів йодистого кадмію.
курсовая работа [666,8 K], добавлен 16.05.2012Спектри поглинання, випромінювання і розсіювання. Характеристики енергетичних рівнів і молекулярних систем. Населеність енергетичних рівнів. Квантування моментів кількості руху і їх проекцій. Форма, положення і інтенсивність смуг в молекулярних спектрах.
реферат [391,6 K], добавлен 19.12.2010Поведінка системи ГД перехідних режимів. Експериментальне дослідження процесів при пуску, реверсі та гальмуванні електричних генераторів. Алгоритм побудування розрахункових графіків ПП при різних станах роботи машини. Методика проведення розрахунку ПП.
лабораторная работа [88,2 K], добавлен 28.08.2015Теорія Бора будови й властивостей енергетичних рівнів електронів у водневоподібних системах. Використання рівняння Шредінгера, хвильова функція та квантові числа. Енергія атома водню і його спектр. Виродження рівнів та магнітний момент водневого атома.
реферат [329,9 K], добавлен 06.04.2009Акумуляція енергії в осередку. Анізотропія електропровідності МР, наведена зовнішнім впливом. Дія електричних і магнітних полів на структурні елементи МР. Дослідження ВАХ МР при різних темпах нагружения осередку. Математична теорія провідності МР.
дипломная работа [252,7 K], добавлен 17.02.2011Комбінаційне і мандельштам-бріллюенівське розсіювання світла. Властивості складних фосфорвмісних халькогенідів. Кристалічна будова, фазові діаграми, пружні властивості. Фазові переходи, пружні властивості, елементи акустики в діелектричних кристалах.
курсовая работа [1,6 M], добавлен 25.10.2011Кристалічна структура води, її структурований стан та можливість відображати нашу свідомість. Види і характеристики води в її різних фізичних станах. Досвід цілющого впливу омагніченої води. Графіки її початкового й кінцевого потенціалів за зміною в часі.
курсовая работа [1,6 M], добавлен 26.03.2014Теплофізичні методи дослідження полімерів: калориметрія, дилатометрія. Методи дослідження теплопровідності й температуропровідності полімерів. Дослідження електричних властивостей полімерів: електретно-термічний аналіз, статичні та динамічні методи.
курсовая работа [91,3 K], добавлен 12.12.2010Розрахунково-експериментальне дослідження математичної моделі регулювання навантаження чотиритактного бензинового двигуна за допомогою способів Аткінсона й Міллера. Впливу зазначених способів регулювання навантаження двигуна на параметри робочого процесу.
контрольная работа [897,0 K], добавлен 10.03.2015Дослідження електричних властивостей діелектриків. Поляризація та діелектричні втрати. Показники електропровідності, фізико-хімічні та теплові властивості діелектриків. Оцінка експлуатаційних властивостей діелектриків та можливих областей їх застосування.
контрольная работа [77,0 K], добавлен 11.03.2013Дослідження регулювальних характеристик електродвигуна постійного струму з двозонним регулюванням. Математичний опис та модель електродвигуна, принцип його роботи, характеристики в усталеному режимі роботи. Способи регулювання частоти обертання.
лабораторная работа [267,4 K], добавлен 30.04.2014Дослідження процесів самоорганізації, що відбуваються у реакційно-дифузійних системах, що знаходяться у стані, далекому від термодинамічної рівноваги. Просторово-часові структури реакційно-дифузійних систем типу активатор-інгібітор. Диференційні рівняння.
автореферат [159,0 K], добавлен 10.04.2009Дослідження теоретичних методів когерентності і когерентності другого порядку. Вживання даних методів і алгоритмів для дослідження поширення частково когерентного випромінювання. Залежність енергетичних і когерентних властивостей вихідного випромінювання.
курсовая работа [900,7 K], добавлен 09.09.2010Рівні ізоляції повітряних проміжків при змінній і постійній напругах, по поверхні твердої ізоляції. Вольт-секундні характеристики ізоляторів. Опір ізоляції та коефіцієнта абсорбції. Ізоляція кабелів високої напруги. Перенапруги в електричних установках.
лабораторная работа [653,1 K], добавлен 19.01.2012Розповсюдження молібдену в природі. Фізичні властивості, отримання та застосування. Структурні методи дослідження речовини. Особливості розсіювання рентгенівського випромінювання електронів і нейтронів. Монохроматизація рентгенівського випромінювання.
дипломная работа [1,2 M], добавлен 24.01.2010Адсорбційні чутливі елементи нового покоління, їх принцип роботи та загальна характеристика. Особливості дослідження АЧЕ, що працюють в режимі циклічної зміни температури. Опис пристрою реєстрації аналогових сигналів. Дослідження двокомпонентних АЧЕ.
курсовая работа [1,6 M], добавлен 14.05.2009