码迷,mamicode.com
首页 > 2019年05月21日 > 全部分享
OO第三单元总结-规格化设计
OO规格化编程体验小结 1. JML语言的理论基础、应用工具链情况 1. JML 理论基础: JML建立契约式编程的基础上,是一种实现契约式编程的规格化语言。顾名思义,契约式编程,是供求双方建立在一定的契约上进行软件的开发和应用。类似于在共同完成这一个工程的时候我们对于每个方法都以一个供求双方都统一 ...
分类:其他好文   时间:2019-05-21 21:03:45    阅读次数:75
Dijkstra 算法
算法的核心思想:在尚未使用的顶点中,d[i]最小的顶点就是最短距离已经确定的顶点 解释:以图1-1为例,假设A,B,C已经被标记,则剩下的点可以认为经过A,B,C三点的松弛操作(看通过这个点作为中转站会不会使得其他点离起点更近)。 那么在被标记的顶点中,找出d[i]最小的顶点,就可以认为它就是最短距 ...
分类:编程语言   时间:2019-05-21 21:03:32    阅读次数:87
IdentityServer4
预设:IdentityServer配置各Api相关信息,Api配置IdentityServer相关信息 1.用户访问客户端,客户端发现用户没有登录(授权) 2.根据客户端设置的令牌发行者基本地址,访问IdentityServer的网站 3.在IdentityServer的网站进行登录,成功后获得令牌 ...
分类:其他好文   时间:2019-05-21 21:03:00    阅读次数:74
linux 的常用命令---------第十三阶段(NFS与DHCP服务,scp用法)
NFS服务与DHCP服务 NFS服务:即实现linux与linux之间的文件共享,其中NFS允许一个系统在网络上与他人共享文件和目录。 模式为:C/S模式 使用端口为:2049端口 部署NFS服务: (在部署NFS服务之前要先下载rpcbind,因为客户端不能直接获取服务器端的ip、端口号信息,需要 ...
分类:系统相关   时间:2019-05-21 21:02:33    阅读次数:76
第四季-专题6-Linux内核子系统
专题6-Linux内核子系统 1. 内存管理模型 (1)子系统简介 System Call Interface(SCI)系统调用接口 Process Management(PM) Virtual File System(VFS)虚拟文件系统 Memory Management(MM) Network ...
分类:系统相关   时间:2019-05-21 21:02:17    阅读次数:92
C++ 构造函数初始化列表
构造函数初始化列表以一个冒号开始,接着是以逗号分隔的数据成员列表,每个数据成员后面跟一个放在括号中的初始化式。例如: 上面的例子中两个构造函数的效果是一样的。使用初始化列表的构造函数是显示地初始化类的成员;而没有使用初始化列表的构造函数是对类的成员赋值,并没有显示地初始化。 初始化列表的构造函数和内 ...
分类:编程语言   时间:2019-05-21 21:01:48    阅读次数:83
ASP.NET WebAPI --- 简单实现增删改查
先理解一下WebAPI的概念,官方给的很详细: 什么是Web API? 在我们了解什么是Web API之前,让我们看看什么是API(应用程序编程接口)。 根据维基百科的API定义:在计算机编程中,应用程序编程接口(API)是一组用于构建软件和应用程序的子例程定义,协议和工具。 简单来说,API是某种 ...
分类:Windows程序   时间:2019-05-21 21:01:30    阅读次数:225
HBASE的安装过程及运行HBASE程序的需要配置的内容
HBase安装配置 ①下载压缩包(选择与自己安装的Hadoop版本的兼容版本,见后面附录) 官网下载地址:https://mirrors.tuna.tsinghua.edu.cn/apache/hbase/stable/ 选择稳定版hbase-1.4.9-bin.tar.gz,在Windows里面下 ...
分类:其他好文   时间:2019-05-21 21:01:07    阅读次数:72
RESTful API设计原则与规范
RESTful API设计原则与规范 一、背景与基础概念 2 二、RESTful API应遵循的原则 3 1、协议(Protocol) 3 2、域名(ROOT URL) 3 3、版本(Versioning) 3 4、路径(Endpoints) 3 5、HTTP动词(HTTP Verbs) 4 6、过 ...
分类:Windows程序   时间:2019-05-21 21:00:51    阅读次数:411
linux作为windows的客户端
linux作为windows的客户端
分类:Windows程序   时间:2019-05-21 21:00:35    阅读次数:81
第三单元总结
第三单元总结 JML相关 一 梳理JML语言的理论基础、应用工具链情况 JML是一种形式化的, 面向JAVA的行为接口规格语言( behavioral interface specification language) JML允许在规格中混合使用Java语法成分和JML引入的语法成分. JML主要是 ...
分类:其他好文   时间:2019-05-21 21:00:15    阅读次数:58
leetcode 249 250 set和map的简单用法
leetcode249,利用了STL中的set 思路:set中的元素不重复,利用这一点方便进行最后的插入操作而不用去重。实际上第一个set<int> n1是没有必要的,可以直接vector来查找,但是用set的效率会更高。 下面给出用vector和库里面的find实现的方式: 1 class Sol ...
分类:其他好文   时间:2019-05-21 20:59:59    阅读次数:73
简单的购物程序
class Shopping(object): def __init__(self, money): self.money = money self.gn_menu() # 功能菜单 def gn_menu(self): print('=' * 30) print('\33[34;1m1.购物') ...
分类:其他好文   时间:2019-05-21 20:59:43    阅读次数:77
proteus学习教程大全
proteus学习资源大全,热衷于分享资料,资源共享,这个proteus也是收集了很久的资料,一直以来学习嵌入式就很枯燥,幸好有一起能够学习和资源共享的小伙伴共同交流技术上的痛点和难点,同样也希望更多人加入:787059199,因为我的很多资源都是在闯客网技术论坛上找到的,同时包括这个proteus大全,给你们安利了下载链接:https://bbs.usoftchina.com/thread-21
分类:其他好文   时间:2019-05-21 20:59:08    阅读次数:77
Navigation(三)问题详解——Fragment创建新的实例
Fragment创建新的实例
分类:其他好文   时间:2019-05-21 20:58:50    阅读次数:79
HttpServletResponse
1.HttpServletResponse概述 我们在创建Servlet时会覆盖service()方法,或doGet()/doPost(),这些方法都有两个参数,一个为代表请求的request和代表响应response。 service方法中的response的类型是ServletResponse, ...
分类:Web程序   时间:2019-05-21 20:58:07    阅读次数:113
HttpClient学习(三)—— AsyncHttpClient使用
介绍 This class support asynchronous and synchronous HTTP requests. AsyncHttpClient 支持同步、异步Http请求。 引入依赖 ...
分类:Web程序   时间:2019-05-21 20:57:52    阅读次数:91
659条   上一页 1 2 3 4 5 6 7 8 ... 39 下一页
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!