Кочетков, И. В. (соискатель). Инвестиции как фактор экономического роста: теоретические аспекты исследования [Текст] / И. В. Кочетков> // Вестник Ульяновского государственного технического университета. - 2011. - N 2. - С. 76-78. : 2 табл. - Библиогр.: с. 78 (7 назв. )
Рубрики: Экономика Инвестиции Кл.слова (ненормированные): инвестиции -- классификации инвестиций -- мультипликаторы -- экономический рост Аннотация: Уточнено понятие "инвестиции", выявлены характерные особенности инвестиций. Определена взаимосвязь инвестиций и "мультипликатора", а также их влияние на экономический рост. Нет сведений об экземплярах (Источник в БД не найден) |
Кочетков, И. В. (соискатель). Интеграционные процессы в образовании [Текст] / И. В. Кочетков> // Вестник Ульяновского государственного технического университета. - 2011. - N 3. - С. 7-9. . - Библиогр.: с. 9 (2 назв. )
Рубрики: Образование. Педагогика Высшее профессиональное образование--Россия Кл.слова (ненормированные): академическая мобильность -- Болонский процесс -- высшее образование -- интеграция -- международное сотрудничество -- модернизация образования -- образовательные программы Аннотация: Определены основные направления совершенствования системы высшего профессионального образования в России. Нет сведений об экземплярах (Источник в БД не найден) |
Кочетков, И. В. Внедрение волоконно-оптических технологий в корабельных системах управления, контроля и связи [Текст] / И. В. Кочетков, В. В. Червяков> // Изобретательство. - 2011. - Т. 11, N 12. - С. 28-32. : 5 рис. - Библиогр.: с. 32
Рубрики: Техника Изобретательство и рационализация. Патентное дело Монтаж и демонтаж оборудования Кл.слова (ненормированные): оптическое волокно -- волоконно-оптические технологии -- электроэнергетическая система -- трансформатор тока -- корабельные системы управления Аннотация: Отражен современный этап развития корабельного приборостроения с использованием средств волоконно-оптической техники со спецификой монтажа оборудования и кабелей. Предложен следующий шаг в сторону развития систем управления электроэнергетической системой с применением новейших изобретений. Доп.точки доступа: Червяков, В. В. Нет сведений об экземплярах (Источник в БД не найден) |
Кочетков, И. В. Способ оценки возможности функционирования систем управления на основе волоконно-оптических линий связи [Текст] / И. В. Кочетков, И. А. Мокеев> // Изобретательство. - 2012. - Т. 12, N 6. - С. 25-29 : 1 рис. - Библиогр.: с. 29 . - ISSN 2072-3067
Рубрики: Физика Оптические свойства твердых тел Кл.слова (ненормированные): система управления -- оптическое волокно -- волоконно-оптические линии связи -- система управления -- информационные технологии Аннотация: В статье приведен пример расчета и оценки работоспособности системы с применением волоконно-оптических линий связи. Данный расчет может стать отправной точкой при оценке возможности функционирования сложных систем с применением оптического волокна. Доп.точки доступа: Мокеев, И. А. Нет сведений об экземплярах (Источник в БД не найден) |
Зыков, А. Г. Применение системы KLEE для автоматизации тестирования программ на языках C/C++ [Текст] = KLEE for automatic testing programs in C/C++ / А. Г. Зыков, И. В. Кочетков, В. И. Поляков> // Программные продукты и системы. - 2016. - № 4. - С. 101-106. - Библиогр.: с. 106 (13 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): KLEE -- системы символьного исполнения -- верификация -- символьные виртуальные машины -- TRUE Аннотация: В работе рассматривается верификация вычислительных процессов, в частности, автоматизация тестирования функциональных ошибок программных продуктов, которые крайне сложно исследовать и воспроизводить без непосредственного исполнения кодовых фрагментов. Основной идеей является применение программ или инструментов символьного исполнения. В частности, подробно рассматривается система KLEE, представляющая собой символьную виртуальную машину, эмулирующую окружение. Доп.точки доступа: Кочетков, И. В.; Поляков, В. И. Нет сведений об экземплярах (Источник в БД не найден) |
Синтезирование программ на основе описания графоаналитической модели [Текст] = Program synthesizing based on a graph-analytic model description / А. Г. Зыков [и др.]> // Программные продукты и системы. - 2017. - Т. 30, № 4. - С. 561-566 : ил.: 3 рис. - Библиогр.: с. 566 (14 назв.) . - ISSN 0236-235X
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): ГАМ -- графоаналитические модели -- Roslyn -- верификация -- вычислительные процессы Аннотация: В ходе исследования был разработан прототип утилиты синтезирования программ на языке C# на основании группы описаний ГАМ. В основе утилиты лежит преобразование объектной модели описания ГАМ в текстовое представление выражений и операторов языка C#. Такой подход является следствием того, что текущая версия описания ГАМ поддерживает только свободную форму записи содержимого управляющих вершин и нет возможности производить преобразование на основе синтаксических деревьев. Проверка корректности и дополнительная модификация (using, namespaces и др. ) синтезируемых исходных кодов производятся с помощью синтаксического анализатора Roslyn. Доп.точки доступа: Зыков, А. Г.; Кочетков, И. В.; Поляков, В. И.; Чистиков, Е. Г. Нет сведений об экземплярах (Источник в БД не найден) |