OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
1：效果 一运行起来，红色是下载的部分，蓝色是为下载部分，下载完之后先缩成一个椭圆，在缩成一个圆 GitHub地址：https://github.com/luofangli/MyDrawProgress 详细代码： <?xml version="1.0" encoding="utf-8"?><and ...
分类：
移动开发 时间：
2021-06-02 16:08:01
阅读次数：
0
#索引 ##索引的功能 当表中有大量记录时，若要基于某些过滤条件对表进行查询，就需要遍历整张表和查询条件进行对比，返回满足条件的记录。使用暴力搜索的时间复杂度是 O(n)，同时频繁访问磁盘，当数据量达到一定的规模时(一般是 10 万级别以上)效率很低。 索引是对数据表中一列或多列的值进行排序的一种结 ...
分类：
数据库 时间：
2021-06-02 15:23:54
阅读次数：
0
本文转自:https://www.cnblogs.com/chhyan-dream/p/12013463.html 1、概述 为了更好地理解调度，我们先看一下集群模式的Spark程序运行架构图，如上所示： 2、Spark中的基本概念 1、Application：表示你的程序 2、Driver：表示m ...
分类：
其他好文 时间：
2021-06-02 15:22:12
阅读次数：
0
首先获取时间戳除以30取整，得到8个数，再补成8个字节的长度。 之后要有一个密钥，这个密钥是steam和我们约定好的 用来计算令牌码 安卓手机可以在/data/data/com.valvesoftware.android.steam.community/files/目录下找到 文件中的shared_ ...
分类：
移动开发 时间：
2021-06-02 15:21:49
阅读次数：
0
###1.SVN是集中式版本控制工具，所以需要一台中央服务器，中央服务器可安装VisualSVN Server，创建有架构的仓库，并创建相应的用户或组别，为仓库配置号仓库后，客户端可安装TortoiseSVN，安装后在想上传的项目文件层检索出对应的主干，增加后再提交即可上传项目到SVN服务器。 在团 ...
分类：
其他好文 时间：
2021-06-02 15:14:51
阅读次数：
0
本单元是基于JML规格来实现对社交关系的模拟和查询，整体架构与设计都是官方给出。在实现过程中，我深感JML是一个非常适合开发的形式化规格语言。尤其对于团队项目的开发，用JML可以清晰规定每一部分的代码要求，程序员在实现时仅需思考在此基础上如何提升性能，而不用为架构设计发愁，体验极佳。 设计策略 由于 ...
分类：
其他好文 时间：
2021-06-02 15:07:31
阅读次数：
0
1：开启对页面的压缩处理 gzip on; //开启压缩 gzip_min_length 1000; //小文件不压缩 gzip_comp_level 4; //压缩比率 gzip_types text/plain text/css application/json application/x-ja ...
分类：
其他好文 时间：
2021-06-02 15:02:12
阅读次数：
0
虚拟机栈 简介 虚拟机栈的出现背景 由于跨平台性的设计，Java的指令都是根据栈来设计的。不同平台CPU架构不同，所以不能设计为基于寄存器的【如果设计成基于寄存器的，耦合度高，性能会有所提升，因为可以对具体的CPU架构进行优化，但是跨平台性大大降低】。 优点是跨平台，指令集小，编译器容易实现，缺点是 ...
分类：
其他好文 时间：
2021-06-02 15:01:36
阅读次数：
0
1：修改用户账号的属性，设置某某时间实效（禁止登陆） 2：临时锁定用户lisi的账户，使其无法登陆，验证效果后解除锁定 3：修改tty终端提示，使得登陆前看到的第一行文本为“Windows Server 2012 Enterprise R2”，第二行文本为“NT 6.2 Hybrid” 4：锁定文件 ...
分类：
系统相关 时间：
2021-06-02 15:00:47
阅读次数：
0
