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

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

图像相关方法中采用多种子区进行位移测量

在图像相关位移测量方法中一般采用正方型子区搜索中心点的位移.当测量靠近裂纹或缺陷部位的位移时中心型子区失去效果,为了解决这一问题提出了非中心型子区的方法.证明了方法的有效性.认为在相关搜索时测量点既可选定在子区的中心位置,也可选定在非中心位置.进而提出了将测量点确定在子区角点的多种子区的方法.除通常的中心型子区外,至少还有4种子区可以采用,分别是右下角型、左下角型、右上角型和左上角型,这4种子区不但适用于表面裂纹或缺陷部位的位移测量,而且增加了图像有效信息的提取面积.     

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

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

中心势场中粒子运动轨道的研究

在中心势场中粒子运动轨道方程的基础上,进一步讨论粒子轨道的闭合性、稳定性.     

浅谈计算机中心在高校教育教学中的作用

总结多年计算机教学、管理实践和理论思考 ,从教学实践、数字图书馆的建设、远程教育、高校教学评估等几个方面 ,阐述计算机中心在高等学校教育教学中的作用和地位。本文系校园网建设和高等学校计算机文化建设方面系列论文之一。     

BIC-KL成功运作对建立中小型科技企业孵化器的启示

在德国培训期间,我们有幸参观考察了BIC-KL(Business and In-novation Centre KalserslautermGmbH)-德国莱法州凯泽斯劳腾市企业创新中心。这是一家专为中小型科技企业服务的中心,很大程度上承担着我们所说的企业孵化器的功能。在欧洲,类似的中心有250个。它的成功运作以及卓有成效的业绩为我们建立中小型科技企业孵化器提供了极为有益的启示。该中心博士Klaus Brenneisen先生向我们详细介绍了中心的情况: BIC1985年设立,当时名为TZKL(TechnologieZentrum KaiserslauternGmbH),其初衷主要是为企业提供技术服务。1996年正式更为现名,并得到欧盟资金的支持,其宗旨发展为从科学出发,使科技有效地进入到经挤领域,促进两者有机的结合。现在中心的股份构成是莱法州占74%,凯泽斯劳腾市占13%,周边其他小城市占13%,也就是说该中心是在政府的全力支持下完成的,目前主要表现为政府行为。按照中心的发展计划,(也许还有欧盟及德国政府和州政府方面的原因,因时间关系未详细了解)该中心在2006年将完全变为自负盈亏的单位。该中心现在既接受欧盟的科研任务,也接受德国政府和莱法州和凯泽斯劳腾市的科研任务。它和凯泽斯劳腾大学等许多院校都有密切的关系,这些院校的科研人员既是他们扶持和服务的对象,也是他们所辖公司的独立法人。BIC和院校之间紧密结合,共同开展工作。围绕着促进经济发展,为社会提供更多的就业机会,中心从服务对象的特点出发主要设立二个方面的功能。第一,咨询。如果有项目或技术的人员想建立公司,他们就帮助其进     

对专科综合英语教学的探索与思考

综合英语教学是英语专业学习中的核心内容。文章就如何抓好专科综合英语教学中的语音基础及以学生为中心的教学模式展开探索与思考     

和谐社区与多中心治理:社区治理新模式

社区治理一直走不出自治不足的困境,其关键点就在于社区居民参与公共事务的热情不高,而究根到底就是社区治理以行政性组织为单一的领导中心。多中心秩序是市场经济条件下人们需求多样性的必然要求。社区多中心秩序的建立将促进居民互动和社区化,促进居民对社区事务的有序参与。社区政党组织、业主委员会、居委会、个体等将是多中心秩序的主要构建者,法律则是维系多中心秩序的制度保障。     

CALIS分布式联合虚拟参考咨询系统（CDCVRS）使用之我见

介绍了CALIS分布式联合虚拟参考咨询系统CDCVRS,在调查排名前50位的大学图书馆使用CDCVRS的情况基础上,总结了CDCVRS使用过程中存在的问题,提出了相应的解决办法。     

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

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