stc算法能准确地发现矛盾吗

① 有哪位知识份子能告诉本人证明勾股定理的方法吗

勾股定理的证明
【证法1】（课本的证明）

做8个全等的直角三角形，设它们的两条直角边长分别为a、b，斜边长为c，再做三个边长分别为a、b、c的正方形，把它们像上图那样拼成两个正方形.
从图上可以看到，这两个正方形的边长都是a + b，所以面积相等. 即
， 整理得 .
【证法2】（邹元治证明）
以a、b 为直角边，以c为斜边做四个全等的直角三角形，则每个直角三角形的面积等于 . 把这四个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上，B、F、C三点在一条直线上，C、G、D三点在一条直线上.
∵ RtΔHAE ≌ RtΔEBF,
∴ ∠AHE = ∠BEF.
∵ ∠AEH + ∠AHE = 90º,
∴ ∠AEH + ∠BEF = 90º.
∴ ∠HEF = 180º―90º= 90º.
∴ 四边形EFGH是一个边长为c的正方形. 它的面积等于c2.
∵ RtΔGDH ≌ RtΔHAE,
∴ ∠HGD = ∠EHA.
∵ ∠HGD + ∠GHD = 90º,
∴ ∠EHA + ∠GHD = 90º.
又∵ ∠GHE = 90º,
∴ ∠DHA = 90º+ 90º= 180º.
∴ ABCD是一个边长为a + b的正方形，它的面积等于 .
∴ . ∴ .
【证法3】（赵爽证明）
以a、b 为直角边（b>a）， 以c为斜
边作四个全等的直角三角形，则每个直角
三角形的面积等于 . 把这四个直角三
角形拼成如图所示形状.
∵ RtΔDAH ≌ RtΔABE,
∴ ∠HDA = ∠EAB.
∵ ∠HAD + ∠HAD = 90º，
∴ ∠EAB + ∠HAD = 90º，
∴ ABCD是一个边长为c的正方形，它的面积等于c2.
∵ EF = FG =GH =HE = b―a ,
∠HEF = 90º.
∴ EFGH是一个边长为b―a的正方形，它的面积等于 .
∴ .
∴ .
【证法4】（1876年美国总统Garfield证明）
以a、b 为直角边，以c为斜边作两个全等的直角三角形，则每个直角三角形的面积等于 . 把这两个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上.
∵ RtΔEAD ≌ RtΔCBE,
∴ ∠ADE = ∠BEC.
∵ ∠AED + ∠ADE = 90º,
∴ ∠AED + ∠BEC = 90º.
∴ ∠DEC = 180º―90º= 90º.
∴ ΔDEC是一个等腰直角三角形，它的面积等于 .
又∵ ∠DAE = 90º, ∠EBC = 90º,
∴ AD‖BC.
∴ ABCD是一个直角梯形，它的面积等于 .
∴ .
∴ .
【证法5】（梅文鼎证明）
做四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上. 过C作AC的延长线交DF于点P.
∵ D、E、F在一条直线上, 且RtΔGEF ≌ RtΔEBD,
∴ ∠EGF = ∠BED，
∵ ∠EGF + ∠GEF = 90°，
∴ ∠BED + ∠GEF = 90°，
∴ ∠BEG =180º―90º= 90º.
又∵ AB = BE = EG = GA = c，
∴ ABEG是一个边长为c的正方形.
∴ ∠ABC + ∠CBE = 90º.
∵ RtΔABC ≌ RtΔEBD,
∴ ∠ABC = ∠EBD.
∴ ∠EBD + ∠CBE = 90º.
即 ∠CBD= 90º.
又∵ ∠BDE = 90º，∠BCP = 90º，
BC = BD = a.
∴ BDPC是一个边长为a的正方形.
同理，HPFG是一个边长为b的正方形.
设多边形GHCBE的面积为S，则

