2025-02-23T05:50:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83107%22&qt=morelikethis&rows=5
2025-02-23T05:50:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83107%22&qt=morelikethis&rows=5
2025-02-23T05:50:44-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-23T05:50:44-05:00 DEBUG: Deserialized SOLR response
Организация базы знаний о переходах системы с атрибутами перечислимых типов

Организация базы знаний о переходах системы с атрибутами перечислимых типов

Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.

Saved in:
Bibliographic Details
Main Author: Потиенко, С.В.
Format: Article
Language:Russian
Published: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2012
Series:Управляющие системы и машины
Subjects:
Технические приложения инсерционного моделирования
Online Access:http://dspace.nbuv.gov.ua/handle/123456789/83107
Tags: Add Tag
No Tags, Be the first to tag this record!
id irk-123456789-83107
record_format dspace
spelling irk-123456789-831072015-06-15T03:01:59Z Организация базы знаний о переходах системы с атрибутами перечислимых типов Потиенко, С.В. Технические приложения инсерционного моделирования Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании. A method for building of a knowledge base about transitions of a system under modeling is suggested for solving a problem of detection acceptable transitions in symbolic model checking. Запропоновано метод побудови бази знань про переходи системи, що моделюється для вирішення проблеми визначення допустимості переходів у символьному моделюванні. 2012 Article Организация базы знаний о переходах системы с атрибутами перечислимых типов / С.В. Потиенко // Управляющие системы и машины. — 2012. — № 6. — С. 49-52. — Бібліогр.: 5 назв. — рос. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83107 004.415.28 + 004.415.52 ru Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
language Russian
topic Технические приложения инсерционного моделирования
Технические приложения инсерционного моделирования
spellingShingle Технические приложения инсерционного моделирования
Технические приложения инсерционного моделирования
Потиенко, С.В.
Организация базы знаний о переходах системы с атрибутами перечислимых типов
Управляющие системы и машины
description Предложен метод построения базы знаний о переходах моделируемой системы для решения проблемы определения допустимости переходов в символьном моделировании.
format Article
author Потиенко, С.В.
author_facet Потиенко, С.В.
author_sort Потиенко, С.В.
title Организация базы знаний о переходах системы с атрибутами перечислимых типов
title_short Организация базы знаний о переходах системы с атрибутами перечислимых типов
title_full Организация базы знаний о переходах системы с атрибутами перечислимых типов
title_fullStr Организация базы знаний о переходах системы с атрибутами перечислимых типов
title_full_unstemmed Организация базы знаний о переходах системы с атрибутами перечислимых типов
title_sort организация базы знаний о переходах системы с атрибутами перечислимых типов
publisher Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate 2012
topic_facet Технические приложения инсерционного моделирования
url http://dspace.nbuv.gov.ua/handle/123456789/83107
citation_txt Организация базы знаний о переходах системы с атрибутами перечислимых типов / С.В. Потиенко // Управляющие системы и машины. — 2012. — № 6. — С. 49-52. — Бібліогр.: 5 назв. — рос.
series Управляющие системы и машины
work_keys_str_mv AT potienkosv organizaciâbazyznanijoperehodahsistemysatributamiperečislimyhtipov
first_indexed 2023-10-18T19:26:05Z
last_indexed 2023-10-18T19:26:05Z
_version_ 1796146942224367616

Similar Items