extra-direct.ru - пользователям LINUX - знания, которые помогут вам в жизни

Знания, которые помогут вам в жизни

"Статический анализ" Статический анализ является способом проверки наличия проблем в коде без запуска самого кода. Статический означает этап компиляции, а не время выполнения, а анализ означает, что мы анализируем код. В этой главе мы поговорим о том, как реализовывать некоторое количество проверок на базе статического анализа.


Sagemath Sage - это бесплатный математический пакет с открытым исходным кодом, лицензированный под GPL. Он объединяет мощь различных пакетов с открытым исходным кодом в едином интерфейсе командной строки на базе Python. Целью разработки Sage было создание свободной альтернативы Magma, Maple, Mathematica и Matlab. В Sage собрано более 100 математических пакетов с открытым исходным кодом. Его можно использовать для элементарных и продвинутых математических расчетов, включая алгебру, теорию чисел, криптографию, чсленные расчеты, коммутативную алгебру, теорию групп и многое другое. Для установки последней версии Sagemath из PPA в Ubuntu/Linux Mint откройте терминал и введите следующие команды: $ sudo apt-add-repository ppa:aims/sagemath $ sudo apt-get update $ sudo apt-get install sagemath-upstream-binary Для установки Sagemath в Ubuntu/Linux Mint из репозитория Universe, откройте терминал и введите следующие команды: $ sudo apt-get install sagemath-upstream-binary Либо вы можете скачать исходный код последней сборки и собрать пакет самостоятельно.


Ubuntu Unity 8, Mir і LXC для Xapps отримали значні поліпшення Кевин Ганн (Kevin Gunn) в своей мэйл-рассылке сообщает о проделанной работе для операционных систем Ubuntu Linux и Ubuntu Touch. Из него следует, что на текущий момент пользовательский интерфейс Unity 8 получил множество усовершенствований и исправлений, среди которых можно отметить изменения GU (которые попадут в Ubuntu Touch в рамках предстоящего ОТА-5 обновления), несколько тестовых чисток, а также различные улучшения QtMir для поддержки нескольких мониторов. По сообщению разработчиков, все тесты были перенесены на новую буферную семантику и теперь могут быть реализованы в Mir. Кроме того, Canonical начали подготовку к реализации Vulkan API (новое поколение кросплатформенного API для реализации 2D-3D графики) от Khronos Group.


GNU Octave GNU Octave - это высокоуровневый интерпретируемый язык, в основном предназначенный для численных вычислений. Он содержит средства для численного решения линейных и нелинейных уравнений, и выполнения других численных экспериментов. Он также имеет продвинутые графические возможности для визуализации данных. Для работы с Octave обычно используется командная строка в интерактивном режиме, хотя можно писать и неинтерактивные программы. Язык Octave очень похож на Matlab, поэтому большинство программ очень легко портируются. Octave имеет мощные инструменты для решения обычных алгебраических уравнений, нелинейных и дифференциальных уранений, интегрирования, работы с полиномами и т.д. Он легко расширяется и настраивается с помощью пользовательских функций, написанных на собственном языке Octave, или динамически загружаемых модулей, написанных на C++, C, Fortran, или других языках. GNU Octave Для установки GNU Octave в Ubuntu/Linux Mint откройте терминал и введите следующую команду: $ sudo apt-get install octave octave-doc В качестве альтернативы вы можете скачать исходный код и собрать пакет самостоятельно.


Scilab Scilab - это научный программный пакет для численных расчетов с использованием матриц. Scilab включает сотни встроенных математических функций, богатые структуры данных и набор специфических тулбоксов для обработки сигналов, моделирования и т.д. Scilab бесплатен и является программой с открытым исходным кодом. В его состав также входит Xcos - графический редактор для проектирования гибридных динамических моделей систем. Модели могут быть разработаны, загружены, сохранены, скомпилированы и запущены. Являясь стабильным и эффективным решением для промышленного и академического применения, Xcos предлагает функциональность для моделирования механических (автомобильная промышленность, авиастроение), гидравлических систем, а также систем управления. Для установки Scilab в Ubuntu/Linux Mint из репозитория Universe, откройте терминал и введите следующие команды: $ sudo apt-get install scilab scilab-cli Либо вы можете скачать исходный код последней сборки и собрать пакет самостоятельно.