Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Подобные документы
Дослідження властивостей збуджених рівнів, що заселяються у бета-розпаді легких ізотопів олова за допомогою збірок германієвих і кремнієвих детекторів. Розрахунок радіаційних силових функцій – інструменту для опису процесів гамма-розпаду і фотопоглинання.
автореферат, добавлен 30.07.2014Точні результати для ідеалізованих випадкових одновимірних спін-1/2 моделей із взаємодією між найближчими сусідами. Метод розкладів за оберненим радіусом для рівноважно невпорядкованої моделі Ізінґа з базисним врахуванням короткосяжних взаємодій.
автореферат, добавлен 05.01.2014Розгляд підходу до спектроскопії свинцевих активаторних центрів у лужно-галоїдних кристалах. Опис методики створення монокристалів та дослідження їх люмінесцентно-кінетичних властивостей. Аналіз впливу квантово-розмірного ефекту на властивості кристалів.
автореферат, добавлен 29.04.2014Дослідження процесів випаровування й осадження речовини тіогалату цинку при одержанні тонких плівок. Побудова моделі росту конденсату тіогалату цинку на підкладках. Розкриття впливу термічної і лазерної обробки на структуру й оптичні параметри плівок.
автореферат, добавлен 24.02.2014Вплив ефектів деполяризації оптичного випромінювання на визначення оптичної системи людського ока. Метод модуляційної поляриметрії. Поляризаційна характеристика розсіяної енергії електромагнітних хвиль. Корекція зору при передачі різних типів даних.
автореферат, добавлен 14.09.2014Дослідження поведінки ряду антиферомагнетиків з різними типами симетрії під час спінової переорієнтації, що відбувається під дією зовнішнього магнітного поля. Визначення зовнішніх параметрів орієнтаційного фазового переходу, його роду та типу структур.
автореферат, добавлен 24.02.2014Дослідження впливу різних методів напилювання на механізм росту, фазовий склад, структуру, кінетику росту і властивості нітридних плівок, отриманих на Si, Ni, Ti і на тугоплавких підкладках. Формулювання, аналіз та оцінка практичних рекомендацій.
автореферат, добавлен 28.07.2014Можливість використання нових анізотропних розв’язків рівнянь загальної теорії відносності для побудови моделей надгустих релятивістських конфігурацій. Вплив анізотропії на фізичні властивості описуваних ними об’єктів. Дослідження "міні-порожнеч".
автореферат, добавлен 22.07.2014Вирощування i комплексне дослідження оптико-фізичних властивостей великогабаритних i високоякісних монокристалів. Побудова карти деформаційної електронної густини безводних боратів літію. Ростові дефекти i вплив легування на властивості кристалів.
автореферат, добавлен 10.01.2014Визначення факторів впливу на структуру і фізичні властивості тонких плівок W-Ti-N і Ta-Si-N. Дослідження антидифузійних властивостей тонкоплівкових бар’єрів. Оптимізація технологічних основ отримання плівок, їх застосування в напівпровідникових системах.
автореферат, добавлен 27.08.2014Аналіз сучасних теоретичних підходів, експериментальних методів та результатів дослідження властивостей легких ядер. Дослідження області високих збуджень ізотопів берилію, властивостей ядра магнію. Характеристика кластерних властивостей ядерних систем.
автореферат, добавлен 14.10.2015Дослідження спектру вхідного струму активних високочастотних коректорів. Розробка методу керування, який забезпечить зменшення електромагнітних завад, що надходять у живлячу мережу. Аналіз залежності спектру вхідного струму від навантаження коректорів.
статья, добавлен 29.07.2016Досліджено механізми взаємодії органічних полярних молекул з частинками діоксиду титану. Доведено, що взаємодія полярних органічних молекул з ТіО2 може бути ефективним методом визначення типу та концентрації різних активних центрів на його поверхні.
автореферат, добавлен 28.06.2014- 114. Властивості йонно-модифікованих тонкоплівкових і багатошарових структур на основі елементів IV групи
Дослідження механізмів йонно-стимульованого формування структур з прихованими діелектричними та напівпровідниковими шарами. Вплив на особливості процесів формування і властивості багатошарових структур вуглецю, домішок кисню та механічних напружень.
автореферат, добавлен 12.02.2014 Властивості ожеледі на повітряних лініях електропередачі. Побудова схеми оцінки ступеню впливу різних факторів на фізико-механічні властивості ожеледі. Шляхи підвищення надійності ліній електропередачі, що проходять в районах з підвищеної ожеледицею.
статья, добавлен 23.03.2016Дослідження впливу опромінення великими дозами гамма-квантів і швидких нейтронів на електричні, оптичні і фотоелектричні властивості нелегованих монокристалів CdSb. Особливості домішкової фотопровідності в монокристалах з неоднорідним розподілом дефектів.
автореферат, добавлен 21.11.2013Дослідження розігріву електронно-діркової плазми електричним полем в процесі утворення термодифузійних автосолітонів в кристалах Ge і Si. Вплив типу провідності кристалу і властивостей приконтактних областей на поведінку плазми в електричному полі.
автореферат, добавлен 30.07.2014Рівні напруги системи зовнішнього електропостачання. Дослідження балансу електричної енергії випрямляча тягової підстанції для вивчення фізики енергообмінного процесу та підвищення його ефективності. Співвідношення вищих гармонік випрямленої напруги.
статья, добавлен 30.01.2016Вивчення особливостей будови і фізичної природи впорядкованої К-фази змінного складу. Дослідження зміни її атомної та магнітної структури. Дослідження властивостей приповерхневих прошарків сплавів в умовах термічних та імпульсних зовнішніх впливів.
автореферат, добавлен 27.02.2014Експериментальне дослідження впливу ізовалентної домішки магнію на структурні та оптичні властивості селеніду цинку. Виявлення можливих генераційно-рекомбінаційних процесів і визначення природи складових оптичних спектрів легування монокристалів.
автореферат, добавлен 10.08.2014Що таке спектр поглинання, особливості його вигляду для різних речовин. Спектроскоп як прилад, який добре розділяє хвилі різної довжини, його будова та принцип дії. Метод спектрального аналізу, його використання в різних галузях науки й техніки.
доклад, добавлен 08.04.2009Дослідження впливу ультразвукової обробки на перебудову радіаційних дефектів у бездислокаційних кристалах кремнію n-типу з високою концентрацією кисню, опромінених квантами. Теоретичний аналіз температурних залежностей концентрації та рухливості.
статья, добавлен 08.10.2013Практичне значення дослідження водневих інтеркалатів шаруватих сполук. Методика деінтеркалювання в системі водень - матриця методом ЯСЕ. Технологія вирощування шаруватих монокристалів GaSe, фізико-хімічні параметри, структурну досконалість і властивості.
реферат, добавлен 31.03.2010Побудова матриці типу Гріна для отримання аналітичних розв'язків задач матфізики про статичне деформування складених пластинчатих і оболонкових тіл за допомогою методів відокремлення змінних шляхом тригонометричних розкладів, потенціальних представлень.
автореферат, добавлен 24.06.2014Встановлення кореляційних властивостей фононних станів в кристалах дифосфідів цинку та кадмію та побудова для них дисперсійних кривих. Дослідження особливостей динаміки кристалічних ґраток монокристалів різних модифікацій дифосфідів цинку і кадмію.
автореферат, добавлен 28.07.2014