摘要： ### 一些问题 1. 能不能抽样检测精度，有些关系实例比较多，全部遍历可能跑不出来。 = n个三元组 n个实体 讨论结果：全部检测 2. rdf:type,rdf:subClassof,rdf:first 这类谓词需不需要判断性质。这类谓词实例是不是应该全部保留。 讨论结果：需要判断 3. 传递的 阅读全文

摘要： 本单元架构设计 本单元最后一次作业的UML类图，分三个部分进行描述：UML类图，UML顺序图，UML状态图 类图的类图 顺序图的类图 UML状态图 可以看出本单元的架构主要是利用组合关系建立一些层次。通过关联得到的属性向下调用。 架构设计思维及OO方法理解的演进 架构设计思维的演进 第一单元：学习到 阅读全文

摘要： 自测过程中如何利用JML规格来准备测试数据的分析 本单元完全是依靠同学的测试数据进行测试的，自己没有准备测试数据。我猜测应该主要是根据JML规格的requires部分和signal的布尔表达式部分进行测试数据的生成。 本单元的架构设计，图模型构建和维护策略分析 架构设计 本单元的架构设计，官方包基本 阅读全文

摘要： 锁的应用 读写加锁 synchsynchronized (outlist) { boolean a = inup_h(nowpos); } public boolean inup_h(int nowpos) { for (PersonRequest personRequest : list) { i 阅读全文

摘要： BUAA_OO_第一单元总结与反思 摘要 本单元有三次作业，作业题目就是，输入一个表达式字符串，对这个字符串进行处理，要求输出被去掉括号的表达式字符串。下面说明各次作业的因子类型。 Homework1: 变量因子 幂函数 一般形式 由自变量 x，指数符号 ** 和指数组成，指数为一个非负带符号整数， 阅读全文