卡诺定理证明方法的比较

文章通过对卡诺定理证明方法的比较，得出第一、第二种证明方法有循环论证之嫌，而第三种方法简洁、逻辑性强。     

第Ⅰ类图的若干性质

本文证明了第Ⅰ类图的一个充要条件，得到了第1类图的一些性质。     

三类Schottky群的Jorgensen数

Sato H定义了八类经典Schottky群以及Jorgensen数，通过讨论第Ⅲ，第Ⅵ和第Ⅷ类的Jorgensen数的不同形式，给出了这三种类型的相关定理及其证明。     

第一类Baire函数的特征

讨论并重申了第１类Ｂａｉｒｅ函数的二个特征，给出了新的证明。     

柱形面的微分几何性质

研究了柱形面Σ的微分几何性质，给出它的第Ⅰ，Ⅱ基本形式，得到Σ上的渐近线，并证明Σ是不可展直纹面。     

加权GP猜想的外接三角形方法

本文利用外接三角形方法，解决了第三种情况下的加权Ｓｔｅｉｎｅｒ问题，并给出三点加权ＧＰ猜想的简单证明．     

关于算术平衡图的某些结果

首先考虑Ａｃｈａｒｙａ和Ｈｅｇｄｅ关于算术平衡图的三个猜想，其中一个已由他们证明，本给出它和另一个猜想的简单证明，并指出第三个猜想在一般情形不是不对的，而在一个更强的条件下是正确的。然后讨论了本结果与已知结果之间的关系。     

试论审计证据的获取

根据新颁布的《公司法》第二百零八条第三款规定，承担资产评估、验资或者验证的机构因其出具的评估结果、验资或者验证证明不实，给公司债权人造成损失的，除能够证明自己没有过错的外，在其评估或者证明不实的金额范围内承担赔偿责任。这就要求注册会计师在审计过程中，应运用各种审计方法获取审计证据并记录于工作底稿中，且需根据法律的追溯年限妥善保管审计工作底稿。     

基于信誉权值策略的多重第三方远程证明机制

针对单一第三方失效而影响云计算环境证明有效性问题,提出一种基于多重第三方远程证明机制。将单一第三方扩展为第三方验证者集群,保证了在部分验证者受到安全威胁情况下,仍然能够为证明请求者提供可靠的证明结果。同时提出第三方筛选算法和基于信誉权值策略应对多个第三方合谋攻击,避免由于恶意指控清白验证者而导致最终断言失效情形。实验结果表明,该机制相对于单一验证者更为安全可靠,在实际应用中能有效防御合谋攻击。     

论死刑案件率先完善人民陪审判制度之我见

2004年，第十届全国人民代表大会常务委员会第十一次会议通过了《关于完善人民陪审员制度的决定》，本文以此为引，从保护人权的角度出发，论证了在死刑案件审判中引入陪审制度和“证明至超越合理怀疑”原则来完善人民陪审员制度的必要性和可行性。     

Some Results on Arithmetic and Balanced Graphs

首先考虑Ａｃｈａｒｙａ和Ｈｅｇｄｅ关于算术平衡图的三个猜想．其中一个已由他们证明，本文给出它和另一个猜想的简单证明，并指出第三个猜想在一般情形下是不对的，而在一个更强的条件下是正确的．然后讨论本文结果与已知结果之间的关系．     

几何光学作图法中第四条特殊光线的研究

本文找到了几何光学作图法中第四条特殊光线，并且证明它与常用的三条特殊光线同样简明适用．     

粉纹夜蛾离体细胞抗菌肽的诱导和抗菌活性测定

以每细胞１０００个灭活的大肠杆菌诱导粉纹夜蛾传代细胞，诱导细胞的上清液经三氧醋酸沉淀的取诱蛋白，抗菌活性用液体培养抑制测定法进行检测，试验证明，细胞诱导后第８ｈ开始产生抗菌物质，第１２ｈ达最高峰，提取的抗菌物质经１００℃处理４ｈ保持抗菌活性。     

