陈奕文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_第三单元总结)

2025前端最新面试题-网络篇大麦大麦前端网络面试网络安全网络协议
1.现代浏览器为何要禁用第三方cookie为了用户的安全(安全和隐私是浏览器永恒的话题)第三方cookie会记录用户的行为和数据,方便做广告有些浏览器默认禁止,Chrome增加了SameSite(谷歌有广告)cookie可以实现不同域共享吗同一主域名下的子域名，cookie可以共享2.实现心跳检验-用于断线重连functionHeartbeaet(){lettimer=0functionfn(){
学习笔记：java的23种设计模式总结 SJLoveIT java 设计模式
设计原则开闭原则：对扩展开放，对修改关闭里氏替换原则：尽量不重写父类的非抽象方法迪米特法则：不要和陌生人说话依赖倒置原则：面向接口、面向抽象编程。spring容器和Bean的自动注入就是最生动的实践单一职责原则：一个人只做一件事，别乱套了接口隔离原则：和单一职责类似合成复用原则：尽量先通过组合等来实现，而非通过继承来实现优先考虑hasA而非isA设计模式（1）单例模式饿汉式懒汉式DCL双重检测锁v
TCP长连接实践与挑战字节跳动终端技术 tcp/ip 网络协议字节跳动 http 后端
本文介绍了tcp长连接在实际工程中的实践过程，并总结了tcp连接保活遇到的挑战以及对应的解决方案。作者：字节跳动终端技术———陈圣坤概述众所周知，作为传输层通信协议，TCP是面向连接设计的，所有请求之前需要先通过三次握手建立一个连接，请求结束后通过四次挥手关闭连接。通常我们使用TCP连接或者基于TCP连接之上的应用层协议例如HTTP1.0等，都会为每次请求建立一次连接，请求结束即关闭连接。这样的好
利用Python实现企业微信发送文件消息林_胖 python 企业微信自动化文件 OA
最近领导希望做一个小的招标信息爬取系统，每日以邮件以及企业微信的方式进行推送。所以记录一下如何使用Python实现企业微信发送文件。第一步：登录企业微信后台，需要用有管理员权限的微信进行扫码登录。第二步：获取AgentId和Secret，获取路径：应用管理-创建应用，创建应用后即可看到。第三步：确认需要接收信息的userid，获取路径：通讯录-选择需要发送的人员-账号。第四步：获取公司ID，获取路
第三百七十二节 JavaFX教程 - JavaFX HTMLEditor 程序猿小D java 前端服务器
JavaFX教程-JavaFXHTMLEditorHTMLEditor控件是一个富文本编辑器，具有以下功能。粗体斜体下划线删除线字体系列字体大小前景色背景颜色缩进项目符号列表编号列表对齐水平线复制文本片段粘贴文本片段HTMLEditor类返回HTML字符串中的编辑内容。创建HTML编辑器importjavafx.application.Application;importjavafx.scene.
Http、tcp、https、socket、tomcat、长短连接等总结回顾 SJLoveIT http tcp/ip https
（1）关于http、tcp的长短连接问题tcp是没有所谓长连接的概念的。tcp经过三次握手就已经建立了一个连接，这个所谓建立了一个连接就是两边操作系统层面都已经建立了socket，都准备好了相应的缓冲区等。socket是啥呢？socket其实就是操作系统提供tcp连接的接口。比如tcp的可能有第一次握手的方法，是C语言写的，比如就叫syn方法，对应第一次握手，也就是客户端发一个syn位置1的tcp
OpenCV Python 版使用教程（三）摄像头读取延迟解决方法 tianchengwang opencv opencv python 人工智能
文章目录一、上篇回顾二、产生原因三、解决方法1.cap.grab()方法2.多线程法总结一、上篇回顾在上一篇中，简单介绍了如何使用OpenCV操作摄像头，本期来讲在摄像头读取时，可能会出现画面延迟的解决方法。二、产生原因OpenCV在读取的时候，会将视频流放在缓冲区中，然后每次调用的时候，会从缓冲区内读取视频帧。虽然说大多数情况难以出现写入缓冲区远大于读取缓冲区的速度，但是当设备出现性能瓶颈，尤其
【ESP8266】ESP8266集成开发环境对比喵喵锤锤你小可爱 ESP8266
当涉及到ESP8266开发环境的选择时，有几个常见的选择可供开发人员使用。在本篇文章中，我们将对比一些目前最流行的ESP8266集成开发环境（IDE），以帮助您选择最适合您的需求的开发环境。总结：ArduinoIDE和PlatformIO集成开发环境使用起来最方便，官方的SDK用起来挺麻烦的，以前技小新好像讲过安信可的基于eclipse的IDE，也挺好用的（https://www.bilibili
案例34在华为设备上配置访问控制列表 BinaryStarXin 交换机技术汇总智能路由器网络运维华为设备上配置访问控制列表 ACL的基本原理网络协议信息与通信
访问控制列表简书1.ACL的基本原理访问控制列表(AccessControlList，ACL)使用包过滤技术，在路由器上读取第三层及第四层包头中的信息，如源地址、目的地址、源端口、目的端口等信息，根据预先定义好的规则对包进行过滤，从而达到访问控制的目的。2.ACL的功能网络中的节点包括资源节点和用户节点两类，其中资源节点提供服务或数据，用户节点访问资源节点所提供的服务与数据。ACL的主要功能就是一
wx.uploadFile上传图片失败小丁学Java 微信小程序WxMa notepad++
文章目录微信小程序后台配置`uploadFile`合法域名的正确步骤步骤1：登录小程序后台步骤2：导航到服务器域名配置页面步骤3：添加`uploadFile`合法域名步骤4：验证配置是否生效注意事项常见问题解答总结微信小程序后台配置uploadFile合法域名的正确步骤在微信小程序开发中，正确配置uploadFile合法域名是使用wx.uploadFileAPI上传文件的前提。以下是按照您指定的路
Mac电脑用Latex论文排版3天速成5天实战de笔记荔枝要赚大钱的luu（养成系） macos 笔记论文笔记
提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录前言论文常用1.摘要2.页码3.目录与章节4.单图5.多图6.最基本的三线格7.复杂表格8.数学公式$\[...\]公式块9.伪代码10.无序圆点11.引用12.参考文献13.附录与代码14.分页符15.零碎的细节遇到困难总结前言我后悔了，这五天竞赛搞得我视力都下降了...一个冲动的决定后成为数模竞赛论文写手，3天速成+5天时
Python vLLM 实战应用指南 ghostwritten python python 开发语言
文章目录1.vLLM简介2.安装vLLM3.快速开始3.1加载模型并生成文本3.2参数说明4.实战应用场景4.1构建聊天机器人示例对话：4.2文本补全输出示例：4.3自定义模型服务启动服务调用服务5.性能优化5.1GPU加速5.2动态批处理6.总结vLLM是一种高性能的开源深度学习推理引擎，专注于高效的生成式模型推理任务。它通过动态批处理和内存优化技术大幅提高了大模型（如GPT系列）的推理性能，非
深度学习模型可视化：通俗易懂的全面解读 Crazy learner 模型部署深度学习人工智能
目录1.什么是深度学习模型可视化？2.张量（Tensors）：深度学习中的核心数据结构3.常见的节点操作**Gather**操作**Transpose**操作**Pow**操作**Add**操作**Mix**操作4.查看模型详情5.可视化工具总结在深度学习领域，理解模型内部的工作原理对于优化、调试和改进模型至关重要。随着神经网络的复杂性日益增加，开发者和研究人员逐渐意识到，可视化不仅是理解模型的一
查看Python库依赖关系的解决方案爱编程的喵喵 Python基础课程 python 依赖关系
大家好，我是爱编程的喵喵。双985硕士毕业，现担任全栈工程师一职，热衷于将数据思维应用到工作与生活中。从事机器学习以及相关的前后端开发工作。曾在阿里云、科大讯飞、CCF等比赛获得多次Top名次。现为CSDN博客专家、人工智能领域优质创作者。喜欢通过博客创作的方式对所学的知识进行总结与归纳，不仅形成深入且独到的理解，而且能够帮助新手快速入门。本文主要介绍了查看Python库依赖关系的解决方案
Python编码系列—Python原型模式：深克隆与高效复制的艺术学步_技术 Python编码 python 原型模式开发语言
欢迎来到我的技术小筑，一个专为技术探索者打造的交流空间。在这里，我们不仅分享代码的智慧，还探讨技术的深度与广度。无论您是资深开发者还是技术新手，这里都有一片属于您的天空。让我们在知识的海洋中一起航行，共同成长，探索技术的无限可能。探索专栏：学步_技术的首页——持续学习，不断进步，让学习成为我们共同的习惯，让总结成为我们前进的动力。技术导航：人工智能：深入探讨人工智能领域核心技术。自动驾驶：分享自动
《Operating System Concepts》阅读笔记：p159-p161 操作系统
《OperatingSystemConcepts》学习第16天，p159-p161总结，总计3页。一、技术总结1.thread(1)定义AthreadisabasicunitofCPUutilization;itcomprisesathreadID,aprogramcounter(PC),aregisterset,andastack.Aprocesscontrolstructurethatisan
python记录项目的依赖信息：通辽汗国尚书令 python 开发语言
python记录项目的依赖信息：在项目目录下运行pipfreeze>requirements.txt命令。这会将项目所需的所有第三方包及其版本信息保存到名为requirements.txt的文件中。迁移项目文件夹：将包含项目文件的文件夹从原计算机复制到目标计算机上。安装依赖：在目标计算机上，确保已经安装了相应版本的Python。在项目文件夹下打开命令行或终端。运行pipinstall-rrequi
基恩士上位机链路通讯_库卡机器人之通讯总结筱顽咚基恩士上位机链路通讯
时常有人问我库卡机器人支持哪些通讯、需要什么组件等等，基于个人多年积累并借助公众号的平台来分享下个人的总结(以下内容仅针对KRC4及以上，KRC2在此不作说明)：基于以上图片内容，将库卡通讯分成四类：1.基于以太网的现场总线：ProfiNet从站不需要KUKAProfiNetxxxProfiNet主站不需要KUKAProfiNetxxxEthernet/IP主站不需要KUKAEthernet/IP
宝塔面板申请SSL安全证书一直显示“待域名确认”？如何处理解决？青云网运维宝塔面板教程 WordPress教程
现在越来越多的站点加入到https的大军中来了，主要还是有很多免费的SSL证书可以申请，还有很多平台可以帮助我们一键申请域名证书，比如宝塔面板就支持这样的操作（运维大神可以右上角关闭了，我们小白喜欢用面板），如果还有不了解宝塔面板怎么使用的小伙伴，可以看下我总结的系列教程，保证从新手变老鸟：【宝塔面板精选教程汇总】宝塔面板教程（1）基于云服务器搭建宝塔面板教程最全详解宝塔面板教程（2）宝塔面板添加
ROS2入门教程—创建ROS2功能包（C++版） Roar冷颜 ROS2入门教程其他
ROS2入门教程—创建ROS2功能包（C++版）1ROS2中的功能包2创建功能包3编译功能包4设置环境变量5运行功能包6功能包中的内容7修改package.xml文件功能包是ROS2中组织代码的基本容器，方便我们编译、安装、分发开发的代码，一般来讲，每个功能包都是用来完成某项具体的功能相对完整的单元。1ROS2中的功能包 ROS2中的功能包可以使用CMake或者Python两种方式来编译（本
netty 与 websocket JIU_WW websocket 网络协议网络 netty java
目录1.Netty简介2.WebSocket简介3.Netty与WebSocket的关系3.1Netty对WebSocket的支持3.2两者的层级关系3.3常见误解澄清4.Netty的通用性体现4.1多协议支持4.2非WebSocket应用示5.选择Netty实现WebSocket的优势6.总结1.Netty简介Netty是一个高性能、异步事件驱动的网络应用框架，专为开发可扩展和高性能的服务器与客
考研导师选择方法 herosunly 考名校研究生经验分享考研选择导师考研导师选择方法
大家好，我是herosunly。985院校硕士毕业，现担任算法研究员一职，热衷于大模型算法的研究与应用。曾担任百度千帆大模型比赛、BPAA算法大赛评委，编写微软OpenAI考试认证指导手册。曾获得阿里云天池比赛第一名，CCF比赛第二名，科大讯飞比赛第三名。授权多项发明专利。对机器学习和深度学习拥有自己独到的见解。曾经辅导过若干个非计算机专业的学生进入到算法行业就业。希望和大家一起成长进步。
C#中跨线程调用的方法一点总结 99乘法口诀万物皆可变 C#c#开发语言
引言在图形用户界面（GUI）应用程序开发中，多线程编程已成为不可或缺的一部分。通过使用多线程，开发者可以在后台执行耗时任务，同时保持用户界面的响应性。然而，多线程编程也带来了复杂性，尤其是在处理用户界面（UI）控件时。由于UI控件通常不是线程安全的，直接从非UI线程访问或修改它们可能会导致不可预见的行为或程序崩溃。因此，在C#的WindowsForms和WPF等框架中，跨线程调用UI控件成为了一个
【C++】深入理解C++虚函数与纯虚函数 TsuanS c++开发语言
本文由简悦SimpRead转码，原文地址blog.csdn.net文章目录一、虚函数（VirtualFunction）1.1定义和作用1.2实现原理1.3示例代码1.4虚函数的重写定义规则注意事项示例1.5基类和派生类的虚函数表**示例理解**二、纯虚函数（PureVirtualFunction）2.1定义和作用2.2示例代码三、总结在C++面向对象编程中，多态性是其三大特性之一（封装、继承和多态
OpenSSL 基础使用流程 TsuanS 网络 OpenSSL
理解OpenSSL的基础使用流程是学习如何进行安全通信的关键，特别是在实现SSL/TLS连接时。以下是OpenSSL基础使用流程的一个简要总结，并附上一个简单的示例代码，帮助你理解如何通过OpenSSL建立一个基本的安全通信连接。OpenSSL基础使用流程初始化OpenSSL在使用OpenSSL之前，你需要先初始化OpenSSL库。这个初始化过程会加载加密算法、SSL库等所需的组件。创建SSL上下
Python的那些事第三十六篇：基于 Vega 和 Vega-Lite 的数据可视化解决方案，Altair 声明式可视化库暮雨哀尘 Python的那些事信息可视化 python Altair 声明式可视化 Matplotlib
Altair声明式可视化库：基于Vega和Vega-Lite的数据可视化解决方案摘要在数据科学和分析领域，有效的数据可视化是理解数据、发现模式和传达见解的关键。Python作为数据科学的主要编程语言之一，提供了多种数据可视化库。其中，Altair是一个基于Vega和Vega-Lite的声明式可视化库，以其简洁的语法和强大的功能而受到广泛关注。本文将详细介绍Altair的基本概念、特点、安装与配置、
DPU：数据中心与计算架构的革新引擎 wljslmz 网络技术 DPU
你好，这里是网络技术联盟站，我是瑞哥。随着计算领域的蓬勃发展，数据处理单元（DPU）正崭露头角，成为重新定义数据中心和计算架构未来的关键元素。在这个数字化潮流中，DPU作为一种全新的数据处理方式，引领着计算技术的进步，为各行各业带来了前所未有的机遇。DPU的出现并非偶然，而是对日益增长的数据处理需求的有力回应。在传统计算架构中，中央处理单元（CPU）和图形处理单元（GPU）扮演着重要的角色，但随着
GNNs入门（三）GraphSAGE 我也秃了 GNN AI 神经网络
GraphSAGE什么是GraphSAGE？GraphSAGE的动机GraphSAGE的基本原理采样策略聚合函数的设计与选择参数学习和泛化能力GraphSAGE的应用场景实践经验与建议总结什么是GraphSAGE？GraphSAGE（GraphSampleandAggregation）是一种专注于图数据的归纳表示学习（inductiverepresentationlearning）方法，由Will
如何在本地运行大型语言模型（LLM）：深度指南及最佳实践 m0_57781768 语言模型人工智能自然语言处理
如何在本地运行大型语言模型（LLM）：深度指南及最佳实践在当今的人工智能领域，越来越多的开发者希望能够在本地运行大型语言模型（LLM），而不依赖于云端服务。这种趋势的兴起主要源于两个重要的需求：隐私保护和成本控制。通过在本地设备上运行LLM，用户的数据不会被发送到第三方服务器，确保了数据的隐私性。同时，在长时间运行的模拟、文本生成、总结等需要大量计算资源的应用中，本地运行可以显著降低成本。本文将深
Vivado 约束文件XDC使用经验总结宁静致远dream FPGA不积跬步
1.1Vivado约束文件XDC使用经验总结1.1.1本节目录1）本节目录；2）本节引言；3）FPGA简介；4）Vivado约束文件XDC使用经验总结；5）结束语。1.1.2本节引言“不积跬步，无以至千里；不积小流，无以成江海。就是说：不积累一步半步的行程，就没有办法达到千里之远；不积累细小的流水，就没有办法汇成江河大海。1.1.3FPGA简介FPGA（FieldProgrammableGateA
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性能优化权威指南》