配对编程中的模拟电梯行为的实验。 开发完全用Java完成。 最终产品将为其他模拟和一些测试不同电梯性能的能力提供框架。
2021-04-27 13:08:20
207KB
1
资源：一份源代码，一份英文报告。英文报告包括了模拟运行结果（20步随机），还有CTL以及CTL验证结果，最后一些简单说明。
2020-01-03 11:16:51
16KB
1
该电梯模拟系统设计了良好的界面，以及自主设计了电梯调度算法， 保证电梯能搞在负载均衡的前提下实现乘客的快速响应，其实现采用了栈、队列等基本数据结构，在VS 2017编译器，win 10平台上开发，整个电梯的数据结构类型设计以及电梯调度算法对想要实现类似离散的模拟系统有指导意义。
2019-12-21 21:42:37
257KB
1
/*************************************************************************
/*C语言简易电梯实现(模拟状态机)
/*
/*通过定义两个枚举类型和两个结构表征电梯当前状态
/*
/*具有如下功能：
/*电梯状态初始化(电梯在一楼且电梯门关闭)
/*选择电梯是否继续运行
/*控制电梯每次运行时的方向
/*在电梯运行过程中添加层数
/*输入电梯层数是可乱序输入
/*判断电梯是否超载
/*增加或减少电梯内人数
/*宏定义电梯最大载客数和楼层范围,可根据需要修改elevator.c中的MAX_FLOOR,MAX_NUM
/*最后电梯还原为初始化时的状态
*************************************************************************/
2019-12-21 20:55:47
54KB
1