Исследованы свойства экспериментов / последовательностей для идентификации текущего состояния
компонентов телекоммуникационных систем. Знание текущего состояния тестируемой системы может снизить
стоимость пассивного тестирования, поскольку в ряде случаев достаточно проверить только критические свой-
ства в данном состоянии. Для подобной идентификации используются установочные / синхронизирующие по-
следовательности / трассы, построенные по различным формальным моделям. В качестве таких моделей для
описания компонентов современных телекоммуникационных систем широко используются расширенные и
временные автоматы. Рассматриваются известные подходы к построению установочных последовательностей
для расширенных и временных автоматов на основе соответствующих конечно-автоматных абстракций, анали-
зируется их эффективность, исследуются свойства установочных / синхронизирующих последовательностей.
Идентификаторы и классификаторы
Список литературы
Gill, A. Introduction to the theory of finite-state machines / A. Gill. – McGraw Hill, 1962.
2. Lee, D. Testing finite-state machines: state identification and verification / D. Lee, M. Yannakakis //
IEEE Transactions on Computers. 1994. Vol. 43. № 3. Pp. 306-320.
3. Hibbard, T. N. Least upper bounds on minimal terminal state experiments for two classes of sequential
machines // Journal of the ACM. 1961. Vol. 8. № 4. Pp. 601-612.
4. Wang, H.-E. Homing Sequence Derivation with Quantified Boolean Satisfiability // Testing Software
and Systems Lecture Notes in Computer Science / H.-E Wang et al.
– Cham: Springer International
Publishing, 2017. Pp. 230-242.
5. Sandberg, S. Homing and Synchronizing Sequences / S. Sandberg // Model-Based Testing of Reactive
Systems Lecture Notes in Computer Science. – Berlin, Heidelberg: Springer Berlin Heidelberg, 2005.
Pp. 5-33.
6. Wehbi, B. Events-Based Security Monitoring Using MMT Tool / B. Wehbi et al. // 2012 IEEE Fifth
International Conference on Software Testing, Verification and Validation. Montreal, QC, Canada:
IEEE, 2012. Pp. 860-863.
7. Lopez, J. Behavior evaluation for trust management based on formal distributed network monitoring /
J. Lopez et al. // World Wide Web. 2016. Vol. 19. N 1. Pp. 21-39.
8. Bayse, E. A passive testing approach based on invariants: application to the WAP / E. Bayse et al. //
Computer Networks. 2005. Т. 48. N 2. Pp. 247-266.
9. Petrenko, A. Confirming configurations in efsm testing / A. Petrenko, S. Boroday, R. Groz // IIEEE
Trans. Software Eng. 2004. Vol. 30. N 1. Pp. 29-42.
10. Kushik, N. Improving Protocol Passive Testing through «Gedanken» Experiments with Finite State
Machines / N. Kushik et al. // 2016 IEEE International Conference on Software Quality, Reliability and
Security (QRS). Vienna, Austria: IEEE, 2016. Pp.315-322.
11. Krichen, M. Conformance testing for real-time systems / M. Krichen, S. Tripakis // Form Methods
Syst Des. 2009. Vol. 34. N 3. Pp. 238-304.
12. Merayo, M. G. Formal testing from timed finite state machines / M.G. Merayo, M. Núñez, I. Rodríguez
// Computer Networks. 2008. Vol. 52. N 2. Pp.432-460.
13. Bresolin, D. Equivalence checking and intersection of deterministic timed finite state machines /
D. Bresolin et al. // Form Methods Syst Des. 2021. Vol. 59. N 1–3. Pp. 77-102.
14. Kushik, N. Studying the optimal height of the EFSM equivalent for testing telecommunication
protocols / N. Kushik et al. // 2nd International Conference on Advances in Computing, Communication
and Information Technology CCIT 2014. Birmingham: The Institute of Research Engineers and
Doctors, 2014. Pp. 159-163.
15. Tvardovskii, A. Deriving homing sequences for Finite State Machines with timeouts / A. Tvardovskii,
N. Yevtushenko // The Computer Journal. 2023. Vol. 66. N 9. Pp. 2181–2190.
16. Home_sequence. Available at: https://mks2.cs.msu.ru/EvgeniiEM/home_sequence/-
/tree/home_sequence (Accessed 01.02.2024).
17. RFC1350 – The TFTP Protocol (revision 2). Available at: https://www.ietf.org/rfc/rfc1350.txt
(Accessed 01.02.2024).
18. Zhigulin, M. Detecting Faults in TFTP Implementations using Finite State Machines with Timeouts /
M. Zhigulin, S. Prokopenko, M. Forostyanova // Proceedings of the Spring/Summer Young
Researchers’ Colloquium on Software Engineering. 2012. Pp. 115-118.
19. Deriving-FSM-Abstraction. Available at: https://github.com/AlexTvardFSM/Deriving-FSM-Abstraction
(Accessed 01.02.2024).
20. Janhsen, A. Modelling and simulation of the new European train control system / A. Janhsen et al. //
Proceedings of the IMACS Symposium on Mathematical Modelling. Vienna: ARGE Simulation News,
Technical University Vienna, 1997. Pp. 473-478.
21. Kushi, N. Studying Synchronization Issues for Extended Automata / N. Kushi, N. Yevtushenko //
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software
Engineering. Prague, Czech Republic: SCITEPRESS – Science and Technology Publications, 2023.
Pp. 338-345.
Выпуск
Другие статьи выпуска
Исследованы свойства экспериментов / последовательностей для идентификации текущего состояния
компонентов телекоммуникационных систем. Знание текущего состояния тестируемой системы может снизить
стоимость пассивного тестирования, поскольку в ряде случаев достаточно проверить только критические свой-
ства в данном состоянии. Для подобной идентификации используются установочные / синхронизирующие по-
следовательности / трассы, построенные по различным формальным моделям. В качестве таких моделей для
описания компонентов современных телекоммуникационных систем широко используются расширенные и
временные автоматы. Рассматриваются известные подходы к построению установочных последовательностей
для расширенных и временных автоматов на основе соответствующих конечно-автоматных абстракций, анали-
зируется их эффективность, исследуются свойства установочных / синхронизирующих последовательностей.
Представлены результаты расчетного исследования безопасности автобуса, проведенного с учетом требований Правил № 66 ЕЭК ООН. Исследовано влияние способа установки сидений на пассивную безопасность кузова автобуса. В качестве объекта изучения принят цельнометаллический кузов автобуса малого класса. Производство данного типа транспортных средств зачастую происходит путем достройки грузовых автомобилей. При данном виде производства достройщикам необходимо решить вопрос пассивной безопасности, пройти сертификацию. Согласно Правилам № 66 ЕЭК ООН, допустимо применение имитационного моделирования. Расчетные исследования выполнены с применением компьютерного моделирования на основе МКЭ (метода конечных элементов). Создана модель кузова автобуса с различными вариантами крепления сидений (только на пол, пол – боковина). Правила ООН № 66 требуют, чтобы конструкция транспортного средства выдерживала нагрузку, возникающую при боковом опрокидывании транспортного средства, а также после опрокидывания в его салоне должно сохраняться необходимое для пассажиров и водителя пространство. Анализ показывает, что минимальный запас расстояния между регламентированным остаточным жизненным пространством и кузовом автобуса сохраняется, однако при способе установки сидений на пол – боковину обеспечивается запас.
Предложен и верифицирован метод наблюдения буксования ведущего колеса с функцией подавления автоколебаний, заключающийся в выводе из системы свободной энергии колебательного движения в случае развития процесса с отрицательным затуханием. В результате исследования получен эффективный алгоритм подавления автоколебательных явлений в электромеханической системе привода колеса. Его применение снижает пиковые значения (амплитуды) колебаний угловых скоростей колес; пиковые значения автоколебательного процесса по угловым скоростям снижаются на 12,3 %, а для крутящих моментов – на 38 %. Практическая ценность исследования заключается в возможности использования разработанного алгоритма подавления автоколебаний для систем управления транспортными средствами различного класса, оснащенными индивидуальным тяговым электроприводом ведущих колес.
Проведено динамическое исследование планетарного механизма привода гусеничного экскаватора на основе уравнения Лагранжа второго рода. Гусеничные экскаваторы, имея хорошее сцепление с грунтами и возможность работать на самых сложных из них, позволяют вести земляно-строительные работы круглый год даже в самых сложных погодных условиях. Выбрана конкретная схема планетарного зубчатого механизма с желательным передаточным числом для конкретной модели экскаватора. Проведен кинематический синтез механизма с определением числа зубьев колес и сателлитных блоков. Для расчета выбран ходовой механизм гусеничного экскаватора модели XE215CLL и двигателем BD-6BG1TRP. В соответствии с параметрами выбранной машины определена силовая нагрузка на исследуемый планетарный механизм. Проведено конструирование механизма с использованием методов деталей машин, выполнен расчет массово-геометрической характеристики звеньев планетарного механизма. Представлена динамическая модель планетарного механизма, установлен закон движения всех его звеньев. Разработанная методика может быть применена также для колесных экскаваторов.
Рассмотрены вопросы регулирования гибридной силовой установки (ГСУ) при установившемся движении автомобиля с заданной длительностью. На основании выполненного исследования энергетической эффективности рабочего процесса ГСУ установлено, что поиск алгоритмов рационального ее регулирования необходимо осуществлять путем решения соответствующей задачи оптимизации. Для решения задачи предложены частные оценочные критерии энергетической эффективности рабочего процесса ГСУ, подход к выбору параметров оптимизации и вводимые ограничения; введены понятия выходной и оптимизированной выходной характеристик ГСУ, а также нормированного удельного расхода топлива ДВС, приходящегося на зарядку тяговой высоковольтной аккумуляторной батареи. Для параметров агрегатов и механизмов ГСУ последовательно-параллельного на примере автомобиля типа Toyota Prius с помощью разработанной авторами компьютерной программы получены рациональные функции регулирования агрегатами при движении автомобиля на различных нагрузочно-скоростных режимах, обеспечивающие наилучшие значения выбранных частных критериев эффективности. Результаты исследования могут быть использованы при разработке перспективного метода оптимизированного выбора стратегии регулирования агрегатов ГСУ при движении автомобиля в комплексе неустановившихся режимов движения.
Рассмотрены результаты экспериментальных исследований транспортно-технологической платформы с роторно-винтовым движителем (ТТП с РВД). Представлены основные характеристики и внешний облик ТТП РВД ЗВМ 2902 производства ООО «Завод вездеходных машин», определены цель, задачи и основные параметры ее испытаний. Дано краткое описание применяемых приборов и оборудования, а также измеряемых величин. Испытания проведены на трех характерных участках с разными значениями влажности и прочностным свойствам илового осадка, а также на воде (мерные участки на иловых площадках длиной 20 м и длиной 50 м на воде). Получены значения скоростей движения ТТП с РВД от частоты вращения роторов. Построены графики изменения тяги на крюке ТТП с РВД в зависимости от влажности илового осадка при движении на различных передачах, а также от скорости вращения движителей на участках с различной влажностью ила и на воде, даны значения расхода топлива. Анализ полученных результатов позволяет дать рекомендации по повышению производитель-
ности и проходимости амфибийной ТТП с РВД. Данная работа продолжает исследования Нижегородской научно-практической школы транспортного снеговедения.
Представлены результаты исследования возможных причин превышения проектных значений давления в первом контуре реакторных установок типа «РИТМ» с газовой системой компенсации давления в режимах разогрева, стационарной работы после разогрева и в переходных процессах. Проведен анализ тепло-гидравлических процессов, происходящих в оборудовании газовой системы компенсации давления в данных режимах, приводящих к изменению температуры воды и газа. Разработана методика расчета и представлены расчетные оценки процессов тепломассопереноса в системе компенсации и первом контуре. Определено изменение температуры воды и газа в оборудовании системы и, в соответствии с этим, изменение давления в первом контуре. Исследованы процессы растворения, выделения и переноса газов в системе компенсации и первом контуре перед разогревом, в процессе и после разогрева. Разработана методика оценки влияния указанных процессов на давление в контуре, приведены результаты расчета. Предложены возможные варианты модернизации системы и изменения режимов работы установки.
Решена задача выбора оптимальной модели динамики реакторной установки по критерию минимального отклонения расчетных значений параметров реактора от экспериментально полученных данных. При необходимости валидации моделей на группе режимов по нескольким параметрам задача приобретает многокритериальный характер. Для решения применены методы поддержки принятия решений SAW, TOPSIS и ELECTRE. Методом SAW проведен анализ чувствительности результатов к экспериментальным погрешностям измерений и к варьируемой значимости валидируемых параметров реакторной установки. Результаты позволяют ограничить исходный набор моделей для последующего уточнения рассматриваемых физических предпосылок.
Рассматриваются вопросы численного моделирования задач обтекания тел со сложной геометрической формой. Представлены основные уравнения тепло- и массопереноса вязкого сжимаемого газа. Проведена модификация исходных соотношений для задач с подвижными границами, позволяющая сохранить порядок аппроксимации численной схемы путем введения вектора скорости грани контрольного объема. В качестве подхода моделирования используется методика расчета на сетках с перекрытиями. Приведены ключевые этапы предложенной технологии расчета. Для уменьшения вычислительной сложности построения интерполяционного шаблона предлагается использование иерархических структур данных. Восстановление расчетных полей на интерфейсных гранях выполняется посредством специализированных алгоритмов на основе градиентов и расширенного множества ячеек доноров. Работоспособность алгоритмов демонстрируется на примере задачи обтекания дозвуковым потоком сжимаемого газа двухзвенного профиля крыла Анализ показал преимущество предложенных подходов интерполирования в отношении точности получаемых результатов для актуальных задач авиационной промышленности.
Результат измерения должен сопровождаться указанием показателя точности, в качестве которой, как правило, выступает расширенная неопределенность. Для ее расчета необходима информация о числе степеней свободы суммарной стандартной неопределенности результата косвенного измерения. Известные в нормативных документах и других источниках методики имеют ряд пробелов. Для устранения этих пробелов предложено использовать интерполяционный фактор в установлении числа степеней свободы для общего случая количества элементов в группе корреляционно зависимых входных переменных, а также предложены три подхода для
определения числа степеней свободы стандартной неопределенности типа B. Выполнены соответствующие примеры расчетов, сопоставлены полученные результаты. Сделан вывод о целесообразности нахождения числа степеней свободы стандартной неопределенности типа B путем сопоставления коэффициента охвата, определяемого по методике ГОСТ Р 8.736-2011, с коэффициентом Стьюдента.
Представлены результаты теоретического исследования и компьютерного моделирования в MathCAD различных физических аспектов механического столкновения движущихся тел. Выявлены причины нежелательных эффектов численного моделирования и предложены методы их устранения. Обоснована необходимость и предложен метод возврата столкнувшихся тел в точку касания. Получены зависимости скоростей отскока тел от коэффициента восстановления и условие их «слипания» при абсолютно неупругом столкновении.
Издательство
- Издательство
- НГТУ им. Р.Е. Алексеева
- Регион
- Россия, Нижний Новгород
- Почтовый адрес
- 603155, Нижегородская обл, г Нижний Новгород, Нижегородский р-н, ул Минина, д 24
- Юр. адрес
- 603155, Нижегородская обл, г Нижний Новгород, Нижегородский р-н, ул Минина, д 24
- ФИО
- Дмитриев Сергей Михайлович (Ректор)
- E-mail адрес
- nntu@nntu.ru
- Контактный телефон
- +7 (783) 1436630
- Сайт
- https:/www.nntu.ru