Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

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

в найденном

Найдено в других БД:

БД "Книги" (3)

Труды АМГУ (1)

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

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

Поисковый запрос: (<.>K=спецификации<.>)

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

1-20 21-40 41-46

Шифр: sapr/2004/8
Журнал

САПР и графика [Текст]. - ISSN 1560-4640. - Выходит ежемесячно
2004г. N 8

Содержание:
Новиков, А. Рroiect Studio Архитектура / А. Новиков. - С.16-19
Кл.слова: ИНТЕРФЕЙС БАЗЫ ДАННЫХ
Юсупов, И. Использование модуля прочности анализа АРМ Structure 3D для расчета строительных конструкций в условиях сурового климата / И. Юсупов. - С.32-34
Кл.слова: СТРОИТЕЛЬНЫЕ МАТЕРИАЛЫ, КОНСТРУКЦИИ
auto. Нефтепровод -уникальный продукт для автоматизации проектирования линейной части проектирования линейной части магистральных нефтепродуктов. - С.35-37
Кл.слова: НЕФТЕПРОДУКТЫ, МАГИСТРАЛЬНЫЕ
Тихо не значит медленно. - С.38-40
Кл.слова: сапр, спектр программных пакетов, Arbyte CAD WS 400, графическая станция
Иготин, И. CADMECH для Inventor: очередной виток / И. Иготин, В. Шухта. - С.40-45
Кл.слова: Imbase, справочно-информационная база данных , модуль проектирования, профельные конструкции, спецификации, автоматическое создание
Мальцев, А. Генератор постпроцессоров в CAD/CAM ADEM / А. Мальцев. - С.48-51
Кл.слова: макрокоманда, создание, синхродорожка, текст
Брук, П. Обзор возможностей PLM- систем / П. Брук, В. Стародубова. - С.70-75
Кл.слова: электронная документация
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: prog/2004/7
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2004г. N 7

Содержание:
Ачасова, С. М. Простые программы самовоспроизведения в клеточном пространстве на основе алгоритма параллельных подстановок / С.М. Ачасова. - С.3-10
Кл.слова: АЛГОРИТМ, ПРОСТРАНСТВЕННАЯ МОДЕЛЬ
Бурдонов, И. Б. Обход неизвестного ориентированного графа конечным роботом / И.Б. Бурдонов. - С.11-34
Кл.слова: робот, алгоритм
Иванов, А. Н. Графический язык описания органичений на диаграммы классов UML / А.Н. Иванов. - С.35-41
Кл.слова: язык Visual OCL, семантика диаграммы
Калинов, А. Я. / А.Я. Калинов, И.Н. Ледовский. - С.42-51
Кл.слова: вычислительные пространства, управление, язык фортрана
Косачев, А. С. Автоматическая генерация строго-конформаных текстов по формальной спецификации динамической семантики языка программирования / А.С. Косачев, Ф. Куттер, М.А. Посыпкин. - С.52-67
Кл.слова: язык программирования, статистическая семантика
Нгуен, Мань Хунг. Реализация тезауросов в интернированной системе информационных ресурсов (ИСИР) / Мань Хунг Нгуен. - С.68-80
Кл.слова: информационные ресурсы, интегрированная система
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Шифр: prog/2007/1
Журнал

Программирование [Текст] : журнал Российской академии наук. - ISSN 0132-3474. - Выходит раз в два месяца
2007г. N 1 . - Указатель статей за 2006 г.

Содержание:
Бабичев, А. В. Язык спецификации взаимодействующих процессов Model-100 / А.В. Бабичев, В.Г. Лебедев. - С.5-21. - Библиогр. в конце ст.
Кл.слова: Язык Model-100, архитектура, макрогенерация, управление порядком вычисления
Лисица, А. П. Верификация как параметризованное тестирование : (эксперименты с суперкомпилятором SCP4) / А.П. Лисица, А.П. Немытых. - С.22-34
Кл.слова: верификация, тестирование программы, интерпретатор игры moesl
Терехов, А. Н. Реализация стыка между msc- b sdl- диаграммами в технологии real / А.Н. Терехов, В.В. Соколов. - С.35-50. - Библиогр. в конце ст.
Кл.слова: верификация, новый способ, тестирование программ
Клепинин, А. В. Об универсальной модели организации доступа к базам данных / А.В. Клепинин. - С.51-64. - Библиогр. в конце ст.
Кл.слова: система управления базами данных, программный продукт
Кузнецов, М. Б. Трансформация UML- моделей и ее использование в технологии MDA / М.Б. Кузнецов. - С.65-78
Кл.слова: технология MDA, трансформация моделей, язык описания, моделирования UML
Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
Перейти к описаниям статей

Кукареко, Евгений.
Управление заменами элементов в электронной конструкторской документации [Текст] / Евгений Кукаренко, Максим Панфилов, Валерий Сурмило // САПР и графика. - 2007. - N 5. - С. . 18-20. - Ил.: 4 рисунка

