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

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

45钢固体粉末法稀土、硼、铬、铝共渗工艺研究

研究了RE_Mg合金对固体粉末法硼、铬、铝共渗层成分、组织和性能的影响 .发现随着RE_Mg合金加入量的增加 ,渗层中Al2 O3的量不断增多 ,当RE_Mg合金加入量为 5 %时 ,渗层中出现连续致密分布的Al2 O3黑区组织 ,对此进行了性能测试和机理探讨     

在管理信息系统中单据设计的新方法

在分析PowerBuilder中用户对象的基本概念与特点基础上，提出了利用用户对象技术实现MIS(管理信息系统)中单据设计功能的方法，并给出了详细的实现过程。实际应用表明，该方法可使用户按企业的实际需要对单据的录入界面进行自由设计，无需修改软件即可满足不同用户的需求，适合各种管理信息系统的单据设计，具有通用性。     

"厦门技术市场网站"建设

改革开放以来,尽管厦门市技术市场从无到有,大批有志于促进科技成果转化的科技人员进入市场,科技与经济的结合日益明显,技术交易额逐年有较大幅度增长,但厦门市大部分科技中介服务机构信息网络基础设施薄弱,信息收集水平低,服务手段落后,急需进一步加强技术供需信息网络基础设施建设,以便逐步实现中介服务组织网络化,功能社会化,服务产业化,形成全市乃至全国的电子网络技术市场,服务于厦门市的技术创新,因此有必要建立厦门市网上技术交易市场,使之适应市场经济发展的需要,适应厦门市科技信息业不断发展的需要.2000年12月,厦门市科技局支持并批复本项目的研究,目前已按项目任务要求完成了第一期工程.     

医用降温仪的设计与试验研究

介绍应用机械制冷方法设计医用降温仪的过程，并对所研制的降温仪进行试验和分析研究。     

立体构成与现代服装造型设计的关系

面的回转会产生立体，服装造型可以说就是面料按结构组合与面回转的原理形成的立体形态。此文通过立体构成与服装造型设计上的关系，阐明立体构成对服装造型设计的影响与作用。