ГлавнаяКаталог статейИнформатика, вычислительная техника и управлениеТеоретическая информатика, кибернетика
Метод резюме для разработки универсального многоцелевого анализатора кодов программ с возможностью обнаружения различных классов дефектов в программах, созданных с использованием языков С и С++
Авторы: Романова Т.Н., Сидорин А.В. | Опубликовано: 12.10.2015 |
Опубликовано в выпуске: #5(104)/2015 | |
DOI: 10.18698/0236-3933-2015-5-75-96 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: метод резюме, межпроцедурный анализ, символьное выполнение, Clang Static Analyzer, поиск дефектов, построение отчета, C/C++ |
Об исследовании устойчивости математических моделей и геометрических конфигураций
Авторы: Гордеев Э.Н. | Опубликовано: 12.10.2015 |
Опубликовано в выпуске: #5(104)/2015 | |
DOI: 10.18698/0236-3933-2015-5-61-74 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: дискретная оптимизация, радиус устойчивости, моделирование, вычислительная геометрия, параметрическое программирование |
Разработка и реализация операторов для обработки архива кадровой информации в виде многомерных пространств средствами 1С
Авторы: Балдин А.В., Тоноян С.А., Елисеев Д.В. | Опубликовано: 03.09.2015 |
Опубликовано в выпуске: #4(103)/2015 | |
DOI: 10.18698/0236-3933-2015-4-113-126 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: реляционная база данных, миварное пространство, темпоральный, SQL-запрос, многомерное пространство, отношения, операторы, множество, структура БД, структура данных, интерпретатор |
Использование двух каналов передачи информации для решения задачи распознавания дискретного сигнала в аддитивном шуме
Авторы: Троицкий И.И., Басараб М.А., Матвеев В.А. | Опубликовано: 03.09.2015 |
Опубликовано в выпуске: #4(103)/2015 | |
DOI: 10.18698/0236-3933-2015-4-106-112 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: распознавание сигналов, компенсация шума, дисперсия, отношение сигнал/шум |
Принципы полной и корректной трансформации синхронизируемых моделей
Авторы: Девятков В.В., Ошкало Д.В. | Опубликовано: 17.06.2015 |
Опубликовано в выпуске: #3(102)/2015 | |
DOI: 10.18698/0236-3933-2015-3-79-91 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: трансформация моделей, синхронизация моделей, графовые грамматики, UML, полнота и корректность трансформации моделей |
Быстрые алгоритмы вычисления преобразований на основе эллиптических кривых с предварительными вычислениями
Авторы: Хлебородов Д.С. | Опубликовано: 17.06.2015 |
Опубликовано в выпуске: #3(102)/2015 | |
DOI: 10.18698/0236-3933-2015-3-65-78 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: быстрые алгоритмы, эллиптические кривые, сложность, предварительные вычисления, скалярное умножение точки |
Использование метаграфов для описания семантики и прагматики информационных систем
Авторы: Самохвалов Э.Н., Ревунков Г.И., Гапанюк Ю.Е. | Опубликовано: 08.02.2015 |
Опубликовано в выпуске: #1(100)/2015 | |
DOI: 10.18698/0236-3933-2015-1-83-99 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: семантика информационной системы, прагматика информационной системы, метаграф, гиперграф, информационный элемент метаграфа, метавершина, метаребро, метаграфовый агент |
Вентильная сложность обратимых схем как мера сложности четных подстановок
Авторы: Закаблуков Д.В. | Опубликовано: 08.02.2015 |
Опубликовано в выпуске: #1(100)/2015 | |
DOI: 10.18698/0236-3933-2015-1-67-82 | |
Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
Ключевые слова: обратимые схемы, вентильная сложность, сложность четных подстановок |