Ученые начали работу над созданием программы, стандартизирующей и облегчающей процесс поиска ошибок в других программах

Ошибки в программеОтдельные компании, занимающиеся разработкой программного обеспечения, тратят ежегодно миллионы долларов на поиски потенциально опасных ошибок, которые, так или иначе, допускаются в разрабатываемых программах. Этот процесс чрезвычайно сложен и с трудом подвергается автоматизации, и даже если программа-локатор обнаруживает десяток или сотню ошибок в другой программе, никто с уверенностью не может сказать, сколько ошибок она не заметила и пропустила. Исследователи из университета Нью-Йорка, Массачусетского технологического института и Северо-восточного университета сейчас работают над программой поиска ошибок, использующей весьма неординарный подход к этому делу. Вместо того, чтобы искать и исправлять ошибки, эта программа добавляет их в исходный код другой программы сотнями тысяч.
 | Опубликовано Informatic | Подробнее | Комментарии: 2

Новая технология оптического сканирования позволит составлять карты морского дна при помощи небольших беспилотников

Лазерный оптический локаторКогда кому-либо требуется произвести картографическую съемку морского дна, для этого обычно используется устройство, называемое батиметрическим оптическим локатором (bathymetric LiDAR, Light Detection And Ranging). Это достаточно громоздкое устройство, которое весит 250-300 килограмм и которое устанавливается только на больших самолетах, имеющих экипаж из нескольких человек. Эти самолеты неоднократно проходят над областью съемки и такое мероприятие обходится заказчикам в достаточно круглые суммы. Однако, в недалеком будущем эта ситуация может измениться благодаря работе исследователей из Технологического университета Джорджии (Georgia Tech), возглавляемых доктором Грэйди Туеллом (Dr. Grady Tuell). Эта группа разработала новую технологию лазерной оптической локации, обладающую высокой эффективностью и достаточно компактными габаритами, что позволит ее установку на беспилотные летательные аппараты.
 | Опубликовано Informatic | Подробнее | Комментарии: 1