弱Ding-投射模及相关维数

利用同调代数的方法,讨论关于半对偶模C的弱Ding-投射模的若干性质,证明弱Ding PPC-分解的每个核都是弱Ding-投射模.研究模M的弱Ding-投射维数wDPC-pd(M)小于等于n的若干等价刻画.结果表明:wDPC-pd(M)≤n,当且仅当对任意C-f-投射模N都有Ext Rj≥n+1(M,N)=0,当且仅当...     

一种形式化知识库更新方法--修正程序

本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法-修正程序，它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则，但用来解释修正程序将会变得非常困难，本文将引入修正程序的语义模型-P-合理修正，并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。     

纳米固体超强酸S2O8^2-／ZrO2催化剂的改性研究

采用改性技术合成了新型的纳米固体超强酸催化剂S2O8^2-／ZrO2，该催化剂对醋酸和脂肪醇的酯化反应具有很好的催化作用，并且具有耐水性强、稳定性好、再生容易、可重复使用、不腐蚀设备、不污染环境等优点，是对环境友好的很有应用前景的绿色工业催化剂．用X射线衍射分析、X光电子能谱、TEM、红外光谱和化学分析等手段对S2O8^2-／ZrO2进行了表征．结果表明，浸渍液（NH4）2S2O8浓度、陈化温度、焙烧温度、沉淀条件、比表面积和含硫量均明显影响S2O8^2-／ZrO2的酸强度及催化活性．S2O8^2-／ZrO2最佳制备条件：陈化温度为-15℃，浸渍液（NH4）2SO8浓度为0．5mol／L，焙烧温度为600℃，焙烧时间为3h．     

Java性能故障模式分析

面向故障的软件测试方法正在快速发展中，应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式，给出其一般形式和产生原因，并分析其对于保证软件质量的重要性及改进措施，最后简要介绍了对故障模式进行检测的方法。     

应用双螺杆挤压机改性玉米蛋白质的研究

本文采用BC45型双螺杆挤压机,进行了玉米粗蛋白的挤压改性研究。通过分析蛋白质水溶性的变化,发现螺杆转速越快,物料水分越低,膨化温度越低,模头长度越短,越有利于获得高NSI的玉米蛋白。并用均匀试验设计优化了影响蛋白质溶解性的工艺条件;获得高NSI的最优挤压条件为:物料水分11%,螺杆转速160rpm,膨化温度75℃,模头长度300mm;各因素对玉米粗蛋白NSI的影响次序为:物料水分、膨化温度、模头长度、螺杆转速。蛋白质经过挤压膨化处理,可大大改善其功能性质指标,与此同时产品的色泽、气味也得以改善,消化利用率提高。     

无公害蔬菜苗期主要病害及综合防治技术

无公害蔬菜是指蔬菜中有害有毒物质含量在国家法律法规和强制性标准规定的允许范围内的蔬菜.随着生活水平的提高,人们对蔬菜质量提出了更高的要求,提供安全、优质、营养型的无公害蔬菜产品是当今乃至今后一个时期蔬菜生产的重大课题,也是蔬菜产业化的必由之路,为了保证蔬菜优质高产,在培育壮苗的过程中,搞好病虫害防治是关键技术之一.     

SiO_2-FeO-Fe_3O_4-CaO-MgO系炉渣的混料模型

针对中条山有色金属公司冶炼厂铜精矿的特点和熔池熔炼法这一新的炼铜工艺对炉渣的基本要求,采用“五分量对数项混料模型的D-最优和 D_n-最优设计”,对含量(％)为FeO 40-65,Fe_3O_4 3.5-10,SiO_2 28-42,CaO 3-15,MgO 0.5-5的炉渣粘度与熔点等性能进行系统的实验研究,确立不同温度(1 160,1 210,1 260℃)下炉渣粘度与组分之间关系的混料回归模型以及炉渣熔点与组分之间关系的混料回归模型。     

中国GPS联合收割机研究展望

概述了GPS联合收割机国内外的研究与发展状况，介绍了国外先进的GPS联合收割机及其智能测产技术，并在现有的GPS联合收割机智能测产的基础上，深入分析和探讨了有关作业质量控制的必要性，展示了我国GPS联合收割机需要智能测产和作业质量统筹兼顾的发展前景。