Архив новостей |
| В этом выпуске |
Simulink Verification and Validation - новые возможности отладки моделей
Новая версия O-Matrix
Новости сайта Matlab.Exponenta.ru
Новости образовательного математического сайта Exponenta.ru
|
| Simulink Verification and Validation - новые возможности отладки моделей |
Компания MathWorks представила широкой публике свой новый продукт Simulink Verification and Validation. Этот модуль пакета Simulink предназначен для организации автоматического тестирования компьютерных моделей на этапе их разработки.
Simulink Verification and Validation - это очередной шаг в развитии подхода модельного проектирования (Model-Based Design), пропагандируемого разработчиками пакета Simulink. Новый функциональный модуль позволяет "перенести" процесс тестирования с самого разрабатываемого устройства на его математическую модель, в некотором смысле интегриуя в модель алгоритмы ее верификации. Благодаря этому значительно увеличивается вероятность того, что ошибки проектирования и "неадекватности" модели (ненужные блоки, никогда не реализующиеся условия и т.п.) будут обнаружены уже на этапе моделирования.
Интерфейс Simulink Verification and Validation позволяет связать требования технического задания со сценарием тестов, а также собрать и представить результаты тестов в наиболее удобном виде. Последняя возможность приобретает особую важность с учетом постоянного роста сложности проектов и ростом требований к формализации тестирования и документирования.
Simulink Verification and Validation дает возможность связать проектные требования с системами формального управления требованиями, такими как Telelogic DOORS, или работать с документами Microsoft Word, Microsoft Excel и HTML. Кроме того, пользователь имеет возможность формировать отчет о выполнении требований и список еще не протестированных элементов проекта. Такие отчеты содержат стандартизованные метрики, включая метрику покрытия условий модифицируемым решением (modified condition/decision coverage) стандарта RTCA/DO-178B. Механизм формирования отчетов полностью интегрирован со средой Simulink.
Помимо построения и тестирования моделей на основе технических требований, пакет Simulink Verification and Validation позволяет проводить процедуры верификации проекта на всем протяжении процесса разработки. С использованием утилиты Real-Time Workshop Embedded Coder, описания требований можно включить в виде комментариев в код программы, сгенерированный из протестированной модели. Этим обеспечивается полный контроль над соответствием кода заданным критериям, что важно при разработке программных решений с высокой степенью интеграции.
Существующие версии модуля Simulink Verification and Validation поддерживаются платформами Microsoft Windows, UNIX/Linux и Macintosh.
Более подробную информацию о компании MathWorks и ее продуктах Вы получите, посетив Интернет-сайт компании SoftLine www.softline.ru/science.
|
| Новая версия O-Matrix |
Компания Harmonic Software Inc объявила о выходе новой версии системы компьютерной алгебры O-Matrix. Главным достижением O-Matrix 5.8 по отношению к предыдущим версия продукта является значительное увеличение скорости вычисления некоторых трансцендентных функций, а также более эффективный алгоритм генерации случайных чисел.
O-Matrix - это вычислительная среда, которая объединяет большое число алгоритмов анализа и визуализации данных и имеет сотни встроенных математических функций. Основой O-Matrix является продвинутый язык матричной алгебры, специально разработанный для высокоэффективных научных расчетов. Поскольку программная среда O-Matrix является интерпретатором, синтаксис языка максимально адаптирован для увеличения скорости ввода комманд. O-Matrix снабжена интерфейсом для вывода графики и текстовых данных, а также средствами для отладки сложных программ. Помимо этого в O-Matrix имеется режим поддержки языка MATLAB, в котором возможно выполнение m-файлов, режим, позволяющий работать с OLE/COM Automation Server, а также инструмент для создания графических интерфейсов.
Как показали тесты, оптимизация исходных кодов O-Matrix 5.8 привела к значителному увеличению скорости работы программы. В частности, выполнение m-кода, вычисляющего 1000-ную степень случайной матрицы с размерами 400 x 400, заняло в O-Matrix 5.8 в два раза меньше времени, чем та же операция в O-Matrix 5.7 и MATLAB 7.01.
|
| Новости сайта Matlab.Exponenta.ru |
Новый материал в разделах, посвященных Image Processing Toolbox и Fuzzy Logic Toolbox.
В разделе Image Processing Toolbox размещен материал "Текстурная сегментация с использованием текстурных фильтров" (автор Журавель И.М.).
Адрес раздела: http://matlab.exponenta.ru/imageprocess/index.php.
В разделе Fuzzy Logic Toolbox размещен материал "Нечеткое моделирование конкурентоспособности марочного товара с помощью Fuzzy Logic Toolbox" (автор Штовба С.Д.).
Адрес раздела: http://matlab.exponenta.ru/fuzzylogic/index.php.
Консультационный Центр MATLAB - подразделение компании SoftLine, занимающееся вопросами обучения, консультирования по работе в среде системы MATLAB, а также разработкой MATLAB-приложений.
Направления деятельности Консультационного Центра MATLAB:
- чтение курсов лекций по работе в среде системы MATLAB;
- подготовка тематических курсов лекций по работе с пакетами прикладных программ MATLAB на заказ;
- проведение ознакомительных бесплатных семинаров;
- разработка и поддержание сайта www.matlab.ru, адресованного пользователям системы MATLAB и разработчикам MATLAB-приложений;
- разработка MATLAB-приложений на заказ и консультационные услуги.
Консультационный Центр MATLAB приглашает к сотрудничеству специалистов по системе MATLAB для чтения лекций, ведения разделов сайта matlab.exponenta.ru и разработки MATLAB-приложений.Консультационный Центр MATLAB приглашает прослушать курсы лекций (http://matlab.exponenta.ru/lection/), которые позволят новичкам научиться работать в среде системы MATLAB, а опытным пользователям - углубить свои знания и более полно использовать возможности системы для решения своих задач.
Сайт http://matlab.exponenta.ru/ - это авторские материалы по Matlab, Simulink, Matlab Toolboxes, форум пользователей Matlab, а также информация о курсах лекций и бесплатных обзорных семинарах, проводимых Консультационным Центром Matlab компании SoftLine, об услугах по консультированию и разработке Matlab-приложений, о возможностях сотрудничества.
Приглашаем к тестированию производительности системы MATLAB - http://matlab.exponenta.ru/bench.asp.
Адрес сайта: http://matlab.exponenta.ru/, e-mail: matlab@exponenta.ru.
|
| НОВОСТИ ОБРАЗОВАТЕЛЬНОГО МАТЕМАТИЧЕСКОГО САЙТА Exponenta.ru |
Новые студенческие работы.
В разделе Банк задач опубликованы новые студенческие работы
Баландина Татьяна "Исследование системы Лоренца".
Адрес работы: http://www.exponenta.ru/educat/referat/student25/index.asp.
Андрей Макаров "Решение транспортной задачи в Mathcad".
Адрес работы: http://www.exponenta.ru/educat/referat/student26/index.asp.
Образовательный математический сайт Exponenta.ru - проект компании SoftLine, посвященный применению универсальных математических пакетов (Mathcad, Matlab, Maple, Mathematica и др.) в образовании и науке. Основная цель проекта - создать в российском Интернете единое пространство для всех, кто использует и хочет использовать математические пакеты в образовательной и научной деятельности. Проект открыт для сотрудничества с вузами, центрами дистанционного обучения, преподавателями и другими заинтересованными лицами.
Вузам предоставляется копия сайта Exponenta.ru для размещения в локальной сети вуза. Предоставляется бесплатный хостинг авторам сайтов естественнонаучной тематики и сайтов о научном ПО!
Адрес сайта: http://www.exponenta.ru/, e-mail: info@exponenta.ru.
Адрес журнала "Exponenta Pro. Математика в приложениях":
http://www.exponenta.ru/journal.
|
Архив новостей |
