Спектр логік часткових предикатів, орієнтованих на композиційнo-номінативні моделі програм
Дослідження класів логіки часткових предикатів на різних рівнях абстрактності й загальності. Семантичні властивості композиційно-номінативних логік квазіарних предикатів реномінативного, першопорядкових рівнів. Дослідження числення гільбертівського типу.
Подобные документы
Експериментальний та теоретичний аналіз спектрів оптичного пропускання в епітаксійних плівках Hg1-xCdxTe з різним характером та величиною градієнта складу. Дослідження механізмів темнового струму і спектрів шуму в довгохвильових фотодіодах n+-p-типу.
автореферат, добавлен 12.02.2014Розрахунок електронної зонної структури бінарних сполук методом модельного псевдопотенціалу та дослідження впливу на неї деформацій і температури. Моделювання твердих розчинів заміщення і дослідження впливу структурної релаксації на електронний спектр.
автореферат, добавлен 06.07.2014Дослідження силової та енергетичної характеристик гравітаційної ультрарелятивістської спін-орбітальної взаємодії, відокремлення фізичних ефектів від координатних. Зміст часткових розв'язків рівнянь Матісона-Папапетру у гравітаційному полі Керра.
автореферат, добавлен 15.07.2014Основні виявлення ролі часткових дислокацій, які рухаються, в процесах фазових перетворень в кристалах сульфіду та селеніду цинку. Вивчення зміни фізичних властивостей кристалів, які залежать від стану електричної активності нерухомих дислокацій.
автореферат, добавлен 28.08.2014Дослідження механізмів переходів в сполуках типу Sn2P2S6 з допомогою моделювання в рамках дипольної моделі. Відтворення фізичних явищ: сегнетоелектричної, несумірної і параелектричної фази. Склоподібна поведінка дипольної моделі при низьких температурах.
автореферат, добавлен 10.01.2014Дослідження механізмів самоіндукованного формування квантових точок і впливу геометричних та структурних факторів на енергетичний спектр. Аналіз особливостей процесів, що реалізуються за участю електронних, екситонних, фононних і плазмових збуджень.
автореферат, добавлен 28.01.2016Роль часткових дислокацій, що рухаються, в процесах фазових перетворень в кристалах сульфіду та селеніду цинку. Вивчення змін фізичних властивостей кристалів сульфіду та селеніду цинку, які залежать від стану електричної активності нерухомих дислокацій.
автореферат, добавлен 28.12.2015Висвітлення ефектів, що пов’язані із надмолекулярною впорядкованістю ліпідного компоненту біологічних мембран. Дослідження модельних біомембран на основі ліотропних та термотропних рідкокристалічних систем, що містять біомолекули різних хімічних класів.
автореферат, добавлен 25.04.2014Формулювання методу розкладів за оберненим радіусом взаємодії для рівноважно невпорядкованої моделі Ізінґа з базисним врахуванням короткосяжних взаємодій. Дослідження впливу взаємодій різних типів на поведінку термодинамічних характеристик системи.
автореферат, добавлен 12.11.2013Дослідження нового варіанту технічної теорії повзучості оболонок при деформуванні тривимірних тіл та узгоджених із моделями повзучості і пошкоджуваності матеріалів часткових припущень щодо виду навантаження, поперечного зсуву і геометричної нелінійності.
автореферат, добавлен 22.07.2014Аналіз особливостей етапів розвитку теорії систем масового обслуговування та критеріїв їхнього поділу на системи марківського і немарківського типу. Обґрунтування моделі графіків споживання електроенергії у вигляді періодичного ланцюга Маркова.
статья, добавлен 30.01.2016- 12. Люмінесцентні властивості моно- та полікристалів нелегованого і легованого міддю тетраборату літію
Вплив фазового стану, концентрації міді, відхилень від стехіометрії на люмінесцентні властивості тетраборату літію, визначення параметрів локальних рівнів прилипання і впливу температури на рекомбінаційні процеси. Програмне забезпечення для дослідження.
автореферат, добавлен 31.01.2014 Вплив різних типів димеризації на структурні і термодинамічні властивості водних розчинів поліелектролітів, характеристика та сутність рівноваги Донана. Дослідження впливу заряду катіона на структурні та динамічні властивості його гідратної оболонки.
автореферат, добавлен 25.08.2014Розробка спін-електронної моделі аморфних магнітних металічних сплавів і напівпровідників. Розвиток методів дослідження моделі, розрахунок на її основі електронного спектру та густини електронних станів, спектру спінових хвиль у довгохвильовій області.
автореферат, добавлен 25.08.2014- 15. Дослідження розмірних ефектів в сегнетоелектричних тонких плівках з урахуванням впливу електродів
Дослідження за допомогою феноменологічної теорії Гінзбурга – Ландау впливу електродів на розмірні ефекти та властивості сегнетоелектричної тонкої плівки. Аналіз моделі сегнетоелектричного конденсатора на базі нанорозмірної сегнетоелектричної плівки.
автореферат, добавлен 28.09.2015 Огляд сукупності основних та похідних одиниць певної системи величин. Особливості застосування префіксів для утворення десяткових кратних і часткових одиниць. Розгляд шкал Ренкіна, Фаренгейта, Реомюра та Цельсія. Старослов’янські одиниці в системи СІ.
реферат, добавлен 16.07.2017Оптичні властивості тонких плівок і керамік на основі оксидів вольфраму і вісмуту, особливості їх люмінесценції при різних видах збудження. Встановлення механізму випромінювання та дослідження характеристик центрів захоплення термоактиваційними методами.
автореферат, добавлен 25.06.2014- 18. Теоретичне дослідження кристалічної будови і електронної структури йонного провідника La0.5Li0.5TiO3
Дослідження атомної і електронної структури літієвих провідників. Кристалічна структура та фізичні властивості йонних провідників La(2-x)/3LixTiO3. Розрахунок залежності числа літієвих вакансій від концентрації йонів літію при різних температурах.
автореферат, добавлен 28.09.2015 Електричні машини як один з найбільш важливіших елементів парку електромеханічного обладнання підприємств. Знайомство з головними підходами та проблемами до визначення стану ізоляції електричних машин. Загальна характеристика методів часткових розрядів.
статья, добавлен 29.09.2018Вивчення впливу електрон-електронної взаємодії та домішок на властивості низьковимірних квантових систем. Теоретичне дослідження електронних ланцюжків з сильною взаємодією частинок. Розробка нової інтегрованої моделі сильнокорельованих електронів.
автореферат, добавлен 28.07.2014Вивчення основних підходів до визначення параметрів глибоких рівнів у напівпровідниках та приладах на їх основі. Розробка автоматизованого релаксаційного спектрометра глибоких рівнів, орієнтованого на дослідження сучасних напівпровідникових приладів.
автореферат, добавлен 21.11.2013Опис взаємодії квазічастинок з поляризаційними зарядами меж поділу для багатошарових сферичних гетеро структур. Дослідження впливу перехідних областей, в яких діелектрична проникність є неперервною функцією координати, на енергетичний спектр екситона.
автореферат, добавлен 12.02.2014Дослідження екситонних спектрів у квантово-розмірних структурах різного типу з урахуванням ефекту просторового обмеження, скінченності висоти потенціальних бар’єрів. Вплив зовнішнього оточення внаслідок його поляризації в області межі розділу середовищ.
автореферат, добавлен 27.08.2014Дослідження взаємозв'язку особливостей електронних спектрів гексаборидів з їх структурними, пружними, магнітними і оптичними властивостями. Вплив тиску на електронний енергетичний спектр і магнітні властивості гексаборидів рідкісноземельних металів.
автореферат, добавлен 26.08.2015- 25. Основні засади формування фізичного мислення в курсі загальної фізики для нефізичних спеціальностей
Вибирання з переліку базисних та часткових фізичних моделей курсу модель системи, процесу, явища, яка найбільшою мірою відповідає потребам фізичного аналізу фахово-значущої ситуації. Формулювання задачі моделювання, проведення якісного аналізу ситуації.
статья, добавлен 02.06.2018