论民事诉讼中的高度盖然性证明标准

客观真实的证明要求存有弊端,应有法律真实的证明要求取代之.而实现法律真实这一证明要求的手段,即为高度盖然性的证明标准.在我国民事诉讼中,引入高度盖然性的证明标准既有其合理的根据,又有其重要的意义.但法官在适用这一标准定案时,应遵循一定的原则.     

反证法证题中的一个逻辑问题

反证法作为数学证明的一种重要方法,被广泛运用于各种数学问题的证明,但是在证明中有一个逻辑问题值得注意。本文对此进行了举例说明.     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

用模型法证明非欧几何的定理

提供一种用模型法证明非欧几何定理的证明方法,在证明中可以使用欧氏几何的定理,从而使学生对非欧几何有更深刻的认识。     

对《稳恒磁场高斯定理的一个证明》的一点补充

王旭同志的《稳恒磁场高斯定理的一个证明》一文,尽管证明较为繁琐,且有欠严密之处,但该文的证明方法对我们还是有一定的启发.循此思路,严子尚同志给出一个更简单的证明方法.下面对[1]文中一个问题作一点补充.王旭同志在(1)文中由式     

试论我国刑事诉讼证明标准的体系化及相关问题

刑事诉讼证明标准的体系是指刑事诉讼证明标准在其模式以及刑事诉讼的性质、诉讼证明、证据理论的共同作用下,结合立法司法实践所自有的体系化内容,也可以说是以证明标准模式与具体的证明标准为主要内容的产物。也有学者认为刑事诉讼证明标准的体系是指刑事诉讼证明标准法律规定的体系。笔者同意前一种观点。我国刑事诉讼证明标准的理论探讨中,存在对到底选择哪一种证明标准的模式或多或少地予以回避,对模式支配下的具体证明标准研究不够深入等问题。这反映出证明标准的体系化研究不够到位,本文以此为出发点,着力论证刑事诉讼证明标准的体系化及相关问题。     

交錯二次代数的一个性質的証明

交错二次代数有一个性质:每个交错二次代数必有对合.利用这个性质,可以大大简化交错环的主要结构定理的证明.(参看)R.D.Schafer在中曾提到这一性质(他将其写成两个引理),但他在证明它的时候,一方面用到代数的维数有限的假定;同时对一个代数的特征多项式与极小多项式不加区别,所以他的证明是通不过的.本文,将给出这条性质的完整证明。     

群组中实现的量子零知识证明

零知识证明是指证明者使验证者确信证明者拥有某一个秘密值,而证明者没有向验证者泄漏关于该秘密值的任何有用信息.其优点是在证明了自己身份的同时,还确保了有用信息不泄露,有效防止了他人冒充.经典的零知识证明均是基于计算复杂性的.用量子安全通信的传输方式,设计了一套在群组中实现的量子零知识证明方案.     

关于《Introduction to Functional Analysis》中一定理之证明的注释

有反例表明《Introduction to Functional Analysis》一书中定理3．3．3的证明过程是错误的，同时给出了该定理的一种完整的证明．     

线性规划的一个新的多项式算法——Karmarkar方法(续)

四、基本定理的证明为了需要,先证明下面有关对数函数的三个分析性质。性质11 若y_j≥0(j=1,2,…,n),则有证明所有性质证明利用中值定理,可得：性质13证明因此有取,应有性质12,可得：因为故有下面开始证明基本定理。     

东北生态类型单雌蓖麻遗传规律研究

控制单雌蓖麻单雌性状的基因为4对,其中3对为隐性重叠基因,用符号ai表示,Ai对ai为显性;另外一对为隐性抑制基因,用符号b表示,B对b为显性．纯合隐性基因bb对隐性重叠基因a1a1a2a2a3a3起抑制作用,使得a1a1a2a2a3a3bb（保持株）表现为正常两性株,a1a1a2a2a3a3BB（纯合型）和a1a1a2a2aa3a3Bh（杂合型）表现为单雌株．还有一组控制性转换的修饰基因,当温度过低或极高时,该基因才发生作用,从而使单雌蓖麻出现一些极端分离的比例现象．纯合型单雌株与保持株杂交,可获得全雌系．全雌系与恢复系杂交,F1代全为正常两性株,这样即可用全雌系、保持系、恢复系实现蓖麻三系法制种．     