УДК

^a004.4

ББК 32.973.26-018.2
Рубрики: Вычислительная техника--Программное обеспечение персональных компьютеров, 21 в.
Кл.слова (ненормированные):
замена элементов -- электронная конструкторская документация -- система Omega Production -- спецификации изделий -- ведомости замен
Аннотация: В данной статье представлен опыт управления заменами в электронной КД в составе системы Omega Production.

Доп.точки доступа:
Панфилов, Максим; Сурмило, Валерий
Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

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

Севастьянов, Б. (д-р техн. наук, проф., засл. изобр. России).
Информирование о риске повреждения здоровья - обязанность работодателя [Текст] / Б. Севастьянов // Библиотека инженера по охране труда. - 2007. - N 2. - С. 70-83. - Ил.: 8 табл.

ГРНТИ	10. 63. 49	06. 77	86. 29
УДК	^a349.2	^a331

ББК 67.405 + 65.24 + 405.115
Рубрики: Право--Трудовое право
Экономика--Экономика труда
Кл.слова (ненормированные):
охрана труда -- безопасность труда -- аттестация рабочих мест -- обязанности работодателей -- условия труда -- производственные риски -- профессиональные риски -- опасные события -- уровень риска -- формулы риска -- метод Файна и Кинни -- Файна и Кинни метод
Аннотация: О процедуре информирования работодателем работника о риске повреждения здоровья, проведении аттестации рабочих мест. Об определении уровня риска параметрами Международного сертифицирующего органа по спецификации ОНSAS 18001: 1999 - компании "Норвежская истина": идентификация опасных объектов, оценка рисков, методы управления процессом безопасности и т. д.

Доп.точки доступа:
Лисина, Е. (канд. техн. наук); Международный сертифицирующий орган по спецификации OHSASDet Norske Veritas, компания; Компания Det Norske Veritas; DNV, компания; Норвежская истина, компания
Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

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

Тюгашев, А. А. (канд. техн. наук).
Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов [Текст] / А. А. Тюгашев // Мехатроника, автоматизация, управление. - 2007. - N 7. - С. . 46-50. - Библиогр.: с. 50 (9 назв. ). - 0; Логический подход к спецификации, верификации и синтезу программ. - 0; Алгебраический подход (алгебры процессов). - 0; Синтез логического и алгебраического подходов при проектировании алгоритмов управления КА

УДК

^a621.398

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Харечко, В. Н.
В технической спецификации МЭК 60479-1 исправлены две ошибки [Текст] / В. Н. Харечко, Ю. В. Харечко // Электрика. - 2007. - N 5. - С. . 48. - Библиогр.: с. 48 (4 назв. )

УДК

^a620.9

ББК 31
Рубрики: Энергетика--Общие вопросы энергетики
Кл.слова (ненормированные):
технические спецификации -- спецификации -- международные стандарты -- стандарты -- ошибки в технической спецификации
Аннотация: Опубликовано исправление двух ошибок, обнаруженных авторами во время подготовки статей, посвященных изложению материалов технической спецификации МЭК 60479-1 "Воздействия тока на людей и скот. Часть 1. Общие аспекты", которая введена в действие в июле 2005 г.

Доп.точки доступа:
Харечко, Ю. В.

Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

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

Бабичев, А. В.
Язык спецификации взаимодействующих процессов MODEL-100 [Текст] / А. В. Бабичев, В. Г. Лебедев // Программирование. - 2007. - N 1. - С. 5-21. - Библиогр.: с. 14 (6 назв. )

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Кл.слова (ненормированные):
языки программирования
Аннотация: Описываются идеология и основные конструкции языка Model-100, предназначенного для описания поведения множества взаимодействующих процессов.

Доп.точки доступа:
Лебедев, В. Г.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

Лоза, Александр.
3D-модель объекта построена - как получить нужные отчеты (спецификации, экспликации) [Текст] / А. Лоза // САПР и графика. - 2008. - N 8. - С. 50-52. : рис.

УДК

^a004.91

ББК 32.973-018.2
Рубрики: Вычислительная техника
Обработка и создание документов
Кл.слова (ненормированные):
3D -- отчеты -- формирование -- проектирование -- автоматизация
Аннотация: Формирование отчета при построении 3D-модели.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

10.

Гуревич, В. И.
Об особенностях реле управления отключающими катушками высоковольтных выключателей [Текст] / Гуревич В. И. // Электричество. - 2008. - N 11. - С. 22-29. : 3 рис., 5 табл. - Библиогр.: с. 29 (9 назв. )

УДК

^a621.3

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

Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

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

11.

Бураков, В. В.
Способы формальной спецификации принципов проектирования программных средств [Текст] / В. В. Бураков // Информационно-управляющие системы. - 2008. - N 5 (36). - С. 22-25. : 2 рис. - Библиогр.: с. 25

УДК

^a004.41/.42

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

12.

