陈奕文18376136

BUAA_OO_2020_第三单元总结

　　我认为这一单元在难度上稍低于前两个单元，难度的降低主要体现在设计上，虽然本单元也需要考虑不少设计的问题，但设计难度要比前两单元低一点。不过这单元在算法方面难度有所提高，本人被tarjan算法弄晕了头，好不容易才搞明白，实现与debug又花了特别久，只能后悔数据结构学得不够好。在得分上三次作业分别是100，100，90，互测未出bug。这次的90给了我大大的教训：不要轻信别人提出的观点，要自己考察一番再做决定。

　　我得90的原因是qbs超时，当时在讨论群看到有同学说qbs直接并查集遍历查询不会超时，不需要在并查集中加入一个成员变量来记录Block数目，我没多想就相信了。结果强测最后两个点稍稍超时了一点，扣了10分非常心痛。我以后一定要仔细思考别人的观点，自己判断后再下决定，而不能盲从，负责任的终归只有自己一人。

　　下面进入正式分析环节。

一、JML理论基础及应用工具链

1.JML介绍

　　JML（Java Modeling Language）是一种用于规范Java程序行为的行为接口规范语言。JML为方法和类型的规格进行定义，为程序的形式化验证提供了基础，通过工具链可以实现静态检查和自动测试数据生成。

一般而言，JML有两种主要的用法：

开展规格化设计。这样交给代码实现人员的将不是可能带有内在模糊性的自然语言描述，而是逻辑严格的规格。
针对已有的代码实现，书写其对应的规格，从而提高代码的可维护性。这在遗留代码的维护方面具有特别重要的意义。

2. 理论基础

　(1)注释结构

　　　JML以javadoc注释的方式来表示规格，每行都以@起头。分为以下两种　

　　　　1）行注释：//@annotation

　　　　2）块注释：/*@ annotation @*/

（2）表达式

　　　　1）原子表达式

　　　　　　　\result表达式：方法执行的结果

　　　　　　　\old( expr )表达式：表达式 expr 方法执行前的值
　　　　　　　\not_assigned(x,y,...)表达式：用来表示括号中的变量是否在方法执行过程中被赋值

　　　　　　　\type(type)表达式：返回type对应的类型

　　　　　　　\typeof(expr)表达式：返回expr对应的类型

　　　　　　　\not_modified(x,y,...)表达式：括号中变量的取值在方法执行过程中未发生变化

　　　　　　　\nonnullelements( container )表达式： container中存储的对象不会有 null

　　　　2）量化表达式

　　　　　　 \forall表达式：全称量词

　　　　　　 \exists表达式：存在量词

　　　　　　 \sum表达式：求和

　　　　　　 \max表达式：最大值

　　　　　　 \min表达式：最小值

　　（3）方法规格

　　　　　　1）前置条件(pre-condition)：requires P，要求调用者确保P为真

　　　　　　2）后置条件(post-condition)：ensures P，方法实现者确保方法执行的返回结果一定确保P为真

　　　　　　3）副作用范围限定(side-effects)： assignable 或者modifiable，方法在执行过程中会修改对象的属性数据或者类的静态成员数据

　　　　　　4）纯粹访问性的方法： pure，不改变任何东西

　　　　　　5）抛出异常子句： signals

　　　（4）操作符

　　　　　　1）子类型关系操作符：E1<:E2，如果类型E1是类型E2的子类型(sub type)，则该表达式的结果为真，否则为假。如果E1和E2是相同的类型，该表达式的结果也为真。

　　　　　　2）等价关系操作符：b_expr1<==>b_expr2或者b_expr1<=!=>b_expr2，其中b_expr1和b_expr2都是布尔表达式，这两个表达式的意思是b_expr1==b_expr2或者b_expr1!=b_expr2。可以看出，这两个操作符和Java中的==和!=具有相同的效果。

　　　　　　3）推理操作符：b_expr1== >b_expr2或者b_expr2< ==b_expr1，对于表达式b_expr1==>b_expr2而言，当b_expr1==false，或者b_expr1==true且b_expr2==true时，整个表达式的值为true 。

　　　　　　4）变量引用操作符

　　　　　　　　\nothing指示一个空集　　　　

　　　　　　　　\everything指示一个全集

2.应用工具链

OpenJML：可以检查JML文档规格语法；
SMT Solver：OpenJML的一种，用于验证代码和规格的等价性；
JMLUnitNG：一款基于JML的单元测试工具，可以自动生成测试用例；
Junit：用于进行单元测试，可编写和可重复运行的自动化测试。

二、SMT Slover验证

　　不得不吐槽SMT Slover的配置实在困难，网上教程太少，不用jdk8莫名报错（先头铁没换，后只能妥协）。各处查博客问同学后终于运行成功，结果如下两图所示。以下验证以MyPerson类的方法为例

容易发现报出来的Warning主要有以下三类：

1. The prover cannot establish an assertion

2. Precondition conjunct is false

3. Associated declaration

除此之外也在MyGroup类和MyNetWork类进行了验证，Warning都为以上三种。

参考他人博客中指出的SMT无法对Array与ArrayList之间进行转换，很不智能。我便试着通过把需要转换的结构修改成不需要转换的结构后再次运行，然而Warning仍没有变少，询问大佬也是无果，只能归结为SMT长久不维护的谜之原因。

三、JMLUnitNG自动测试

使用JMLUnitNG体验不错，在按照教程配置后成功运行，对MyGroup中的各个方法进行自动测试，没有出现Bug。

发现其非常喜欢测试边界情况，不过课程组限定了数据的范围，所以这些测试对于本次作业没有太大的用处，不过对于实际工程中应该还是有帮助的，起码花出去的时间成本比较低。

不过我们当然不能依赖它，肯定还是要自己写测试样例，它提供的测试样例局限性还是比较大的。

四、构架设计分析

1. 第一次作业

　　　　　　注：从左至右分别为ev(G), iv(G), v(G)，下同