关于正则图的道路双覆盖猜想

［１］汇集了１９９０年国际图论会议（丹麦）上所提出的２７个新的未解决的问题，其中第一个就是关于正则图的道路双覆盖猜想，Ａｄｒｉａｎ Ｂｏｎｄｙ等人利用Ｐｅｔｅｒｓｅｎ定理已证明：对于３－正则图猜想为真。本文证明了对于任意的ｍ－正则的完全图，猜想是成立的。     

关于行政诉讼举证责任问题的思考 --兼评最高人民法院法释[2000]8号司法解释第二十七条

行政诉讼被告对具体行政行为的合法性负举证责任，这是众所周知的一种法定的举证责任分配方式。行政诉讼中除此以外的证明对象的举证责任分配，适用最高人民法院法释[2000]8号司法解释第二十七条和第九十七条的规定。但考察这些规定的内在含义及其适用中可能带来的问题，不难发现它们与行政诉讼的应有之义相悖。关于行政诉讼的证明标准，应视证明对象及举证人的不同而不同；目前的法定证据制度是无奈而非理想的选择。     

Brouwer不动点改进定理

Brouwer是拓扑的第一个不动点定理。f是将闭圆盘D映入自身的连续映射，必有不动点，即存在z∈D，使f(z)=z。其后的不动点改进定理，都是借助其它数学工具，证明在二雏情形下，不改变Brouwer不动点定理条件，存在Z∈D，使f(z)=z^n。文中直接使用Brouwex不动点定理给出二维Brouwer不动点改进定理的证明。这一证明虽比较繁杂，但较为初等，避开使用其它数学工具，使可接受这一理论的群体加大．     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题，是第一个被证明是NPC的问题。本文主要把子句集进行分类，给出翻转定义、简单集定义，翻转同构定义，并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

微系统的热力学

由热力学第一定律和第零定律出发，导出了熵函数和热力学温度函数的存在性，从而导出适合于微系统的热力学基本方程．并讨论了Ｐｌａｎｋ关于熵定理证明中的错误．     

CH和P—NP的间接证明

说明　已经证明 ＧＣＨ和Ｐ≠ＮＰ ,及其他一些重要结果。整个证明包括三个部分 :一 , ＣＨ和Ｐ≠ＮＰ的间接证明 ;二 , ＧＣＨ的直接证明 ;三 , ＧＣＨ的形式证明。限于篇幅 ,本文只是第一部分 ( ＣＨ和Ｐ≠ＮＰ的间接证明 )的证明摘要 ,第一部分的所有证明细节及第二、第三部分的证明将在后续文章中给出。1　证明思路( 1 )根据Ｇ ｄｅｌ第一不完全性定理 ,对任一个数学的形式公理系统ＦＡ来说 ,如果ＦＡ满足 :①ＦＡ是真正形式的 ;②ＦＡ足够丰富 ,可以展开一个适量的数论 ;③ＦＡ是协调的 ,那么ＦＡ中至少包含一个命题Ｆ ,使得Ｆ和 Ｆ…     

一道前苏联赛题的探究

1991年全苏数学冬令营第五天竞赛第1题是：已知数列｛an｝满足且a1=1，证明对所有的n＞l，数恒为自然数．文献［1］中曾给出过证明，但其证较繁难，且对a1=1有较多的依赖，不易进行推广．本文先对原题作演变，给出简证，再对a1的值进行推广．注意到条件（1）改写为，作代换，可将原题演变为命题1已知数列｛bn｝满足且则对所有的都恒为自然数．证；只须用数学归纳法证明一个更加的命题：在命题1的题没下，数1）都是自然数（n＞1时）．，放结论成立；设当n=k时结论成立，则当时，有2由归纳假设知也是自然．证毕．下面要探究的一个问题是：对满…