对称单叶函数的开始多项式的星象半径

本文讨论p次对称单叶函数的开始多项式的单叶（或星象）半径。得到了P=3,4,5，但，时龚升猜想是正确的证明。     

一种防渗帷幕注浆孔优化布设法

研究了地基处理工程中防渗帷幕的设计计算方法．针对传统设计方法存在的不足，提出了一种以经济效益为总目标的防渗帷幕注浆孔优化布设方法，建立了一个优化设计数学模型，并运用具体实例予以验证，其结果证明该法实用性强，可靠性好．     

2^m次根方案在同步攻击下的安全性证明

证明了在分解整数困难的前提下，2^m次根方案在同步攻击下是安全的．     

兔毛织物防掉毛的研究

介绍了一种新型的兔毛织物防掉毛方法．阐述了防掉毛机理并分析了影响防掉毛效果的主要因素     

屋面防水找平层施工质量保证措施

为防止屋面渗漏水，在屋面防水施工中，找平层的施工质量尤为重要，本文介绍了屋面防水找平层施工中出现质量问题的原因及防治措施 。     

关于Hardy-Weinberg遗传平衡性定理的数学证明

采用随机数学的方法对遗传学中广泛应用的Hardy－Weinberg遗传平稳性定理给出精确的数学证明     

What is a Definition?

According to the standard view of definition, all defined terms are mere stipulations, based on a small set of primitive terms. After a brief review of the Hilbert-Frege debate, this paper goes on to challenge the standard view in a number of ways. Examples from graph theory, for example, suggest that some key definitions stem from the way graphs are presented diagramatically and do not fit the standard view. Lakatos's account is also discussed, since he provides further examples that suggest many definitions are much more than mere convenient abbreviations. This revised version was published online in July 2006 with corrections to the Cover Date.     

刑事诉讼证明主体的界定

鉴于目前理论界对刑事诉讼中的证明主体的范围界定过大，因此有必要将证明主体与诉讼主张、证明责任、新诉讼模式等联系起来，以重新界定证明主体。在界定证明主体概念的同时，文章对证明主体的内涵进行了分析。刑事诉讼证明的主体应包括公诉人、被告人、自诉人、附带民事诉讼的原告人。法院等都不是诉讼证明的主体。     

服装笔式绘图仪主传动轴设计

设计一款实绘宽度为200 cm的服装笔式绘图仪主传动轴.对轴进行扭矩受力分析、X-Z平面和X-Y平面受力分析,初步选择轴直径及材料,而后进行剪应力校核、交变弯曲扭转组合变形校核和扭转刚度校核,最终确定轴的直径.     

重心坐标法证明几何定理

众所周知,在欧氏平面中,如取定一个标架后,可以用坐标的计算来做几何证明,类似地考虑,我们如取定一个三角形（它相当于一个标架）可以引入重心坐标。自然地可以用重心坐标来做几何。三角形是几何中最稳定的,而且很美。本文以重心坐标的方法来证明几道初等几何中的难题,以比较其与其它坐标的优缺点,并试图找出一个完善的理论,能解决所有的几何问题,这对机械化证明也许是有帮助的。