小明有1.15美元硬币，他却无法把1美元、50美分，25美分，10美分，5美分换成硬币，小明有哪些硬币？分别有多少枚？
答案：50美分1枚，25美分1枚，10美分4枚。
分析：如果小明换不了1美元，那么他拥有的50美分硬币不会超过1枚；如果他换不了50美分，那么他拥有的25美分硬币不会超过1枚，10美分硬币不会超过4枚；10美分换不了，意味着他的5美分硬币不会超过1枚；5美分换不了，他的...
分类：
其他好文 时间：
2015-02-10 15:27:56
阅读次数：
166
1.形式化方法 (1)广义上：将离散数学的方法用于解决软件工程领域的问题。 包括:建立精确的数学模型、对模型的分析活动。 狭义上：进行形式化的规格说明、模型推理、验证。 (2)作用：解决规格说明的二义性、提高精确性、提高确认手段。 (3)根本上，软件的设计过程就是一个建立形式规约的过程。 程序---...
分类：
其他好文 时间：
2015-02-08 16:50:46
阅读次数：
195
软件工程概论第五章 软件工程中的形式化方法1.形式化方法基本概念 形式约束：软件规格说明是软件系统对象，对象的操作方法，以及对象行为的描述。在系统的开发及演化过程中，对象，对象的性质以及操作应作为一个整体来处理。形式证明与验证：主要包括模型检验和定理证明。程序求精：是将自动推理和形式化方法相结合，从...
分类：
其他好文 时间：
2015-02-08 10:12:57
阅读次数：
116
1：非基于词典的分词（人工智能领域）
相当于人工智能领域计算。一般用于机器学习，特定领域等方法，这种在特定领域的分词可以让计算机在现有的规则模型中，
推理如何分词。在某个领域（垂直领域）分词精度较高。例：比较流行的语义网：基于本体的语义检索。
2：基于词典的分词（最为常见）
这类分词算法比较常见，比如正向/逆向匹配。例如： mmseg分词器 就是一种基于词典的分词算法。以最大正向匹配为主，多
种 消除歧义算法为辅。但是不管怎么分。该类分词方法，分词精度不高。由于中文比较复杂，不推荐采用正向...
分类：
编程语言 时间：
2015-02-08 09:12:11
阅读次数：
327
GMM这是图像处理，模式识别和深度学习领域一个百嚼不烂的话题。很多人被一堆数学公式，迭代求和和看似毫无联系的likehood EM算法搞得糊里糊涂。其实就算羡慕着很多牛气哄哄的学霸炫耀公式推理的IT普工们，我们有没有问过自己，我们真的知道GMM吗？于是有些人和我一样有了如下的思考和疑问：1.到底什么...
分类：
编程语言 时间：
2015-02-07 18:40:37
阅读次数：
10644
java8 函数引用 -> 一种利用现有函数简单推理为函数表达式即简化的函数表达式...
分类：
编程语言 时间：
2015-02-04 14:46:24
阅读次数：
169
简单介绍下sqlmap吧，它是一个自动化的SQL注入工具，其主要功能是扫描，发现并利用给定的URL的SQL注入漏洞，目前支持的数据库是MS-SQL,,MYSQL,ORACLE和POSTGRESQL。SQLMAP采用四种独特的SQL注入技术，分别是盲推理SQL注入，UNION查询SQL注入，堆查询和基...
分类：
数据库 时间：
2015-02-03 14:48:35
阅读次数：
171
和平镇，镇如其名，几百年来一直非常和平，夜不闭户路不拾遗。但是这一年来，镇上金光寺的和尚却開始不断离奇死亡……衙门里新调来的李捕头正好负责这个案子，经过了几个月的不眠不休，现场侦查和缜密推理之后，一切最终真相大白了。事情是这种。怎样避免命案的发生呢？换个角度看世界，仅仅要对不增值的环节进行流程优化就...
分类：
其他好文 时间：
2015-02-02 19:31:33
阅读次数：
194
从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。软件规格说明是软件对软件系统对象，对象的操作方法，以及对象行为的描述。软件的设计过程就是一个建立.....
分类：
其他好文 时间：
2015-02-02 14:04:02
阅读次数：
127
题目大意：有N个篮子，编号为1~N，篮子理由很多金币，只有一个篮子中每个金币中w-d，
其他篮子中每个金币都重w。现在从第1个篮子里拿1个金币，从第2个篮子里拿2个金币，…，
一直到到第N-1个篮子里拿N-1个金币。第N个篮子不拿。给出这些金币的全部重量和all，问：
第几个篮子里的金币是轻的，求出轻金币的个数。
思路：数学题，1~N个篮子里金币应有的总重量为：(N-1)*N/2*w，减去这些金币的全部重量
和all，得到总的轻金币比普通金币差的重量，每个轻金币和普通金币差的重量为d，两者相除，
得出轻金币...
分类：
其他好文 时间：
2015-01-31 14:43:40
阅读次数：
210
