被@ModelAttribute注释的方法会在此controller每个方法执行前被执行,因此对于一个controller映射多个URL的用法来说,要谨慎使用。 我们编写控制器代码时,会将保存方法独立成一个控制器也是如此。 1.@ModelAttribute注释void返回值的方法 @Control...
分类:
其他好文 时间:
2015-03-02 12:39:39
阅读次数:
134
本章主要介绍了形式化方法的基本概念包括形式规约(即软件规格说明,是软件系对象作用的方法,自己对象行为的描述)形式证明与验证(技术包括:检测,定理定理证明),程序求精,逻辑时态的一阶线性时态逻辑、计算树逻辑。模型检测临就是在Kripk模型下,对以CTL*公式给出的软件性质得正确性验证、计算树逻辑。模型...
分类:
其他好文 时间:
2015-03-02 12:39:24
阅读次数:
109
浏览器是我们前端开发者工作的平台,是我们最长用的软件,是我们必须要了解的知识面,做个学习记录。现在人都离不开网络,在网上我们能干很多事情,用途最多的就是浏览器,它是一扇窗户,打开这扇窗户可以看到大千世界的变化,是人类获取信息重要的软件工具之一。对于单纯的使用者只知道怎么使用浏览器去上网冲浪,而对于前...
分类:
其他好文 时间:
2015-03-02 12:38:56
阅读次数:
167
strcpy,strlen, strcat, strcmp函数,strlen函数和sizeof的区别
分类:
其他好文 时间:
2015-03-02 12:39:52
阅读次数:
184
1. 概念单点登录(Single Sign On , 简称 SSO )是目前比较流行的服务于企业业务整合的解决方案之一, SSO 使得在多个应用系统中,用户只需要登录一次就可以访问所有相互信任的应用系统。CAS(Central Authentication Service)是一款不错的针对 Web ...
分类:
其他好文 时间:
2015-03-02 12:39:49
阅读次数:
140
Tomcat内存溢出的原因 在生产环境中tomcat内存设置不好很容易出现内存溢出。造成内存溢出是不一样的,当然处理方式也不一样。 这里根据平时遇到的情况和相关资料进行一个总结。常见的一般会有下面三种情况: 1.OutOfMemoryError: Java heap space 2.OutO...
分类:
其他好文 时间:
2015-03-02 12:39:28
阅读次数:
182
学习java语言list遍历的三种方法,顺便测试各种遍历方法的性能,测试方法为在ArrayList中插入1千万条记录,然后遍历ArrayList,发现了一个奇怪的现象,测试代码如下:package com.hisense.tiger.list;import java.util.ArrayList;i...
分类:
其他好文 时间:
2015-03-02 12:39:34
阅读次数:
148
.full{ height:100%; position:fixed;}使用position的fixed特性固定位置
分类:
其他好文 时间:
2015-03-02 12:37:06
阅读次数:
116
做测试方面的工作也有一段时间,开始感到有些迷茫,不知该朝哪个方向发展下去。过完年来上班时停下来几天,搜索了一些测试同行工作几年后的一些感悟,其中有一篇名叫《进入软件测试行业的六年感悟》帮我梳理了一下思路。测试人员的能力等于测试的广度*测试的深度。测试的广度指需求分析、测试流程、测试管理、开发流程、开...
分类:
其他好文 时间:
2015-03-02 12:38:52
阅读次数:
163
1 题目Rotate an array ofnelements to the right byksteps.For example, withn= 7 andk= 3, the array[1,2,3,4,5,6,7]is rotated to[5,6,7,1,2,3,4].Note:Try to ...
分类:
其他好文 时间:
2015-03-02 12:37:24
阅读次数:
126
转自:http://www.cnblogs.com/hjj801006/p/3837435.htmlTS流,是基于packet的位流格式,每个packet是188个字节或者204个字 节(一般是188字节,204字节格式是在188字节的packet后面加上16字节的CRC数据,其他格式相同),解析T...
分类:
其他好文 时间:
2015-03-02 12:35:41
阅读次数:
206
#include #include extern "C"{/*头文件lua.h定义了Lua提供的基础函数,包括创建Lua环境、调用Lua函数、读写Lua环境中全局变量,以及注册供Lua调用的新函数等等*/#include "lua-5.2.2/src/lua.h"/*头文件lauxlib.h定义了辅...
分类:
其他好文 时间:
2015-03-02 12:37:38
阅读次数:
153
在 WF 4 中编写自定义控制流活动Leon Welicki控制流是指组织和执行程序中各个指令的方法。在 Windows Workflow Foundation 4 (WF 4) 中,控制流活动掌控了一个或多个子活动的执行语义。WF 4 活动工具箱中的示例包括:Sequence、Parallel、I...
分类:
其他好文 时间:
2015-03-02 12:36:55
阅读次数:
195
在开发过程中,遇到中文乱码的问题。以前的解决办法是:用JAVA代码进行转换,今天请教了一下公司的高手,给出的解决方案是:修改Tomcat的配置文件也可以解决这个问题。具体的解决方案是:1.在Tomcat目录下找到server.xml文件,找到代码:2. 把上面的代码注释掉,用下面的代码代替:3. 注...
分类:
其他好文 时间:
2015-03-02 12:34:55
阅读次数:
134
Behind the scenes in the computer's memory, color is always talked about as a series of 24 bits of information for each pixel. In an image, the color ...
分类:
其他好文 时间:
2015-03-02 12:35:12
阅读次数:
129
截图:解决方法:win7以上用户在桌面找到:网络--右键(属性)--更改适配器设置--VirtualBox Host-Only Network--属性--双击:Internet 协议版本4(TCP/IPv4)--修改为自动获取IP和DNS 即可解决这个问题。按照以上的方法就可以解决无法启动Genym...
分类:
其他好文 时间:
2015-03-02 12:34:02
阅读次数:
124
所谓回文字符串,就是一个字符串,从左到右读和从右到左读是完全一样的。比如"level" 、 “aaabbaaa”对于递归的回文判断方法可以参照这篇文章:http://blog.csdn.net/cbs612537/article/details/8217425,下边代码是通过压入堆栈和排入队列的.....
分类:
其他好文 时间:
2015-03-02 12:34:30
阅读次数:
141