Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Подобные документы
Дослідження природи магнітного моменту електронів і атомів, намагнічування речовини. Опис руху парамагнітних і діамагнітних тіл в магнітному полі, основні досліди Фарадея. Побудова моделі внутрішньої будови феромагнетиків, циклічне перемагнічування.
курсовая работа, добавлен 27.11.2020Опис властивостей модулювання на прольотних електронах високочастотних коливань з широким спектром в плазмі з розмитим по швидкостям електронним пучком. Умови та властивості упорядкування відповідних пакетів. Зміна з часом квазімонохроматичного пакету.
автореферат, добавлен 23.11.2013Аналіз залежності від електричного поля діелектричної проникності кристалів при різних значеннях температури вимірювання. Дослідження специфічних особливостей процесів переполяризації кристалічних матеріалів в синусоїдальних та імпульсних полях.
автореферат, добавлен 28.07.2014Аналіз дослідження ролі кристалічної матриці у формуванні низькотемпературних властивостей нових складних кондо-систем, що містять магнітоактивні підгратки перехідних 3d-елементів: умови, методи синтезу таких сполук, способи контролю фазового складу.
автореферат, добавлен 22.02.2014Ознайомлення з методами побудови тришарової моделі для тонких металічних плівок з врахуванням верхнього перехідного шару між плівкою і повітрям. Дослідження та аналіз тришарових тонкоплівкових структур із використанням методів спектроеліпсометрії.
автореферат, добавлен 30.07.2015Дослідження фазового складу структури, фазових перетворень, фізичних властивостей перовскітів із застосуванням електричних та магнітних полів, рентгеноструктурного аналізу, електронної мікроскопії. Теоретичні моделі для точкових і протяжних дефектів.
автореферат, добавлен 24.02.2014Принципи варіаційного числення, одновимірні крайові задачі теорії коливань, теплопровідності з докладним аналізом крайової задачі Штурма–Ліувілля та обґрунтуванням методу Фур’є. Розв’язування задач у двох і трьох вимірах із елементами спеціальних функцій.
учебное пособие, добавлен 24.07.2014Нітрид титану як бінарне хімічне з'єднання титану з азотом. Дослідження температурної залежності висоти потенціального бар’єру і послідовного опору ізотопного гетеропереходу та вольт фарадні характеристики при різних частотах збуджуючого сигналу.
статья, добавлен 29.07.2016Аналіз причин крихкості сплавів системи NiAl. Вивчення впливу легування В і Re на мартенситне перетворення, мікроструктуру, механічні властивості та руйнування сплавів системи NiAl. Дослідження міжатомної взаємодії в нестехіометричних фазах типу Ni3Al.
автореферат, добавлен 05.08.2014Експериментальне дослідження комплексоутворення іонів перехідних металів з рібо- і дезоксирібонуклеотидами усіх канонічних основ і природної ДНК у водних розчинах. Диференційні УФ-спектри металокомплексів. Гетероатоми основ, які координують іони.
автореферат, добавлен 27.08.2013- 61. Енергетичний спектр та кінетичні властивості низьковимірних електронних систем над рідким гелієм
Встановлення виду гамільтоніану взаємодії поверхневих електронів з неоднорідностями дна плівки гелію на твердій підкладці. Кінетичні властивості квазідво- і квазіодновимірної електронних систем, створених з використанням властивостей поверхні гелію.
автореферат, добавлен 10.08.2014 Огляд достатніх умов існування четвертого загального інтеграла типу Ейлера для узагальнених рівнянь Ейлера-Пуассона. Характеристика ефективного способу дослідження орбітальної стійкості періодичних розв’язків автономних систем з першими інтегралами.
автореферат, добавлен 15.11.2013Виділення груп показників енергетичної ефективності на різних рівнях управління економікою для розрахунків споживання паливно-енергетичних ресурсів. Створення супроводу як бази даних показників енергетичної ефективності для економічного класифікатора.
статья, добавлен 28.02.2016Аналіз впливу міжфазних взаємодій полімер-наповнювач на перколяційні ефекти. Розробка фізичної моделі з параметрами міжфазної взаємодії в вуглецьнаповнених системах. Дослідження реологічних характеристик систем з вуглецевими і металевими наповнювачами.
автореферат, добавлен 13.07.2014Дослідження процесів рафінування танталу фізичними методами. Одержання чистого танталу та дослідження його властивостей. Аналіз поведінки домішок при рафінуванні танталу. Вплив параметрів рафінування і чистоти вихідного металу на властивості танталу.
автореферат, добавлен 18.11.2013Закономірності і механізми фотофізичних процесів, що відбуваються в молекулярних системах за участю триплетних станів: бензофенона в різних структурних модифікаціях, нафталіна та домішок на їх основі. Властивості екситонів в кристалічних різновидах.
автореферат, добавлен 28.08.2014Методи оптимізації різного типу динамічних гасників коливань маятникового типу. Побудова дискретно-континуальної моделі динаміки великогабаритних подовгастих елементів. Зменшення надмірної вібрації системи балок при гармонійному та ударному змушенні.
статья, добавлен 24.11.2016Дослідження перебудови локалізованих електронних та діркових рівнів у напружених сферичних та циліндричних квантових точках різних розмірів під впливом самоузгодженої деформації. Аналіз матеріалу квантової точки, оточуючої матриці та зовнішнього тиску.
автореферат, добавлен 30.08.2014Теоретичне дослідження властивостей рідин, адсорбованих в пористому середовищі. Використовування різних технік та наближення в рамках теорії інтегральних рівнянь і методів комп’ютерного моделювання. Отримання ряду характеристик для молекул флюїду.
автореферат, добавлен 07.08.2014Дослідження оптичних властивостей поверхонь малих тіл внутрішнього та зовнішнього поясів Сонячної системи. Визначення закономірностей в розподілі різних типів поверхні та орбітальних параметрів. Фізико-хімічна структура внутрішньої частини поясу Койпера.
автореферат, добавлен 30.08.2014Опис та можливі особливості динамічної моделі квазіодновимірних сегнетоелектриків типу порядок-безлад, який ґрунтується на стохастичній моделі Глаубера. Розрахунок статичних і динамічних діелектричних характеристик квазіодновимірних сегнетоелектриків.
статья, добавлен 29.09.2016Побудова нерівноважно-термодинамічної моделі мартенситних перетворень. Теоретичне дослідження динаміки когерентних міжфазних границь у пружному та тепловому полях. З’ясування чинників, що впливають на рухливість границь в континуальному наближенні.
автореферат, добавлен 07.08.2014Комплексне теоретичне та експериментальне дослідження структурних і електрофізичних характеристик багатофазних шаруватих систем на основі кремнію, а також впливу віддзеркалювальних шарів на властивості фотоперетворювальних і транзисторних композицій.
автореферат, добавлен 23.11.2013Дослідження взаємозв’язку між деформаційними властивостями та кількісними параметрами структури алюмінію, нікелю та жароміцних сталей. Параметри релаксаційного структуроутворення на певних масштабних рівнях в металах після різних засобів навантаження.
автореферат, добавлен 25.02.2015Розробка і теоретичне дослідження геліоколекторів з підвищеною оптичною ефективністю і низькими тепловими втратами. Обґрунтування вибору типу теплоносія і раціональної гідравлічної схеми геліоколектора на базі вакуумованого трубчатого теплоприймача.
автореферат, добавлен 04.03.2014