Рассматривается новый способ перемещения транспортного средства при помощи создания волнового движения

Показано, что возможности определения значений параметров объектов, представимых в виде многоэлементных RLC-двухполюсников следует рассматривать не для всего двухполюсника в целом, а для его отдельных элементов. При этом возможны три базовых варианта: 1) однозначное определение значения параметра (однозначная разрешимость), 2) наличия у параметра конечного числа допустимых значений (конечная разрешимость) и 3) наличие у параметра бесконечного числа допустимых значений (неразрешимость). Возможные комбинации этих вариантов определяют весь перечень искомых возможностей. Показано, что формируемая при этом классификация расширяет известную классификацию двухполюсников по их разрешимости.

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

Статья посвящена новым техническим решениям, принятым при разработке алгоритмического обеспечения управления пневмогидравлической системой подачи топлива ракеты космического назначения "Ангара". Суть управления ПГСП сводится к непрерывному измерению давления в топливных баках ракеты, анализу производной по времени и обеспечению своевременного изменения расхода газа наддува в бак. Цель разработки алгоритмического обеспечения - минимизация расхода газа наддува. Рассматриваются положительные результаты наземной и летной отработки алгоритмического обеспечения ПГСП.

Рассматривается тестирование ПО с использованием анимации UML-моделей. Такое исполнение UML-моделей в режиме анимации называют динамической отладкой. Исследуются процессы тестирования на программных моделях технических устройств для С++ и Java 2.0, которые получены из UML-моделей. Верифицированность таких систем оказывается выше, чем для систем, для которых проведено только статическое тестирование. Рассматриваются анимированные UML-диаграммы конечных автоматов и диаграммы последовательностей. При выполнении такой программы среда разработки отражает изменение состояния приложения на соответствующей диаграмме. Рассматривается быстрое прототипирование системы, как метод тестирования. Такое дополнительное тестирование важно для создания встраиваемых систем и систем реального времени. Abstract Software testing with use of animation of UML-models is considered. Execution of UML-models in an animation mode is dynamic debugging. Processes of testing on program models of technical devices for C ++ and Java 2.0 which are received from UML-models are investigated. Verifies such systems are above, than for static testing systems only. Animated UML-diagrams of Finite State Machine and the Sequence Diagrams are considered. The development framework reflects change of a condition of the application program in the corresponding diagram during program run. Fast prototyping of system, as a testing method is considered. Additional testing is important for creation of real time systems and embedded systems.