Реферат: В статье получены необходимые и достаточные условия выполнения весового неравенства типа Харди. Условия на весовые функции определяют и непрерывные компактные вложения. Найдены двухсторонние оценки, совпадающие по порядку. Даны критерии компактности оператора вложения. Доказаны некоторые леммы, являющиеся основополагающими при доказательстве основных теорем методом локализации.
Реферат: В статье получены необходимые и дополнительные условия на весовые функции для выполнения весового неравенства типа Харди. Установлены непрерывность и компактность вложения весовых пространств. Дан критерий компактности вложения. Приведены некоторые основополагающие леммы, используемые при доказательстве основных теорем.
Метрика между формулами n-значной логики и недостоверность в кластеризации высказываний
Реферат: Объект исследования - высказывания, которые можно записать логическими многозначными формулами. В статье, используя теорию моделей, вводятся понятия более полного расстояния между формулами n-значной логики Лукасевича и меры недостоверности высказываний, кроме того, сформулированы теоремы о свойствах этих величин. С помощью введенных расстояния и меры недостоверности на основе известных алгоритмов кластеризации разработаны алгоритмы для кластеризации множеств высказываний и исследованы результаты для различных n.
Исследование модельных расстояний между высказываниями экспертов с упорядоченными элементарными логическими высказываниями базы знаний
Реферат: Результат работы - доказательство теоремы о метрике с учҒтом упорядочения элементарных высказываний каждым экспертом и степени разброса моделей. Приведены примеры, свидетельствующие о новизне метрики, и способ построения новой метрики по ранее полученным или имеющимся метрикам.
Strongly minimal Jonsson sets and their properties
Реферат: This article introduced and considered the Johnson sets and their fragments. And respectively was considered strongly minimal Jonsson sets. On this basis, introduced the concept of the independence of special subsets of existentially closed submodel of the semantic model. The notion of independence leads to the concept of base and further we develop technique for Jonssonien analog of theorem on uncountable categoricity.
The Properties of Similarity for Jonsson\'s Theories and Their Models
Автор(ы): Yeshkeyev A. R.*
Объем документа: С. 53-60
МРНТИ: 27.03*
Ключевые слова: йонсоновская теория*синтактическое и семантическое подобие*
Реферат: Actually, we study the connections of the PJ-theories with their centers. The properties of various companions of some PJ-theories and their connection with this theory are considered. Also the similarity of the central types of PJ-theories in the enriched language is considered. In the class of perfect PJtheories the conditions of coincidence of algebraic primeness with some sort of atomic models are found. In the class of PJ-theories, the concepts of syntactic and semantic similarities are introduced and the results on the relationship of these similarities in this class with their centers are obtained.
Жазық төрт тиектi механизмдi синтездеудегi бес параметрдi анықтау
Реферат: Механизмдердi кинематикалық тұрғыдан зерттеу және оларды жобалауда жуықтау функцияларын пайдалану өзектi мәселе болып табылады. Сондықтан топсалы төрт тиектi механизм синтезiнiң белгiсiз бес параметрiн қарастырамыз.
Примеры программирования элементов цифровой электроники на языке VHDL в среде XILINX
Реферат: В статье приведены примеры программирования на языке VHDL различных логических элементов цифровой электроники, а также условные графические обозначения, таблицы истинности, примеры программирования и комментарии к ним. Показаны результаты программного кода в среде XILINX. Отдельно выведены графические обозначения элементов в среде XILINX. Автор предлагает временные диаграммы рассматриваемых логических элементов.
Реферат: Напомним, что m-группа представляет собой пару G, где G-группа и является убыванием двух автоморфизмов группы G. Данную m-группу можно рассматривать как алгебраическую систему сигнатуры, и это очевидно, что m-группы образуют разнообразие в этой подписи. Множеством М сортов всех m-групп является частично упорядоченным множеством по отношению к теоретико-множественным включениям. Кроме того, М является решеткой по отношению к естественно определяемым операциям пересечения и объединения разновидностей m-групп. Автором изучено многообразие, которое определяется тождеством.
