www.diagram.com.ua
www.diagram.com.ua
Русский: Русская версия English: English version
Translate it!
Поиск по сайту

+ Поиск по журналам
+ Поиск по статьям сайта
+ Поиск по схемам СССР
+ Поиск по Библиотеке

Бесплатная техническая библиотека:
Все статьи А-Я
Энциклопедия радиоэлектроники и электротехники
Новости науки и техники
Архив статей и поиск
Ваши истории из жизни
На досуге
Случайные статьи
Отзывы о сайте

Справочник:
Большая энциклопедия для детей и взрослых
Биографии великих ученых
Важнейшие научные открытия
Детская научная лаборатория
Должностные инструкции
Домашняя мастерская
Жизнь замечательных физиков
Заводские технологии на дому
Загадки, ребусы, вопросы с подвохом
Инструменты и механизмы для сельского хозяйства
Искусство аудио
Искусство видео
История техники, технологии, предметов вокруг нас
И тут появился изобретатель (ТРИЗ)
Конспекты лекций, шпаргалки
Крылатые слова, фразеологизмы
Личный транспорт: наземный, водный, воздушный
Любителям путешествовать - советы туристу
Моделирование
Нормативная документация по охране труда
Опыты по физике
Опыты по химии
Основы безопасной жизнедеятельности (ОБЖД)
Основы первой медицинской помощи (ОПМП)
Охрана труда
Радиоэлектроника и электротехника
Строителю, домашнему мастеру
Типовые инструкции по охране труда (ТОИ)
Чудеса природы
Шпионские штучки
Электрик в доме
Эффектные фокусы и их разгадки

Техническая документация:
Схемы и сервис-мануалы
Книги, журналы, сборники
Справочники
Параметры радиодеталей
Прошивки
Инструкции по эксплуатации
Энциклопедия радиоэлектроники и электротехники

Бесплатный архив статей
(500000 статей в Архиве)

Алфавитный указатель статей в книгах и журналах

Бонусы:
Ваши истории
Викторина онлайн
Загадки для взрослых и детей
Знаете ли Вы, что...
Зрительные иллюзии
Веселые задачки
Каталог Вивасан
Палиндромы
Сборка кубика Рубика
Форумы
Голосования
Карта сайта

ДИАГРАММА
© 2000-2021

Дизайн и поддержка:
Александр Кузнецов

Техническое обеспечение:
Михаил Булах

Программирование:
Данил Мончукин

Маркетинг:
Татьяна Анастасьева

Перевод:
Наталья Кузнецова

Контакты

При использовании материалов сайта обязательна ссылка на https://www.diagram.com.ua

сделано в Украине
сделано в Украине

Диаграмма. Бесплатная техническая библиотека

Бесплатная техническая библиотека Бесплатная техническая библиотека, Энциклопедия радиоэлектроники и электротехники

НОВОСТИ НАУКИ И ТЕХНИКИ, НОВИНКИ ЭЛЕКТРОНИКИ
Бесплатная техническая библиотека / Лента новостей

Самозалечивающееся программное обеспечение 08.07.2015

Исследователи из Лаборатории вычислительной техники и искусственного интеллекта при Массачусетском технологическом институте разработали систему под названием Code Phage, автоматически исправляющую ошибки в приложениях с открытым исходным кодом. Code Phage способна исправлять ошибки, возникающие в результате выхода параметра за допустимые пределы, переполнения целочисленных значений и деления на ноль, говорится в публикации исследователей на сайте Ассоциации вычислительной техники.

Для работы системы необходимо наличие двух входных параметров, которые вводятся в целевое приложение, с условием, что один из параметров вызывает сбой в работе программы. Code Phage, используя базу данных, ищет приложение-донора, которое смогло бы обработать оба входных параметра без сбоя. Предполагается, что такое приложение содержит некое проверочное условие, которое предотвращает сбой и отсутствует в целевом приложении. Цель заключается в том, чтобы перенести эту проверку из приложения-донора в целевое приложение, которое необходимо исправить.

Чтобы найти проверочное условие в приложении-доноре и понять, как оно работает, Code Phage запускает приложение-донор сначала с "исправным", а затем - со "сбойным" параметром (то есть вызывающим сбой в оригинальной программе). При каждой "прогонке" система выстраивает цепочку логических операций, происходящих в программе, пока не найдет разветвление этих цепочек - то место, где находится проверочное условие.

Используя результаты анализа (символьные выражения), система воссоздает и интегрирует аналогичную проверку в исходное приложение на том языке, на котором оно было написано. При этом Code Phage работает с бинарными донорами, то есть ей не нужно знать исходный код приложений-доноров, так как она анализирует их логику.

В своем эксперименте исследователи смогли исправить ошибки в семи популярных приложениях с открытым исходным кодом, используя 2-4 донора для каждого из них. На исправление каждой ошибки ушло от 2 до 10 минут.

По словам исследователей, преимущество Code Phage заключается в том, что система может брать в качестве доноров программы, написанные на разных языках, лишь бы они работали аналогичным образом. В интернете находятся миллионы приложений, которые можно использовать в качестве доноров.

