Система═научных=знаний═информатики═СИНФ

22.09.2009

Система знаний информатики СИНФ. Журнал ИНФОРМАТИКА: S-МОДЕЛИРОВАНИЕ

 

inf_shar


 

 

 

Журнал ИНФОРМАТИКА: S-МОДЕЛИРОВАНИЕ – часть системы знаний СИНФ

Главный редактор: доктор технических наук, академик РАН Соколов Игорь Анатольевич

Научный редактор: доктор технических наук, профессор Ильин Владимир Дмитриевич


Журнал и Энциклопедия информатики ИНФОПЕДИЯ входят в состав распределённой гипермедийной системы знаний информатики (СИНФ) и служат средством оперативного представления и открытого обсуждения научных результатов, новых информационных технологий и обновляющегося понятийного аппарата информатики.

Цель журнала – представление и обсуждение научных результатов, представленных в виде статей и книг, содержащих описание методов решения задач s-моделирования и их применений в разработках информационных технологий, сервисов, программных и аппаратных средств, научных и образовательных ресурсов.

/ Об s-моделировании

1. Право называться homo sapiens человек приобрёл, изобретая различные модели, символы, языки символьных сообщений и средства построения, сохранения и передачи символьных моделей.
2. S-машинная эпоха – новый этап в символьном моделировании мира (включая внутренний): машины впервые стали помощниками человека во всех составляющих процесса символьного моделирования.
3. Из всего процесса символьного моделирования выделяем s-моделирование, которое осуществляется с помощью s-машин, взаимодействующих между собой в составе s-среды.
4. S-моделирование считаем предметом исследований информатики.

S-моделирование как научное направление сформировалось в Институте проблем информатики РАН. Первые результаты были опубликованы в 1989 [В.Д. Ильин. Система порождения программ. М.: Наука, 1989] , а основы теории s-моделирования — в 2009 [А.В. Ильин, В.Д. Ильин. Основы теории s-моделирования. М.: ИПИ РАН, 2009]

Научное обеспечение развития s-среды и реализуемых на ее основе информационных технологий можно условно представить в виде связанных между собой методологических комплексов решения базовых задач s-моделирования и физико-технического воплощения s-машин и s-среды.

Результаты первого комплекса должны служить методологическим основанием разработок систем символов и кодов; языков спецификаций, запросов и программирования; архитектур машин и соответствующих им систем машинных команд; ассемблеров, компиляторов и интерпретаторов; операционных систем и библиотек программ; редакторов (текстовых, графических, аудио и видео) и инструментальных систем программирования; типов и структур данных, систем управления базами данных; систем памяти, накопителей и поисковых систем; сетевых архитектур, протоколов и технологий обмена сообщениями; методов и технологий информационной безопасности.

Существующая методологическая неразбериха относительно предмета информатики (как науки) — свидетельство того, что информатика все еще находится в процессе становления. С этим связан и дефицит научных результатов, полезных для решения базовых задач s-моделирования.

◊Только в комплексе физико-технического воплощения s-машин и s-среды научные результаты, как правило, предопределяют технологические решения. Это связано с тем, что основные идеи там поставляют физики.◊

ДЛЯ АВТОРОВ

1. Для публикации и обсуждения в журнале достаточно, чтобы статья или книга соответствовали тематике журнала и правилам оформления. Предлагаемые для публикации статьи и книги могут содержать как впервые публикуемый материал, так и материал, который был опубликован в другом издании.

2. Статья или книга подаётся по электронной почте smodeling@yandex.ru вместе со справкой об авторе [в одной сжатой папке (ZIP или RAR)].

3. Публичное обсуждение (в форме комментариев) и рецензирование статьи или книги  начинается, как только она выложена на сайте журнала. Число рецензий и их форма не регламентируются. Анонимные комментарии и рецензии не публикуются. Рецензия подаётся по  электронной почте smodeling@yandex.ru

/ Правила оформления:

- если материал статьи публикуется впервые, то в поле <новизна публикации> записывается ПУБЛИКУЕТСЯ ВПЕРВЫЕ; если материал был ранее опубликован, то – ИЗ ОПУБЛИКОВАННОГО;

- статья или книга представляются в формате PDF.

________________________________________________________________________________________________________

журналы и труды

Ссылки на журналы и труды

 

Научная электронная библиотека

Научная электронная библиотека

INFOPEDIA

в составе системы знаний информатики СИНФ

Math-Net.RU

Общероссийский математический портал

← Предыдущая страница

Тема: Rubric. Блог на WordPress.com.

Follow

Get every new post delivered to your Inbox.