com.oocourse.spec1.exceptions.EqualPersonIdException.EqualPersonIdException()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.EqualPersonIdException.print()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.EqualRelationException.EqualRelationException()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.EqualRelationException.print()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.PersonIdNotFoundException.PersonIdNotFoundException()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.PersonIdNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.RelationNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec1.exceptions.RelationNotFoundException.RelationNotFoundException()	1.0	1.0	1.0
com.oocourse.spec1.main.Runner.addPerson()	1.0	2.0	2.0
com.oocourse.spec1.main.Runner.addRelation()	1.0	3.0	3.0
com.oocourse.spec1.main.Runner.compareAge()	1.0	2.0	4.0
com.oocourse.spec1.main.Runner.compareName()	1.0	2.0	4.0
com.oocourse.spec1.main.Runner.queryAcquaintanceSum()	1.0	2.0	2.0
com.oocourse.spec1.main.Runner.queryCircle()	1.0	3.0	3.0
com.oocourse.spec1.main.Runner.queryConflict()	1.0	2.0	2.0
com.oocourse.spec1.main.Runner.queryNameRank()	1.0	2.0	2.0
com.oocourse.spec1.main.Runner.queryPeopleSum()	1.0	1.0	1.0
com.oocourse.spec1.main.Runner.queryValue()	1.0	3.0	3.0
com.oocourse.spec1.main.Runner.run()	1.0	12.0	12.0
com.oocourse.spec1.main.Runner.Runner(Class,Class)	1.0	1.0	1.0
MainClass.main(String[])	1.0	1.0	1.0
MyNetwork.addPerson(Person)	3.0	2.0	3.0
MyNetwork.addRelation(int,int,int)	6.0	15.0	18.0
MyNetwork.compareAge(int,int)	2.0	3.0	3.0
MyNetwork.compareName(int,int)	2.0	3.0	3.0
MyNetwork.contains(int)	3.0	2.0	3.0
MyNetwork.getPerson(int)	4.0	4.0	4.0
MyNetwork.isCircle(int,int)	6.0	6.0	8.0
MyNetwork.MyNetwork()	1.0	1.0	1.0
MyNetwork.queryAcquaintanceSum(int)	2.0	2.0	2.0
MyNetwork.queryConflict(int,int)	2.0	3.0	3.0
MyNetwork.queryNameRank(int)	2.0	3.0	4.0
MyNetwork.queryPeopleSum()	1.0	1.0	1.0
MyNetwork.queryValue(int,int)	4.0	7.0	9.0
MyPerson.compareTo(Person)	1.0	1.0	1.0
MyPerson.equals(Object)	2.0	2.0	3.0
MyPerson.getAcquaintance()	1.0	1.0	1.0
MyPerson.getAcquaintanceSum()	1.0	1.0	1.0
MyPerson.getAge()	1.0	1.0	1.0
MyPerson.getCharacter()	1.0	1.0	1.0
MyPerson.getId()	1.0	1.0	1.0
MyPerson.getName()	1.0	1.0	1.0
MyPerson.getValue()	1.0	1.0	1.0
MyPerson.isLinked(Person)	4.0	2.0	4.0
MyPerson.MyPerson(int,String,BigInteger,int)	1.0	1.0	1.0
MyPerson.queryValue(Person)	3.0	3.0	3.0
Total	77.0	112.0	129.0
Average	1.673913043478261	2.4347826086956523	2.8043478260869565

分析：

　　　　第一次作业非常简单，主要目的应该是让同学们熟悉JML，在读懂JML后的实现非常轻松。MyNetWork中我使用的是ArrayList来存储Person（之后的作业为了提高效率弃用），由于这次作业非常简单，数据结构上的要求比较宽松，MyPerson中的value与acquaintance都使用的ArrayList，之后也都弃置了。现在看来当时就应该考虑到性能问题，也不用在之后的两次作业中重构了。

　　　　唯一需要考虑的地方在于isCircle，这一次我使用的是bfs算法，bfs算法已经足够满足这次的效率要求，不过之后却不行了，这也导致了我之后的重构。下次做第一次作业理应好好思考后路减少重构了。

　　　　复杂度分析上大部分的结果都不错，只有addRelation复杂度较高。

2. 第二次作业

com.oocourse.spec2.exceptions.EqualGroupIdException.EqualGroupIdException()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.EqualGroupIdException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.EqualPersonIdException.EqualPersonIdException()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.EqualPersonIdException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.EqualRelationException.EqualRelationException()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.EqualRelationException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.GroupIdNotFoundException.GroupIdNotFoundException()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.GroupIdNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.PersonIdNotFoundException.PersonIdNotFoundException()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.PersonIdNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.RelationNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec2.exceptions.RelationNotFoundException.RelationNotFoundException()	1.0	1.0	1.0
com.oocourse.spec2.main.Runner.addGroup()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.addPerson()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.addRelation()	1.0	3.0	3.0
com.oocourse.spec2.main.Runner.addtoGroup()	1.0	4.0	4.0
com.oocourse.spec2.main.Runner.compareAge()	1.0	2.0	4.0
com.oocourse.spec2.main.Runner.compareName()	1.0	2.0	4.0
com.oocourse.spec2.main.Runner.queryAcquaintanceSum()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryCircle()	1.0	3.0	3.0
com.oocourse.spec2.main.Runner.queryConflict()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupAgeMean()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupAgeVar()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupConflictSum()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupPeopleSum()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupRelationSum()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryGroupSum()	1.0	1.0	1.0
com.oocourse.spec2.main.Runner.queryGroupValueSum()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryNameRank()	1.0	2.0	2.0
com.oocourse.spec2.main.Runner.queryPeopleSum()	1.0	1.0	1.0
com.oocourse.spec2.main.Runner.queryValue()	1.0	3.0	3.0
com.oocourse.spec2.main.Runner.run()	1.0	21.0	21.0
com.oocourse.spec2.main.Runner.Runner(Class,Class,Class)	1.0	1.0	1.0
MyGroup.addPerson(Person)	1.0	2.0	3.0
MyGroup.equals(Object)	2.0	2.0	3.0
MyGroup.getAgeMean()	2.0	2.0	2.0
MyGroup.getAgeVar()	2.0	2.0	2.0
MyGroup.getConflictSum()	1.0	1.0	1.0
MyGroup.getId()	1.0	1.0	1.0
MyGroup.getIndex()	1.0	1.0	1.0
MyGroup.getRelationSum()	1.0	1.0	1.0
MyGroup.getSize()	1.0	1.0	1.0
MyGroup.getValueSum()	1.0	1.0	1.0
MyGroup.hasPerson(Person)	1.0	1.0	1.0
MyGroup.MyGroup(int)	1.0	1.0	1.0
MyGroup.setIndex(int)	1.0	1.0	1.0
MyGroup.setRelationSum(int)	1.0	1.0	1.0
MyGroup.setValueSum(int)	1.0	1.0	1.0
MyNetwork.addGroup(Group)	2.0	3.0	3.0
MyNetwork.addPerson(Person)	2.0	2.0	2.0
MyNetwork.addRelation(int,int,int)	6.0	17.0	20.0
MyNetwork.addtoGroup(int,int)	5.0	8.0	9.0
MyNetwork.compareAge(int,int)	2.0	3.0	3.0
MyNetwork.compareName(int,int)	2.0	3.0	3.0
MyNetwork.contains(int)	1.0	1.0	1.0
MyNetwork.getGroup(int)	1.0	1.0	1.0
MyNetwork.getPerson(int)	1.0	1.0	1.0
MyNetwork.isCircle(int,int)	3.0	3.0	4.0
MyNetwork.MyNetwork()	1.0	1.0	1.0
MyNetwork.queryAcquaintanceSum(int)	2.0	2.0	2.0
MyNetwork.queryConflict(int,int)	2.0	3.0	3.0
MyNetwork.queryGroupAgeMean(int)	2.0	2.0	2.0
MyNetwork.queryGroupAgeVar(int)	2.0	2.0	2.0
MyNetwork.queryGroupConflictSum(int)	2.0	2.0	2.0
MyNetwork.queryGroupPeopleSum(int)	3.0	3.0	3.0
MyNetwork.queryGroupRelationSum(int)	2.0	2.0	2.0
MyNetwork.queryGroupSum()	1.0	1.0	1.0
MyNetwork.queryGroupValueSum(int)	2.0	2.0	2.0
MyNetwork.queryNameRank(int)	2.0	3.0	4.0
MyNetwork.queryPeopleSum()	1.0	1.0	1.0
MyNetwork.queryValue(int,int)	4.0	7.0	9.0
MyPerson.compareTo(Person)	1.0	1.0	1.0
MyPerson.equals(Object)	2.0	2.0	3.0
MyPerson.getAcquaintance()	1.0	1.0	1.0
MyPerson.getAcquaintanceSum()	1.0	1.0	1.0
MyPerson.getAge()	1.0	1.0	1.0
MyPerson.getCharacter()	1.0	1.0	1.0
MyPerson.getId()	1.0	1.0	1.0
MyPerson.getName()	1.0	1.0	1.0
MyPerson.isLinked(Person)	3.0	1.0	3.0
MyPerson.MyPerson(int,String,BigInteger,int)	1.0	1.0	1.0
MyPerson.queryValue(Person)	2.0	2.0	2.0
UnionFind.addRelation(int,int)	5.0	5.0	9.0
UnionFind.getRoot(Integer)	1.0	2.0	2.0
UnionFind.isRelated(int,int)	3.0	3.0	4.0
UnionFind.UnionFind()	1.0	1.0	1.0
Total	127.0	191.0	213.0
Average	1.4767441860465116	2.2209302325581395	2.4767441860465116

