xingyuner556的博客

原创 软件构造——Override和Overload

重写和重载

原创 软件构造——规约的强弱比较

当遇到前置条件更强时，比较原前置条件比改变后更弱，然后根据上面的判断原规约比改变后规约强（或不能比较），推出改变后的规约比原规约弱（或不能比较）。

原创 软件构造——动态、静态

检查（1）静态检查（2）动态检查（3）无检查测试（1）静态测试（2）动态测试

原创 软件构造——等于

== 和.equals

原创 软件构造——java.util.ConcurrentModificationException异常

遍历时remove

原创 HIT-CSAPP大作业

原创 软件构造——求凸包时程序陷入死循环

求凸包的算法的大致过程为：找到最左下角的点，定其初始的方向为y轴正方向，找到偏转角度最小且距离最长的点，再以它为起点找下一个点，直至回到最初左下角的点，历经的所有点为凸包集。代码运行时一直转圈，不出结果，代码陷入死循环。原因：找最初的点时，判断条件只确定它为最左的点，而不是左下角的点，当最左的横坐标处有纵坐标不同的几个点，而你选择的点在中间，那么当点转一圈回到这里时，会因为找偏转角度最小且距离最长的点而跳过初始点，从该横坐标的最下面的一点直接到最上面一点，永远回不到最初的点。如图：若初始点为A，..

原创 精确度。。。。。

1>​​​​​​Application of successive interference cancellation to the GPS pseudolite near-far problem | IEEE Journals & Magazine | IEEE Xplore干扰抵消远近问题2>Analysis of ambiguity resolution in precise pseudolite positioning | IEEE Conference Public..