两类粘合图的 Wiener与 Harary指数

连通图G的Wiener指数是指图G中所有点对的距离之和,Harary指数是指图G中所有点对的距离的倒数之和。本文主要研究了单圈图与双圈图的粘合图以及双圈图与双圈图的粘合图的Wiener指数的下界和Harary指数的上界的问题,并刻画了对应的极值图。     

名量词判定新论

判定一个成分是名量词而非名词主要看量词所由产生的句法环境,在和数词组合的情况下作名词的谓语,并具计量单位的陈述功能,能在"名+数+X"结构中承担计量功能的,是名量词,不能,则不是.判定"数+X(+之/的)+名"中的X是不是名量词,可以运用"转换+替换"法.     

固体推进剂用液体硝酸酯增塑剂冰点的测定及其方法的研究

液体增塑剂的冰点,直接影响着推进剂的低温力学性能.通过测熔点的方法,测试了硝化甘油(NG),1,2,4-丁三醇三硝酸酯(BTTN),-缩二乙二醇二硝酸酯(DEGN)和它们不同比例混溶物的冰点.为配方设计提供了必要的理论依据。     

Schwinger变换与二粒子耦合体系Hamiltonian的对角化技术

用Schwinger变换给出了耦合形式为C（a1＋a2＋a2＋a1）＋Bi（a1＋a2－a2＋a1）的二粒子耦合体系Hamiltonian的对角化技术．方便地求得了此类Hamiltonian能量本征值的准确解．     

二次曲线切线的一种新求法

利用点与点的对应和点与线的对应介绍二次曲线切线的一种新求法.     

环的 WGP-内射性

给出了 WGP-内射环的等价定义,研究了 WGP-内射环的一些性质,证明了：若 R 是左非奇异的左 WGP-内射环,且对 R 中任意无限序列 a1,a2,a3…,升链 1（a1）1（a1 a2）1（a1 a2 a3）…是平稳的,则 R 是半单环。     

采煤机运动参数对工作面温升的影响

采煤工作面的温度关系到工人的健康、设备的使用性能和煤炭生产的安全。为了研究采煤机运动参数对工作面温升的影响,建立了采煤机设计参数与工作面温升关系的数学模型,分析了采煤机的牵引速度、滚筒转速与工作面温升之间的关系及其影响。模拟结果表明,采煤机的运动参数对工作面的温升有直接的影响,工作面的温度随采煤机牵引速度的提高迅速增加,滚筒转速对工作面的温升影响较大;适当降低采煤机的牵引速度和滚筒转速能降低采煤工作面的温升。该结果为正确选择采煤机的运动参数、减少采煤机工作发热、降低采煤工作面温升、进一步改善采煤工作面的环境提供了依据。     

锥篮离心机物料颗粒运动和锥篮合理曲面计算

本文研究物料颗粒沿筛篮转鼓锥形壁上升过程中的运动.通过建立颗粒的运动微分方程及其数值积分,分析了颗粒的轨迹和速度、分离因素等运动要素.以这种分析为基础,计算了在特定要求下筛篮的合理曲面形状.     

利用声致发光原理检测水质装置的设计

设计了一种利用声致发光原理检测水质的装置,该装置由反应室、超声驱动电源、换能器及光电转换装置等组成。检测时,将水样放在样品容器中,用管路与水泵连接,抽取水样并经进样口进入反应室,超声功率放大器驱动换能器,带动变幅杆与水样作用产生超声空化区域并伴随发光。通过探测窗口由光电倍增管接收并转换,输出给电脑进行处理。该装置可以快速获取水体样品中声致发光强度的大小,以及随着声功率的不同产生的发光强度的变化规律,并根据发光规律判断水体中不同物质的组成。