分析：

　　　　第二次作业也比较容易，不过已经比第一次作业加了不少难度了，在读懂JML后还需要仔细地考虑算法能否满足要求。MyNetWork中我改用了HashMap来存储Person（为了提高查找的效率），由于这次作业对性能的要求，数据结构上的要求比较紧张，MyPerson中的acquaintance也改用了HashMap。

　　　　由于性能的需求，为了实现isCircle而使用了并查集，这也是我第一次接触并查集，学习了一番后还是比较顺利地实现出来了。另外在MyGroup类有众多查询平均值，总和之类的实现需求，直接每次遍历肯定是不行的，因此添加了成员变量来进行存储。

　　　　复杂度分析上大部分的结果都不错，同样只有addRelation复杂度较高。

3. 第三次作业

com.oocourse.spec3.exceptions.EqualGroupIdException.EqualGroupIdException()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.EqualGroupIdException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.EqualPersonIdException.EqualPersonIdException()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.EqualPersonIdException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.EqualRelationException.EqualRelationException()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.EqualRelationException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.GroupIdNotFoundException.GroupIdNotFoundException()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.GroupIdNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.PersonIdNotFoundException.PersonIdNotFoundException()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.PersonIdNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.RelationNotFoundException.print()	1.0	1.0	1.0
com.oocourse.spec3.exceptions.RelationNotFoundException.RelationNotFoundException()	1.0	1.0	1.0
com.oocourse.spec3.main.Runner.addGroup()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.addPerson()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.addRelation()	1.0	3.0	3.0
com.oocourse.spec3.main.Runner.addtoGroup()	1.0	4.0	4.0
com.oocourse.spec3.main.Runner.borrowFrom()	1.0	3.0	3.0
com.oocourse.spec3.main.Runner.compareAge()	1.0	2.0	4.0
com.oocourse.spec3.main.Runner.compareName()	1.0	2.0	4.0
com.oocourse.spec3.main.Runner.delFromGroup()	1.0	4.0	4.0
com.oocourse.spec3.main.Runner.query_money()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryAcquaintanceSum()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryAgeSum()	1.0	1.0	1.0
com.oocourse.spec3.main.Runner.queryBlockSum()	1.0	1.0	1.0
com.oocourse.spec3.main.Runner.queryCircle()	1.0	3.0	3.0
com.oocourse.spec3.main.Runner.queryConflict()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupAgeMean()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupAgeVar()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupConflictSum()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupPeopleSum()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupRelationSum()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryGroupSum()	1.0	1.0	1.0
com.oocourse.spec3.main.Runner.queryGroupValueSum()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryMinPath()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryNameRank()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryPeopleSum()	1.0	1.0	1.0
com.oocourse.spec3.main.Runner.queryStrongLinked()	1.0	2.0	2.0
com.oocourse.spec3.main.Runner.queryValue()	1.0	3.0	3.0
com.oocourse.spec3.main.Runner.run()	1.0	28.0	28.0
com.oocourse.spec3.main.Runner.Runner(Class,Class,Class)	1.0	1.0	1.0
Edge.Edge(int,int)	1.0	1.0	1.0
Edge.getId1()	1.0	1.0	1.0
Edge.getId2()	1.0	1.0	1.0
Edge.hashCode()	1.0	1.0	1.0
MainClass.main(String[])	1.0	1.0	1.0
MyGroup.addPerson(Person)	1.0	2.0	3.0
MyGroup.delPerson(Person)	1.0	2.0	3.0
MyGroup.equals(Object)	2.0	2.0	3.0
MyGroup.getAgeMean()	2.0	2.0	2.0
MyGroup.getAgeVar()	2.0	2.0	2.0
MyGroup.getConflictSum()	1.0	1.0	1.0
MyGroup.getId()	1.0	1.0	1.0
MyGroup.getIndex()	1.0	1.0	1.0
MyGroup.getRelationSum()	1.0	1.0	1.0
MyGroup.getSize()	1.0	1.0	1.0
MyGroup.getValueSum()	1.0	1.0	1.0
MyGroup.hasPerson(Person)	1.0	1.0	1.0
MyGroup.MyGroup(int)	1.0	1.0	1.0
MyGroup.setIndex(int)	1.0	1.0	1.0
MyGroup.setRelationSum(int)	1.0	1.0	1.0
MyGroup.setValueSum(int)	1.0	1.0	1.0
MyNetwork.addGroup(Group)	2.0	3.0	3.0
MyNetwork.addPerson(Person)	2.0	2.0	2.0
MyNetwork.addRelation(int,int,int)	6.0	17.0	20.0
MyNetwork.addtoGroup(int,int)	5.0	8.0	9.0
MyNetwork.borrowFrom(int,int,int)	4.0	5.0	7.0
MyNetwork.compareAge(int,int)	2.0	3.0	3.0
MyNetwork.compareName(int,int)	2.0	3.0	3.0
MyNetwork.contains(int)	1.0	1.0	1.0
MyNetwork.delFromGroup(int,int)	5.0	6.0	7.0
MyNetwork.getGroup(int)	1.0	1.0	1.0
MyNetwork.getPerson(int)	1.0	1.0	1.0
MyNetwork.isCircle(int,int)	3.0	3.0	4.0
MyNetwork.MyNetwork()	1.0	1.0	1.0
MyNetwork.qaueryBlockSum()	5.0	4.0	7.0
MyNetwork.queryAcquaintanceSum(int)	2.0	2.0	2.0
MyNetwork.queryAgeSum(int,int)	1.0	2.0	4.0
MyNetwork.queryBlockSum()	1.0	1.0	1.0
MyNetwork.queryConflict(int,int)	2.0	3.0	3.0
MyNetwork.queryGroupAgeMean(int)	2.0	2.0	2.0
MyNetwork.queryGroupAgeVar(int)	2.0	2.0	2.0
MyNetwork.queryGroupConflictSum(int)	2.0	2.0	2.0
MyNetwork.queryGroupPeopleSum(int)	3.0	3.0	3.0
MyNetwork.queryGroupRelationSum(int)	2.0	2.0	2.0
MyNetwork.queryGroupSum()	1.0	1.0	1.0
MyNetwork.queryGroupValueSum(int)	2.0	2.0	2.0
MyNetwork.queryMinPath(int,int)	9.0	7.0	10.0
MyNetwork.queryMoney(int)	2.0	2.0	2.0
MyNetwork.queryNameRank(int)	2.0	3.0	4.0
MyNetwork.queryPeopleSum()	1.0	1.0	1.0
MyNetwork.queryStrongLinked(int,int)	3.0	4.0	4.0
MyNetwork.queryValue(int,int)	4.0	7.0	9.0
MyNetwork.Tarjan(int,int,boolean)	8.0	14.0	17.0
MyPerson.compareTo(Person)	1.0	1.0	1.0
MyPerson.equals(Object)	2.0	2.0	3.0
MyPerson.getAcquaintance()	1.0	1.0	1.0
MyPerson.getAcquaintanceSum()	1.0	1.0	1.0
MyPerson.getAge()	1.0	1.0	1.0
MyPerson.getCharacter()	1.0	1.0	1.0
MyPerson.getId()	1.0	1.0	1.0
MyPerson.getName()	1.0	1.0	1.0
MyPerson.isLinked(Person)	3.0	1.0	3.0
MyPerson.MyPerson(int,String,BigInteger,int)	1.0	1.0	1.0
MyPerson.queryValue(Person)	2.0	2.0	2.0
Relationship.getId()	1.0	1.0	1.0
Relationship.getValue()	1.0	1.0	1.0
Relationship.Relationship(int,int)	1.0	1.0	1.0
UnionFind.addBlockSum()	1.0	1.0	1.0
UnionFind.addRelation(int,int)	5.0	5.0	9.0
UnionFind.getBlockSum()	1.0	1.0	1.0
UnionFind.getRoot(Integer)	1.0	2.0	2.0
UnionFind.isRelated(int,int)	3.0	3.0	4.0
UnionFind.UnionFind()	1.0	1.0	1.0
Total	183.0	270.0	307.0
Average	1.6194690265486726	2.3893805309734515	2.7168141592920354

