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

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

信息化论坛的贺词

值此第三届亚太地区城市信息化论坛召开之际，我谨代表中国政府，对论坛的顺利举办表示热烈的祝贺!向前来参加论坛的联合国官员、有关国家前资深政要、城市市长、企业和机构决策者以及各位嘉宾、各位代表，表示诚挚的欢迎!     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

高油玉米三种遗传效应综合利用模式研究

高油玉米三个遗传效应的综合利用生产模式是未来高油玉米生产的一种重要方式，而高油玉米雄性不育化研究又是实现三利用生产模式的关键技术环节，采用不育型高油玉米杂交种X超高油玉米杂交种的生产模式，可有效地提高高油玉米的含油量。     

三对角方程组行处理法并行算法模拟

给出一个串行模拟在分布式存储ＭＩＭＤ一级３叉树机上求解任意三对角线性代数方程组的分布式迭代算法的Ｃ语言程序。     

非酸催化法合成2，4，4—三甲基—1—戊烯的研究

采用异丁醇为原料，以Ti(SO4)2/Al2O3为催化剂，合成了2，4，4－三甲基－1－戊烯。对影响反应的因素进行了讨论，用红外光谱及核磁共振光谱对结构进行了表征。标题化合物的收率为80％以上。     

“三人亡马步行”浅释

在《古代汉语》、《文选》乃至《大学语文》等教材中，许多注释未必科学准确，即使名家之注也常有不妥之处。要想确切读懂原文，需要多方探讨、综合研究，尤其要注意依据上、下文的语言环境，并结合古汉语词义的特点进行。     

谈利率的计算公式

本文在起始不变原则、倍本原则和迭加原则假定下．得出资金率生长函数；指出其神同形异的两种表现形式；列出常用的单位时间利率——年利率、月利率、日利率三者之间的互换关系。     

水力发电厂一次设备的检修与维护

水力发电厂的设备检修与维护管理科学化是现代企业组织生产和管理的重要手段.本文对水力发电厂一次设备的实施状态维修工作进行了探讨.     

我看第四方物流

第四方物流自产生之日起就受到企业界和学术界的普遍重视,很多大牌的第三方物流公司、管理咨询公司都标榜自己能提供第四方物流服务。更有甚者,新成立的公司直接以"第四方物流"为名注册。第四方物流大有取代第三方物流成为人们一个新的关注焦点。那么到底什么是第四方物流?第四方物流和第三方物流有关系吗?我就自己的理解,参考一些资料,试图揭开第四方物流的真面目。本文在详实的论述的基础上,提出一种新的观点:第四方物流并不是一个全新的概念,而是第三方物流的延伸。第四方物流本质上和第三方物流并无区别,它是第三方物流和供应链管理两种理论结合的产物,是供应链管理竞争合作的新理念在第三方物流领域内运用的产物。但是第四方物流并不是第三方物流和供应链管理的简单糅合,它比第三方物流更先进,更能为客户提供独特的和广泛的供应链解决方案。