,
∴ .
【证法6】（项明达证明）
做两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a） ，斜边长为c. 再做一个边长为c的正方形. 把它们拼成如图所示的多边形，使E、A、C三点在一条直线上.
过点Q作QP‖BC，交AC于点P.
过点B作BM⊥PQ，垂足为M；再过点
F作FN⊥PQ，垂足为N.
∵ ∠BCA = 90º，QP‖BC，
∴ ∠MPC = 90º，
∵ BM⊥PQ，
∴ ∠BMP = 90º，
∴ BCPM是一个矩形，即∠MBC = 90º.
∵ ∠QBM + ∠MBA = ∠QBA = 90º，
∠ABC + ∠MBA = ∠MBC = 90º，
∴ ∠QBM = ∠ABC，
又∵ ∠BMP = 90º，∠BCA = 90º，BQ = BA = c，
∴ RtΔBMQ ≌ RtΔBCA.
同理可证RtΔQNF ≌ RtΔAEF.
从而将问题转化为【证法4】（梅文鼎证明）.
【证法7】（欧几里得证明）
做三个边长分别为a、b、c的正方形，把它们拼成如图所示形状，使H、C、B三点在一条直线上，连结BF、CD. 过C作CL⊥DE，
交AB于点M，交DE于点L.
∵ AF = AC，AB = AD，
∠FAB = ∠GAD，
∴ ΔFAB ≌ ΔGAD，
∵ ΔFAB的面积等于 ，
ΔGAD的面积等于矩形ADLM的面积的一半，
∴ 矩形ADLM的面积 = .
同理可证，矩形MLEB的面积 = .
∵ 正方形ADEB的面积
= 矩形ADLM的面积 + 矩形MLEB的面积
∴ ，即 .
【证法8】（利用相似三角形性质证明）
如图，在RtΔABC中，设直角边AC、BC的长度分别为a、b，斜边AB的长为c，过点C作CD⊥AB，垂足是D.
在ΔADC和ΔACB中，
∵ ∠ADC = ∠ACB = 90º，
∠CAD = ∠BAC，
∴ ΔADC ∽ ΔACB.
AD∶AC = AC ∶AB，
即 .
同理可证，ΔCDB ∽ ΔACB，从而有 .
∴ ，即 .
【证法9】（杨作玫证明）
做两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a），斜边长为c. 再做一个边长为c的正方形. 把它们拼成如图所示的多边形. 过A作AF⊥AC，AF交GT于F，AF交DT于R. 过B作BP⊥AF，垂足为P. 过D作DE与CB的延长线垂直，垂足为E，DE交AF于H.
∵ ∠BAD = 90º，∠PAC = 90º，
∴ ∠DAH = ∠BAC.
又∵ ∠DHA = 90º，∠BCA = 90º，
AD = AB = c，
∴ RtΔDHA ≌ RtΔBCA.
∴ DH = BC = a，AH = AC = b.
由作法可知， PBCA 是一个矩形，
所以 RtΔAPB ≌ RtΔBCA. 即PB =
CA = b，AP= a，从而PH = b―a.
∵ RtΔDGT ≌ RtΔBCA ,
RtΔDHA ≌ RtΔBCA.
∴ RtΔDGT ≌ RtΔDHA .
∴ DH = DG = a，∠GDT = ∠HDA .
又∵ ∠DGT = 90º，∠DHF = 90º，
∠GDH = ∠GDT + ∠TDH = ∠HDA+ ∠TDH = 90º，
∴ DGFH是一个边长为a的正方形.
∴ GF = FH = a . TF⊥AF，TF = GT―GF = b―a .
∴ TFPB是一个直角梯形，上底TF=b―a，下底BP= b，高FP=a +（b―a）.
用数字表示面积的编号（如图），则以c为边长的正方形的面积为
①
∵ = ，
，
∴ = . ②
把②代入①，得

= = .
∴ .
【证法10】（李锐证明）
设直角三角形两直角边的长分别为a、b（b>a），斜边的长为c. 做三个边长分别为a、b、c的正方形，把它们拼成如图所示形状，使A、E、G三点在一条直线上. 用数字表示面积的编号（如图）.
∵ ∠TBE = ∠ABH = 90º，
∴ ∠TBH = ∠ABE.
又∵ ∠BTH = ∠BEA = 90º，
BT = BE = b，
∴ RtΔHBT ≌ RtΔABE.
∴ HT = AE = a.
∴ GH = GT―HT = b―a.
又∵ ∠GHF + ∠BHT = 90º，
∠DBC + ∠BHT = ∠TBH + ∠BHT = 90º，
∴ ∠GHF = ∠DBC.
∵ DB = EB―ED = b―a，
∠HGF = ∠BDC = 90º，
∴ RtΔHGF ≌ RtΔBDC. 即 .
过Q作QM⊥AG，垂足是M. 由∠BAQ = ∠BEA = 90º，可知 ∠ABE
= ∠QAM，而AB = AQ = c，所以RtΔABE ≌ RtΔQAM . 又RtΔHBT ≌
RtΔABE. 所以RtΔHBT ≌ RtΔQAM . 即 .
由RtΔABE ≌ RtΔQAM，又得QM = AE = a，∠AQM = ∠BAE.
∵ ∠AQM + ∠FQM = 90º，∠BAE + ∠CAR = 90º，∠AQM = ∠BAE，
∴ ∠FQM = ∠CAR.
又∵ ∠QMF = ∠ARC = 90º，QM = AR = a，
∴ RtΔQMF ≌ RtΔARC. 即 .
∵ ， ， ，
又∵ ， ， ，
∴
=
= ，
即 .
【证法11】（利用切割线定理证明）
在RtΔABC中，设直角边BC = a，AC = b，斜边AB = c. 如图，以B为圆心a为半径作圆，交AB及AB的延长线分别于D、E，则BD = BE = BC = a. 因为∠BCA = 90º，点C在⊙B上，所以AC是⊙B 的切线. 由切割线定理，得