分析：

　　　　第三次作业比较困难了，相比前两次作业加了不少难度，需要仔细地考虑算法能否满足要求，还要学习不少新的算法。这一次作业用延续了并查集的使用，并且实现了tarjan算法，这一算法实在是很难实现，进行了多次测试和调试才成功。

　　　　这一次作业中我由于qbs而强测超时了两个点，实在是不应该。我过于疏忽了，对于这类查询总和的方法应该立马想到通过添加成员变量来实现。设计需谨慎，下次一定要避免这样的惨剧发生。　　　

　　　　复杂度分析上大部分的结果都不错，同样只有addRelation复杂度较高。

五、Bug与修复

　三次作业中只在第三次强测时由于qbs设计不当而超时，互测中未被发现错误。

　　在hack他人方面，很遗憾，我没有成功。虽然我实现了对另外7人的自动化测试，不过都没有跑出bug，使用边界数据也没有hack成功。

六、心得体会

　 1. 要学好JML一定要理清楚所有的基本概念，一开始我由于对基本概念不熟悉而效率低下，希望后人引以为戒。

　　 2. 实现时一定要仔细仔细阅读JML，确认所有细节后再下手，否则很容易南辕北辙。

　　 3. 一定要在第一次作业就考虑到性能问题，否则之后等待你的只有重构！

　　 4. 自主思考问题，对于他人的观点一定仔细斟酌再采纳！

你可能感兴趣的:(BUAA_OO_2020_第三单元总结)

