jzssuanfa - 博客园

陶哲轩实分析 2.2节习题试解

摘要：陶哲轩实分析 2.2节习题试解近期从网上下载到了陶哲轩写的实分析，确实是本好书。只是全部的习题都没有给出答案。我试着自己做一遍习题，整理一份习题解答。 2.2.1 证明自然数加法是结合的 (a + b) + c = a + (b + c) 数学归纳法 a=0a = 0 时。左边： (0+b)+ 阅读全文

posted @ 2017-06-26 17:18 jzssuanfa 阅读(1773) 评论(1) 推荐(0)

Linux多线程实践（六）使用Posix条件变量解决生产者消费者问题

摘要：前面的一片文章我们已经讲过使用信号量解决生产者消费者问题。那么什么情况下我们须要引入条件变量呢？这里借用 http://www.cnblogs.com/ngnetboy/p/3521547.html 的解释：如果有共享的资源sum,与之相关联的mutex 是lock_s.如果每一个线程对sum的阅读全文

posted @ 2017-06-26 16:45 jzssuanfa 阅读(301) 评论(0) 推荐(0)

css3模糊图片

摘要： image的css样式 filter: blur(10px); -webkit-filter: blur(10px); -moz-filter: blur(10px); -ms-filter: blur(10px); -o-filter: blur(10px); 注：filter模糊。括号里的參数表阅读全文

posted @ 2017-06-26 16:44 jzssuanfa 阅读(121) 评论(0) 推荐(0)

高速掌握Lua 5.3 —— I/O库 (1)

摘要： Q：什么是”Simple Model”？ A：全部的文件操作都基于一个默认的输入文件和一个默认的输出文件。这就意味着同一时间对于输入和输出来说，仅仅可操作一个文件（默认的文件）。默认的输入文件初始化是stdin，默认的输出文件初始化是stdout， -- "a.lua"文件里： --[[ "io.r 阅读全文

posted @ 2017-06-26 15:53 jzssuanfa 阅读(365) 评论(0) 推荐(0)

覆盖率測试工具gcov的前端工具_LCOV_简单介绍

摘要： 1、Gcov是进行代码运行的覆盖率统计的工具。它随着gcc的公布一起公布的，它的使用也非常easy，须要在编译和链接的时候加上-fprofile-arcs -ftest-coverage生成二进制文件，gcov主要使用.gcno和.gcda两个文件。.gcno是由-ftest-coverage产生的阅读全文

posted @ 2017-06-26 15:18 jzssuanfa 阅读(990) 评论(0) 推荐(0)

MySQL显示状态信息

posted @ 2017-06-26 14:42 jzssuanfa 阅读(166) 评论(0) 推荐(0)

mysql---左连接、右连接、内连接之间的差别与联系

摘要：现有两张表第一张表为男生表，记录了男生的姓名和配偶的编号第二张表为女生表，记录了女生的姓名和自己的编号第一种情况：主持人请全部男生都上台。而且带上自己的配偶。这时无论男生有没有配偶都要上台，所以是以男生表为基准关联女生表能够考虑用左连接屌丝比較悲剧，在女生表中没有他的配偶。所以gname和阅读全文

posted @ 2017-06-26 13:18 jzssuanfa 阅读(1199) 评论(0) 推荐(0)

Android多线程分析之二：Thread的实现

摘要： Android多线程分析之二：Thread罗朝辉 (http://blog.csdn.net/kesalin)CC 许可。转载请注明出处在前文《Android多线程分析之中的一个：使用Thread异步下载图像》中演示了怎样使用 Thread 处理异步事务。演示样例中这个 Java Thread 类都阅读全文

posted @ 2017-06-26 12:46 jzssuanfa 阅读(273) 评论(0) 推荐(0)

Python图像处理库PIL的ImageStat模块介绍

摘要： ImageStat模块用于计算整个图像或者图像的一个区域的统计数据。一、ImageStat模块的函数 1、 Stat 定义1：ImageStat.Stat(image)⇒ Stat instance ImageStat.Stat(image, mask)⇒ Stat instance 含义1：计算阅读全文

posted @ 2017-06-26 11:55 jzssuanfa 阅读(1375) 评论(0) 推荐(0)

深入理解Android之Java虚拟机Dalvik

摘要：一、背景这个选题非常大，但并非一開始就有这么高大上的追求。最初之时，仅仅是源于对Xposed的好奇。Xposed差点儿是定制ROM的神器软件技术架构或者说方法了。它究竟是怎么实现呢？我本意就是想搞明确Xposed的实现原理。但随着代码研究的深入，我发现假设不了解虚拟机的实现，而仅简单停留在Xpose 阅读全文

posted @ 2017-06-26 10:15 jzssuanfa 阅读(1750) 评论(0) 推荐(0)

2017年6月26日

导航