Библиотека Омского государственного университета им. Ф.М. Достоевского

Электронные ресурсы

Базы данных

Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска

Электронный каталог

Статьи из журналов: 2001-2014

Труды ОмГУ

История ОмГУ

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

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>A=Кузьмин, Е. В.$<.>)

Общее количество найденных документов : 5
Показаны документы с 1 по 5

004.4
К 893

Кузьмин, Е. В.
Моделирование, спецификация и верификация "автоматных" программ [Текст] / Е. В. Кузьмин, авт. В. А. Соколов // Программирование. - 2008. - N 1. - С. 38-60. - Библиогр.: с. 60 (18 назв. ) . - ISSN 0132-3474

УДК

004.4

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
автоматные программы -- системы логического управления -- темпоральная логика -- компьютерные программы -- модели автоматных программ
Аннотация: Статья посвящена описанию, спецификации и верификации моделей программ, построенных на основе автоматного подхода к программированию.

Доп.точки доступа:
Соколов, государственный университет им. П. Г. Демидова

Найти похожие

Кузьмин, Е. В.
Проблемы ограниченности счетчиковых машин Минского [Текст] : текст / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Доклады Академии наук. - 2008. - Т. 421, N 6, август. - С. 741-743. - Библиогр.: с. 743 . - ISSN 0869-5652

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
счетчиковые машины Минского -- Минского счетчиковые машины -- ограниченность -- тотальная ограниченность -- счетчиковые машины -- односчетчиковые машины -- двухсчетчиковые машины
Аннотация: Исследуется разрешимость проблем ограниченности и тотальной ограниченности для счетчиковых машин Минского. Рассмотрение машин проводится с точки зрения моделирования и анализа программных систем.

Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

Найти похожие

Температура Кюри и ЯРМ ядер {53}Cr в примесных ферромагнитных полупроводниках на основе селенохромита кадмия [Текст] / Е. В. Кузьмин [др. ] // Физика твердого тела. - 2008. - Т. 50, вып: вып. 10. - С. 1840-1845. - Библиогр.: с. 1845 (12 назв. ) . - ISSN 0367-3294

УДК

^a539.2

ББК 22.37
Рубрики: Физика
Физика твердого тела. Кристаллография в целом
Кл.слова (ненормированные):
температура Кюри -- Кюри температура -- ядерно-магнитный резонанс -- примесные ферромагнитные полупроводники -- ферромагнитные полупроводники -- селенохромит кадмия -- иновалентное легирование -- приближение молекулярного поля
Аннотация: Проведено экспериментальное и теоретическое исследование влияния иновалентного легирования на обменные взаимодействия в ферромагнитной шпинели на основе селенохромита кадмия. Расчет температуры Кюри проведен в приближении молекулярного поля. На основании сравнения расчетных результатов с экспериментами по зависимости температуры Кюри от концентрации примесей, а также по температурной модификации спектров ЯМР ядер хрома отдано предпочтение модели магнитных кластеров. В рамках этой модели предполагается, что при иновалентном замещении немагнитных катионов компенсация валентности осуществляется за счет изменения валентного состояния ионов хрома. При этом избыточный носитель заряда мигрирует по эквивалентным ионам, окружающим примесный центр. По аналогии с моделью двойного обмена предложено детальное описание таких перескоков и их влияния на обменные взаимодействия магнитных ионов.

Доп.точки доступа:
Кузьмин, Е. В.; Полулях, С. Н.; Бержанский, В. Н.; Абеляшев, Г. Н.; Аминов, Т. Г.

Найти похожие

Кузьмин, Е. В.
Применение метода формальных утверждений о трассах для спецификации, построения и верификации автоматных программ [Текст] / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. - 2009. - N 1. - С. 61-77. - Библиогр.: с. 76-77 (34 назв. ) . - ISSN 0132-3474

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
верификация программ -- программное обеспечение -- методы формальных утверждений -- технологии автоматного программирования -- ПО -- задачи логического управления
Аннотация: Рассматриваются перспективы использования метода формальных утверждений о трассах как средства спецификации и верификации программ, построенных в автоматном стиле.

Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

Найти похожие

Кузьмин, Е. В.
Проблемы ограниченности счетчиковых машин Минского [Текст] / Е. В. Кузьмин, В. А. Соколов, Д. Ю. Чалый // Программирование. - 2010. - N 1. - С. 5-15. - Библиогр.: с. 15 (13 назв. ) . - ISSN 0132-3474

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
счетчиковые машины Минского -- проблемы ограниченности -- тотальная ограниченность -- Минского счетчиковые машины
Аннотация: Исследуется разрешимость проблем ограниченности для счетчиков Минского.

Доп.точки доступа:
Соколов, В. А.; Чалый, Д. Ю.

Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)