1. 引言 本篇文章分析了代码静态分析的基本原理以产生误报的根本原因,并介绍了形式化方法在LDRA工具套件中的应用情况。文章从实际工程应用的角度阐述了这些形式化方法的局限性,在参考文献1《Formal Methods Implemented in the LDRA Tool Suite》中我们详细描 ...
分类:
其他好文 时间:
2016-10-10 09:30:02
阅读次数:
200
java书单推荐 转自 http://www.ituring.com.cn/article/211418 “学习的最好途径就是看书“,这是我自己学习并且小有了一定的积累之后的第一体会。个人认为看书有两点好处: 1.能出版出来的书一定是经过反复的思考、雕琢和审核的,因此从专业性的角度来说,一本好书的价 ...
分类:
编程语言 时间:
2016-10-09 14:07:53
阅读次数:
229
本博文的主要内容如下: 1、通过案例观察Spark架构 2、手动绘制Spark内部架构 3、Spark Job的逻辑视图解析 4、Spark Job的物理视图解析 1、通过案例观察Spark架构 spark-shell中,默认情况下,没有任何的Job。 从Master角度讲: 1、管理CPU、MEM ...
分类:
其他好文 时间:
2016-10-09 13:07:34
阅读次数:
210
浅谈云巴实时通信的编程模型 中国物联网 2016-09-28 09:38 概要 有人常问,云巴实时通信系统到底提供了一种怎样的服务,与其他提供推送或 IM 服务的厂商有何本质区别。其实,从技术角度分析,云巴与其它同类厂商都是面向开发者的通信服务,宏观的编程模型都是大同小异,真正差异则聚焦于产品定位, ...
分类:
其他好文 时间:
2016-10-09 10:54:57
阅读次数:
137
PS:一直以来对SVD分解似懂非懂,此文为译文,原文以细致的分析+大量的可视化图形演示了SVD的几何意义。能在有限的篇幅把这个问题讲解的如此清晰,实属不易。原文举了一个简单的图像处理问题,简单形象,真心希望路过的各路朋友能从不同的角度阐述下自己对SVD实际意义的理解,比如 个性化推荐中应用了SVD, ...
分类:
其他好文 时间:
2016-10-09 09:13:54
阅读次数:
194
上一篇介绍微信小程序开发工具使用和项目目录结构。 这一章节介绍微信小程序的生命周期,什么是生命周期呢? 通俗的讲,生命周期就是指一个对象的生老病死。 从软件的角度来看,生命周期指程序从创建、到开始、暂停、唤起、停止、卸载的过程。 下面从一下三个方面介绍微信小程序的生命周期: 应用生命周期 页面生命周 ...
分类:
微信 时间:
2016-10-09 06:49:51
阅读次数:
393
1.java.io包中定义了多个流类型来实现输入和输出功能,可以从不同的角度对其进行分 类,按功能分为:(C),如果为读取的内容进行处理后再输出,需要使用下列哪种流?(G) A、输入流和输出流 B、字节流和字符流 C、节点流和处理流 D、File stream E、Pipe stream F、Ran ...
分类:
编程语言 时间:
2016-10-09 00:32:00
阅读次数:
220
Quaternion又称四元数,由x、y、z和w这4个分量组成,属于struct类型。在Unity中,用Quaternion来存储和表示对象的旋转角度。对于GameObject一般的旋转及移动,可以用Transform中的相关方法实现。 Quaternion类实例属性 eulerAngles属性:欧 ...
分类:
编程语言 时间:
2016-10-09 00:26:00
阅读次数:
335
简介:从一个初学者的角度来讲,要从六个方面来对计算机来做一个大约的了解: 计算机的组成; 电脑配置; 操作系统; CDEF盘; 正确的开关机(主要是关机); 常用软件; 1、 电脑由哪几部分组成? 从外观上看,电脑是由:主机(主要部分)、输出设备(显示器)、输入设备(键盘和鼠标)三大件组成。 从逻辑 ...
分类:
其他好文 时间:
2016-10-09 00:09:28
阅读次数:
212
转载自:【问底】徐汉彬:Web系统大规模并发——电商秒杀与抢购 电商的秒杀和抢购,对我们来说,都不是一个陌生的东西。然而,从技术的角度来说,这对于Web系统是一个巨大的考验。当一个Web系统,在一秒钟内收到数以万计甚至更多请求时,系统的优化和稳定至关重要。这次我们会关注秒杀和抢购的技术实现和优化,同 ...
分类:
其他好文 时间:
2016-10-08 23:49:34
阅读次数:
230