Proof相关论文
阶段地水晶(陆军) 模型是具有在空间的第六份订单的一个非线性的进化方程。在这个工作的第一部分，我们导出线性化的差别计划，它是然......
Due to the individual electrical and mechanical characteristics of resistance welding machines,choice of the right machi......
Soft fault compensation plays an important role in mobile robot locating, mapping, and navigating. It is difficult to ac......
We propose and demonstrate a laser-diode-pumped, maglev rotating Nd:YAG disk laser. The disk of the laser crystal is att......
There are still no signs of little green men， but NASA has got the proof of recent flowing liquid water on Mars. These fi......
Though a star economy during the past few decades,China has proven not to be crisis-proof and is suffering in the Americ......
The impulsive synchronization problem for semiconductor laser (SL) chaotic systems is studied. SL systems can be describ......
In this paper,we propose a political-economy model of China that explains both the rapid economic growth and frequent ra......
Compared with full device-independent quantum key distribution(DI-QKD), one-side device-independent QKD(1s DI-QKD) needs......
A monitoring system is an important guarantee of safety in a production mine. However, not all monitoring substations pa......
Micro-seismic phenomena, occurring when rock masses are subjected to forces and failures, allow the determination of the......
在作者清样校对环节上，科技期刊编辑应有所作为：充当监督并指导作者校对清样的角色；向作者强调作者校对的重要作用，宣传校对的基本方法......
开集和闭集是实变函数中的两个重要概念，本文以开集和闭集的定义为基础，讨论开集和闭集的运算性质及两者间的对偶关系及性质的证明。......
选择性起诉是政府基于恶意,歧视性地进行刑事起诉裁量的行为,因其目的之恶以及违反法之平等精神而受抗辩。美国司法有两种抗辩途径......
本文介绍了一种新的学术论文远程校对方式，即用数码相机将纸质校样转换成数码照片，之后用图片压缩软件Photo Resizer压缩数码照片并......
鞅论方法有广泛的应用，本文应用它对Ｋｏｌｍｏｇｏｒｏｖ强大数定律及另一概率论定理给出较简短的证明。......
实变函数Lebesgue可积的判别准则多以测度、导数方法给出.利用Riemann和给出了实变函数Lebesgue可积的一个判别准则.......
本文在教材中已有的调和级数发散的证明基础上，参照相关的文献，以及在做题中得出的一系列结论，并应用文献中的结论，采用构造方法，给出了......
在《高等数学》教材中只证明了重要极限lim n→∞（1＋（1/n））^n=e的存在性，对于其结果为什么是e未做证明。本文将对此极限的结果做一个合理......
叙述九种形式的实数连续性定理,并采用闭循环回路方式证明这九种常见实数连续性定理彼此等价。......
从狄喇克的电子的相对论性波动方程出发，说明了其协变形式和相对论性不变条件，具体讨论并证明了Dirae方程的相对论不变性。......
和原因自由行为有关的证据是定罪、量刑的重要依据，由于我国对原因自由行为没有立法规定，理论研究也不成熟，致使侦查员在侦查阶段对和......
本文以认识均值不等式为例,从数学基本概念、基本方法、基本策略入手,对均值不等式进行解析,得出了多种证明方法.并以此说明,运用......
微分学基本定理-拉格朗日定理是微分学的理论基础,从它出发可以导出一系列的重要命题和定理,从而使微分学在更广的范围内起着极其......
给出了由一个产生出更多个新的超F幻方的方法及其严格证明....
当前,司法实践中对非授权支付一般按照合同纠纷处理,采用过错责任归责原则,由用户承担举证责任。司法实践不利于保护消费者,也不利......
Recently, many bit commitment schemes have been presented. This paper presents a new practical bit commitment scheme bas......
第三次国土调查(以下简称"三调")要求对不一致图斑等进行实地举证。常规的人工到实地用平板举证的方法工作量大,拍摄角度有限,制约......
最高人民法院关于《民事诉讼证据的若干规定》规范了证明责任的一般原则,还规定了具体的特殊举证规则及认证规则,本文拟就主观证明......
从历史的角度看，佛教逻辑包括“汉传因明”与“藏传量论”两个传承，玄奘法师先后译出《入论》、《门论》，建构出汉传“因明”体系，在汉......
经验法则是利用事物发展常态而形成的规律,而适用于证据司法场域的特殊法官心证过程。借助现代司法的自由心证技术,以及盖然强度的......
以美国为首的一些西方国家,在处理国际事务时,常常有两个标准,符合他们的利益和思维方式时他们就打出国际法和条约的旗号,如不符合......
根据当前水资源短缺情况，浅议污水回用流程、用途及效益分析，提出加速我国污水资源化进程的建议。......
自1742年哥德巴赫猜想问世以来,无数数学家及爱好者都想尝试摘下这一颗数学皇冠上的明珠,但都没有成功.直到1966年我国的数学家陈......
从教学方向、教学过程、教学拓展三个方面探讨了高等代数的结论及证明的教学．...
对任意两个导体构成的电容器给出了拓广的电容定义,并通过复制电容器、恰当地对电容器充电、电荷粘贴转移这么几个富有创意的步骤,......
创造性思维是人的基本属性之一,教育的本质功能就在于培训和开发人的创造性思维,这也是教育的,特别是素质教育和创新教育的核心和......
证明是高等数学的重要部分，加强证明教学有助于提高学生对数学命题的认识和解决实际问题的能力，养成严谨思考问题的习惯。数学归纳法......
采用新方法证明一道IMO几何题.在此基础上通过连续地一般化、特殊化反思,得到了两个定理和4个推论,并把此方法引申运用于蝴蝶定理......
共同危险行为制度是现代侵权行为法中一项重要的法律制度。正确界定共同危险行为构成要件，明确举证责任的分配原则，合理确定共同危险......
在博弈论发展中，用混合策略来分析博弈是重要的手段，引入混合策略可以保证纳什均衡的存在，可在临床决策与卫生管理对策中发挥作用。混......
构造基本命题逻辑BPL带标的矢列演算系统,该系统G3BPL只有公理和逻辑规则,没有结构规则,结构规则被吸收在公理和逻辑规则中,并且所......
我国讲述＂普通逻辑＂的很多教材中,讲述的＂论证＂范围过窄,似乎只是＂把论证作为获得科学知识的方法来论述的＂。然而,在现实生活中,＂论证＂的范......
在命题演算系统中 ,由于演绎定理的运用,演绎序列通常都会较为简单,而证明中只能使用公理和MP规则,因而证明的步骤较为复杂。而且,......
用定义证明极限是初学者正确理解掌握极限定义的手段和途径；命题的拓广丰富了《数学分析〉教学的内容，同时也提供了有相当难度的习题......
同意体例是<说文>体例的重要内容之一,前人对<说文>同意体例的研究尚缺乏深入,尤其缺乏对标注同意术语的字条逐条疏证.只有逐一疏......
图尔敏是逻辑学实践转向的重要理论先驱之一。他所倡导的论证逻辑理论或实质逻辑既从法律论辩实践中来,又到法律论辩实践中去。《......
