第六章——敏捷流程 1、 这一小节中有一个图表，对比了敏捷（Agile）、计划驱动（Plan-driven）、形式化的开发方法（Formal Method）的适用范围。里面提到的形式化的开发方法，其基本步骤是怎样的呢？为什么它能有极高的可靠性呢？下面是一些关于形式化方法特点的说明，从中可以看出它能力 ...
分类：
其他好文 时间：
2017-02-15 14:38:12
阅读次数：
163
You have n computers numbered from 1 to n and you want to connect them to make a small local area network (LAN). All connections are two-way (that is ...
分类：
其他好文 时间：
2017-02-15 14:37:41
阅读次数：
230
dotnet new 命令使用模板快速生成单页应用，本文以Angular应用为例。 最新版.NET Core SDK RC4 最大改动是更新了 dotnet new 命令。 dotnet new 默认不再创建控制台应用，而是展示帮助，而且会根据当前目录内容展示不同帮助。 首先确保 .NET Core ...
分类：
Web程序 时间：
2017-02-15 14:38:23
阅读次数：
190
map() 方法返回一个由原数组中的每个元素调用一个指定方法后的返回值组成的新数组。 语法EDIT array.map(callback[, thisArg]) 参数EDIT 返回值 由回调函数的返回值组成的新数组。 描述EDIT map 方法会给原数组中的每个元素都按顺序调用一次 callback ...
分类：
其他好文 时间：
2017-02-15 14:38:42
阅读次数：
205
两种模式的对比： Statement 优点 历史悠久，技术成熟； 产生的 binlog 文件较小； binlog 中包含了所有数据库修改信息，可以据此来审核数据库的安全等情况； binlog 可以用于实时的还原，而不仅仅用于复制； 主从版本可以不一样，从服务器版本可以比主服务器版本高； Statem ...
分类：
数据库 时间：
2017-02-15 14:37:46
阅读次数：
236
Apple Watch初步了解
简介
项目演示
创建项目
简单的hello world
项目结构
Extension：位于用户的iPhone安装了对应的App上，包含我们需要实现的代码逻辑和其他的...
分类：
移动开发 时间：
2017-02-15 13:54:39
阅读次数：
380
程序名：MyFirstJavaProgram.java //package com.example; public class MyFirstJavaProgram { public static void main(String[] args){ System.out.println("Hello ...
分类：
编程语言 时间：
2017-02-15 13:54:58
阅读次数：
174
一、写在前面 前面一直博主一直用svn的桌面版本，但看项目经理一直都用的命令行方式，不为性能，还能直接装逼呀！在这里先感谢赵哥，也把它分享给感兴趣的你们~ 二、直接上干货 1. svn checkout path # path 是服务器上的目录 功能：从服务器 checkout 代码简写：svn c ...
分类：
其他好文 时间：
2017-02-15 13:54:33
阅读次数：
284
http://codeforces.com/problemset/problem/730/B 题意：一个交互式问题，给出一个n代表有n个数字，你可以问下标为x和y的数的大小，会给出">"，"<"或"="，要求询问次数不能超过 ，最后输出最小的数和最大的数的下标。 思路：很新奇的题目。先将两两比较整理 ...
分类：
其他好文 时间：
2017-02-15 13:54:34
阅读次数：
296
商品详情页面特殊制作，获取网页的高度，collectionView根据内容的变化其高度也随着变化，首先先看下效果图： 然后我来介绍一下这个界面的总体架构，整个页面上放置一个tableView，下面的网页是tableView的footerview，中间规格所在的区域是一个cell上放置一个collec ...
分类：
Web程序 时间：
2017-02-15 13:54:39
阅读次数：
246
1.es6中新增3个是否包含字符串的方法：除了传统的indexOf();新增了includes(),startsWidth(),endWidth();这三个方法都支持第二个参数，对于includes()和statsWidth()来说，第二个参数指开始搜索的位置，对于endsWidth(‘str’,n ...
分类：
其他好文 时间：
2017-02-15 13:52:51
阅读次数：
153
在Angular2中一个Module指的是使用@NgModule修饰的class。@NgModule利用一个元数据对象来告诉Angular如何去编译和运行代码。一个模块内部可以包含组件、指令、管道，并且可以将它们的访问权限声明为公有，以使外部模块的组件可以访问和使用到它们。 模块是用来组织应用的，通 ...
分类：
其他好文 时间：
2017-02-15 13:52:13
阅读次数：
330
题目链接： https://www.51nod.com/onlineJudge/questionCode.html#!problemId=1417 假设 ans=n/m,C=(A+B)/2 若出正面 E_1 = nA-(m-n)C 若出反面 E_2 = (m-n)B-nC 由样例解释可知 得 m = ...
分类：
其他好文 时间：
2017-02-15 13:50:44
阅读次数：
161
电量计（gas gauge /fuel gauge）是用来计量显示电池电量，通常包括mAh剩余容量（RM），满充容量（FCC），百分比容量（SOC），电压，电流，温度等，部分电量计还包含放空，充满时间。TI阻抗跟踪电量计还有2个重要参数，Qmax（最大化学容量，指以非常小的电流从充抱到彻底放空的容量 ...
分类：
其他好文 时间：
2017-02-15 13:50:54
阅读次数：
1438
OpenClipboard()// 打开剪贴板 EmptyClipboard()//清空剪切板 SetClipboardData()//把内存中的数据放到剪切板上 GetClipboardData(CF_TEXT) // 从剪切板获取数据 CloseClipboard(); // 关闭剪切板 实例代 ...
分类：
其他好文 时间：
2017-02-15 13:50:49
阅读次数：
172
作为一名html5初学者，觉得这样整天粘代码并不是好的学习方法，需要优化改进，从今天开始，开始总结关键字，加注释 改掉之前总是粘代码的坏习惯 给div设置弹性布局，在div中加上display：flex； 然后在子元素上总的设置属性，或者在单独的子元素上单独设置属性 .box{ display: f ...
分类：
其他好文 时间：
2017-02-15 13:51:29
阅读次数：
339
问题描述： github下载的Demo，很多时候使用到CocoaPods，有的时候因为依赖关系或者版本问题不能编译运行。出现例如The sandbox is not sync with the Podfile.lock问题时候，如下所示 解决方案 关闭当前的工作空间，删除掉文件夹中的workspac ...
分类：
数据库 时间：
2017-02-15 13:48:14
阅读次数：
220