=
=
= ，
即 ，
∴ .
【证法12】（利用多列米定理证明）
在RtΔABC中，设直角边BC = a，AC = b，斜边AB = c（如图）. 过点A作AD‖CB，过点B作BD‖CA，则ACBD为矩形，矩形ACBD内接于一个圆. 根据多列米定理，圆内接四边形对角线的乘积等于两对边乘积之和，有
，
∵ AB = DC = c，AD = BC = a，
AC = BD = b，
∴ ，即 ，
∴ .
【证法13】（作直角三角形的内切圆证明）
在RtΔABC中，设直角边BC = a，AC = b，斜边AB = c. 作RtΔABC的内切圆⊙O，切点分别为D、E、F（如图），设⊙O的半径为r.
∵ AE = AF，BF = BD，CD = CE，
∴
= = r + r = 2r,
即 ，
∴ .
∴ ，
即 ，
∵ ，
∴ ，
又∵ = =
= = ，
∴ ，
∴ ，
∴ ， ∴ .
【证法14】（利用反证法证明）
如图，在RtΔABC中，设直角边AC、BC的长度分别为a、b，斜边AB的长为c，过点C作CD⊥AB，垂足是D.
假设 ，即假设 ，则由
= =
可知 ，或者 . 即 AD：AC≠AC：AB，或者 BD：BC≠BC：AB.
在ΔADC和ΔACB中，
∵ ∠A = ∠A，
∴ 若 AD：AC≠AC：AB，则
∠ADC≠∠ACB.
在ΔCDB和ΔACB中，
∵ ∠B = ∠B，
∴ 若BD：BC≠BC：AB，则
∠CDB≠∠ACB.
又∵ ∠ACB = 90º，
∴ ∠ADC≠90º，∠CDB≠90º.
这与作法CD⊥AB矛盾. 所以， 的假设不能成立.
∴ .
【证法15】（辛卜松证明）

设直角三角形两直角边的长分别为a、b，斜边的长为c. 作边长是a+b的正方形ABCD. 把正方形ABCD划分成上方左图所示的几个部分，则正方形ABCD的面积为 ；把正方形ABCD划分成上方右图所示的几个部分，则正方形ABCD的面积为 = .
∴ ,
∴ .
【证法16】（陈杰证明）
设直角三角形两直角边的长分别为a、b（b>a），斜边的长为c. 做两个边长分别为a、b的正方形（b>a），把它们拼成如图所示形状，使E、H、M三点在一条直线上. 用数字表示面积的编号（如图）.
在EH = b上截取ED = a，连结DA、DC，
则 AD = c.
∵ EM = EH + HM = b + a , ED = a，
∴ DM = EM―ED = ―a = b.
又∵ ∠CMD = 90º，CM = a，
∠AED = 90º， AE = b，
∴ RtΔAED ≌ RtΔDMC.
∴ ∠EAD = ∠MDC，DC = AD = c.
∵ ∠ADE + ∠ADC+ ∠MDC =180º，
∠ADE + ∠MDC = ∠ADE + ∠EAD = 90º，
∴ ∠ADC = 90º.
∴ 作AB‖DC，CB‖DA，则ABCD是一个边长为c的正方形.
∵ ∠BAF + ∠FAD = ∠DAE + ∠FAD = 90º，
∴ ∠BAF=∠DAE.
连结FB，在ΔABF和ΔADE中，
∵ AB =AD = c，AE = AF = b，∠BAF=∠DAE，
∴ ΔABF ≌ ΔADE.
∴ ∠AFB = ∠AED = 90º，BF = DE = a.
∴ 点B、F、G、H在一条直线上.
在RtΔABF和RtΔBCG中，
∵ AB = BC = c，BF = CG = a，
∴ RtΔABF ≌ RtΔBCG.
∵ ， ， ，
，
∴
=
=
=
∴ .

