第三单元总结 Tags: OO JML实现方法 JML是一种用于形式化表述程序规格的语言，其具体实现方法是通过逻辑推理语言对程序的输入输出以及数据交互做出限制，来保证程序按照设计者的预期运行。同时它也被用来提高代码的可维护性和可读性，通过针对已有的代码写出其JML规格，有利于维护该代码。 在本文中， ...
分类：
其他好文 时间：
2021-06-02 16:31:20
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
面向对象设计的6大原则： 1.单一职责原则 原则思想：一个方法只负责一件事情。 描述：单一职责原则很简单，一个方法 一个类只负责一个职责，各个职责的程序改动，不影响其它程序。 这是常识，几乎所有程序员都会遵循这个原则。 优点：降低类和类的耦合，提高可读性，增加可维护性和可拓展性，降低可变性的风险。 ...
分类：
其他好文 时间：
2021-06-02 16:06:21
阅读次数：
0
一.vlan的基本概念 特点 隔离广播 方便管理 提高安全 vlan接口 Access接口 Trunk接口 Trunk封装 isl dot1q 1.1Hybrid接口特点 特点 华为交换机接口默认为Hybrid模式 既可以实现Access接口的功能，也可以实现Trunk接口的功能 不借助三层设备即可 ...
分类：
其他好文 时间：
2021-06-02 15:37:20
阅读次数：
0
手机网络时代，各个企业都在设计自己的APP，所以手机APP设计涉及的行业也越来越广泛。但企业APP要想让更多的用户了解和使用，就需要更高的知名度，除了要建立在企业自身的用户基础之上，还要吸引潜在用户下载和使用。因此，企业如何通过交互体验提高用户粘性呢？ 一、活动吸引用户参与。公司可以策划新的活动，吸 ...
分类：
移动开发 时间：
2021-06-02 15:25:25
阅读次数：
0
主要总结了MySQL数据库在设计和书写时的一些规范和提高性能的操作 1.设计时 （1）没有特殊要求，所有表必须使用 Innodb 存储引擎 没有特殊要求（即没有 Innodb 无法满足的功能，如：列存储，存储空间数据等）的情况下，所有表必须使用 Innodb 存储引擎（MySQL5.5 之前默认使用 ...
分类：
数据库 时间：
2021-06-02 15:21:11
阅读次数：
0
5.2 进阶2：条件查询 条件查询：根据条件过滤原始表的数据，查询到想要的数据 5.2.1 语法 select #第三步 要查询的字段|表达式|常量值|函数 from #第二步 表明 where #第一步 条件语句; 5.2.2 查询的分类 条件表达式 示例：salary>10000 条件运算符：> ...
分类：
其他好文 时间：
2021-06-02 15:18:07
阅读次数：
0
5.4 进阶4：常见函数 功能：类似于java中的方法，将一组逻辑语句封装在方法体中，对外暴露方法名称 好处： 隐藏了实现细节 提高了代码的重用性 调用：select 函数名 (实参列表) 特点： 叫什么（函数名） 干什么（函数功能） 分类： 单行函数：：如concat、ifnull等 分组函数：做 ...
分类：
其他好文 时间：
2021-06-02 15:17:17
阅读次数：
0
#一、Hybrid接口 ##1.1 VLan的基本概念 特点： 隔离广播 方便管理 提高安全 Vlan接口： Access接口 Trunk接口 Trunk封装 ： isl dot1q ##1.2 Hybrid接口特点 特点： 1.华为交换机接口默认为Hybrid模式 2.既可以实现Access接口的 ...
分类：
其他好文 时间：
2021-06-02 13:24:34
阅读次数：
0
2003年11月，Saurabh Ganeriwal提出了TPSN同步机制，目的是通过 DAD2000 采用层次型网络结构来提供全网范围内节点同步。该机制分为拓扑建立阶段和同步建立阶段，考虑了传播时间和接收时间，利用双向消息交换计算消息的平均延迟，提高了精度。 在一块特定区域内随机散布一系列传感器节 ...
分类：
其他好文 时间：
2021-06-02 13:13:51
阅读次数：
0
