Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Подобные документы
- 76. Структурні, теплові та магнітні властивості низьковимірних атомарних та молекулярних кріокристалів
Дослідження термодинаміки та магнітних властивостей атомарних та молекулярних адсорбатів, осаджених на вуглецеві нанов’язки та плоскі підкладки різних типів. Термодинаміка депозитів, осаджених в канавки, на зовнішню поверхню та в міжтрубочні канали.
автореферат, добавлен 29.08.2015 Недискретне по енергетичному кроку дослідження спектра збуджених станів ядра 7Be як резонансів нeкластерної природи в тричастинковому процесі 9BeC+13C15С++He. Спостереження відомих рівнів 7Be, вивчення та характеристика отриманих при цьому результатів.
статья, добавлен 08.10.2013Експериментальне дослідження та обґрунтування електричних та фотоелектричних характеристик SiC діодів Шотткі на монокристалах та епітаксійних шарах SiC з використанням різних металів. Перенос заряду в CdTе поверхнево-бар’єрних структурах різного типу.
автореферат, добавлен 10.08.2014Дослідження зміни положень дифракційних піків, їх профілів та відносних інтенсивностей в залежності від типу хаотично розташованих дефектів пакування, а також концентрації. Методика аналізу експериментальної дифракційної картини для визначення типу.
автореферат, добавлен 27.07.2014Особливості розробки теорії комбінованих структур з діелектричним резонансом Е-типу. Дослідження конструкцій керованих селективних пристроїв, що дають змогу керувати резонансною частотою в широкому діапазоні частот при збереженні високої добротності.
автореферат, добавлен 24.02.2014Фазовий склад плівкових гранульованих сплавів. Моделі розмірних ефектів в електрорезистивних властивостях багатошарових плівок. Методи дослідження кристалічної структури, фазового та елементного складу. Фазовий стан одношарових плівок Co, Fe, Ag та Au.
диссертация, добавлен 08.11.2016Аналіз електронно-польової емісії з кремнієвих структур типу Si-SiO2-d(Si)-SiO2 і Si-SiO2-d (Cs), вкритих плівками з дельта-легованим шаром. Емісійні властивості кремнієвих вістрійних емітерних матриць вкритих багатошаровими та алмазо-подібними плівками.
автореферат, добавлен 07.03.2014Електричні властивості монокристалів, які використовуються для виготовлення інфрачервоних детекторів, інтерпретуються в рамках моделі вузькозонного напівпровідника, а оптичні властивості по теорії Кейна із сильно непараболічними енергетичними зонами.
автореферат, добавлен 24.02.2014Дослідження методів підвищення ефективності роботи тепломасообмінного апарату контактного типу шляхом розробки, дослідження і впровадження нових типів насадок у вигляді пакета плоских пластин із сітчастим покриттям, що утворюють систему щілинних каналів.
автореферат, добавлен 28.08.2014- 85. Механізм утворення і властивості ростових мікродефектів у бездислокаційних монокристалах кремнію
Експериментальне дослідження впливу теплових умов росту, фонових домішок вуглецю і кисню на утворення та параметри ростових мікродефектів. Обгрунтування феноменологічної фізичної моделі механізму утворення, росту і трансформації ростових мікродефектів.
автореферат, добавлен 10.08.2014 Інфрачервона спектроскопія пористих матриць та побудова моделі формування активних центрів на поверхні каналів цих матриць. Дослідження гетерогенних систем на основі силікатних пористих стекол та алюмосилікатних молекулярних сит типу МСМ-41 та Ме2+МСМ-41.
автореферат, добавлен 04.03.2014Фізичні властивості низькорозмірних напівпровідникових гетероструктур. Дослідження морфологічного переходу від двомірного псевдоморфного росту до трьохмірного в InxGa1-xAs/GaAs наноструктурах. Комбінаційне розсіювання світла в InAs/Al(Ga)Sb структурах.
автореферат, добавлен 30.10.2015- 88. Критичний струм високотемпературної надпровідної кераміки Ві2223 у магнітному полі та під тиском
Дослідження впливу різних режимів термічної обробки Ві2223 кераміки на нормальні та надпровідні властивості, її синтезація і виготовлення зразків метало-керамічного дроту методом гідроекструзії. Вимірювання транспортного критичного струму кераміки.
автореферат, добавлен 23.02.2014 Дослідження впливу ванадію на електричні, фотоелектричні, оптичні та магнітні властивості CdTe в залежності від його концентрації. Встановлення природи дефектів ванадію. Дослідження структури кристалів CdTe:V, застосовування ультразвукової обробки.
автореферат, добавлен 15.11.2013Дослідження структури та електрофізичних властивостей, ефекту Холла та магнітоопору в тонких магнітних плівках сплаву. Метод електронно-променевого випаровування, який застосовується при виготовленні плівок. Дослідження кристалічної структури зразків.
статья, добавлен 23.10.2010Дослідження кристалізаційних, структурних, спектроскопічних, люмінесцентних, нелінійно-оптичних, та генераційних властивостей кристалів боратів стронція. Отримання нової хімічної сполуки. Методика вирощування та дослідження структури нових монокристалів.
автореферат, добавлен 12.07.2014Дослідження надтонких взаємодій в мoнокристалічних плівках феритшпінелі нікелю у взаємозв'язку з умовами їх вирощування та складом. Надтонкі взаємодії, магнітні властивості та особливості кристалічної структури нових інтерметалідів та фаз Гейслера.
автореферат, добавлен 25.04.2014Вирощування монокристалів з використанням парофазного методу та дослідження їх фізичних властивостей. Процеси термічного окиснення на повітрі селеніду індію з різним умістом марганцю. Електрофізичні та фотоелектричні властивості різнотипних структур.
автореферат, добавлен 27.07.2015Характеристика головних форм нелінійних рівнянь руху системи двох важких гiроскопiв Лагранжа напівзамкненого типу. Дослідження особливостей впливу дебалансу на стійкість рівномірних обертань. Вивчення методики пошуку резонансної частоти першого типу.
автореферат, добавлен 12.11.2013Дослідження механізму взаємодії дефектів YBCO плівки. Дослідження нелінійних залежностей імпедансу від амплітуди високотемпературних надпровідних купратів поля та пошук механізмів виникнення нелінійної залежності імпедансу в копланарній геометрії.
автореферат, добавлен 27.08.2014Дослідження процесів дефектоутворення та їх впливу на структуру та електричні властивості плівок селеніду свинцю. Характеристика механізмів фізичних процесів, що мають місце при вирощуванні плівок. Моделі атомних дефектів у тонких плівках селеніду свинцю.
автореферат, добавлен 27.07.2014Теорія фотопружного ефекту в ізотропних середовищах. Структурні перетворення та оптичні властивості халькогенідних стекол. Калориметричні дослідження та Раманівська спектроскопія. Опис поляризаційно-оптичного методу вимірювання фотопружних постійних.
курсовая работа, добавлен 04.11.2016Розробка математичної моделі дифузії домішок азоту та їх взаємодії з атомами підґратки миш’яку. Визначення вливу температури нітридизації і величини поруватості підкладок на кристалографічні, морфологічні та оптичні властивості гетероепітаксійних плівок.
автореферат, добавлен 29.09.2015Експериментальне дослідження температурної залежності електроопору монокристалів. Рентгенодифрактометричні дослідження структури NbSe2 після нагрівання до високих температур: з’ясування природи дефектів і вивчення релаксації ґратки при утворенні вакансій.
автореферат, добавлен 25.02.2015Розробка універсальної скінченновимірної моделі коливань трубопроводу. Дослідження механізму енергообміну між формами коливань трубопроводу для різних режимів течії рідини. Головна задача коливань паливних трубопроводів літаків АН-124, АН-225, АН-70.
автореферат, добавлен 20.07.2015