② 算法的时间复杂度和空间复杂度之间有矛盾吗

可以说，有。
对于某个程序，对他进行时间上的优化，可以想到用数组记录关键字，分治等方法。。。很多都是要用更多空间，甚至说当算法在基础空间下采用了最佳算法时，只有通过以空间换时间的方法优化。
尤其是DP，对于不懂降维、滚动的新手来说，乱开内存导致爆cena的现象时有出现，曾经出现过开了2500MB+的。。。。。。但现在无论DEV C++还是FP或其它的什么都有极大的内存配置，考试时一般也允许开到128MB。所以放心开吧。

③ stc的要素包括

21世纪是复杂性的世纪,复杂性研究被预言将在新世纪获得重大突破。作为实现这一科学家共同愿望的途径之一,复杂网络研究被寄予了厚望,吸引了各个领域的众多研究者的投入。作为本文关注的对象,有关复杂社会网络的研究在近年来复杂网络领域中所受关注和所获进展远不及研究者对生物网络、信息技术网络的投入。其原因可能在于有人参与的社会网络往往是难于理解和解释的。本论文对复杂社会网络研究中与结构有关的一些重要问题进行了探讨,内容主要围绕复杂社会网络结构测度和网络模型两个主题。前者与对实际网络结构特征的统计分析有关,内容涉及结构测度的定量方法,准确性和鲁棒性分析三个方面,分别对应本文的第二章至第四章。围绕网络模型这一主题,本文第五章至第八章分别从模型建构和模型评估角度进行了研究,其中第五章和第六章关注对适用于研究复杂社会网络结构演化的方法的开发和应用,第七章和第八章则考虑了对适用于复杂社会网络模型评估的网络机制推断方法的开发和应用。概括而言,对复杂社会网络的深入研究可以使我们更好地了解现实世界当中的社会经济复杂系统,探索各种与网络有关的社会经济现象和问题的一般本质。依据结构决定功能这一角度,本论文对网络结构的关注正是复杂社会网络深入研究的基础。 概括而言,本论文研究的主要内容包括如下一些方面。 一、对社会网络结构定量分析的规范框架的研究 第二章立足于社会网络结构研究从主要关注以某个结点或某类结点出发测度的网络结构特征到更多关注统计意义上的结构特征这一新的发展趋势,对网络结构分析的定量方法在从传统社会学研究到复杂网络研究所采用的各种测度指标进行了细致的总结,包括指标的实际含义,具体计算和经验研究结果,从而为经验研究和理论研究中各种规模社会网络结构的规范分析提供清晰一致的框架。 二、对复杂网络中幂律函数标度指数的估计和检验方法的研究 第三章内容涉及测度指标计算的准确性问题:对于目前复杂网络结构特征分析中普遍发现的幂律函数形式而言,对其标度指数的估计采用现有的图形方法在准确性上存在不足。针对此问题,第三章提出采用新的方法来提高估计的准确性。在给出新方法的理论估计和数值求解过程基础上,文中引入了两个统计量来检验新方法的估计效果。通过CNN模型网络的应用例验证了新方法的有效性。 三、对不同抽样方法对复杂网络多重结构特征的影响的研究 在网络结构测度研究方面本文还关注了复杂网络结构特征对数据抽样的鲁棒性问题:在数据缺失(即被建构用来研究的网络是实际网络的不完全子网络)这一因素的扰动下,网络的结构特征是否能够保持?文中针对现有研究工作的不足,在抽样方法以及被考察的网络结构特征上做了两点新的扩展。在此基础上选取一个具有多重结构特征的社会网络典型模型,研究了不同的抽样方法对网络多重结构特征的影响。在结果分析中,除了定性比较网络结构特征在不同抽样方法下的改变外,文中还通过定义抽样变形率,实现了对网络多重结构特征的定量变化测度。考虑到实际应用的需要,文中对中枢抽样策略的实施进行了讨论,给出了可供实际操作的建议。 四、对适用于研究复杂社会网络结构演化的方法的开发和应用 自第五章开始的内容关注了网络模型研究这一重要主题,其中第五章从方法开发的角度来探讨如何建模和分析复杂社会网络结构演化的问题。在总结了现有文献中与复杂社会网络建模有关的研究的基础上,文中提出了基于网络结构和主体策略行为的动态耦合模型(STC)的复杂社会网络结构演化研究方法。由于STC模型涉及到网络结构和主体策略行为两个方面,在模型构建和分析上比较复杂,文中总结提出了一个STC模型的四要素建模框架。在此基础上文中探讨了对STC模型的分析方法,特别就回归分析技术在STC模型分析中的运用提出了一个由四个步骤构成的实施过程。 运用上述方法,第六章通过对一个具体的STC模型的构建和分析,考察了网络结构和主体策略行为的共同演化情况,特别关注网络结构的演化受主体策略行为影响的情况。文中根据四要素建模框架,对目前文献中的研究在此四个方面分别进行了扩展;并在对演化结果的考察中引入度异质性、聚集系数、度相关性这些针对网络结构演化情况的定量测度。通过运用特定情景仿真分析方法以及回归技术,文中从三个方面分析了演化结果,包括群体合作涌现的网络结构动态影响,网络结构特征涌现的主体策略行为动态影响,以及网络结构特征受微观变量影响的定量情况。五、对适用于复杂社会网络模型评估的网络机制推断方法的开发和应用 第七章和第八章的内容关注了网络模型研究的另一个重要问题即模型评估,其中第七章研究目的是对适用于复杂社会网络模型评估的方法开发。在分析目前方法不足的基础上,文中引入新的子图普查算法提出了基于子图密度普查的快速网络机制推断方法,并通过对蛋白质相互作用网络的应用例验证了新方法的效果。 第八章运用基于子图密度普查的快速网络机制推断方法研究了一个典型的加权形式复杂社会网络即加权科研合作网络。文中在总结目前文献中提出的加权复杂网络模型特别是面向科研合作网络构建的模型之基础上,选用一个经典的科研合作网络数据COND-MAT,采用边抽样的RANDESU算法和结点抽样的RANDESU算法分别实现子图密度普查,并对网络机制推断结果从预测分数,准确性和鲁棒性调查以及比较实际网络与模型生成网络的结构相似性图示四个方面进行了定量和定性分析,以提供对网络模型预测效果的评估以及对目前模型改进的建议。 概括而言,本论文特点在于对针对复杂社会网络的方法的研究,这些方法涉及对实际网络的经验研究、结构分析、建模、模型评估等与结构有关的诸多重要之方面。具体的,本文的创新性主要体现在如下四个方面: 1、提出了针对两个重要的幂律函数的标度指数的估计新方法。与目前文献普遍采用的图形方法相比,新方法有效提高了对两个标度指数估计的准确性。 2、研究了数据缺失对网络结构的影响以及策略性解决方法。此项研究获得的创新成果在于:(1)发现抽样方法的不同对网络多重结构特征具有不可忽视的影响;(2)结合实际网络的结构特征,提出中枢抽样这一策略性方法。 3、开发了适用于研究复杂社会网络结构演化的方法并成功应用。此方法回答了如何建模和分析复杂社会网络结构演化的问题。对文中提出的STC模型的应用在本文中可能不够深入,但这是一个新研究思路。这部分研究获得的初步成绩包括:(1)证实了主体策略行为对网络结构特征涌现的关键作用;(2)从网络动态性角度提出了针对鹰鸽博弈下合作不足问题的有效方式;(3)基于对模型的回归分析提供了对影响网络结构的微观因素的调控建议。 4、开发了适用于复杂社会网络模型评估的网络机制推断方法并成功应用于加权科研合作网络。与目前方法相比,新的方法能够实现对通常具有较大网络规模以及较高网络密度的复杂社会网络的快速机制推断。在针对加权科研合作网络这一典型的复杂社会网络的应用中,本文获得了对相关网络模型预测效果的评估,并提出了对目前模型改进的建议。……

