基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

高端计算软件平台的研发

高端计算软件平台是整机系统实现友善性、可用性和高效性的基本保障。随着计算处理规模愈来愈大，以及Peertopeer和Grid这类新型计算模式的出现，平台软件的设计面临新的挑战。首先，对高端计算软件平台发展状况以及面临的设计难题进行论述和分析；然后，介绍一个高端计算平台软件系统设计情况，并进行讨论。     

借用平抛运动辨析矢量、标量的求和

我们知道，矢量的合成遵守几何法则(平行四边形定则或三角形法则)；而标量的合成遵守代数法则。但在平时的教学中却发现许多同学对矢量遵守的平行四边形定则心存疑虑，解题时不能很好地应用。甚至有的同学在对标量求和时错误地应用了平行四边形定则。下面我们借用一道平抛运动的习题，来对上述问题作一辨析。     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

浅谈学校体育工作中群众活动与业余训练的价位差异、负面影响及解决办法

随着学校体育工作的蓬勃发展，提高学生基本身体素质和发展学校体育运动训练水平已成为其工作的两大重心。但是在学校体育工作中，群众性体育活动与业余训练之间存在着一种消极的价值和地位差异。是否能够很好地解决群众性体育活动与业余训练二者之间的价值和地位差异已成为我们亟待解决的关键问题。     

关于渠化平交灯控路口中左转绕岛候驶的初步探讨

本文介绍一种采取左转车绕渠化岛候驶，变左轮为直行的交通组织方式，并举出三种型式示例且对其运行左转车的过程、基本计算式、计算步骤与方法提出初步探讨。     

沈山线K217大凌河桥降水方案设计

结合沈山线K217大凌河特大桥基础施工时降水方案的设计及实际施工中取得的效果,根据施工现场的地质条件,讨论各种地质条件下基础施工时降水方案的选择。     

无粘结预应力砼新技术浅析

本文对无粘结预应力砼技术的主要内容作了介绍,同时分析了最新的科研成果,提出了有待研究的一些问题。它将对土建类工程技术人员的知识更新有所助益。     

浅议建筑结构设计中的概念设计

简述了概念设计的特点,并分析了概念设计与结构设计的区别,阐述了概念设计的重要性。     

卡尔达诺的构造性几何证明

基于对《大术》第7章关于三项方程变换法则的几何证明的构造性特点分析,总结了卡尔达诺的构造思想,并按照其方法把他针对三项三次方程的证明自然地推广到一般三项方程.由此认为,卡尔达诺在《大术》中的几何证明大多区别于经典的综合证明,而属于以分析为基础的验证.他对涉及高次方程的几何证明一般是通过具体例子来展示一般方法,但是,他针对特殊情形的证明方法具有一般性.另外,在方法论上指出,古证复原方法也适用于历史上存在的几何证明.