摘要: 第四单元作业架构: 第四单元的作业仍然采用增量开发的形式,总体难度不大。但由于实在没办法实现高效的解耦,导致hw15的时候Myimplement里面写了超过500行。 hw13: hw13中主要进行了对于UMl类图的解析,在实现的过程中,我通过HashMap的方式来映射id和不同类型UmlEleme 阅读全文
posted @ 2022-06-29 11:36 Satom1shihara 阅读(7) 评论(0) 推荐(0) 编辑
摘要: JML规格及测试: JML规格: JML规格提供了一种对于数据的约束,通过更加形式化的语言来对于前置条件、后置条件进行约束,从而保证程序在正确执行后能得到正确的结果。 总体来说,JML规格相较于平时使用的自然语言来说更加复杂,这在作业中也有很明显的体现,例如最短路、最小生成树的描述,让人看着感到不适 阅读全文
posted @ 2022-06-06 12:27 Satom1shihara 阅读(8) 评论(0) 推荐(0) 编辑
摘要: 第一次作业: 同步块设置与锁的选择: 第一次作业相对比较简单,需要实现一个纵向的电梯调度问题。 我将电梯和输入请求都当作线程进行处理,将请求队列作为中间的交互通道,将请求队列中的增加请求、得到请求等操作加锁。这样就可以实现线程安全的交互。 调度器设置: 第一次作业由于只有直上直下的请求,所以调度相对 阅读全文
posted @ 2022-05-01 10:19 Satom1shihara 阅读(24) 评论(1) 推荐(1) 编辑
摘要: 第一次作业: 作业要求:完成多层嵌套表达式和函数调用的括号展开与化简 思路: 由于该次作业所有参与运算的部分均可以写成多项式的形式,因此可以将所有的式子都写为多项式系数+指数的形式。 那么因子、项、表达式都可以通过一个多项式类继承过来。 然后就是符号和空格 我通过正则表达式和替换的方法将所有的符号都 阅读全文
posted @ 2022-03-25 15:06 Satom1shihara 阅读(18) 评论(0) 推荐(0) 编辑