Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Подобные документы
Визначення статистичних характеристик частково-відбитих радіосигналів і радіозавад. Розробка нових і вдосконалення існуючих радіофізичних методів виявлення і оцінки параметрів гідродинамічних рухів. Встановлення поведінки параметрів хвиль в мезосфері.
автореферат, добавлен 25.07.2014Розрахункові дослідження взаємопов'язаних процесів термодинаміки, теплообміну, гідродинаміки та їх аналіз. Розробка експериментальної установки і методики проведення дослідів та інженерного розрахунку ТНУ. Дослідження роботи конденсаторів різного типу.
автореферат, добавлен 12.02.2014Аналітичний та чисельний аналіз ефективної маси електронів провідності в зовнішньому магнітному полі. Отримання рівняння для спектру спінових збуджень кристалічної та структурно невпорядкованої моделей в рамках двочасових температурних функцій Гріна.
автореферат, добавлен 29.10.2015Дослідження розсіювання світла поверхнями і частинками з ієрархічною структурою. Опис тіньового ефекту на передфрактальних статистично нерівних поверхнях з будь-якою кількістю ієрархічних рівнів та скінченною величиною кута нахилу на кожному рівні.
автореферат, добавлен 05.08.2014Дослідження зонної структури кристалів Cs2CdI4 і суперіоніки Ag2CdI4. Генезис зон та непрямозонний характер оптичних переходів. Спектри оптичних констант для кристала зі структурою типу Sr2GeS4 та походження смуг у спектрах діелектричної проникності.
автореферат, добавлен 06.07.2014Динаміка заселеності енергетичних рівнів у напівпровідниках під дією електромагнітного випромінювання, вплив часу життя рівнів і механізму релаксації. Розрахунок модуляційних спектрів оптичного поглинання для інтерпретації спектрів п'єзофотопровідності.
автореферат, добавлен 04.03.2014Дослідження фізичних аспектів теорії представлень алгебр Лі некомпактних груп. Вивчення ренормгрупових властивостей класів нелінійних сигма-моделей (квантовопольових моделей з нелінійно-реалізованими симетріями і самовзаємодією геометричного типу).
автореферат, добавлен 22.06.2014Дослідження змін електронного спектру в кластерному наближенні кристалів CuInSe2, спричинених заміною в ньому атомом In атомів Ga та Al. Теорія перенормування потенціалу частки багатокомпонентного кристалу при переході до кластера. Ефект Яна-Теллера.
автореферат, добавлен 31.01.2014Дослідження розподілу електронної щільності в багатокомпонентних сполуках з комбінованим типом хімічного зв’язку і великою кількістю атомів. Особливості спектрів гамма–резонансів. Перерозподіл електронного заряду при різних ступенях стискання кристалу.
автореферат, добавлен 25.08.2014Знаходження та застосування нових класів точних розв'язків рівняння Шредінгера для спінових ефективних потенціалів з простими явними аналітичними виразами для потенціальних полів, рівнів енергії та хвильових функцій зв'язаних стаціонарних станів.
автореферат, добавлен 18.11.2013Визначення впливу дефектної структури на характеристики міцності і термічної стабільності АМС типу метал-металоїд. Дослідження температурних залежностей мікротвердості матеріалу різного складу. Структура високотемпературної надпровідної композиції.
автореферат, добавлен 05.01.2014Експериментальні дослідження по визначенню зусиль у тяговому канаті драглайна. Визначення кількісних даних по енергетичних витратах на зачерпування ґрунту при різних конструкціях ковша драглайна. Моделювання робочого обладнання кар'єрних екскаваторів.
лабораторная работа, добавлен 21.08.2015Технологічні основи одержання керамічних галогеновмісних високотемпературних надпровідників і гібридних контактних структур типу "ВТНП-киснево-вмісний напівпровідник". Комплексні дослідження фізичних властивостей, розробка гібридних контактних структур.
автореферат, добавлен 15.11.2013За даними КА Інтербол-1 проведено дослідження низькочастотної хвильової активності в плазмовому шарі магнітосфери Землі. Запропоновано алгоритм автоматичного пошуку інтервалів хвильової активності типу Рс 5 на основі кореляційних методів дослідження.
диссертация, добавлен 25.04.2014Комплексне дослідження локальної структури, ступеня та типу впорядкування невпорядкованих сегнетоелектриків та їх твердих розчинів. Діелектричні властивості твердого розчину релаксорних сегнетоелектриків. Вивчення особливостей поведінки домішкових іонів.
автореферат, добавлен 23.11.2013Існуючі методи вирівнювання електричного поля в зонах підвищеної напруженості та на виході стрижня із пазу. Можливості градування ізоляції та можливість виникнення поверхневих та часткових розрядів в зоні нерівномірної напруженості електричного поля.
статья, добавлен 06.02.2017Означення та способи утворення механічних кривих. Характеристика найпоширеніших механічних кривих. Дослідження Гвинтової лінії. Криві, які вивчаються в школі. Побудова кривих за допомогою комп'ютерних програм. Застосування механічних кривих в житті.
курсовая работа, добавлен 07.05.2018Розробка моделі робочого процесу ВВН типу "Turo" як гідромашини вихрового принципу дії. Обґрунтування фізичної моделі течії в міжлопатевому каналі робочого колеса (РК) вільновихорового насосу у вигляді просторової гвинтоподібної вихрової структури.
автореферат, добавлен 11.11.2013Дослідження кристалічної структури, електронних і коливальних спектрів конденсованих плівок С60, легованих атомами міді, срібла та титану. Полімеризація фулеритів в залежності від типу легуючого металу. Гібридизація електронних станів атомів вуглецю.
автореферат, добавлен 14.09.2015Дослідження доменної структури сегнетоелектричних кристалів Sn2P2S6 та SbSI і сегнетоеластичних кристалів та твердих розчинів сімейства аргиродитів типу Cu6PS5Br(I,Cl). Аналіз макродефектної та доменної структури кристалів, властивості напівпроводників.
автореферат, добавлен 30.10.2015Сучасні моделі турбулентності, основані на рівнянні Нав’є – Стокса. Порівняння стандартної, ренормгрупової моделей та моделі напружень Рейнольдса з відомими емпіричними даними. Процеси в пневмо-пульсаційному пристрої камерного типу, модуль пружності гуми.
автореферат, добавлен 02.08.2014Дослідження кристалічної та енергетичної структури кристалу In2Se3. Одержання послідовностей енергетичних станів, які формують валентну зону в наближенні порожньої гратки. Визначення актуальних позицій Викоффа. Першопринципні розрахунки зонного спектру.
дипломная работа, добавлен 25.10.2011Дослідження нанорозмірної субструктури металів. Механізми впливу вакуумного осадження на механічні властивості ГЦК-металів. Дослідження дисипативних властивостей, температурна залежність субструктури зерен та величини мікротвердості конденсатів.
автореферат, добавлен 29.07.2015Аналіз впливу галактичного магнітного поля на відхилення та часову затримку КПНВЕ в ньому та дослідження анізотропії потоку КПНВЕ, спричинену галактичним магнітним полем. Специфіка вивчення їх впливу на спектр та потоки КПНВЕ від потенційних джерел.
автореферат, добавлен 30.08.2014Отримання та загальний аналіз аналітичних співвідношень, які описують мезоскопічний опір та енергетичний спектр модельних одновимірних ґраток, що вміщують довільну кількість зсувних або ізотопічних дефектів або мають структуру композиційної суперґратки.
автореферат, добавлен 29.07.2014