Academic Journal
Технология логического моделирования и анализа сложных систем
| Τίτλος: | Технология логического моделирования и анализа сложных систем |
|---|---|
| Πηγή: | Инженерный вестник Дона. |
| Στοιχεία εκδότη: | Федеральное государственное автономное образовательное учреждение высшего профессионального образования «Южный федеральный университет», 2012. |
| Έτος έκδοσης: | 2012 |
| Θεματικοί όροι: | ЛОГИЧЕСКАЯ МОДЕЛЬ, ИСЧИСЛЕНИЕ ПРЕДИКАТОВ, ЛОГИЧЕСКИЕ ОШИБКИ, ИНТЕРПРЕТАТОР, ЛОГИЧЕСКАЯ СЕМАНТИКА, АНАЛИЗ |
| Περιγραφή: | Предлагаются методологические, языковые и инструментальные средства для быстрого получения логических моделей систем и процессов. Язык определяется в исчислении предикатов первого порядка с равенством и допускает представление отрицаний, модулей, интервалов дискретного времени. Заданная вычислимая математическая семантика языка позволяет строить интерпретаторы, сложность которых составляет O(nlogn) относительно мощности моделей. Результат интерпретации – модель, построенная по логической спецификации объектов с помощью прямого вывода. Модель может быть использована как действующий прототип системы. Технология предназначена для решения широкого спектра задач анализа языков, проектов, процессов, разработки экспертных и обучающих систем. The methodology, language and tools for rapid development of logic models of systems and processes are proposed. Language is defined in the first-order predicate calculus with equality and a representation of negatives, modules, discrete time intervals. The proposed computable mathematical semantics allows to construct interpreters whose complexity is O(nlogn) relative to the power of models. Interpretations result is a model derivated from the logical specification of objects by direct inference. The model can be used as a working prototype of the system. The technology is designed to address a wide range of problems of language analysis, projects, processes, development of training and expert systems. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | text/html |
| Γλώσσα: | Russian |
| ISSN: | 2073-8633 |
| Σύνδεσμος πρόσβασης: | http://cyberleninka.ru/article/n/tehnologiya-logicheskogo-modelirovaniya-i-analiza-slozhnyh-sistem http://cyberleninka.ru/article_covers/14269937.png |
| Αριθμός Καταχώρησης: | edsair.od......2806..4409d12b3c3e7e018880ebc4b59b678c |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 20738633 |
|---|