В данной работе рассмотрена проблема защиты программного кода от эксплуатации уязвимостей, связанных с ошибками разработчиков, отсутствиями проверки корректности входных данных и закладными подпрограммами. Автором предлагается метод, в автоматическом режиме позволяющий обнаруживать аномалии в работе программного кода, которые могут быть ассоциированы с эксплуатацией уязвимостей. Технология позволя…
Статья посвящена проблеме спецификации регрессионных моделей, а именно, вопросу отбора наиболее информативных мультипликаций в линейно-мультипликативных регрессиях. Эта задача может быть формализована в виде задачи частично-булева линейного программирования. Поскольку решение таких задач требует привлечения вычислительных способностей современных компьютеров, то для построения линейно-мультипликат…
В статье приводятся концептуальные положения системно-объектного подхода, а также исследуется возможность формализации данного подхода алгебраическими средствами. Формальное описание системы как трехэлементной конструкции «Узел-Функция-Объект» (УФО-элемента) в виде специального объекта исчисления объектов Абади-Кардели, а также предлагаемые операции с системами как УФО-элементами используются для …
Одной из важнейших задач, реализуемых математическим обеспечением любой системы поддержки принятия решений, является согласование вырабатываемых частных решений: как для случая консолидации мнений групп экспертов, так и для координации решения последовательностей расчетных задач. В настоящее время существуют разнообразные математические методы для консолидации готовых решений, а также методы коорд…
В данном пособии обучение программированию на языке Scratch 2.0 ведется на основе методики пошагового обучения. Учащиеся младших классов научатся создавать мультики, учащиеся 5–8 классов – игры-викторины и компьютерные игры, а старшеклассники – образовательные проекты. Материал, включенный в пособие, соответствует тематике заочной международной Scratch-Олимпиады, проводимой ежегодно компанией «РОБ…
В статье рассмотрено построение имитационной модели для иерархических bitmap-индексов на языке С. Индексы строятся по свойству, являющемуся значением времени занесения записи в базу данных. Модель позволяет проектировщику выбрать наиболее эффективную иерархию индексов по критерию минимизации логических операций при выполнении поисковых запросов. Отдельное внимание уделено верификации модели путем …
Не имеет смысла каждый раз изобретать велосипед, лучше сразу освоить приемы проектирования, которые уже созданы людьми, сталкивавшимися с аналогичными задачами. В этой книге рассказано, какие паттерны действительно важны, когда и при каких условиях ими необходимо пользоваться, как применить их в ваших проектах и на каких принципах объектно-ориентированного проектирования они построены. Присоединяй…
Не имеет смысла каждый раз изобретать велосипед, лучше сразу освоить приемы проектирования, которые уже созданы людьми, сталкивавшимися с аналогичными задачами. В этой книге рассказано, какие паттерны действительно важны, когда и при каких условиях ими необходимо пользоваться, как применить их в ваших проектах и на каких принципах объектно-ориентированного проектирования они построены. Присоединяй…
В учебное пособие включены основные теоретические сведения о методах программирования для многопроцессорных вычислительных систем, указания по разработке параллельных программ с помощью технологий OpenMP и MPI, а также контрольные вопросы и задачи широкого спектра сложности как для проведения занятий в компьютерных классах и аудиториях, так и для самостоятельного решения. Многие задачи снабжены от…
Первый том серии книг начинается с описания основных понятий и методов программирования. Затем автор переходит к рассмотрению информационных структур – представлению информации внутри компьютера, структурных связей между элементами данных и способам эффективной работы с ними. Для методов имитации, символьных вычислений, числовых методов, методов разработки программного обеспечения даны примеры эл…
Во втором томе представлено полное введение в теорию получисленных алгоритмов, причем случайным числам и арифметике посвящены отдельные главы. В книге даны основы теории получисленных алгоритмов, а также их основные примеры. Тем самым установлено прочное связующее звено между компьютерным программированием и численным анализом. Особого упоминания заслуживает предложенная Кнутом в этом третьем изда…
Во втором издании третьего тома содержится исчерпывающий обзор классических алгоритмов сортировки и поиска. Представленная в нем информация дополняет приведенное в первом томе обсуждение структур данных. Автор рассматривает принципы построения больших и малых баз данных, а также внутренней и внешней памяти.
В этом томе рассматриваются методы, позволяющие компьютерам эффективно работать с задачами гигантского размера. Рассматриваемый материал начинается с булевых функций и технологий и трюков работы с битами, затем всесторонне рассматривается генерация всех кортежей и перестановок, всех сочетаний и разбиений, и всех деревьев.
Это новое издание классической «книги Дракона» полностью переработано и включает последние разработки в области компиляции. Книга предлагает читателю подробное введение в разработку компиляторов, после чего сосредоточивает внимание на применении методов компиляции для решения широкого круга задач проектирования и разработки программного обеспечения. Первая половина книги написана таким образом, чт…
Шаблоны представляют собой одну из наиболее сильных сторон C++, но они все еще остаются недостаточно используемыми, а зачастую и неверно понимаемыми, несмотря на постоянно растущий уровень как языка C++, так и сообщества программистов на этом языке. Во втором издании книги три автора, являющиеся экспертами в данной области, показывают, зачем, когда и как использовать современные шаблоны, чтобы соз…