④ 怎么设计蔬菜大棚温湿度智能控制系统

温湿度智能控制系统采用了多点温湿度传感器采集各点数据，首先就保证了数据的准确性，及时性，其次采集信息通过4位数码管显示，方便我们排查干扰条件，当采集条件超过我们预设的最低或最高值时，系统通过报警电路对我们进行及时的数据报警，保证大棚环境的稳定。
1.1
蔬菜大棚特点及监控要求分析

塑料大棚种植蔬菜是反季节种植,外界环境的变化与正常蔬菜生长发育所处自然环境的变化相反,塑料大棚本身调节环境因素的能力有限,必然导致蔬菜生长发育与环境因素以及大棚内环境因素之间的矛盾难以调和,给生产带来诸多问题。
塑料大棚环境的主要特点是:
①塑料大棚的半封闭式结构不利于人工检测棚内各个点的温湿度。②塑料大棚的半封闭式结构决定了棚内湿度大,湿度
过大极易导致病虫害发生。③棚内环境多变、复杂,光照不足、温度低,同时还存在温差过大等问题,温度过高过低或温差大都不利于蔬菜生长。④蔬菜大棚在温湿
度控制上属于复杂的非线性,大延迟系统,简单的控制算法无法达到理想效果。
1.2 系统结构及主要功能

