一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
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
###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
5月14日，我们组召开了组内的前端分享会。前端开发人员都对自己学到的和在工作中用到的技术进行了分享。我分享的内容是Vuex。 图1 Vuex架构图 Vuex是Vue的一个状态管理的插件，它管理应用程序所有组件的状态，可以监听页面组件内状态值的变化，然后在其他组件能监听到该状态值的变化，从而使其他组件 ...
分类：
其他好文 时间：
2021-06-02 14:45:21
阅读次数：
0