Буравлев, Александр.
Компьютерные модули: стандарты, спецификации и основные принципы использования [Текст] / Александр Буравлев // Современные технологии автоматизации. - 2009. - N 1. - С. 10-14.

ГРНТИ	50
УДК	^a621.398

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

Имеются экземпляры в отделах: всего 1 : эн.ф. (1)
Свободны: эн.ф. (1)

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

13.

Буравлев, Александр.
Компьютерные модули: стандарты, спецификации и основные принципы использования [Текст]. Часть 2 / Александр Буравлев // Современные технологии автоматизации. - 2009. - N 2. - С. 22-28.

ГРНТИ	50
УДК	^a621.398

14.

Гордиевич, Т.
Проблемы "спецификации" прав интеллектуальной собственности работника и инновационная экономика [Текст] / Т. Гордиевич, Н. Семериков // Интеллектуальная собственность: Промышленная собственность. - 2008. - N 9. - С. 30-34. . - Библиогр. в сносках

УДК

^a347.77/.78

ББК 67.404.3
Рубрики: Право--Россия
Правовая охрана интеллектуальной собственности
Кл.слова (ненормированные):
инновационная экономика -- интеллектуальная собственность -- нематерилизованная интеллектуальная собственность -- определение прав собственности
Аннотация: Особенности реализации прав интеллектуальной собственности работника. Определение прав собственности.

Доп.точки доступа:
Семериков, Н.

Имеются экземпляры в отделах: всего 1 : пат. (1)
Свободны: пат. (1)

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

15.

Янковая, В. (доцент Государственного университета управления города Москва).
Делопроизводство на Западе [Текст] / В. Янковая // Управление персоналом. - 2009. - N 14 (216). - С. 65. : ил., фот.

УДК

^a651

ББК 65.050.2
Рубрики: Социальное управление--США--Россия--Западная Европа, 21 в. нач.
Делопроизводство
Кл.слова (ненормированные):
спецификации -- информационные технологии -- документы -- организация делопроизводства -- электронный документооборот -- документационное обеспечение -- стандарты по управлению документами
Аннотация: Об организации делопроизводства за рубежом.

Имеются экземпляры в отделах: всего 2 : эк. (1), эл.з. (1)
Свободны: эк. (1), эл.з. (1)

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

16.

Горюнова, В. В.
Декларативное моделирование распределенных систем управления промышленными процессами [Текст] / В. В. Горюнова // Приборы и системы. Управление, контроль, диагностика. - 2009. - N 11. - С. 56-59 : 1 табл. - Библиогр.: с. 59 (6 назв. ) . - ISSN 2073-0004

ГРНТИ	50.43	06.71.03
УДК	^a621.398	^a338.24

ББК 32.96 + 65.050
Рубрики: Радиоэлектроника
Автоматика и телемеханика
Кл.слова (ненормированные):
декларативное моделирование -- системы управления -- промышленные процессы -- концептуальные спецификации -- онтологии
Аннотация: Представлено перспективное направление разработки распределенных систем управления промышленными процессами на основе концептуальных спецификаций (онтологий).

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

17.

Ануреев, И. С.
Операционно-онтологический подход к формальной спецификации языков программирования [Текст] / И. С. Ануреев // Программирование. - 2009. - N 1. - С. 50-60. - Библиогр.: с. 60 (7 назв. ) . - ISSN 0132-3474

УДК

^a004.43

ББК 32.973-018.1
Рубрики: Вычислительная техника
Языки программирования
Кл.слова (ненормированные):
онтологические системы -- языки программирования -- спецификации языков программирования -- язык OTSI -- ОТ-системы
Аннотация: Представлен операционно-онтологический подход к формальной спецификации языков программирования.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

18.

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

УДК

^a004.41/.42

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

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

19.

Новиков, Ф. А.
Язык исполняемых программных спецификаций [Текст] / Ф. А. Новиков, В. Б. Новосельцев // Программирование. - 2010. - N 1. - С. 66-78. - Библиогр.: с. 77-78 (18 назв. ) . - ISSN 0132-3474

УДК

^a004.41/.42

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

Доп.точки доступа:
Новосельцев, В. Б.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

20.

Слюсар, В.
Внедрение PCI Express в CompactPCI [Текст] : попытка N 2 / В. Слюсар // Электроника: наука, технология, бизнес. - 2010. - N 7. - С. 72-81.

УДК

^a004

ББК 32.97
Рубрики: Вычислительная техника
Вычислительная техника в целом
Кл.слова (ненормированные):
стандарты -- гибридные спецификации -- CompactPCI -- PCI Express
Аннотация: Представлена технология CompactPCI, применяемая в телекоммуникационных, промышленных, контрольно-измерительных, оборонных и медицинских приложениях.

Нет сведений об экземплярах (Источник в БД не найден)

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

1-20 21-40 41-46

Тематический навигатор

Статистика за 19.08.2024
Число запросов	37230
Число посетителей	1
Число заказов	0

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