该系统通过多点温湿度传感器(最多可接8路温度和湿度传感器)采集大棚内各个位
置的温度和湿度,采集的实时温湿度通过4位数码管显示,以便
菜农了解大棚内环境情况,同时系统根据温湿度的变化情况经模糊PID控制算法决定是否进行加热或开启风门。通过键盘电路可以设置不同的温湿度参数(可以进
行分段设置,比如白天25℃晚上20℃)或查看各个点的温湿度。当采集来的环境参数值超过设定的上下限值时,报警电路进行报警提示农业人员可以随时查询采
集值和报警信息。该系统也预留了与zigbee无线收发模块的接口电路,通过无线网络以便对分散的多个蔬菜大棚进行统一化管理,同时也支持在系统编程,方
便统升级。
2 系统硬件电路设计

2.1 主要元件选择
温度传感器选择了美国DALLAS公司生产的DS18B20单总线智能温度传感器。它单总线接口,仅需一个端口进行通信;无需转换电路直接输出被测温度,
测温范围-55～+125;可编程的分辨率为9～12位;-10～+85℃范围,精度为±0.℃,完全可以满足蔬菜大棚的温度要求。湿度传感器选择了国产
S302H2湿度传感器,它采用模块化设计,精度可达到3%RH,稳定性好,可靠性好,线性电压输出。
微处理器选择了STC12C5616AD,该器件具有在系统/应用编程(IAP,ISP)功能,可实现在线升级;增强型8051内核,1个时钟/机器周
期,速度相当于普通型805的8～12倍。内部16KFLASH程序存储器;4K掉电不丢失数据存储器,该存储器可以用来存储温湿度设置参数;有8路10
位AD,用于湿度传感器采集。3 控制算法及软件设计
3.1 主程序设计主程序设计

总体采样循环结构主要包含几个模块:系统初始化、键盘扫描、数据采样、模糊PID算法模块和控制量输出模块。
系统初始化主要完成微控制器初始化、LED显示初始化和系统外设检测等;键盘模块主要完成键盘扫描、系统设置和工艺设置等;这里的工艺设置是指,根据蔬菜
的生长需要,不同的时间设置不同的温湿度值

⑤ "前七后八"算法的矛盾，请求解决。急！

...这东西不一定准的..只供参考而已..

都不准 只供参考而已

如果实在要对比一下 SOHU的稍微准点

⑥ 单片机原理的加密方法

科研成果保护是每一个科研人员最关心的事情，加密方法有软件加密，硬件加密,软硬件综合加密，时间加密，错误引导加密，专利保护等措施有矛就有盾，有盾就有矛，有矛有盾，才促进矛盾质量水平的提高加密只讲盾，也希望网友提供更新的加密思路，现先讲一个软件加密：利用MCS-51 中A5 指令加密，其实世界上所有资料，包括英文资料都没有讲这条指令，其实这是很好的加密指令A5 功能是二字节空操作指令加密方法在A5 后加一个二字节或三字节操作码，因为所有反汇编软件都不会反汇编A5 指令，造成正常程序反汇编乱套，执行程序无问题仿制者就不能改变你的源程序。
硬件加密：8031/8052单片机就是8031/8052掩模产品中的不合格产品，内部有ROM，可以把8031/8052 当8751/8752 来用，再扩展外部程序器，然后调用8031 内部子程序当然你所选的同批8031芯片的首地址及所需用的中断入口均应转到外部程序区。
硬件加密
用高电压或激光烧断某条引脚，使其读不到内部程序，用高电压会造成一些器件损坏重要RAM 数据采用电池（大电容，街机采用的办法）保护，拔出芯片数据失去机器不能起动，或能初始化，但不能运行。
用真假方法加密
擦除芯片标识
把8X52单片机，标成8X51 单片机，并用到后128B的RAM 等方法，把AT90S8252 当AT89C52,初始化后程序段中并用到EEPROM 内容，你再去联想吧！
用激光（或丝印）打上其它标识如有的单片机引脚兼容，有的又不是同一种单片机，可张冠李戴，只能意会了，这要求你知识面广一点 。
用最新出厂编号的单片机，如2000 年后的AT89C 就难解密，或新的单片机品种，如AVR 单片机。
DIP 封装改成PLCC,TQFP,SOIC,BGA等封装，如果量大可以做定制ASIC，或软封装，用不需外晶振的单片机工作（如AVR 单片机中的AT90S1200），使用更复杂的单片机，FPGA+AVR+SRAM=AT40K系列。
硬件加密与软件加密只是为叙说方便而分开来讲，其实它们是分不开的，互相支撑，互相依存的软件加密：其目的是不让人读懂你的程序，不能修改程序，你可以………….....
利用单片机未公开，未被利用的标志位或单元，作为软件标志位，如8031/8051有一个用户标志位，PSW.1 位，是可以利用的程序入口地址不要用整地址，如：XX00H,XXX0H，可用整地址-1，或-2，而在整地址处加二字节或三字节操作码，在无程序的空单元也加上程序机器码，最好要加巧妙一点用大容量芯片，用市场上仿真器不能仿真的芯片，如内部程序为64KB 或大于64KB 的器件，如：AVR 单片机中ATmega103 的Flash 程序存储器为128KBAT89S8252/AT89S53中有EEPROM，关键数据存放在EEPROM 中，或程序初始化时把密码写到EEPROM 中，程序执行时再查密码正确与否，尽量不让人家读懂程序。关于单片机加密，讲到这里，就算抛砖引玉。

