JAVA-Object-Oriented 表达式求解（递归下降）：迭代实现表达式求解、三角函数、自定义函数、函数嵌套 多线程：多部电梯（线程）模拟 JML：Java建模语言规范 UML：图书馆管理系统模拟实现，包括借书还书、馆际借阅等功能