Библиотека ТУСУРа

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

База данных нормативных документов (4)

Электронные книги ЛитРес (4)

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

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

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

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

1-20 21-40 41-60 61-80 81-100 101-103

Вид документа : Однотомное издание
Шифр издания : 2/Г 630
Автор(ы) : Гольбах, Поль Анри
Заглавие : Галерея святых (или Исследование образа мыслей, поведения, правил и заслуг тех лиц, которых христианство предлагает в качестве образцов)
Выходные данные : М.: Госполитиздат, 1962
Колич.характеристики :351 с.: ил., портр.
Цена : 00.64, р.
УДК : 2
Ключевые слова (''Своб.индексиров.''): иудаизм--ветхий завет--новый завет--праведники--христианство--атеизм
Экземпляры :ахл(1)
Свободны : ахл(1)
Найти похожие

Вид документа : Монографическая серия
Шифр издания : ГОСТ 24183-80, СТ СЭВ 71-74, СТ СЭВ 2128-80, СТ СЭВ 5717-86
Автор(ы) : Образцов Ю. В., Каменский М. К., Жукова О. Г.
Заглавие : Кабели силовые для стационарной прокладки. Общие технические условия . -Издание официальное. .- Введ. с 01.01.82 по 01.01.92
Выходные данные : М.: Издательство стандартов, 1989
Колич.характеристики :33 с.: табл.
Коллективы : Государственный комитет СССР по стандартам, Министерство электротехнической промышленности
Серия: Государственный стандарт Союза ССР
Цена : 0.10, р.
Экземпляры :сбо(1)
Свободны : сбо(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 378/К413
Автор(ы) : Кинелев, Владимир Георгиевич
Заглавие : Объективная необходимость. История, проблемы и перспективы реформирования высшего образования России
Выходные данные : М.: Республика, 1995
Колич.характеристики :328 с.: ил
Цена : Б.ц.
УДК : 378(470)
Ключевые слова (''Своб.индексиров.''): вузы--история--объективная необходимость--высшее образование--россия--высшая школа
Экземпляры :аунл(1)
Свободны : аунл(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 539/Б198
Автор(ы) : Бакулин, Владимир Николаевич, Образцов, Иван Филиппович, Потопахин, Владимир Алексеевич
Заглавие : Динамические задачи нелинейной теории многослойных оболочек. Действие интенсивных термосиловых нагрузок, концентрированных потоков энергии : монография
Выходные данные : М.: Наука. Физматлит, 1998
Колич.характеристики :464 с.: ил
ISBN (в пер.), Цена 5-02-015132-7: 55.00 р.
УДК : 539.3
Ключевые слова (''Своб.индексиров.''): физика твердого тела--напряжения--прочность--несущие конструкции--динамика деформируемых тел--оболочки--многослойные оболочки--деформации
Экземпляры :аунл(1)
Свободны : аунл(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 623/С 302
Автор(ы) : Семенов, Сергей Сергеевич, Харчев, Виктор Николаевич, Иоффин, Артур Исаакович
Заглавие : Оценка технического уровня образцов вооружения и военной техники
Выходные данные : М.: Радио и связь, 2004
Колич.характеристики :552 с.: портр., табл., ил.
Примечания : Библиогр. в конце глав
ISBN, Цена 5-256-01671-7: 328.00, р.
УДК : 623.462.4:001.51
Ключевые слова (''Своб.индексиров.''): вооружение--военная техника--принятие решений--статистический анализ--управляемые авиационные бомбы--информационно-аналитические системы--пилот б--оценка качества--управляемые ракеты--авиационная техника--воздух-поверхность
Экземпляры : всего : аунл(8), счз1(2)
Свободны : аунл(8), счз1(2)
Найти похожие

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Вергасов С. В., Абдалова О. И., Дулепова Ю. В.
Заглавие : Автоматизация обработки фотоснимков и восстановление микрорельефа поверхности образцов металлов и сплавов : доклад, тезисы доклада
Место публикации : Научная сессия ТУСУР-2005. - Томск: Издательство ТУСУР, 2005. - Ч. 2. - С.249-250
Примечания : Библиогр. в конце ст.
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2005_vergasov_19122005.pdf или скачать
Найти похожие

(Свободных экземпляров нет)
Вид документа : Монографическая серия
Шифр издания : 621.391/Д 935
Автор(ы) : Дьяконов, Владимир Павлович, Образцов, Андрей Александрович, Смердов, Вячеслав Юрьевич
Заглавие : Электронные средства связи :
Выходные данные : М.: СОЛОН-Пресс, 2005
Колич.характеристики :429[3] с.: ил., табл.
Серия: Библиотека инженера
Примечания : Библиогр.: с. 423-424
ISBN, Цена 5-98003-220-7: 191.00, р.
УДК : 621.391.1 + 621.395
Ключевые слова (''Своб.индексиров.''): электросвязь--связь--электронные средства--телефонная связь--факсимильная связь--автоответчики--модемы--мини-атс--пейджинговая связь--транкинговая связь--сотовая связь--подвижная радиосвязь--спутниковая связь--спутниковая навигация--internet-телефония--интернет-телефония
Экземпляры :
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 37/Д 138
Автор(ы) : Давыдов, Владимир Петрович, Образцов, Павел Иванович, Уман, Аркадий Ильич
Заглавие : Методология и методика психолого-педагогического исследования : Учебное пособие для вузов
Выходные данные : М.: Логос, 2006
Колич.характеристики :127[1] с.: ил.
Примечания : Библиогр. в конце глав
ISBN, Цена 5-98704-088-4: 92.00, р.
УДК : 37.015.3(075.8)
Ключевые слова (''Своб.индексиров.''): учебные пособия--педагогическая психология--психология
Экземпляры : всего : аунл(4), счз1(2), кон(1)
Свободны : аунл(4), счз1(2), кон(1)
Найти похожие

Вид документа : Монографическая серия
Шифр издания : 651/Н 731
Автор(ы) : Новиков, Евгений Александрович
Заглавие : Делопроизводство в службе персонала : Практическое пособие. 50 образцов документов
Выходные данные : М.: Омега-Л, 2006
Колич.характеристики :352 с.: ил.
Серия: Кадровая служба
ISBN, Цена 5-365-00197-4: 72.25, р.
УДК : 651.4/.9:658.3(076.5) + 658.3:651.4/.9(076.5)
Ключевые слова (''Своб.индексиров.''): практикумы--делопроизводство--персонал--кадры--трудовой договор--прием на работу--отпуска--поощрения--увольнение--архивирование--трудовой стаж--пенсионное обеспечение
Экземпляры : всего 1: аунл(7), счз1(1)
Свободны : аунл(7), счз1(1)
Найти похожие

10.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Храмцов А. В., Семенов В. Д., Образцов С. В.
Заглавие : Особенности электрохимического аппарата с ионообменными мембранами как нагрузки источника электропитания : доклад, тезисы доклада
Место публикации : Научная сессия ТУСУР-2008. - Томск: В-Спектр, 2008. - Ч. 2. - С.306-309: ил.
Примечания : Библиогр. в конце ст.
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2008_hramcov_270808.pdf или скачать
Найти похожие

11.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Цибульский М. Н.
Заглавие : Исследование зависимостей скорости распространения ультразвука при деформировании образцов мелкозернистого поликристаллического алюминия : доклад, тезисы доклада
Место публикации : Научная сессия ТУСУР-2008. - Томск: В-Спектр, 2008. - Ч. 1. - С.225-227.: ил.
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2008_cibulskiy_300508.pdf или скачать
Найти похожие

12.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Головко В. В., Митник Д. А.
Заглавие : Исследование диэлектрической проницаемости образцов в объемном цилиндрическом резонаторе : доклад
Место публикации : Научная сессия ТУСУР-2009. - Томск: В-Спектр, 2009. - Ч. 4.. - С.21-24: ил.
Примечания : Библиогр. в конце ст.
Ключевые слова (''Своб.индексиров.''): измерения--методы--точность--моделирование
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2009_golovko_190609.pdf или скачать
Найти похожие

13.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Филиппов О. В., Сухоруков М. П., Школа Е. Ф., Пангин А. Н.
Заглавие : Проектирование макетных образцов многослойных металлокерамических печатных плат для космической РЭА : доклад
Место публикации : Научная сессия ТУСУР-2009. - Томск: В-Спектр, 2009. - Ч. 5.. - С.318-320: ил.
Примечания : Библиогр. в конце ст.
Ключевые слова (''Своб.индексиров.''): надежность--отказы--нагрузки--температура
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2009_filippov_240609.pdf или скачать
Найти похожие

14.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Какуев С. С., Семенов В. Д., Образцов С. В.
Заглавие : Установка гальванического нанесения хрома на внутреннюю поверхность изделий : доклад
Место публикации : Научная сессия ТУСУР-2009. - Томск: В-Спектр, 2009. - Ч. 4.. - С.142-144
Примечания : Библиогр. в конце ст.
Ключевые слова (''Своб.индексиров.''): покрытия--электролиты--электроды--установки--ванны--ток асимметричный
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2009_kakuev_220609.pdf или скачать
Найти похожие

15.

Заглавие журнала :Измерительная техника -2009г.,N 5
Интересные статьи :
Скрынников А. А.. Критерий однородности нескольких выборок/ А. А. Скрынников (стр.5-8) Кл.слова: гипотезы,проверка,моделирование
Красовский П. А.. Проблемы метрологического обеспечения измерений параметров наночастиц в технологических средах/ П. А. Красовский, О. В. Карпов, Д. М. Балаханов (стр.8-15) Кл.слова: метрология,наноиндустрия,водная среда
Бабаджанов Л. С.. К вопросу обеспечения единства измерений геометрических параметров дефектов материалов и изделий средствами неразрушающего контроля/ Л. С. Бабаджанов (стр.15-19) Кл.слова: поверочные схемы,дефектомеры,измерения
Бачиш Е. А.. Исследование метрологических характеристик лазерного динамического гониометра/ Е. А. Бачиш, П. А. Павлов (стр.19-23) Кл.слова: лазеры,индикаторы,калибровка
Кукушкин С. С.. Новые методы и технологии идентификации оптических измерений видеокамер при вырождении пространственного расположения группировки контролируемых объектов в плоскость/ С. С. Кукушкин, Н. Н. Гулый (стр.23-29) Кл.слова: видеоизображения,технические системы,обработка информации
Пуряев Д. Т.. Оптическая система и методика контроля позиционирования сегментов составного параболического зеркала радиотелескопа космической обсерватории "Миллиметрон"/ Д. Т. Пуряев, В. И. Батшев (стр.29-31) Кл.слова: телескопы,контроль,зеркала
Семкин Н. Д.. Восстановление информации с оптических датчиков пылевой компоненты собственной внешней атмосферы космического аппарата/ Н. Д. Семкин, К. Е. Воронов, Е. Ю. Барышев (стр.32-35) Кл.слова: треки,пылевые частицы,ПЗС - матрица
Лапицкий К. М.. Алгоритм расчета рефрактограмм плоского лазерного пучка в оптически неоднородной среде/ К. М. Лапицкий, И. Л. Расковская, Б. С. Ринкевичюс (стр.36-39) Кл.слова: пограничные слои,рефракция,краевые эффекты
Авраменко А. Е.. Форминвариантность метрики координатного пульсарного времени/ А. Е. Авраменко (стр.40-45) Кл.слова: координатные шкалы,интервалы,системы отсчета
Пистун Е. П.. Определение коэффициента Джоуля-Томсона в задачах измерения расхода природного газа/ Е. П. Пистун, Ф. Д. Матико, О. Я. Масняк (стр.46-49) Кл.слова: расходомеры,газы,температура
Балабанов П. В.. Метод и устройство для измерения теплофизических свойств образцов регенеративного продукта на матрице при нагреве их постоянным тепловым потоком/ П. В. Балабанов, С. В. Пономарев, Е. Н. Балабанова (стр.49-53) Кл.слова: математические модели,методы измерения,устройства
Диденко В. И.. Метрологический подход к исследованию шума квантования дельта-сигма АЦП/ В. И. Диденко, А. В. Иванов (стр.53-57) Кл.слова: сигналы,модуляторы,полосы частот
Арбузов В. П.. Временное разделение каналов измерительных цепей емкостных и индуктивных датчиков/ В. П. Арбузов (стр.57-61) Кл.слова: погрешности,преобразования,датчики
Янушевский И. А.. Устройство для измерений энергетических параметров кинетронных потоков/ И. А. Янушевский, С. С. Ласточкин (стр.62-66) Кл.слова: магнитные поля,индукция,энергетическая плотность
Голуб Д. Н.. Совершенствование метода передачи размера единицы мощности электромагнитных колебаний рабочим эталонам 1-го разряда/ Д. Н. Голуб, А. А. Закутин (стр.66-68) Кл.слова: эталонные ваттметры,компараторы,калибровка
Мандыч В. Г.. Метод измерения массовой концентрации О - изобутилметилфосфоната в воздухе с разработкой перспективных пробоотборных устройств/ В. Г. Мандыч, М. А. Осипов, Н. В. Федорец (стр.68-72) Кл.слова: пробы,воздух,экология
Интересные статьи :
Найти похожие

16.

Вид документа : Статья из сборника (том многотомника)
Шифр издания :
Автор(ы) : Баширов И. Х., Семенов В. Д., Образцов С. В.
Заглавие : Устройство электрохимического нанесения покрытий на внутреннюю поверхность фильер нанопорошков алмаза : доклад
Место публикации : Научная сессия ТУСУР-2009. - Томск: В-Спектр, 2009. - Ч. 4.. - С.112-114
Примечания : Библиогр. в конце ст.
Ключевые слова (''Своб.индексиров.''): катоды--аноды--электролиты--трансформаторы--напряжение
Экземпляры :(1)
Свободны : (1)
Полный текст/внешний ресурс (постраничный просмотр) : 2009_bashirov_220609.pdf или скачать
Найти похожие

17.

Заглавие журнала :Радиотехника -2010г.,N 11
Интересные статьи :
Сарычев В.Т.. Информация Кульбака спектральных оценок/ В. Т. Сарычев Кл.слова: гармонические колебания,солнечная активность,Вольфа числа
Соколов А.А.. Оценка точности измерения отношения сигнал-шум в приемном устройстве спутниковой радионавигационной системы/ А. А. Соколов, Ю. С. Юрченко Кл.слова: квадратурные сигналы,приемные устройства ,спутниковые радионавигационные системы
Литюк Л. В.. Алгоритм обнаружения сложного сигнала второго порядка/ Л. В. Литюк, В. И. Литюк Кл.слова: корреляционные интегралы,радиолокационные сигналы,помехоустойчивость
Радько Н. М.. Адаптивная радиолиния с псевдослучайной перестройкой рабочей частоты/ Н. М. Радько, Н. И. Козленко, А. Н. Мокроусов Кл.слова: преднамеренные помехи,помехоустойчивое кодирование,декодированные блоки
Шатилов А. Ю.. Использование критерия срыва слежения при оценке помехоустойчивости следящих систем/ А. Ю. Шатилов Кл.слова: помехоустойчивость,следящие системы,радионавигационые системы
Терещенко С. В.. Двухкольцевая система автоматической подстройки частоты с эллиптическим фильтром/ С. В. Терещенко Кл.слова: помехоустойчивость,динамическая устойчивость,шумы
Пригода Б. А.. Применение радиотехнических устройств в технике связи с автоматическими космическими аппаратами/ Б. А. Пригода, В. Ф. Коган Кл.слова: антенны,коэффициент усиления,спутниковая связь
Корзун А. Е.. Организация отказоустойчивого функционирования комплексов средств автоматизации системы управления РЭС/ А. Е. Корзун, В. Л. Лясковский, О. Н. Неплюев Кл.слова: средства автоматизации,защита информации,обработка данных
Мелихов Ю. Н.. Метод согласованного применения имитостойких широкополосных сигналов во вторичных радиолокаторах/ Ю. Н. Мелихов, Д. В. Фролов, В. И. Шевчук Кл.слова: вторичные радиолокаторы,информация,обработка данных
Проскурин В. И.. Идентификация нелинейных устройств по полигармоническому сигналу/ В. И. Проскурин, В. И. Шевчук Кл.слова: широкополосные сигналы,нелинейность,идентификация
Воробьев Н. В.. Формирование последовательностей мощных широкополосных радиоимпульсов методом пространственно временного преобразования многочастотного сигнала/ Н. В. Воробьев, В. А. Грязнов, С. В. Ягольников Кл.слова: антенные решетки,радиоимпульсы,сжатие сигналов
Хмаров И. М.. Метод определения эффективной площади рассеяния летательных аппаратов с учетом реальных условий/ И. М. Хмаров Кл.слова: факелы,плазменное образование,лазерное излучение
Костюк А. В.. Способ снижения эффективной площади рассеяния проводящих тел резонансных размеров/ А. В. Костюк, Л. Г. Устименко Кл.слова: поверхностные токи,проводящие тела,рассеиватели
Нестеров С. М.. Метод расчета ЭПР наземных объектов/ С. М. Нестеров, Л. Г. Устименко Кл.слова: импеданс,двугранные уголковые отражатели,механизмы рассеяния
Никонова Л. В.. Расчет пространственных характеристик обратного рассеяния объектов в дальней зоне/ Л. В. Никонова, А. В. Проскурин Кл.слова: отраженные сигналы,рассеивающие объекты,Фурье преобразование
Афанасьев А. Л.. Обоснование организационно-экономического механизма гармонизации интересов производства в инновационной деятельности предприятий-изготовителей сложных систем/ А. Л. Афанасьев, А. В. Капустин Кл.слова: инновационная деятельность,производство,сложные системы
Киселев О. И.. Обобщенный алгоритм военно-экономического обоснования варианта конверсии радиочастотного спектра/ О. И. Киселев, П. А. Сай, А. С. Ягольников Кл.слова: радиоэлектронное средство,радиочастотный спектр,конверсия
Иванов С. Л.. Программный комплекс исследований радиолокационной системы и ее элементов/ С. Л. Иванов, С. М. Михайлов, Е. А. Образцов Кл.слова: радиоэлектронная техника,имитационная модель,моделирование
Интересные статьи :
Найти похожие

18.

Заглавие журнала :Электроника -2010г.,N 3
Интересные статьи :
Лавров И. В.. Эффективная проводимость поликристаллической среды. Одноосная текстура и двуосные кристаллиты/ И. В. Лавров Кл.слова: анизотропия,кристаллиты,текстура
Сагунова И. В.. Кинетика локального зондового окисления сверхтонких пленок металлов V, Nb, Ta, Ti, TiN, W/ И. В. Сагунова, В. И. Шевяков, С. А. Гаврилов Кл.слова: металлы,плотность,окисление
Тимошенков В. П.. Сверхширокополосный трансивер гигагерцевого диапазона на SiGe-транзисторах/ В. П. Тимошенков Кл.слова: шумы,компьютерное моделирование,схемотехника
Громов Д. Г.. Флуктуационные явления в пленках никеля нанометровой толщины вблизи температуры плавления/ Д. Г. Громов, Г. П. Жигальский, А. В. Карев Кл.слова: проводники,источники питания,металлы
Булярский С. В.. Расчет параметров нуклеации кластеров катализаторов для синтеза углеродных нанотрубок/ С. В. Булярский, О. В. Пятилова, А. В. Цыганцов Кл.слова: нанокластеры,железо,температура
Усанов Д. А.. Измерение параметров нанометровых пленок оптическими и радиоволновыми методами/ Д. А. Усанов, Ал. В. Скрипаль, А. В. Абрамов Кл.слова: электропроводность,излучение,микроскопия
Гаврилов С. В.. Методы ускоренной характеризации библиотек элементов СБИС с контролем заданной точности/ С. В. Гаврилов, О. Н. Гудкова, Ю. Б. Егоров Кл.слова: временной анализ,аппроксимация,алгоритмы
Лисов О. И.. Оценка эффективности двух вариантов реализации диспетчера памяти для ядра архитектуры "Орхидея"/ О. И. Лисов, А. А. Махалов Кл.слова: микропроцессоры,кэш-память,файлы
Трещановский П. А.. Методы управления качеством обслуживания в мультисервисных сетях абонентского доступа/ П. А. Трещановский Кл.слова: коммутаторы,трафик,буферы
Карташов Д. А.. Эффективность генетического алгоритма при анализе данных рентгеновской рефлектометрии/ Д. А. Карташов, Н. Н. Герасименко, Н. И. Медетов Кл.слова: рефлектограммы,пленки,диапазоны
Опаричев Е. Б.. Классификация конструкторско-технологических решений пленочных термоэлектрических преобразователей измерительного назначения/ Е. Б. Опаричев, М. А. Каримбеков Кл.слова: датчики,термометры,электромагнитные потоки
Саркисов А. Ш.. Измерительный датчик тока с PIC-контроллером/ А. Ш. Саркисов, А. В. Риттер, В. А. Саркисов Кл.слова: датчики,трансформаторы,микроконтроллеры
Щеголева Т. В.. Частотные характеристики поддерживающих конструкций биморфного пьезокерамического элемента балочного гироскопа/ Т. В. Щеголева, Р. М. Образцов Кл.слова: гироскопы,биморфные элементы,сплавы
Новиков С. Н.. Зависимость работы выхода электрона от условий окисления Si(100)/ С. Н. Новиков, С. П. Тимошенков, Д. О. Сухоруков Кл.слова: пластины,оксидные пленки,температура
Локтев Д. В.. Тепловой микроэлектронный датчик перемещений/ Д. В. Локтев, Г. А. Красулин, Д. В. Зиновьев Кл.слова: датчики,расчеты,микронагреватели
Егоркина Р. Ю.. Модернизация системы мониторинга отходов производства изделий нано- и микросистемной техники/ Р. Ю. Егоркина Кл.слова: электронная техника,отходы производства,утилизация
Интересные статьи :
Найти похожие

19.

Заглавие журнала :Кибернетика и системный анализ -2010г.,N 4
Интересные статьи :
Летичевский А. А.. Свойства предикатного трансформера системы VRS/ А. А. Летичевский, А. Б. Годлевский, С. В. Потиенко Кл.слова: верификация,символьное моделирование,трансформеры
Скобелев В. В.. О сложности анализа автоматов над конечным кольцом/ В. В. Скобелев, В. Г. Скобелев Кл.слова: автоматы,конечные кольца,симметричные поточные шифры
Шахбазян К. В.. Вхождения в моноидах треков/ К. В. Шахбазян, Ю. Г. Шукурян Кл.слова: графы зависимостей,моноид треков,сравнение образцов
Захаров В. А.. Проверка эквивалентности программ с помощью двухленточных автоматов/ В. А. Захаров Кл.слова: разрешимость,многоленточные автоматы,вычислительная сложность
Елфимова Л. Д.. Быстрые гибридные алгоритмы умножения матриц/ Л. Д. Елфимова Кл.слова: линейная алгебра,умножение матриц,клеточные методы
Чеботарев А. Н.. Преобразование спецификации автомата в языке L* в автоматно эквивалентную спецификацию в языке L/ А. Н. Чеботарев Кл.слова: двустороннее сверхслово,элиминация кванторов,язык спецификации L*
Колчин А. В.. Автоматический метод динамического построения абстракций состояний формальной модели/ А. В. Колчин Кл.слова: проверка модели,динамическое построение,абстракция
Годлевский А. Б.. Предикатные преобразователи в контексте символьного моделирования транзиционных систем/ А. Б. Годлевский Кл.слова: символьное моделирование,предикатные преобразователи
Bjorner D.. Domain science and engineering from computer science to the sciences of informatics. Part I: Engineering/ D. Bjorner Кл.слова: domain engineering,domin modelling,software development
Глибовец Н. Н.. Расширение языка Scala средствами параллелизма и распределенности с помощью координационной системы Linda/ Н. Н. Глибовец, С. С. Гороховский, М. С. Стукало Кл.слова: расширение языка,распределенные вычисления,координационные системы
Герман В. Н.. Решение линейных ограничений над полем вещественных и рациональных чисел/ В. Н. Герман Кл.слова: верификация моделей,линейные неравенства,элиминация кванторов
Лаврищева Е. М.. Формальные основы интероперабельности компонентов в программировании/ Е. М. Лаврищева Кл.слова: гетерогенные среды,интероперабельность,компонентное программирование
Дорошенко А. Е.. Развитие инструментария алгебры алгоритмики с целью разработки параллельных программ с использованием эвристических средств/ А. Е. Дорошенко, Н. В. Котюк, С. С. Николаев Кл.слова: искусственный интеллект,алгебра алгоритмики,синтез программ
Львов М. С.. Полиномиальные инварианты линейных циклов/ М. С. Львов Кл.слова: статический анализ,полиномиальные инварианты,линейные циклы
Летичевский А. А.. Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования/ А. А. Летичевский, В. Н. Герман, М. К. Мороховец Кл.слова: алгебраическое программирование,параллельные вычисления,логические выводы
Интересные статьи :
Найти похожие

20.

Заглавие журнала :Измерительная техника -2010г.,N 5
Интересные статьи :
Исаев А.Е.. Модернизированный государственный первичный специальный эталон единицы звукового давления в водной среде/ А. Е. Исаев, С. Ф. Некрич, С. В. Сильвестров Кл.слова: гидроакустические измерения,эталонные установки,частоты
Гусев А.В.. Оптимальное распознавание гравитационных сигналов/ А. В. Гусев, В. Н. Руденко Кл.слова: оптимальное комплексирование,распознавание стохастических сигналов,схема совпадений
Лемешко Б.Ю.. О применении и мощности критериев проверки однородности дисперсий. Ч. II. Непараметрические критерии/ Б. Ю. Лемешко, С. Б. Лемешко, А. А. Горбунова Кл.слова: Ансари-Бредли критерии,Муда критерии,Кейпена критерии
Мигачев А.С.. Установка для определения площади поперечного сечения нитей, жгутов волокон и образцов однонаправленного пластика/ А. С. Мигачев, В. Э. Чежегов, М. Н. Ларин Кл.слова: напряжение,Лиссажу фигуры,композиционные материалы
Кульчин Ю.Н.. Одномерная волоконно-оптическая измерительная система томографического типа на основе измерительных линий с интегральной чувствительностью/ Ю. Н. Кульчин, О. Б. Витрик, А. Д. Ланцов Кл.слова: интерферометры,деформация,измерительные каналы
Пальчун Ю.А.. Мониторинг и методы ранней диагностики повреждений оптических волокон/ Ю. А. Пальчун, Н. Ю. Ситнов, Н. И. Горлов Кл.слова: бриллюэна рефлектометрия,эффекты рассеяния,технические натяжения
Барышев Е.Ю.. Система регистрации параметров движения мелких и крупных объектов в космических условиях/ Е. Ю. Барышев, Н. Д. Семкин Кл.слова: космический мусор,пылевые частицы,световые потоки
Егоров В.К.. Малогабаритная ячейка для ренгенофлуоресцентного анализа при полном внешнем отражении/ В. К. Егоров, Е. В. Егоров Кл.слова: спектроскопия,волноводы-резонаторы,рентгеновское излучение
Попело В.Д.. Метод сравнения эффективной площади рассеяния зеркальных отражателей в параллельном пучке зондирующего излучения/ В. Д. Попело, И. Р. Фахуртдинов Кл.слова: сферическое отражение,зеркальные поверхности,сегменты
Авраменко А.Е.. Параметрическая согласованность меры дисперсии и наблюдаемых интервалах пульсарного времени/ А. Е. Авраменко Кл.слова: стационарность,тренды,системы отсчета
Есман А.К.. Микрорезонаторная матрица для мониторинга тепловых полей/ А. К. Есман, В. К. Кулешов, Г. Л. Зыков Кл.слова: инфракрасное излучение,матричные преобразователи,температурная чувствительность
Владимиров В.М.. Прибор для измерения удельного электрического сопротивления монокристального кремния четырехзондовым методом/ В. М. Владимиров, Э. Ф. Гринин, М. Е. Сергий Кл.слова: удельное сопротивление,схема прибора "Рометр",автоматизация
Пудов В.И.. Измерение физических параметров ферромагнитных образцов - имитаторов стальных канатов/ В. И. Пудов, А. С. Соболев, С. В. Воронина Кл.слова: дефектоскопы,магнитные потоки,износ
Лункин Б.В.. Трехканальные радиочастотные датчики с одним чувствительным элементом для инвариантных измерений/ Б. В. Лункин, Н. А. Криксунова Кл.слова: двухслойные среды,длинная линия,границы разделов
Смирнов А.П.. Методологические аспекты аттестации безэховых камер/ А. П. Смирнов Кл.слова: погрешности измерений,диаграммы,уравнения
Гончаренко И.А.. Датчик концентрации жидкостей на основе щелевых волноводных микрорезонаторов/ И. А. Гончаренко, А. И. Конойко, А. М. Поликанин Кл.слова: датчики,резонансная длина,поперечные поля
Брянкин С.Ю.. Сличение эталонов эвольвентных поверхностей/ С. Ю. Брянкин, Т. Г. Гацкалова, С. А. Кононогов Кл.слова: меры сличения,зубчатые колеса,эталоны
Интересные статьи :
Найти похожие

1-20 21-40 41-60 61-80 81-100 101-103

Статистика за 20.07.2024
Число запросов	3623
Число заказов	0

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