print_Hyon

本文讲述了如何通过exe4j将命令行应用程序的jar包制作成exe可执行文件，帮助没有jre环境的用户执行java程序...

本文讲解并行与并发、PG、TS各自的交错、彼得森进程互斥（Peterson’s Mutual exclusion）算法...

对Data-Dependent Systems和Program Graph进行讲解，并列举相关案例，说明性质...

本章讲述了有限字的自动机、无限字的自动机、NBA和w-正则语言、Generalized NBA的基本知识点。...

当我们需要对一个项目进行验证时，我们无法对该项目直接验证，而是要转换成可以做验证的模型，比如一个C语言程序，要先将它转换为一阶逻辑公式，再将一阶逻辑公式转换为Kripke结...

本章介绍了CarMaker Python API在PyCharm里面的运行方法，和运行过程中可能发生的错误以及解决办法。...

本文介绍了Model Check的使用方法，和每个模块的含义。这里的Model Check指车辆在相同实验下，不同外部情况下的结果对比，比如不同的风力角度下，总阻力系数随风...

对CarMaker的上次模块进行了介绍，如模块的作用、变量的含义等，同时对数据字典进行了介绍，在模块中如何获取和修改数据字典内的值，从而对实验产生影响并分析车辆变化情况。...

本实验通过CarMaker的TestManager功能绕汽车不同期望速度进行实际速度的测量，并进行比较，主要讲述TestManager的参数修改、图表生成等基本用法和NVa...

在双向四车道上，行人穿过车道，自动驾驶的车辆进行避让；本文主要介绍斑马线和行人的设置，其他内容比较粗略。...

CarMaker与Simulink联合仿真，部分数据在模块里可以直接观测到，也可以修改车辆接受的数据...

一次比较复杂的实验，通过Traffic模块创建多辆行驶中的汽车,学习单车道的绘制方法,学会使用IPGDriver，调整车辆在不同路线上运行。...

通过CarMaker实现搭建一个封闭道路，让小车在道路上循环运行999秒，并介绍了可能会发生的报错和处理方法，适合初学者...

详细介绍了我申请CarMaker这款汽车仿真软件试用证书的全过程（可能会随着时间推移，官方界面发生改变）...

本文介绍了GOTO控件和From控件、S-Function Builder控件、BusCreator控件和BusSelector控件、Inport控件和Outport控件等...

介绍prescan运行一个样例的详细方法，这个样例介绍了prescan和simlink跑一个小车是什么样子...