形式化 寒假任务： 《Learning Markov Decision for ModelChecking》 《Approximate Probablistic Model Checking for Programs》 《Towards a Theory for Cyber-Physical Sys ...
分类：
其他 时间：
2017-01-16 22:33:19
收藏：
0 评论：
0 赞：
0 阅读：
343
做aes加密时，发生一个奇怪的错误，在本地环境是好的，发布到测试环境就出问题， 想到本地环境之前也是遇到加密问题，从oracle官网下载了两个文件，覆盖本地文件得到解决。 推测测试环境肯定也是此原因，照此方法，测试环境aes加解密问题得到解决，特此记录下来，避免下次再踩坑。 问题背景： Java几乎 ...
分类：
其他 时间：
2017-01-16 22:32:58
收藏：
0 评论：
0 赞：
0 阅读：
193
/res/anim/shake.xml /res/anim/cycle_7.xml ...
分类：
其他 时间：
2017-01-16 22:32:42
收藏：
0 评论：
0 赞：
0 阅读：
278
/* * Collection * * List * 有序（存储顺序和取出顺序一致），可以重复 * * Set * 无序（存储顺序和取出顺序不一致），唯一 * * */ 251515 ...
分类：
其他 时间：
2017-01-16 22:32:25
收藏：
0 评论：
0 赞：
0 阅读：
203
根模块 app.module 建议大家先去学习angularjs官网的英雄教程后再进行后面的阅读，app.module.ts 就是ng2应用中的引导启动模块也称根模块 import { NgModule } from '@angular/core'; import { BrowserModule }... ...
分类：
其他 时间：
2017-01-16 22:32:08
收藏：
0 评论：
0 赞：
0 阅读：
123
对于整型数a，b来说，取模运算或者求余运算的方法都是： 1.求整数商： c = a/b; 2.计算模或者余数： r = a - c*b. 求模运算和求余运算在第一步不同: 取余运算在取c的值时，向0 方向舍入(fix()函数)；而取模运算在计算c的值时，向负无穷方向舍入(floor()函数)。 例如 ...
分类：
其他 时间：
2017-01-16 22:31:50
收藏：
0 评论：
0 赞：
0 阅读：
107
伪类选择符 更有趣的是伪类选择符，为什么叫做伪类选择符，它允许给html不存在的标签（标签的某种状态）设置样式，比如说我们给html中一个标签元素的鼠标滑过的状态来设置字体颜色： a:hover{color:red;} 上面一行代码就是为 a 标签鼠标滑过的状态设置字体颜色变红。这样就会使第一段文字 ...
分类：
其他 时间：
2017-01-16 22:31:38
收藏：
0 评论：
0 赞：
0 阅读：
191
问题描述 给定一个长度为n的数列，将这个数列按从小到大的顺序排列。1<=n<=200 输入格式 第一行为一个整数n。 第二行包含n个整数，为待排序的数，每个整数的绝对值小于10000。 输出格式 输出一行，按从小到大的顺序输出排序后的数列。 样例输入 58 3 6 4 9 样例输出 3 4 6 8 ...
分类：
编程语言 时间：
2017-01-16 22:31:21
收藏：
0 评论：
0 赞：
0 阅读：
219
最近一直在忙着做项目，也没有及时的整理博客，今天项目展示结束了，感觉不尽如意，还是有点小小的失落，毕竟班长在我们组，没拿到第一有点对不住他们，通过这次项目，深深的感受到了团队合作的重要性，我们组三个人的脾气都算是比较好的，但是就算这样，我也曾经气的我的小伙伴一直出去吸烟，回头想想我做的太不对了，做项 ...
分类：
Web开发 时间：
2017-01-16 22:30:54
收藏：
0 评论：
0 赞：
0 阅读：
297
AngularJS2 学习 继TypeScript之后，终于到了ng2的学习路程，同样学习根据angular官网文档进行，对文档中的内容根据自己的理解略有改动。看官可看官网文档，也可以看本系列博文 首先根据官网推荐先去学习了英雄教程，涵盖了ng的大部分知识点。后面就到了开发指南中的架构部分 首先要明... ...
分类：
其他 时间：
2017-01-16 22:30:37
收藏：
0 评论：
0 赞：
0 阅读：
163
3252: 攻略 Description 题目简述：树版[k取方格数] 众所周知，桂木桂马是攻略之神，开启攻略之神模式后，他可以同时攻略k部游戏。 今天他得到了一款新游戏《XX半岛》，这款游戏有n个场景(scene)，某些场景可以通过不同的选择支到达其他场景。所有场景和选择支构成树状结构：开始游戏时 ...
分类：
其他 时间：
2017-01-16 22:30:22
收藏：
0 评论：
0 赞：
0 阅读：
210
1.列表 1 names = ['Alex',"Tenglan",'Eric'] 2 3 >>> names[0] 4 'Alex' 5 >>> names[2] 6 'Eric' 7 >>> names[-1] 8 'Eric' 9 >>> names[-2] #还可以倒着取 10 'Tengla ...
分类：
编程语言 时间：
2017-01-16 22:29:54
收藏：
0 评论：
0 赞：
0 阅读：
269
#encoding: utf-8 ''' Author:Siukwan ''' import sys reload(sys) sys.setdefaultencoding('utf8') import json def txt2str(file='jsondata2.txt'): ''' 打开指定的... ...
分类：
编程语言 时间：
2017-01-16 22:29:37
收藏：
0 评论：
0 赞：
0 阅读：
255
Description 某天，Lostmonkey发明了一种超级弹力装置，为了在他的绵羊朋友面前显摆，他邀请小绵羊一起玩个游戏。游戏一开始，Lostmonkey在地上沿着一条直线摆上n个装置，每个装置设定初始弹力系数ki，当绵羊达到第i个装置时，它会往后弹ki步，达到第i+ki个装置，若不存在第i+ ...
分类：
其他 时间：
2017-01-16 22:29:16
收藏：
0 评论：
0 赞：
0 阅读：
127
转载请注明出处：http://blog.csdn.NET/supera_li/article/details/44940563 Effective Java系列 1.Effective java经验之谈，创建和销毁对象 2.Effective java经验之谈，泛型 3.Effective java ...
分类：
编程语言 时间：
2017-01-16 22:29:02
收藏：
0 评论：
0 赞：
0 阅读：
131
规律：i等于二的N次幂时，Hamming weight为 1.HammingWeight(2) = 1HammingWeight(3) = HammingWeight(2) + HammingWeight(1) = 2......HammingWeight(8) = 1HammingWeight(9... ...
分类：
其他 时间：
2017-01-16 22:28:45
收藏：
0 评论：
0 赞：
0 阅读：
195
今年最后一个迭代终于结束了，把过程中碰到的不熟悉的东西拉出来学习总结一下 内存泄漏的本质是：【一个（巨大的）短生命周期对象的引用被一个长生命周期（异步生命周期）的对象持有】 这个东西分为两个部分 获得一个（巨大的）短生命周期的对象 这个【巨大的短生命周期的对象】在Android中最有可能的就是【Ac ...
分类：
移动平台 时间：
2017-01-16 22:28:31
收藏：
0 评论：
0 赞：
0 阅读：
356
UI 下拉刷新 EGOTableViewPullRefresh- 最早的下拉刷新控件。 SVPullToRefresh- 下拉刷新控件。 MJRefresh- 仅需一行代码就可以为UITableView或者CollectionView加上下拉刷新或者上拉刷新功能。可以自定义上下拉刷新的文字说明。具体 ...
分类：
其他 时间：
2017-01-16 22:28:15
收藏：
0 评论：
0 赞：
0 阅读：
749
T1：跳舞的奶牛 大致题意：一个体积为k的舞台能够同时容纳k只奶牛一起跳舞，他们每头奶牛的跳舞时间不同，如果有一只奶牛跳完了第k+1头奶牛就会立刻上场跳舞，当所有奶牛跳完舞以后我们认为这次表演结束。现在给出奶牛个数，最多用时，每头奶牛的跳舞时间。求舞台最小为多大。 思路：本来写了个程序以为这道题很简 ...
分类：
其他 时间：
2017-01-16 22:27:48
收藏：
0 评论：
0 赞：
0 阅读：
250
配置环境变量 1、系统变量 Path：添加D:\Program Files\opencv\build\x86\vc12\bin 2、用户变量：添加opencv变量，值D:\Program Files\opencv\build，添加PATH变量（有就不需要添加，但是值需要添加）值D:\Program ...
分类：
其他 时间：
2017-01-16 22:27:29
收藏：
0 评论：
0 赞：
0 阅读：
164
