Program Systems: Theory and Applications最新文献

筛选

英文中文

The use of distributed computing in domain modeling in universal syllogistics 分布式计算在通用音节学领域建模中的应用

Program Systems: Theory and Applications Pub Date : 2024-05-17 DOI: 10.25209/2079-3316-2024-15-2-87-112

Юрий Михайлович Сметанин

{"title":"The use of distributed computing in domain modeling in universal syllogistics","authors":"Юрий Михайлович Сметанин","doi":"10.25209/2079-3316-2024-15-2-87-112","DOIUrl":"https://doi.org/10.25209/2079-3316-2024-15-2-87-112","url":null,"abstract":"Неклассическая пропозициональная логика\u0000 LS2\u0000 построена на базе алгебраической системы, содержащей булеву алгебру\u0000 множеств и два отношения между множествами:\u0000 ⊂\u0000 и\u0000 =.\u0000 Ближайшим аналогом ее является силлогистика Аристотеля, математической\u0000 моделью которой является алгебраическая система с Булевой алгеброй\u0000 множеств и одним отношением\u0000 ⊂.\u0000 Недостатком силлогистик, в основе которых лежит алгебраическая система с\u0000 одним отношением\u0000 ⊂,\u0000 является многосмысловость интерпретации их формул и атомарных\u0000 суждений.\u0000 Под логико-семантической моделью предметной области в данной работе\u0000 мы понимаем совокупность формулы универсальной силлогистики\u0000 LS2\u0000 и ее семантического значения, в качестве которого выступает конечное\u0000 множество неотрицательных целых чисел. Предлагается алгоритм вычисления\u0000 семантического значения конъюнктивной правильно построенной формулы\u0000 LS2,\u0000 обладающий высоким уровнем параллелизма на уровне задач, на уровне\u0000 данных и на уровне алгоритмов, реализующих операции над составляющими\u0000 множествами. В силу особенностей операций объединения, пересечения и\u0000 дополнения универсума над конечными множествами все процессы их\u0000 вычисления и решения подзадач происходят на битовом уровне и, как\u0000 правило, эффективно реализуются на алгоритмических языках.\u0000 В предлагаемом алгоритме переход на битовый уровень и обратно\u0000 реализуется набором программных средств.","PeriodicalId":506207,"journal":{"name":"Program Systems: Theory and Applications","volume":"103 16","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141126181","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Fractal Model of Macrosystems 宏观系统的分形模型

Program Systems: Theory and Applications Pub Date : 2024-03-21 DOI: 10.25209/2079-3316-2024-15-1-41-62

Сергей Анатольевич Амелькин

引用次数: 0