<< Назад: Мониторы iiyama ProLite XU2490HS-B1 и XU2590HS-B1 08.07.2015

>> Вперед: Совы и тишина пропеллеров 07.07.2015

Последние новости науки и техники, новинки электроники:

Запрограммировано взаимодействие между квантовыми магнитами 06.12.2021

Команда немецких физиков из Центра квантовой динамики Гейдельбергского университета изменили взаимодействие между микроскопическими квантовыми магнитами - спинами. В исследовании магниты впервые сохраняли свою первоначальную ориентацию в течение длительного периода в изолированных квантовых системах. Ученые использовали газ из атомов, который был охлажден до температуры, близкой к абсолютному нулю. С помощью лазера атомы были раскалены и отделяли электроны на макроскопические расстояния от ат ...>>

Мозг способен блокировать сохранение некоторых воспоминаний 06.12.2021

Ученые из Чжэцзянского университета в Китае провели многочисленные эксперименты с разными группами добровольцев. Гипотеза исследователей подтвердилась: мозг способен блокировать сохранение определенных воспоминаний, даже если человек пытался их запомнить. Логично предположить, что информация, на которой мы специально сосредотачиваемся в определенный момент времени, должна запоминаться лучше. Однако, как оказалось, это не всегда так. Подсознание способно определить, насколько та или иная инфор ...>>

Камера размером с крупинку соли 05.12.2021

Ученые из двух университетов США - Принстонского и Вашингтонского - создали крошечную камеру размером с крупинку соли. Ширина сенсора камеры всего 0,5 мм. Его метаповерхность состоит из 1,6 млн цилиндров под особым наклоном. Они улавливают и преломляют свет правильным образом, а затем алгоритмы формируют из этих данных изображение. Несмотря на то, что новый датчик в полмиллиона раз меньше обычного объектива, сделанные им снимки не уступают по качеству и даже лучше. Разработчики считают, чт ...>>

Профессиональный OLED-дисплей LG UltraFine Display OLED Pro 05.12.2021

Компания LG Electronics представила профессиональный OLED-дисплей, нацеленный на специалистов видеообработки, теле- и киностудий. LG UltraFine Display OLED Pro благодаря использованию технологии OLED получил более 8 млн самоподсвечивающихся пикселей, которые обеспечивают идеально черный цвет и точную цветопередачу для реалистичного изображения. Кроме того, LG OLED Pro позволяет достичь высокого качества изображения за счет широких возможностей цветокоррекции. В частности, можно изменять цв ...>>

Глобальное потепление ускоряет крупнейшее течение Южного океана 04.12.2021

Ученые из США и Китая использовали данные, собранные с помощью дрейфующих буев проекта "Арго", чтобы определить, что является причиной ускорения крупнейшего течения Южного полушария - Антарктическое циркумполярного течения. Оказалось, что основной вклад в этот процесс вносит не ветер, как считалось ранее, а потепление климата, связанное с деятельностью человека. Антарктическое циркумполярное течение (АЦП) - холодное поверхностное океаническое течение Южного океана. Ученые из Калифорнийского у ...>>

Случайная новость из Архива

Гиперстабильный искусственный белок 26.02.2020

Новый гиперстабильный искусственный белок создан в Университете Шиншу в сотрудничестве с Университетом Принстона. Его предшественник - белок WA20 - мог выдерживать температуру в максимум 75°C. Ожидается, что белковые наноструктурные блоки с использованием SUWA будут применены для исследований в области нанотехнологий и синтетической биологии в ближайшем будущем.

Белки и самоорганизующиеся белковые комплексы выполняют функции внутри живого организма, подобно наномашинам, что делает их ключевым компонентом в различных реакциях. Искусственный белок с желаемыми функциями мог бы найти много применений в биофармации и обеспечивать химические реакции с низким воздействием на окружающую среду. Эта нанотехнология находится в масштабе молекул - 1/1000000 миллиметра, что затрудняет работу с ними, но имеет много многообещающих применений.

Белки денатурируют или разрушаются, необратимо изменяя свою структуру, например, когда вода вокруг яйца вскипает или кусок филе превращается в стейк. Это предотвращает использование белков, когда они должны выдерживать нагрев. Ученые возлагали большие надежды на использование белков в нанотехнологиях и синтетической биологии. Новая разработка - SUWA (Super WA20) - белок в форме "столпа" оказался способен выдерживать температуру в 100°C и не разрушаться при этом.

Белок SUWA de novo (Super WA20) значительно более стабилен, чем его предшественник WA20. SUWA не кипел при 100°C, а WA20 денатурировал при 75°C. Было установлено, что средняя температура денатурации белка SUWA составляет 122°С. Это ультра-стабилизированный искусственный белок.

Характерная трехмерная структура димера с пополам U-топологией SUWA была выяснена методом рентгеновской кристаллографии. Молекулярно-динамическое моделирование предполагает, что стабилизация центра альфа-спиралей способствует структурной стабилизации и высокой термостойкости SUWA.

Смотрите полный Архив новостей науки и техники, новинок электроники


Бесплатная техническая библиотека Бесплатная техническая документация для любителей и профессионалов