恒等式证明的概率模型法

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

诉讼证据基本属性的阐析

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

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

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

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

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

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

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

原始地应力及力学参数的测定

本文根据孔壁应力解除法获得的量测应变,提出了采用最优化方法直接确定岩体的泊松比和原始地应力。实例表明,这样获得的原始地应力更符合实际——对应最小的量测残差。     

采用触发测头进行曲面自动跟踪测量

介绍触发测头的工作特点,并提出一种新的采用触发测头进行曲面自动跟踪测量的方法,该方法采集速度快,精度高,可以应用在数控机床上实现工件的数字化采集,尤其适用于薄壁受易变形工件的数据采集。     

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

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

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

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

用高速高分辨率PC仪器进行甚低平均功耗I－V曲线测量

在一个ＰＣ基高速高分辨率仪器卡上实现超低平均功耗器件的Ｉ－Ｖ曲线测量．采集５１２个数据只要５１．２μｓ，避免因过高平均功耗而损坏器件．ＰＣ基仪器卡自带时钟和单斜波电压产生器，使用功能为１８ＭＨｚ取样率和１０ｂｉｔ分辨率的Ａ／Ｄ器件和存取时间为１５ｎｓ的缓存存贮器，分辨率优于一般存储示波器，测量系统对ＰＣ／ＸＴ以上的微机兼容．系统还可进行多通道瞬态测量，用于同步分析多通道窄脉冲信号，一个软件包可以完成所有的控制、测量与数据处理．