⑦ 勾股定理的几种算法!简单,无图!

1．中国方法
画两个边长为(a+b)的正方形，如图，其中a、b为直角边，c为斜边。这两个正方形全等，故面积相等。

左图与右图各有四个与原直角三角形全等的三角形，左右四个三角形面积之和必相等。从左右两图中都把四个三角形去掉，图形剩下部分的面积必相等。左图剩下两个正方形，分别以a、b为边。右图剩下以c为边的正方形。于是
a2+b2=c2。
这就是我们几何教科书中所介绍的方法。既直观又简单，任何人都看得懂。
2．希腊方法
直接在直角三角形三边上画正方形，如图。
容易看出，
△ABA’ ≌△AA’’ C。
过C向A’’B’’引垂线，交AB于C’，交A’’B’’于C’’。
△ABA’与正方形ACDA’同底等高,前者面积为后者面积的一半，△AA’’C与矩形AA’’C’’C’同底等高，前者的面积也是后者的一半。由△ABA’≌△AA’’C，知正方形ACDA’的面积等于矩形AA’’C’’C’的面积。同理可得正方形BB’EC的面积等于矩形B’’BC’C’’的面积。
于是，
S正方形AA’’B’’B=S正方形ACDA’+S正方形BB’EC，
即 a2+b2=c2。
至于三角形面积是同底等高的矩形面积之半，则可用割补法得到（请读者自己证明）。这里只用到简单的面积关系，不涉及三角形和矩形的面积公式。
这就是希腊古代数学家欧几里得在其《几何原本》中的证法。
以上两个证明方法之所以精彩，是它们所用到的定理少，都只用到面积的两个基本观念：
⑴ 全等形的面积相等；
⑵ 一个图形分割成几部分，各部分面积之和等于原图形的面积。
这是完全可以接受的朴素观念，任何人都能理解。
我国历代数学家关于勾股定理的论证方法有多种，为勾股定理作的图注也不少，其中较早的是赵爽（即赵君卿）在他附于《周髀算经》之中的论文《勾股圆方图注》中的证明。采用的是割补法：
如图，将图中的四个直角三角形涂上朱色，把中间小正方形涂上黄色，叫做中黄实，以弦为边的正方形称为弦实，然后经过拼补搭配，“令出入相补，各从其类”，他肯定了勾股弦三者的关系是符合勾股定理的。即“勾股各自乘，并之为弦实，开方除之，即弦也”。
赵爽对勾股定理的证明，显示了我国数学家高超的证题思想，较为简明、直观。
西方也有很多学者研究了勾股定理，给出了很多证明方法，其中有文字记载的最早的证明是毕达哥拉斯给出的。据说当他证明了勾股定理以后，欣喜若狂，杀牛百头，以示庆贺。故西方亦称勾股定理为“百牛定理”。遗憾的是，毕达哥拉斯的证明方法早已失传，我们无从知道他的证法。
下面介绍的是美国第二十任总统伽菲尔德对勾股定理的证明。
如图，
S梯形ABCD= (a+b)2
= (a2+2ab+b2)， ①
又S梯形ABCD=S△AED+S△EBC+S△CED
= ab+ ba+ c2
= (2ab+c2)。 ②
比较以上二式，便得
a2+b2=c2。
这一证明由于用了梯形面积公式和三角形面积公式，从而使证明相当简洁。
1876年4月1日，伽菲尔德在《新英格兰教育日志》上发表了他对勾股定理的这一证明。5年后，伽菲尔德就任美国第二十任总统。后来，人们为了纪念他对勾股定理直观、简捷、易懂、明了的证明，就把这一证法称为勾股定理的“总统”证法，这在数学史上被传为佳话。
在学习了相似三角形以后，我们知道在直角三角形中，斜边上的高把这个直角三角形所分成的两个直角三角形与原三角形相似。
如图，Rt△ABC中，∠ACB=90°。作CD⊥BC，垂足为D。则
△BCD∽△BAC，△CAD∽△BAC。
由△BCD∽△BAC可得BC2=BD • BA， ①
由△CAD∽△BAC可得AC2=AD • AB。 ②
我们发现，把①、②两式相加可得
BC2+AC2=AB（AD+BD），
而AD+BD=AB，
因此有 BC2+AC2=AB2，这就是
a2+b2=c2。
这也是一种证明勾股定理的方法，而且也很简洁。它利用了相似三角形的知识。
在对勾股定理为数众多的证明中，人们也会犯一些错误。如有人给出了如下证明勾股定理的方法：
设△ABC中，∠C=90°，由余弦定理
c2=a2+b2-2abcosC，
因为∠C=90°，所以cosC=0。所以
a2+b2=c2。
这一证法，看来正确，而且简单，实际上却犯了循环证论的错误。原因是余弦定理的证明来自勾股定理。
人们对勾股定理感兴趣的原因还在于它可以作推广。
欧几里得在他的《几何原本》中给出了勾股定理的推广定理：“直角三角形斜边上的一个直边形，其面积为两直角边上两个与之相似的直边形面积之和”。
从上面这一定理可以推出下面的定理：“以直角三角形的三边为直径作圆，则以斜边为直径所作圆的面积等于以两直角边为直径所作两圆的面积和”。
勾股定理还可以推广到空间：以直角三角形的三边为对应棱作相似多面体，则斜边上的多面体的表面积等于直角边上两个多面体表面积之和。
若以直角三角形的三边为直径分别作球，则斜边上的球的表面积等于两直角边上所作二球表面积之和。
如此等等。

