3396: [Usaco2009 Jan]Total flow 水流Time Limit:1 SecMemory Limit:128 MBSubmit:179Solved:73[Submit][Status]DescriptionInput第1行输入N，之后N行每行描述一条水管，前两个英文字母表示水...
分类：
其他好文 时间：
2015-02-22 21:56:16
阅读次数：
155
首先，资金流入流出的计算是通过软件来计算的，我能够通过交易所的成交规则及软件的统计方法来实现这样的资金的流入流出数据欺骗。 我们先来了解内盘和外盘的概念。内盘：以买入价成交的交易，买入成交数量统计增加内盘。外盘：以卖出价成交的交易。卖出量统计增加外盘。一般的软件，事实上就是简单地用外盘手数减去内盘手...
分类：
其他好文 时间：
2015-02-22 21:54:34
阅读次数：
131
我们发现i≥ sqrt(n)时，每次更新的乘数即ceil(n / i)是不变的假设i * x更新了n以后，用(i + 1) * y更新，则(i + 1) * y ≥ i * x =>y ≥ x * i / (i + 1) =>y ≥ x - x / (i + 1)也即x 11 12 using n....
分类：
其他好文 时间：
2015-02-22 21:56:13
阅读次数：
145
using NPOI.HPSF;using NPOI.HSSF.UserModel;using NPOI.SS.UserModel;using System;using System.Collections.Generic;using System.ComponentModel;using Syst...
分类：
其他好文 时间：
2015-02-22 21:53:40
阅读次数：
143
感谢以下文章作者：http://blog.csdn.net/kuribohg/article/details/41458639http://vfleaking.blog.163.com/blog/static/174807634201311011201627/http://blog.csdn.net...
分类：
其他好文 时间：
2015-02-22 21:55:30
阅读次数：
186
软件工程——理论、方法与实践 之 软件工程中的形式化方法从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。形式化方法运用于软件工程实践当中主要目的是保...
分类：
其他好文 时间：
2015-02-22 21:53:09
阅读次数：
190
看书的时候发现这个习题没有答案，于是就想把自己做的结果贴上来，和大家分享分享！ 首先把题目贴上来吧：/*********** 8.10节中提及POSIX.1要求在调用exec时关闭打开的目录流。按下列方法对此进行验证，对根目录调用opendir，查看在你的系统上实现的DIR结构，然后打印执行...
分类：
其他好文 时间：
2015-02-22 21:53:19
阅读次数：
159
区别如下： 1、简单的说手自一体是自动挡加了一些功能的，是可以人为的给变速箱电脑一个换档信息，就好象手动档车辆那样换档的感觉一样 （图为手自一体的汽车）。 2、就是有两套变速箱，各自的变速比是不同的，在不同的行车环境可选择不同的变速方式，如在密集交通时可使用自动档，以减轻操作强度；在长途或高速...
分类：
其他好文 时间：
2015-02-22 21:54:48
阅读次数：
184
1.我们不禁要问，什么是"服务集群"？什么是"企业级开发"？ 既然说了EJB 是为了"服务集群"和"企业级开发"，那么，总得说说什么是所谓的"服务集群"和"企业级开发"吧！这个问题事实上挺关键的，由于J2EE 中并没有说明确，也没有详细的指标或者事例告诉广大程序猿什么时候用EJB 什么时候不用。于是...
分类：
其他好文 时间：
2015-02-22 21:54:33
阅读次数：
137
网上说高斯消元得到下三角矩阵然后都是phi(i)...反着我是搞不出来打个表什么的还是能看出来点奇怪的东西，比如后面能整除前面的，然后再乱搞吧2333 1 /************************************************************** 2 Pr...
分类：
其他好文 时间：
2015-02-22 21:51:13
阅读次数：
235
一、setMaskFilter(MaskFilter maskfilter)setMaskFilter(MaskFilter maskfilter)是paint中的方法，它可以用来对图像进行一定的处理。这个方法需要传入一个MaskFilter对象。但MaskFilter类中没有任何实现方法，所以我们...
分类：
其他好文 时间：
2015-02-22 21:52:44
阅读次数：
181
最近看见了一个迅雷地址，发现将其转换为普通链接的工具后，发现所谓专用地址地址就是原地址前加一个表示迅雷的前缀，后进行Base64编码。查阅Base64编码过程后，突发奇想：能否做一个Base32算法？再查Base32，发现已经有具体的算法，而且比较复杂。于是，打算做一个山寨的Base32算法，这个....
分类：
其他好文 时间：
2015-02-22 21:53:23
阅读次数：
181
TextOutputFormat 默认输出字符串输出格式；SequenceFileOutputFormat 序列化文件输出；MultipleOutputs 可以把输出数据输送到不同的目录；下面我们以分析FileOutputFormat为例，得到一些启迪，来满足我们的某些需要，如修改keyvalue的...
分类：
其他好文 时间：
2015-02-22 21:51:23
阅读次数：
329
DescriptionA国有N座城市，依次标为1到N。同时，在这N座城市间有M条单向道路，每条道路的长度是一个正整数。现在，A国交通部指定了一条从城市1到城市N的路径，并且保证这条路径的长度是所有从城市1到城市N的路径中最短的。不幸的是，因为从城市1到城市N旅行的人越来越多，这条由交通部指定的路径经...
分类：
其他好文 时间：
2015-02-22 21:51:58
阅读次数：
427
git hub的GUI软件配置与使用http://www.cnblogs.com/haore147/p/3618930.html#undefined
分类：
其他好文 时间：
2015-02-22 21:50:36
阅读次数：
144
阅读第五章所了解到的基本知识，形式化方法是指将离散数学的方法用于解决软件工程领域的问题,主要包括建立精确的数学模型以及对模型的分析活动。主要目的是保证软件的正确性。已建立的形式化方法可分为操作类和描述类。操作类方法基于状态和转移;描述类基于数学公理和概念。形式证明与验证技术主要包括模型检测(适用于有...
分类：
其他好文 时间：
2015-02-22 21:50:26
阅读次数：
120
本章主要讲了面向对象分析，从分析的概念、识别分析类、定义交互行为、建立分析类图和评审分析模式几个方面展开讲述。面向对象分析模型由三个独立模型，功能模型、分析对象模型、动态模型。分析的概念中主要讲了分析类与分析活动，分析类用于描述系统中较高层次的对象，从软件功能需求来看能划分为实体类、边界类和控制类。...
分类：
其他好文 时间：
2015-02-22 21:51:22
阅读次数：
194
