1.实现对java配置文件properties的读取、写入与更新操作package com.config;/** * 实现对Java配置文件Properties的读取、写入与更新操作 */ import java.io.BufferedInputStream; import java.i...
分类：
Web程序 时间：
2015-02-12 12:25:21
阅读次数：
175
AndroidSDK支持哪些文件存储技术？SharedPreferences、流文件存储、XML半结构化存储、JSON存储、数据库、第三方面向对象数据库。如何使用ShardPreferences存取key-value类型的数据？//实例化SharedPreferences对象（第一步）
SharedPreferencesmySharedPreferences=getSharedPr..
分类：
移动开发 时间：
2015-02-11 02:03:07
阅读次数：
200
C++ 容器及选用总结目录====================================================第一章容器第二章Vector和string第三章关联容器第四章迭代器第五章算法第六章函数第七章在程序中使用STL=============================...
分类：
编程语言 时间：
2015-02-10 10:29:36
阅读次数：
198
会话在分布式应用程序中广泛用于维护每个用户的状态。在站点或者基于站点的应用中，将每个用户的状态存储于会话中很常见。这这些情况中，用户和会话间有一个1:1比例。WCF以一个类似的概念支持服务。使用InstanceContextMode.PerSession设置，WCF可以直接为每个会话创建一个服务实例...
分类：
其他好文 时间：
2015-02-09 15:41:44
阅读次数：
159
1.形式化方法 (1)广义上：将离散数学的方法用于解决软件工程领域的问题。 包括:建立精确的数学模型、对模型的分析活动。 狭义上：进行形式化的规格说明、模型推理、验证。 (2)作用：解决规格说明的二义性、提高精确性、提高确认手段。 (3)根本上，软件的设计过程就是一个建立形式规约的过程。 程序---...
分类：
其他好文 时间：
2015-02-08 16:50:46
阅读次数：
195
软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
这一篇是整个第五章的精华了，会重点介绍一下Neural Networks的训练方法——反向传播算法（backpropagation，BP），这个算法提出到现在近30年时间都没什么变化，可谓极其经典。也是deep learning的基石之一。还是老样子，下文基本是阅读笔记（句子翻译+自己理解），把书里的内容梳理一遍，也不为什么目的，记下来以后自己可以翻阅用。...
分类：
编程语言 时间：
2015-02-07 23:03:19
阅读次数：
313
模态逻辑是经典命题逻辑和一阶谓词逻辑的拓展形式。一阶线性时态逻辑（FOLTL）是一阶谓词逻辑的扩展。计算树逻辑（CTL）是一种离散、分支时间、命题时态逻辑。Z语言为系统建立基于状态的模型。模型的三个主要组成部分是输入，输出和状态。Z语言表示抽象的要素总体上可分为两类：基于集合理论的集合、关系、函数、...
分类：
其他好文 时间：
2015-02-07 11:32:40
阅读次数：
112
spring拦截器和aop的区别spring拦截器用到aop的技术两步： public class NeedRolesInterceptor extends HandlerInterceptorAdapter权限验证，重写preHandle方法参考文档：第五章 处理器拦截器详解——跟着开涛学...
分类：
其他好文 时间：
2015-02-06 16:34:58
阅读次数：
179
http://www.pythoner.com/294.html本文为《Introduction to Tornado》中文翻译，将在https://github.com/alioth310/itt2zh上面持续更新，本文内容可能不是最新状态，请在GitHub上获得最新版本。本文也可在http://...
分类：
Web程序 时间：
2015-02-05 20:21:36
阅读次数：
350