【附录】
一、【《周髀算经》简介】
《周髀算经》算经十书之一。约成书于公元前二世纪，原名《周髀》，它是我国最古老的天文学着作，主要阐明当时的盖天说和四分历法。唐初规定它为国子监明算科的教材之一，故改名《周髀算经》。《周髀算经》在数学上的主要成就是介绍了勾股定理及其在测量上的应用。原书没有对勾股定理进行证明，其证明是三国时东吴人赵爽在《周髀注》一书的《勾股圆方图注》中给出的。
《周髀算经》使用了相当繁复的分数算法和开平方法。

二、【伽菲尔德证明勾股定理的故事】
1876年一个周末的傍晚，在美国首都华盛顿的郊外，有一位中年人正在散步，欣赏黄昏的美景，他就是当时美国俄亥俄州共和党议员伽菲尔德。他走着走着，突然发现附近的一个小石凳上，有两个小孩正在聚精会神地谈论着什么，时而大声争论，时而小声探讨。由于好奇心驱使，伽菲尔德循声向两个小孩走去，想搞清楚两个小孩到底在干什么。只见一个小男孩正俯着身子用树枝在地上画着一个直角三角形。于是伽菲尔德便问他们在干什么？那个小男孩头也不抬地说：“请问先生，如果直角三角形的两条直角边分别为3和4，那么斜边长为多少呢？”伽菲尔德答道：“是5呀。”小男孩又问道：“如果两条直角边长分别为5和7，那么这个直角三角形的斜边长又是多少？”伽菲尔德不假思索地回答道：“那斜边的平方一定等于5的平方加上7的平方。”小男孩又说：“先生，你能说出其中的道理吗？”伽菲尔德一时语塞，无法解释了，心里很不是滋味。
于是，伽菲尔德不再散步，立即回家，潜心探讨小男孩给他出的难题。他经过反复思考与演算，终于弄清了其中的道理，并给出了简洁的证明方法。图片地址 http://www.mmit.stc.sh.cn/telecenter/CnHisScience