搜索资源列表
角谷猜想
- 日本一位中学生发现一个奇妙的“定理”，请角谷教授证明 ，而教授*为力，于是产生角谷猜想。猜想的内容是：任给一 个自然数，若为偶数除以2，若为奇数则乘3加1，得到一个新的 自然数后按照上面的法则继续演算，若干次后得到的结果必然为 1。请编程验证。 *问题分析与算法设计 本题是一个沿未获得一般证明的猜想，但屡试不爽，可以用 程序验证。 题目中给出的处理过程很清楚，算法不需特
Os_300
- 某新建超市要在其出入口大厅设计安装一套能自动管理的储物柜系统。寄存物品时要首先申请一个储物柜，如果有空闲的，则自动打开，同时给顾客打印一个密码或柜号作为寄存凭证，用户可随即放入物品并关闭储物柜；如果没有空闲的，则告知顾客或报警。提取物品时，首先输入自己的寄存密码或柜号，如果正确，对应的储物柜自动打开，顾客可取出寄存物品。所以要求在储物柜的中间位置设置一个控制键盘，包括0~9十个数字键、“确定”键、“取消”键和一个用于开柜的“存包”键。-
shuju
- 文章通过对实序列快速傅里叶变换的算法推导及Mallat 算法原理的分析，根据离散小波变换（DWT）算 法结构特征，提出了一种离散小波的快速变换算法，给出了相应的算法步骤。从数学理论上进行了论证，并把该算法 应用到静态图像处理中，得到了很好的快速和重建效果，具有一定的实用价值。 关键词：小波分析；Mallat 算法；快速小波算法 图像处理 中图分类号：TN914 文献标识码：A 1 引言 小波分析是近十多年来迅速发
wangluoduiliao
- 这是我写的最有成就的小程序了，时间上用了2个小时，虽然是小了点，但最起码证明我有进步了。-I wrote this is the most successful small program, the time spent two hours, though small, But at least I have proof of progress.
IGA
- 一个免疫遗传算法的介绍，包括TSP例子、算法各特点的详细证明等。-an immune genetic algorithms, including TSP example, the algorithm in detail the characteristics of proof.
kaer_logic
- 科学发现的逻辑》是波珀的代表作，也是现代科学哲学颇享盛名的主要代表作之一。本书主要讨论知识理论的两个基本问题：划界和归纳问题。作者论证科学与非科学的划界标准不是可证实性而是可证伪性，科学的方法不是归纳法而是演绎检验法。书中提出的有关科学的性质和方法以及科学知识增长的独创性论点，对科学哲学、认识论、逻辑学、方法论以及科学史、自然科学、医学、设计理论、社会科学均有影响。一些著名科学家都认为他的方法符合科学研究的实际。-the logic o
chouyang
- 这是有关通信中的抽样定理的一些证明,希望能对大家有所启发.-this is the communication of the sampling theorem proof, we hope to inspire.
Gauss_Seidel_iterative
- 迭代法是解线性代数方程组的另一类方法，特别适用于解大型稀疏线性方程组。它的基本思想是针对求解问题预先设计好某种迭代格式，从而产生求解问题的近似解迭代序列，在迭代序列收敛于精确解的情况下，按精度要求取某个迭代值作为问题解的近似值。迭代法具有原始系数举证始终不变，算法简单，编写程序较方便，所需存储单元较少的优点。-iterative method was the linear algebraic equations of the other
PEMFC
- 质子交换膜燃料电池组工作时，产生大量热量，能否确保质子交换膜燃料电池的废热及时排出己成为其能否实用化的关键之一。直接采用温度传感器在质子交换膜燃料电池的尾气出曰处测得温度，利用灰色系统解释‘小样木”、“贫信息”不确定性问题的特点，建立顶测尾气温度的新型数学模型，对卜一时刻的出曰温度进行顶测，井根据顶测的数据对风扇功率进行顶调节，确保质子交换膜燃料电池工作在适宜的温度中。通过对实验数据的分析，此模型己达到较好的顶测精度，井且由于程序的简单
Strand
- 提出了Strand空间模型中证明安全协议的一个新思路，它从安全密钥的概念出发，参照基于理想概念的 证明方法，得出证明所需的预备结论，从而对协议的秘密属性与认证属性进行证明。此外，还给出了一个针对 Yahalom．BAN协议安全性的证明实例，从中可以看到该思路非常适于采用对称加密体制且具有密钥分发功能的三 方认证协议的证明，并且它还使得证明过程简洁而直观。-the Strand space model to prove the
insert_list
- By the proof of Lemma 2 of Section 5.2, this accomplished as follows:
euler
- By the proof of Lemma 2 of Section 5.2, this accomplished as follows:
Gauss_seidle
- By the proof of Lemma 2 of Section 5.2, this accomplished as follows:
Reversible_Jump_MCMC_Bayesian_Model_Selection
- This demo nstrates the use of the reversible jump MCMC algorithm for neural networks. It uses a hierarchical full Bayesian model for neural networks. This model treats the model dimension (number of neurons), model param
2262
- 北京大学ACM比赛题目 In 1742, Christian Goldbach, a German amateur mathematician, sent a letter to Leonhard Euler in which he made the following conjecture: Every even number greater than 4 can be written as the sum of
snifshake-1.0.0.tar
- snifshake -- proof of concept tcp handshake with spoofed packets
test28
- This tutorial is intended to introduce you to Bezier Surfaces in the hopes that someone more artistic than myself will do something really cool with them and show all of us. This not intended as a complete Bezier patch l
chuck
- offered the proof of concepts (timing, concurrency, on-the-fly programming) with a generous propensity to explode
Simple_MinCut
- Abstract. We present an algorithm for finding the minimum cut of an undirected edge-weighted graph. It is simple in every respect. It has a short and compact descr iption, is easy to implement, and has a surprisingly
Fourier-slice-proof-of-the-theorem
- 该源代码是以matlab内置的体模为例，分别从0和90度来证明傅里叶切片定理，包括源代码和结果的截图。-Fourier slice proof of the theorem