Информатика

В 2005 г. появился новый программный продукт — AVISPA (Automated Validation of Internet Security Protocols and Applications) [1], разработанный в рамках международного проекта, в котором участвовали LORIA —INRIA (Франция), ЕТН (Цюрих, Швейцария),Университет Генуи (Италия), Siemens AG (Германия). Судя по заявлениям его разработчиков, продукт AVISPA должен стать прорывом в области анализа криптопротоколов. Разработка данного средства рассматривается как единый европейский проект, реализуемый с участием многих ведущих институтов и организаций европейских стран. Он интегрирует различные современные подходы к анализу протоколов, такие как проверка на модели (model-checking), древовидные автоматы, временная логика. При этом используются разработки, созданные после 2000 г. Специально для него были разработаны версии языков LPSL ( igh-Level Protocols Specification Language) [2] и IF (Intermediate Format) [3], позволившие существенно расширить класс изучаемых протоколов, а также интегрировать в единую платформу сразу несколько различных методов.
2014

Сейчас во многих структурах используются специальное программное обеспечение, для автоматизации организационной и хозяйственной деятельности, для поддержки оперативного управления, ведения бухгалтерского и налогового учета. Перед большинством работающих сегодня организаций возникает одна и та же проблема – это возрастающий поток данных, вследствие чего, возникают проблемы получения быстрого доступа к информации. Помимо этого, также стоят задачи, связанные с усовершенствованием способов ведения архивов, усовершенствованием оборудования, программного обеспечения, и самое главное это – автоматизация ручного труда, следствием которого является повышение эффективности управления.
2014

Появление в образовании новых информационных технологий предоставляет принципиально новые возможности для реализации модели учебного процесса во всем ее многообразии. О своевременности и актуальности рассматриваемой проблемы говорит тот факт, что большую часть своего времени руководство учебных заведений и преподаватели тратят на оформление различной документации и отчетов.Целью работы является создание программного продукта, позволяющего автоматизировать процесс составления расписания в средних учебных заведениях.Теоретической и методологической базой исследования послужили труды авторитетных специалистов в области разработки программ составления расписания: Картузов А.В. [1], Терентьев С.О.; законодательные и нормативные документы. Вопросы, касающиеся практической реализации данных решений, рассматриваются в работах российских учѐных и зарубежных авторов: Никитина Н.В., Блиновой Н.Р.[2], Кенту М.Сектор рынка программного обеспечения (ПО) систем составления расписания занятий представлен большим количеством различных программных продуктов. Однако на практике программные продукты составления расписания не применяются и расписание составляют вручную. Одна из причин заключается в компьютерной безграмотности менеджеров составления расписания, другой причиной являются неудачные попытки использования ранее предложенных программ.
2014

Проектирование сложных технических систем, таких как локальные, корпоративные и телекоммуникационные вычислительные сети - сложный многоуровневый процесс. Он заключается в построении оптимальной системы, максимально использующей свои ресурсы. При моделировании сети, специалист должен обладать рядом статистических данных, после обработки которых, он может выбрать оптимальные характеристики и тип сети, так же чтоб в будущем внести изменения в ее конфигурацию. При проектировании новой сети проектировщик может лишь предвидеть, прогнозировать, как будет загружен тот или иной сетевой канал, насколько велик будет объем вычислений, производимых тем или иным узлом сети.
2013

Информационная безопасность является важным институтом личной, общественной и государственной жизни. Ее сущность просматривается посредством анализа различных аспектов информационной безопасности. Их многообразие позволяет понять разносторонность и специфику данного явления, роль и ценность обеспечения защиты информационного оборота в процессе жизнедеятельности человека, а также общественных и государственных образовании.Информационная безопасность обладает различными аспектами своего значения, а именно к ним необходимо отнести: социальный аспект; нормативно-правовой аспект; экономический аспект; финансовый аспект; военный аспект; экологический аспект; программно-технический аспект.
2009