恒等式证明的概率模型法

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

诉讼证据基本属性的阐析

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

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

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

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

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

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

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

服务时间依赖于已服务过的顾客数的M[X]/G/1排队系统

研究了每个忙期开始后的前N个顾客接受特别服务M^[x]／G／I排队系统。通过采用补充变量法，推导出系统稳态队长概率母函数的迭代公式。更进一步，得到了系统的平均队长。     

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

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

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

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

SMAP/INID/1系统的瞬时队长分布

研究了一个有如下特征的排队系统:该系统的到达间隔及服务时间均为相互独立的随机变量,但不一定同分布.特别地,到达间隔分布与系统的瞬时输入量有关.这个系统是GI/G/1系统的拓广.该系统的瞬时队长过程一般不是一个马尔可夫过程,难于直接求取它的分布.利用补充变量技术,可以得到一个多维马尔可夫过程,使得上述系统的瞬时队长过程构成多维过程的一个分量过程,这样,便可借助马尔可夫过程理论及马氏骨架过程理论,得到一组柯尔莫哥洛夫向后方程及向后方程组,导出排队系统的瞬时队长分布的积分表示.在各到达间隔与服务时间均具密度函数的条件下,该积分表示的被积项能够递归地求取.此结论类似于A.S.Alfa等处理GI/G/1系统时所得结论.     

组合数丢番图方程[2x]=[4y]的正解

运用递推序列法，给出组合数丢番图方程[x2]=[y4]的一个初等解法．