摘要: ### 一些问题 1. 能不能抽样检测精度,有些关系实例比较多,全部遍历可能跑不出来。 = n个三元组 n个实体 讨论结果:全部检测 2. rdf:type,rdf:subClassof,rdf:first 这类谓词需不需要判断性质。这类谓词实例是不是应该全部保留。 讨论结果:需要判断 3. 传递的 阅读全文
posted @ 2023-07-18 17:52 20373467dyt 阅读(11) 评论(0) 推荐(0) 编辑
摘要: 本单元架构设计 本单元最后一次作业的UML类图,分三个部分进行描述:UML类图,UML顺序图,UML状态图 类图的类图 顺序图的类图 UML状态图 可以看出本单元的架构主要是利用组合关系建立一些层次。通过关联得到的属性向下调用。 架构设计思维及OO方法理解的演进 架构设计思维的演进 第一单元:学习到 阅读全文
posted @ 2022-06-28 19:41 20373467dyt 阅读(42) 评论(0) 推荐(0) 编辑
摘要: 自测过程中如何利用JML规格来准备测试数据的分析 本单元完全是依靠同学的测试数据进行测试的,自己没有准备测试数据。我猜测应该主要是根据JML规格的requires部分和signal的布尔表达式部分进行测试数据的生成。 本单元的架构设计,图模型构建和维护策略分析 架构设计 本单元的架构设计,官方包基本 阅读全文
posted @ 2022-06-06 14:59 20373467dyt 阅读(19) 评论(0) 推荐(0) 编辑
摘要: 锁的应用 读写加锁 synchsynchronized (outlist) { boolean a = inup_h(nowpos); } public boolean inup_h(int nowpos) { for (PersonRequest personRequest : list) { i 阅读全文
posted @ 2022-05-01 22:33 20373467dyt 阅读(34) 评论(1) 推荐(0) 编辑
摘要: BUAA_OO_第一单元总结与反思 摘要 本单元有三次作业,作业题目就是,输入一个表达式字符串,对这个字符串进行处理,要求输出被去掉括号的表达式字符串。下面说明各次作业的因子类型。 Homework1: 变量因子 幂函数 一般形式 由自变量 x,指数符号 ** 和指数组成,指数为一个非负带符号整数, 阅读全文
posted @ 2022-03-25 21:57 20373467dyt 阅读(30) 评论(1) 推荐(0) 编辑