恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

诉讼证据基本属性的阐析

诉讼证据的基本属性在传统上被认为是客观性、相关性和合法性，这是在我国长期流传的正统观点。但笔者认为并不能准确反映诉讼法学和证据学上的特点，应该用真实性、相关性和合法性来概括其基本属性，才有利于对诉讼证据的正确认识和把握。通过对诉讼证据基本属性的分析批判，可以深入了解诉讼法学和证据学意义上的关于证据属性的理论和司法实践有关问题，以期有利于我国的法制进程。     

微机排版校对中易出现的差错及对策

从多方面分析了排版校对过程中容易产生的差错，并从编辑应具备的计算机素养、排版软件所具有的功能及校对技巧出发，提出了如何防止这类差错发生的具体措施．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

证据、证明与诉讼活动的关系

本用辩证唯物主义哲学的观点，解析了证据、证明和诉讼活动三之间的关系。章认为：证据属于客现的物质范畴，证明属于主观的意识范畴，两既有区别又有联系。证据和证明，只有在诉讼活动中才得以结合，实现主客观的统一，也才能实现揭露事实真相、准确结案的目的。     

关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

民用防爆汽化站设计探讨

对居民小区汽化站屋面防爆口做法进行改进，并对其他方面的建筑构造要求进行了探讨．     

Г函数的性质研究

Г函数是一个特殊函数，其定义表达式为广义积分式。定理1一定理7给出了它的估计区间、精确表达式和近似计算公式。     

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

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

预制RC构件可靠度分析与验证荷载法

提出将预制ＲＣ构件在施工中所受的荷载视为验证荷载，用验证荷载法计算其可靠度的新方法。该方法既能提高构件的可靠度，又可避免对构件进行专门的验证荷载试验，计算结果更符合实际，而且经济、简便。