Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании

Збережено в:

Бібліографічні деталі
Дата:	2017
Автор:	Lvov, M.S.
Формат:	Стаття
Мова:	Ukrainian
Опубліковано:	PROBLEMS IN PROGRAMMING 2017
Теми:
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/114
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Статический анализ физических размерностей переменных программ и его реализация в алгебраическом программировании
за авторством: Львов, М.С.
Опубліковано: (2015)

Интерфейс в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2007)

Javachecker: статический анализ программных комплексов с помощью переписывающих правил
за авторством: Шевченко, Р.
Опубліковано: (2004)

Модифицированный алгоритм с комбинаторной селекцией переменных и его анализ
за авторством: Павлов, А.В.
Опубліковано: (2010)

Формальные основы интероперабельности компонентов в программировании
за авторством: Лаврищева, Е.М.
Опубліковано: (2010)

Системы линейных неравенств в математическом программировании и распознавании образов
за авторством: Еремин, И.И., та інші
Опубліковано: (1988)

Алгоритм emshor и его octave реализация
за авторством: Измаилов, А.Ф., та інші
Опубліковано: (2019)

Реализация средств проектирования и генерации программ на основе алгебры алгоритмов с данными
за авторством: Акуловский, В.Г., та інші
Опубліковано: (2015)

Поиск неизвестных законов движения на основе экстремальной теории размерностей
за авторством: Смольяков, Э.Р.
Опубліковано: (2011)

Об условиях сходимости метода эмпирических средних в стохастическом программировании
за авторством: Кнопов, П.С., та інші
Опубліковано: (2018)

Использование теорий анализа размерностей и подобия для описания кинетики электрохимических процессов
за авторством: Проценко, В.С., та інші
Опубліковано: (2005)

Критерии представляемости коммутативных гиперкомплексных числовых систем прямой суммой систем низших размерностей
за авторством: Калиновский, Я.А.
Опубліковано: (2012)

Термомагнитное преобразование энергии: разработка физических основ и опытная реализация термомагнитного генератора на основе редкоземельного металла диспрозия
за авторством: Сухарева, Т.В., та інші
Опубліковано: (2009)

Категория презенса и его языковая реализация в текстах разностилевой направленности
за авторством: Бадрутдинова, В.А., та інші
Опубліковано: (2014)

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем
за авторством: Колчин, А.В., та інші
Опубліковано: (2015)

Статический домен в приборе с междолинным переносом электронов на основе варизонного AlGaAs
за авторством: Стороженко, И.П.
Опубліковано: (2015)

Анализ физических особенностей явления краевого резонанса в упругих телах
за авторством: Городецкая, Н.С., та інші
Опубліковано: (2004)

Анализ физических основ и технических возможностей реализации лазерного зажигания топливных смесей
за авторством: Тихонов, Е.А., та інші
Опубліковано: (2007)

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием
за авторством: Львов, М.С., та інші
Опубліковано: (2012)

Алгоритм регуляризации τ-метода Ланцоша и его реализация средствами алгебраического программирования
за авторством: Денисенко, П.Н.
Опубліковано: (2011)

На пути к верификации С-программ. Язык c-light и его трансформационная семантика
за авторством: Непомнящий, В.А., та інші
Опубліковано: (2006)

Связь теории планирования эксперимента и теории размерностей и подобия при моделировании динамических ситуаций в интеллектуальных системах исследовательского проектирования
за авторством: Бухановский, А.В., та інші
Опубліковано: (2012)

Совершенствование региональных целевых программ – инструмента управления социально-экономическим развитием Одесского региона и его конкурентоспособностью
за авторством: Пивоварчук, И.Д.
Опубліковано: (2011)

Как понять программу. Характеристический анализ современных подходов к пецификации программ
за авторством: Бабенко, Л.П.
Опубліковано: (2012)

Создание развитых интернет-программ на примере построения виджет-программ
за авторством: Глибовец, Н.Н., та інші
Опубліковано: (2011)

Статический и динамический переход порядок–беспорядок вихревой решетки в кристаллах YBaCuO: влияние точечных дефектов, анизотропии, температуры и магнитного поля
за авторством: Петрусенко, Ю.Т.
Опубліковано: (2010)

Особенности физических свойств и колоссальное магнитосопротивление манганитов
за авторством: Локтев, В.М., та інші
Опубліковано: (2000)

Анализ эффективности труда и его стимулирование
за авторством: Ощепков, А.П.
Опубліковано: (2010)

Представление физических явлений гиперслучайными моделями
за авторством: Горбань, И.И.
Опубліковано: (2007)

Нарушение статистической устойчивости физических процессов
за авторством: Горбань, И.И.
Опубліковано: (2010)

Специфика определения кредитоспособности физических лиц
за авторством: Щеглова, С.С.
Опубліковано: (2004)

Автоматический контроль физических параметров монет
за авторством: Бех, А.Д., та інші
Опубліковано: (2004)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

Пакет программ аппроксимации функций
за авторством: Каленчук-Порханова, А.А., та інші
Опубліковано: (2008)

Интернет-доходы физических лиц: тенденции и перспективы развития
за авторством: Верезубова, Т.А., та інші
Опубліковано: (2017)

О реальных физических свойствах и возможностях “теплоизолирующих” красок
за авторством: Декуша, Л.В., та інші
Опубліковано: (2006)

Интерпретатор методов потокового анализа программ в специализированном банке знаний о преобразованиях программ
за авторством: Князева, М.А., та інші
Опубліковано: (2008)

Моделирование гранулометрического состава и анализ его уравнений
за авторством: Пожидаев, В.Ф., та інші
Опубліковано: (2009)

Реализация принятых решений
за авторством: Крючковский, В.В., та інші
Опубліковано: (2011)

Инструментальные средства трансформации схем алгоритмов и программ
за авторством: Мохница, А.С.
Опубліковано: (2006)