1252. 奇数值单元格的数目 / 剑指 Offer II 113. 课程顺序彼淇梁力扣刷题记录算法 leetcode java 刷题记录
1252.奇数值单元格的数目【简单题】【每日一题】思路：【模拟】定义行数组rows和列数组cols，用来记录当前行的+1次数和当前列的+1次数，遍历indices数组用来给rows和cols赋值。定义奇数值单元格数目为ans，初值为0。那么遍历矩阵每个位置，如果当前行和当前列的+1次数和是奇数，则ans+1代码：classSolution{publicintoddCells(intm,intn,i
CVPR2025 | 对抗样本&智能安全方向论文汇总 | 持续更新中~ 四口鲸鱼爱吃盐文献阅读安全 transformer 深度学习对抗样本神经网络视觉语言模型后门攻击
汇总结果来源：CVPR2025AcceptedPapers若文中出现的论文链接和GitHub链接点不开，则说明还未公布，在公布后笔者会及时添加.若笔者未及时添加，欢迎读者告知.文章根据题目关键词搜索，可能会有遗漏.若笔者出现遗漏，欢迎告知.部分文章还未公布正文，只有名称.MindtheGap：通过查询更新分析检测正在进行中的黑盒对抗攻击MindtheGap:DetectingBlack-boxAd
Flutter开发：运行报错Error detected in pubspec.yaml：…的解决方法三掌柜666 大前端开发常识 flutter android
前言在Flutter开发中，经常会遇到一些稀奇古怪的的报错，比如版本更新之后会报错、文件没有导入会报错、第三方插件版本不一致的报错等等，而且最近几年Flutter不断完善和更新的速度越来越快，这就需要Flutter相关的开发者时刻保持不断学习的心态，来应对在Flutter开发中遇到的各种突发情况。本篇博文就来分享一下关于Flutter开发中运行Flutter项目之后报错Errordetectedi
车载以太网测试-14【交换机以及MAC地址表】车载测试工程师车载以太网测试 tcp/ip 网络网络协议经验分享车载系统
目录1摘要2车载交换机概述2.1OSI模型中的位置2.2车载交换机在数据链路层的功能3车载交换机的工作原理3.1车载交换机的关键工作步骤3.2车载交换机的关键技术3.3车载交换机的工作示例3.4MAC地址表3.4.1MAC地址表的工作原理3.4.2MAC地址表示例3.4.3MAC地址表的超时机制4总结1摘要车载交换机工作在OSI模型的数据链路层（DataLinkLayer），具体来说是数据链路层的
对数据库的总结 java
一、数据库基础1.数据库是一个用于存储和操作数据的文件系统2.关系型数据库：是基于二维表存储的，每个表格由列和行组成，列代表属性，行代表约束，数据的组织和查询更加方便和高效。3.库表操作结构：MySQL和Oracle，通用工具Navicat4.SQL语句的库表操作：createtable：创建表altertable：修改表droptable：删除表truncatetable：删除表中的所有数据，但
《代码与灯影：一个互联网“搬砖者”的十六小时马拉松》
清晨6:30，手机闹钟第三次震动时，王昊的手指在黑暗中摸索着按下"稍后提醒"。枕边充电器散发的微光里，他瞥见钉钉群里跳动的99+未读消息——昨夜两点部署的自动化脚本还在生产环境报错。一、困顿清晨：在咖啡因里开机7:15，地铁早高峰的人流像被编译失败的代码，在闸机口不断堆栈溢出。他缩在车厢角落，用手机查看凌晨的服务器监控日志，突然发现某个API接口响应时间突破2000ms。"这得在晨会上重点提...
docker compose部署dragonfly java初学者分享 docker 容器运维
整个工具的代码都在Gitee或者Github地址内gitee：solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、reids、Mqtt、S3协议的文件服务器、mongodbgithub：GitHub-ZeroNing/solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、rei
SpringBoot整合通用xxl-job,自动注册任务 java初学者分享 spring boot 后端 java
整个工具的代码都在Gitee或者Github地址内gitee：solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、reids、Mqtt、S3协议的文件服务器、mongodbgithub：GitHub-ZeroNing/solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、rei
SpringBoot整合阿里云、腾讯云、minio、百度云、华为云、天翼云、金山云、七牛云、移动云、网易数帆等等有关于S3协议下文分布式对象存储接口 java初学者分享阿里云腾讯云华为云
前提：在可运行的SpringBoot的项目内引用以下JAR包整个工具的代码都在Gitee或者Github地址内gitee：solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、reids、Mqtt、S3协议的文件服务器、mongodbgithub：GitHub-ZeroNing/solomon-parent:这个项目主要是总结了工作上遇到
SpringBoot整合多租户MongoBD java初学者分享 SaaS多租户专栏 spring boot 后端 java mongodb
前提：在可运行的SpringBoot的项目内引用以下JAR包整个工具的代码都在Gitee或者Github地址内gitee：solomon-parent:这个项目主要是总结了工作上遇到的问题以及学习一些框架用于整合例如:rabbitMq、reids、Mqtt、S3协议的文件服务器、mongodbgithub：GitHub-ZeroNing/solomon-parent:这个项目主要是总结了工作上遇到
当了5年牛马，我开始划水了。。。互联网杂货铺测试工具软件测试自动化测试 python 面试职场和发展测试用例
我现在的这份工作，比上一份要好很多，首先薪资直接涨了一倍，7k到16.5k，13薪，朝九晚六，从不加班，项目也简单，包括我在内测试组一共有6个同事，但是每个人分到的任务真的很少，用一句话总结就是上班7.5小时，摸鱼6个钟。。。我现在的公司是7.5小时制的，所以才说轻松。谈谈上一份工作说下我上一份工作吧，这份工作时间不长没有啥代表性，上一份工作我在那公司带了3年多了。2021年的时候，因为疫情，我毕
机器学习是怎么一步一步由神经网络发展到今天的Transformer架构的？ yuanpan 机器学习神经网络 transformer
机器学习和神经网络的发展经历了一系列重要的架构和技术阶段。以下是更全面的总结，涵盖了从早期神经网络到卷积神经网络之前的架构演变：1.早期神经网络：感知机（Perceptron）时间：1950年代末至1960年代。背景：感知机由FrankRosenblatt提出，是第一个具有学习能力的神经网络模型。它由单层神经元组成，可以用于简单的二分类任务。特点：输入层和输出层之间直接连接，没有隐藏层。使用简单的
EN 71-3测试南京速跃检测技术服务有限公司学习方法创业创新
以下是关于EN71-3测试的深度解读，结合法规背景、测试方法及实际应用进行结构化分析：一、EN71-3测试的核心目的EN71-3是欧盟《玩具安全指令》的第三部分，专门针对玩具材料中可迁移有害元素的限量要求，旨在模拟儿童误吞玩具材料后，重金属在胃液环境中的溶出风险，确保玩具化学安全性。二、测试方法与流程1.模拟消化环境-将玩具材料样品浸入模拟胃液的盐酸溶液（0.07mol/LHCl），在37℃下持续
北斗导航｜接收机自主完好性监测算法研究现状及发展趋势单北斗SLAMer 卫星导航毕业论文设计算法
接收机自主完好性监测（RAIM）算法是保障卫星导航系统可靠性的核心技术，其研究现状与发展趋势可从算法设计、多系统融合、智能化技术等方面进行分析。以下基于现有研究成果及行业动态进行总结：一、研究现状传统故障检测算法RAIM的核心目标是通过冗余观测值检测并隔离故障卫星。早期研究聚焦单星故障场景，主要方法包括：残差分析法：通过比较观测残差与阈值判断故障，如最小二乘残差和法、奇偶矢量法等。距离比较法：基于
js原型链与自动装箱机制 CC Cian javascript 开发语言 ecmascript 前端
目录前言基于原型生成对象修改原型对象构造函数的机制原型对象与原型链原型链相关方法补充1.自动装箱机制2.__proto__的存在原因3.关键区别4.示例验证5.总结前言在如今的主流语言中，大部分语言都是通过类来产生对象但js是基于原型生成对象javapublicclassPerson{privateStringname;privateintage;publicPerson(Stringname,i
yum install locate出现Error: Unable to find match: locate解决方案爱编程的喵喵 Linux解决方案 linux locate yum 解决方案
大家好，我是爱编程的喵喵。双985硕士毕业，现担任全栈工程师一职，热衷于将数据思维应用到工作与生活中。从事机器学习以及相关的前后端开发工作。曾在阿里云、科大讯飞、CCF等比赛获得多次Top名次。现为CSDN博客专家、人工智能领域优质创作者。喜欢通过博客创作的方式对所学的知识进行总结与归纳，不仅形成深入且独到的理解，而且能够帮助新手快速入门。本文主要介绍了yuminstalllocate出现
STM32寄存器编码流程总结（上部）物联网菜鸟基础知识学习 stm32 单片机嵌入式硬件
目录一、GPIO二、中断系统三、USART串口通信四、I2C通讯五、高级定时器六、DMA存储访问七、ADC数模转换八、API通信九、FSMC控制器十、LCD显示一、GPIO1.时钟的配置//开启引脚的时钟RCC->APB2ENR|=RCC_APB2ENR_IOPAEN;2.设置GPIO的工作模式//PA0的工作模式为通用推挽输出模式//CNF选择输入或输出的不同模式GPIOA->CRL&=~GPI
第三十篇维度建模：从理论到落地的企业级实践随缘而动，随遇而安数据库 sql 数据仓库大数据数据库架构
目录一、维度建模核心理论体系1.1Kimball方法论四大支柱1.2关键概念对比矩阵二、四步建模法全流程解析2.1选择业务过程（以电商为例）2.2声明原子粒度（订单案例）2.3维度设计规范时间维度（含财年逻辑）SCDType2完整实现（Hudi）2.4事实表类型与设计三、企业级建模实战：电商用户分析3.1业务矩阵分析3.2模型实现代码四、高级建模技巧4.1多星型模式关联4.2大数据场景优化五、性能
关于kafka常见的问题小结 BAStriver #Kafka 中间件 kafka 分布式
目录1.Kafka怎么避免重复消费1.1什么时候出现重复消费1.2如何处理重复消费问题2.Kafka怎么保证消息不丢失2.1Producer2.2Broker2.3Consumer3.Kafka怎么保证消息消费的顺序最近面试遇到一些常见kafka问题，所以做一下总结。1.Kafka怎么避免重复消费1.1什么时候出现重复消费1)Kafka的broker上存储的消息都有一个offset作为标记，然后K
Flink启动任务 swg321321 flink 大数据
Flink以本地运行作为解读例如：第一章Python机器学习入门之pandas的使用提示：写完文章后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录Flink前言StreamExecutionEnvironmentLocalExecutorMiniClusterStreamGraph二、使用步骤1.引入库2.读入数据总结前言提示：这里可以添加本文要记录的大概内容：例如：随着人工智能的不断发
浮点数Float概述 CoderIsArt C++11 浮点数
浮点数：概述浮点数是计算机中表示分数和极大/极小数字的一种基本方式。它们在科学计算、图形学以及其他需要高精度和大范围的领域中广泛应用。以下是浮点数相关关键概念和挑战的总结：1.什么是浮点数？浮点数是一种在计算机中表示实数（包括极大和极小的数字）的方式。它们由三部分组成：符号位：表示数字的正负。尾数（或有效数字）：表示数字的有效位数。指数：决定数字的规模（或大小）。浮点数的值通过以下公式计算：值=尾
办公提效高阶 DeepSeek 提示词，适用于多种 AI 工具东锋17 人工智能人工智能
1、高效会议管理请根据[会议主题]和[参会人角色]生成会议议程框架，包含会前准备清单（背景材料/数据需求）、会中讨论要点（需决策事项+时间分配）、会后跟进任务表（责任人/DDL），最后用思维导图形式输出。2、周报自动生成基于我本周完成的[任务清单]和[工作数据]，请先总结3项核心成果与2个待改进点，再结合OKR目标制定下周工作计划，要求用对比柱状图呈现进度数据，以PPT分页形式输出。3、周报自动生
锥面箍接/快拆环突破！拆装效率飙升200%，终结机器人螺丝拆装时代 CodePatentMaster 机器人人工智能
颠覆性散热革新！宇树科技弹性散热架构让四足机器人稳定性提升40%核心价值杭州宇树科技通过弹性接触式散热仓盖与导流件协同设计，实现计算单元散热效率提升32%且抗冲击性能增强40%，攻克四足机器人高热工况下的核心组件易损难题[1][4]。一、技术原理深度剖析1.痛点定位：高动态场景下的散热与防护两难当前四足机器人的计算单元面临两大挑战：散热瓶颈：传统刚性固定导致接触热阻增加30%以上（见热成像对比数据
消息中间件选型: kafka与rabbitmq的对比 HS_Henry 消息中间件 rabbitmq kafka 消息中间件选型
RabbitMQ总结_陈海龙的格物之路-CSDN博客https://blog.csdn.net/chl87783255/article/details/122606212kafka总结_陈海龙的格物之路-CSDN博客kafka，仅支持拉取的分布式流式平台。本文从简介、使用场景、设计、实现四个方面阐述kafka。https://blog.csdn.net/chl87783255/article/de
k8s中PAUSE容器与init容器比较 local卷与hostpath卷比较小刘爱喇石( ˝ᗢ̈˝ ) kubernetes 容器云原生
目录一、PAUSE容器与INIT容器比较1.Pause容器作用特点示例2.Init容器作用特点示例3.Pause容器vsInit容器4.总结这两个哪个先启动呢？详细启动顺序为什么Pause容器最先启动？示例总结二、local卷与hostpath卷1.local卷定义特点配置示例2.hostPath卷定义特点配置示例3.local卷vshostPath卷4.选择建议一、PAUSE容器与INIT容器比
《Operating System Concepts》阅读笔记：p449-p459 操作系统
《OperatingSystemConcepts》学习第35天，p449-p459总结，总计11页。一、技术总结1.NVM&SSDFlash-memory-basedNVMisfrequentlyusedinadisk-drive-likecontainer,inwhichcaseitiscalledasolid-statedisk(SSD)(Figure11.3)。2.HDDScheduling
手机号码归属地API：助力数字化服务的利器 api
前言在当今数字化时代，手机号码已成为人们日常生活中不可或缺的一部分，而手机号码归属地API作为一种高效、便捷的网络服务接口，正逐渐成为众多行业提升用户体验和服务质量的重要工具。什么是手机号码归属地API？手机号码归属地API是一种允许开发者通过编程方式查询手机号码注册地信息的网络服务接口。它通常由第三方服务提供商通过HTTP请求的方式提供。通过这种API，开发者可以快速获取手机号码的归属地信息，包
『解决ping问题』windows ubuntu 开发板三者互连如何设置指向NULL 环境&调试嵌入式
嵌入式开发中，我们经常会遇到ping问题，也就是windows主机，虚拟机和开发板之间互相ping不通的问题，看了韦东山老师关于此部分的讲解做了以下总结。1.确定虚拟机使用的网卡先来看几种应用场景：情景一：PC机使用有线网卡A直接连接开发板。这种情况下我们使用了有线网卡A最终连接了开发板，所以虚拟机要设置有线网卡A作为桥接网卡。情景二：PC机使用无线网卡A连接路由器，开发板连接到同一路由器的有线网
如何区别原生页面和H5页面大汉堡玩测试功能测试
文章目录前言原生开发特点H5开发特点混合开发怎么区别是原生还是H5总结前言软件采用混合开发的模式时，测试发现了bug找开发沟通有时会找错人，明明是H5模块的错误却找了负责原生模块的开发，显得很不专业~那在测试时该如何区分是原生的报错还是H5报错呢？原生开发原生开发（NativeApp开发），是为特定操作系统（如iOS使用Objective-C/Swift、安卓使用Java/Kotlin）专门开发的
APP怎么抓取原生日志 - Android篇大汉堡玩测试 android 功能测试
文章目录前言为什么要抓原生页面的日志举一个抓取原生日志的例子AndroidDebugBridge(ADB)安装ADB连接设备验证连接抓取日志注意点总结前言好困~写点我觉得重要的吧，IOS和HarmonyOSNEXT这周写为什么要抓原生页面的日志原生日志能够捕捉到与操作系统和应用框架交互的关键信息，包括性能瓶颈、崩溃报告和安全事件等，而这些是纯H5日志无法提供的，确保了对应用行为的全面监控和精准调试
Java 并发包之线程池和原子计数 lijingyao8206 Java计数 ThreadPool 并发包 java线程池
对于大数据量关联的业务处理逻辑，比较直接的想法就是用JDK提供的并发包去解决多线程情况下的业务数据处理。线程池可以提供很好的管理线程的方式，并且可以提高线程利用率，并发包中的原子计数在多线程的情况下可以让我们避免去写一些同步代码。这里就先把jdk并发包中的线程池处理器ThreadPoolExecutor 以原子计数类AomicInteger 和倒数计时锁C
java编程思想抽象类和接口百合不是茶 java 抽象类接口
接口c++对接口和内部类只有简介的支持,但在java中有队这些类的直接支持 1 ,抽象类 : 如果一个类包含一个或多个抽象方法,该类必须限定为抽象类(否者编译器报错) 抽象方法 : 在方法中仅有声明而没有方法体 package com.wj.Interface;
[房地产与大数据]房地产数据挖掘系统 comsci 数据挖掘
随着一个关键核心技术的突破,我们已经是独立自主的开发某些先进模块,但是要完全实现,还需要一定的时间... 所以,除了代码工作以外,我们还需要关心一下非技术领域的事件..比如说房地产 &nb
数组队列总结沐刃青蛟数组队列
数组队列是一种大小可以改变，类型没有定死的类似数组的工具。不过与数组相比，它更具有灵活性。因为它不但不用担心越界问题，而且因为泛型（类似c++中模板的东西）的存在而支持各种类型。以下是数组队列的功能实现代码： import List.Student; public class
Oracle存储过程无法编译的解决方法 IT独行者 oracle 存储过程　
今天同事修改Oracle存储过程又导致2个过程无法被编译，流程规范上的东西，Dave 这里不多说，看看怎么解决问题。 1. 查看无效对象 XEZF@xezf(qs-xezf-db1)> select object_name,object_type,status from all_objects where status='IN
重装系统之后oracle恢复文强chu oracle
前几天正在使用电脑，没有暂停oracle的各种服务。突然win8.1系统奔溃，无法修复，开机时系统提示正在搜集错误信息，然后再开机，再提示的无限循环中。无耐我拿出系统u盘准备重装系统，没想到竟然无法从u盘引导成功。晚上到外面早了一家修电脑店，让人家给装了个系统，并且那哥们在我没反应过来的时候，直接把我的c盘给格式化了并且清理了注册表，再装系统。然后的结果就是我的oracl
python学习二（一些基础语法）小桔子 pthon 基础语法
紧接着把！昨天没看继续看django 官方教程，学了下python的基本语法与c类语言还是有些小差别： 1.ptyhon的源文件以UTF-8编码格式 2. / 除结果浮点型 // 除结果整形 % 除取余数 * 乘 ** 乘方 eg 5**2 结果是5的2次方25 _&
svn 常用命令 aichenglong SVN 版本回退
1 svn回退版本 1)在window中选择log,根据想要回退的内容,选择revert this version或revert chanages from this version 两者的区别: revert this version:表示回退到当前版本(该版本后的版本全部作废) revert chanages from this versio
某小公司面试归来 alafqq 面试
先填单子，还要写笔试题，我以时间为急，拒绝了它。。时间宝贵。老拿这些对付毕业生的东东来吓唬我。。面试官很刁难，问了几个问题，记录下； 1，包的范围。。。public,private,protect. --悲剧了 2，hashcode方法和equals方法的区别。谁覆盖谁.结果，他说我说反了。 3，最恶心的一道题，抽象类继承抽象类吗？（察，一般它都是被继承的啊） 4，stru
动态数组的存储速度比较集合框架百合不是茶集合框架
集合框架：自定义数据结构(增删改查等) package 数组; /** * 创建动态数组 * @author 百合 * */ public class ArrayDemo{ //定义一个数组来存放数据 String[] src = new String[0]; /** * 增加元素加入容器 * @param s要加入容器
用JS实现一个JS对象，对象里有两个属性一个方法 bijian1013 js对象
<html> <head> </head> <body> 用js代码实现一个js对象，对象里有两个属性，一个方法 </body> <script> var obj={a:'1234567',b:'bbbbbbbbbb',c:function(x){
探索JUnit4扩展：使用Rule bijian1013 java 单元测试 JUnit Rule
在上一篇文章中，讨论了使用Runner扩展JUnit4的方式，即直接修改Test Runner的实现(BlockJUnit4ClassRunner)。但这种方法显然不便于灵活地添加或删除扩展功能。下面将使用JUnit4.7才开始引入的扩展方式——Rule来实现相同的扩展功能。 1. Rule &n
[Gson一]非泛型POJO对象的反序列化 bit1129 POJO
当要将JSON数据串反序列化自身为非泛型的POJO时，使用Gson.fromJson(String, Class)方法。自身为非泛型的POJO的包括两种： 1. POJO对象不包含任何泛型的字段 2. POJO对象包含泛型字段，例如泛型集合或者泛型类 Data类 a.不是泛型类， b.Data中的集合List和Map都是泛型的 c.Data中不包含其它的POJO
【Kakfa五】Kafka Producer和Consumer基本使用 bit1129 kafka
0.Kafka服务器的配置一个Broker，一个Topic Topic中只有一个Partition（） 1. Producer： package kafka.examples.producers; import kafka.producer.KeyedMessage; import kafka.javaapi.producer.Producer; impor
lsyncd实时同步搭建指南——取代rsync+inotify ronin47
1. 几大实时同步工具比较 1.1 inotify + rsync 最近一直在寻求生产服务服务器上的同步替代方案，原先使用的是 inotify + rsync，但随着文件数量的增大到100W+，目录下的文件列表就达20M，在网络状况不佳或者限速的情况下，变更的文件可能10来个才几M，却因此要发送的文件列表就达20M，严重减低的带宽的使用效率以及同步效率；更为要紧的是，加入inotify
java-9. 判断整数序列是不是二元查找树的后序遍历结果 bylijinnan java
public class IsBinTreePostTraverse{ static boolean isBSTPostOrder(int[] a){ if(a==null){ return false; } /*1.只有一个结点时，肯定是查找树 *2.只有两个结点时，肯定是查找树。例如{5,6}对应的BST是 6 {6,5}对应的BST是
MySQL的sum函数返回的类型 bylijinnan java spring sql mysql jdbc
今天项目切换数据库时，出错访问数据库的代码大概是这样： String sql = "select sum(number) as sumNumberOfOneDay from tableName"; List<Map> rows = getJdbcTemplate().queryForList(sql); for (Map row : rows
java设计模式之单例模式 chicony java设计模式
在阎宏博士的《JAVA与模式》一书中开头是这样描述单例模式的：　　作为对象的创建模式，单例模式确保某一个类只有一个实例，而且自行实例化并向整个系统提供这个实例。这个类称为单例类。单例模式的结构　　单例模式的特点：单例类只能有一个实例。单例类必须自己创建自己的唯一实例。单例类必须给所有其他对象提供这一实例。　　饿汉式单例类 publ
javascript取当月最后一天 ctrain JavaScript
 <script language=javascript> var current = new Date(); var year = current.getYear(); var month = current.getMonth(); showMonthLastDay(year, mont
linux tune2fs命令详解 daizj linux tune2fs 查看系统文件块信息
一.简介： tune2fs是调整和查看ext2/ext3文件系统的文件系统参数，Windows下面如果出现意外断电死机情况，下次开机一般都会出现系统自检。Linux系统下面也有文件系统自检，而且是可以通过tune2fs命令，自行定义自检周期及方式。二.用法： Usage: tune2fs [-c max_mounts_count] [-e errors_behavior] [-g grou
做有中国特色的程序员 dcj3sjt126com 程序员
从出版业说起网络作品排到靠前的，都不会太难看，一般人不爱看某部作品也是因为不喜欢这个类型，而此人也不会全不喜欢这些网络作品。究其原因，是因为网络作品都是让人先白看的，看的好了才出了头。而纸质作品就不一定了，排行榜靠前的，有好作品，也有垃圾。许多大牛都是写了博客，后来出了书。这些书也都不次，可能有人让为不好，是因为技术书不像小说，小说在读故事，技术书是在学知识或温习知识，有
Android：TextView属性大全 dcj3sjt126com textview
android:autoLink 设置是否当文本为URL链接/email/电话号码/map时，文本显示为可点击的链接。可选值(none/web/email/phone/map/all) android:autoText 如果设置，将自动执行输入值的拼写纠正。此处无效果，在显示输入法并输
tomcat虚拟目录安装及其配置 eksliang tomcat配置说明 tomca部署web应用 tomcat虚拟目录安装
转载请出自出处：http://eksliang.iteye.com/blog/2097184 1.-------------------------------------------tomcat 目录结构 config：存放tomcat的配置文件 temp ：存放tomcat跑起来后存放临时文件用的 work ：当第一次访问应用中的jsp
浅谈：APP有哪些常被黑客利用的安全漏洞 gg163 APP
首先，说到APP的安全漏洞，身为程序猿的大家应该不陌生；如果抛开安卓自身开源的问题的话，其主要产生的原因就是开发过程中疏忽或者代码不严谨引起的。但这些责任也不能怪在程序猿头上，有时会因为BOSS时间催得紧等很多可观原因。由国内移动应用安全检测团队爱内测（ineice.com）的CTO给我们浅谈关于Android 系统的开源设计以及生态环境。 1. 应用反编译漏洞：APK 包非常容易被反编译成可读
C#根据网址生成静态页面 hvt Web .net C#asp.net hovertree
HoverTree开源项目中HoverTreeWeb.HVTPanel的Index.aspx文件是后台管理的首页。包含生成留言板首页，以及显示用户名，退出等功能。根据网址生成页面的方法： bool CreateHtmlFile(string url, string path) { //http://keleyi.com/a/bjae/3d10wfax.htm stri
SVG 教程（一）天梯梦 svg
SVG 简介 SVG 是使用 XML 来描述二维图形和绘图程序的语言。学习之前应具备的基础知识：继续学习之前，你应该对以下内容有基本的了解： HTML XML 基础如果希望首先学习这些内容，请在本站的首页选择相应的教程。什么是SVG？ SVG 指可伸缩矢量图形 (Scalable Vector Graphics) SVG 用来定义用于网络的基于矢量
一个简单的java栈 luyulong java 数据结构栈
public class MyStack { private long[] arr; private int top; public MyStack() { arr = new long[10]; top = -1; } public MyStack(int maxsize) { arr = new long[maxsize]; top
基础数据结构和算法八：Binary search sunwinner Algorithm Binary search
Binary search needs an ordered array so that it can use array indexing to dramatically reduce the number of compares required for each search, using the classic and venerable binary search algori
12个C语言面试题，涉及指针、进程、运算、结构体、函数、内存，看看你能做出几个！刘星宇 c 面试
12个C语言面试题，涉及指针、进程、运算、结构体、函数、内存，看看你能做出几个！ 1.gets()函数问：请找出下面代码里的问题： #include<stdio.h> int main(void) { char buff[10]; memset(buff,0,sizeof(buff));
ITeye 7月技术图书有奖试读获奖名单公布 ITeye管理员活动 ITeye 试读
ITeye携手人民邮电出版社图灵教育共同举办的7月技术图书有奖试读活动已圆满结束，非常感谢广大用户对本次活动的关注与参与。 7月试读活动回顾： http://webmaster.iteye.com/blog/2092746 本次技术图书试读活动的优秀奖获奖名单及相应作品如下（优秀文章有很多，但名额有限，没获奖并不代表不优秀）：《Java性能优化权威指南》