Математика ACL2 — язык программирования, на котором Вы можете смоделировать компьютерные системы, и инструмент, чтобы помочь Вам доказать свойства этих моделей. ALGLIB ALGLIB — это кросс-платформенная библиотека численного анализа, поддерживающая несколько языков программирования (C++, C#, Pascal, VBA) и несколько операционных систем (Windows, Linux, Solaris). AnalyticMath AnalyticMath — это свободное, кросс-платформенное (Windows, Linux, etc.) программное обеспечение, …
Рубрика «Linux»
Мастер настройки билайн интернет linux
Настройка оборудования Блог о модемах, роутерах и gpon ont терминалах. Билайн L2TP и Linux Совсем недавно я написал статью как настроить PPPoE на Linux под Gnome с помощью встроенной утилиты Network Manager. На что в комментариях получил вопрос — с PPPoE все понятно а как быть с L2TP? А действительно, с провайдерами, использующими PPPoE, проблем …
Массовое переименование файлов linux
Переименование файлов в Linux Переименование файлов в Linux можно выполнять средствами графических программ, а также через командную строку. Можно переименовать один файл, а можно сразу группу файлов — массовое переименование. Рассмотрим различные способы, с помощью которых можно переименовывать файлы в Linux. Переименование командой mv Команда mv (от слова move) используется для переименования или перемещения файлов …
Маршрутизация на базе linux
Настройка сетевой маршрутизации Linux – команда route Для определения и задания маршрутов в сетях существуют динамическая и статическая маршрутизации. В первом случае маршруты задаются специальным демоном маршрутизации, который модифицирует соответствующим образом таблицу маршрутизации ядра. Во втором случае маршруты задаются администратором/пользователем при помощи команды route. Маршруты, заданные командой route не изменяются, даже если включена динамическая маршрутизация. …
Маршрутизация в подсетях linux
Таблица маршрутизации в Linux Статическая маршрутизация — это процесс, в котором администратор сети вручную настраивает сетевые интерфейсы, таким образом, чтобы пакеты пересылались из одной сети в другую. Администратор создает так называемую таблицу маршрутизации, в ней описаны различные маршруты пакетов. Любому из маршрутизаторов необходимо понимать на какой хост отправлять следующий пакет. Вот про это и будет …
Маршрутизация в linux примеры
Настройка сетевой маршрутизации Linux – команда route Для определения и задания маршрутов в сетях существуют динамическая и статическая маршрутизации. В первом случае маршруты задаются специальным демоном маршрутизации, который модифицирует соответствующим образом таблицу маршрутизации ядра. Во втором случае маршруты задаются администратором/пользователем при помощи команды route. Маршруты, заданные командой route не изменяются, даже если включена динамическая маршрутизация. …
Маршрутизатор на базе linux
Linuxoid OpenSource forever Обзор популярных Linux дистрибутивов-роутеров Среди великого разнообразия Linux систем особо популярны специализированные дистрибутивы-роутеры. Такие решения, как правило, имеют небольшой размер, просты и понятны в установке и настройке, а имеющиеся функции позволяют подключить к Интернет домашнюю/корпоративную сеть, защитив ее от сетевых атак и вирусов. Дополнительно многие из них имеют функции контроля трафика, блокировки …
Мандатный доступ в astra linux
H Особенности применения мандатной модели управления доступом Astra Linux при разработке веб-приложений в черновиках .collapse»>Содержание В последние годы растёт потребность в защищённых решениях для структур, работающих с секретной информацией. Раньше словосочетание «защищённая операционная система для военных» воспринималось многими иронично. Сегодня же вопрос защиты информации является одним из ключевых, поэтому многие компании разрабатывают серьёзные решения для …
Мандатные метки astra linux
Операционные системы Astra Linux Операционные системы Astra Linux Common Edition и Astra Linux Special Edition разработаны коллективом открытого акционерного общества «Научно-производственное объединение Русские базовые информационные технологии» и основаны на свободном программном обеспечении. Astra Linux Common Edition предназначена для автоматизации коммерческих предприятий и органов государственного управления. Astra Linux Special Edition предназначена для применения в автоматизированных системах …
Маленький linux на флешку
8 самых легких Linux-дистрибутивов, которые практически не требуют места на диске У вас есть старый запылившийся компьютер, USB-флеш накопитель откровенно малой емкости, по меркам сегодняшнего дня? Вы можете повторно вдохнуть жизни в оба эти устройства, установив на них суперкомпактную операционную систему Linux. Если вы не знаете как установить Linux, то прочитайте о том Как поставить …