拓扑右R-模上的谱空间

在这篇文章中我们证明了如果M是右拓扑模，则Spec(M)是T0-空间，任意既约闭集有一般点，并且若M是有限生成的，则它是紧致的T0-空间．特别地,若R是右Noether环且M为有限生成的右拓扑模时，Spec(M)构成一个谱空间，且M是谱模．     

验算点法（JC法）求解可靠指标β的一种新方法

介绍了一种求解可靠度指标方程组的新方法，此方法与传统求解复杂超越方程组的方法相比具有不易发散、收敛速度快和计算结果精度高的特点。介绍了一个计算实例能求出不同荷载效应ρ所对应的可靠度指标β。     

估计混凝土强度标准差的一种新方法

给出了一种混凝土验收批强度标准差的无偏估计方法，该方法能充分利用以前和当前的全部概率信息得到高置信度的强度标准差估计量，与传统方法比较更接近于母体真值。     

基于FPGA的瓶盖边缘在线视频检测装置的设计

设计并实现了一个采用OV7670视频模块,以FPGA作为控制单元的瓶盖边缘在线视频检测装置。运用Verilog语言编程,该装置实现了外接VGA显示器菜单式参数设置,完成了实时视频图像的Roberts边缘检测,提高了图像处理速度。通过改进检测算法,有效地抑制了噪声,获得了清晰、连贯的边缘图像。该设计改善了工作环境,避免了对人体的损害。     

木材防腐处理

对林区所经营、销售的木材进行防腐处理，是保护森林资源，提高木材产品使用寿命，节约木材的重要技术。     

再论球磨机的动力学分析

指出文献〔１〕～〔８〕关于球磨机钢球的运动分析是错误的－ 本文重新进行研究， 得出同以往结果完全不同的运动规律、分离条件和分离角计算方法     

广义Clean环

本文引入了新的环类-广义Clean环,对Clean环和(s,2)环作了共同推广.一些Clean环和(s,2)环的性质可扩展到广义Clean环.     

序半群的K-理论

设S为幺半群,1为其单位元,B是非空集合.若有映射(S在B上的作用)S×B→B满足s(tb)=(st)b,1b=b,其中s,t∈S,b∈B,则称B为(左)S-系.宋光天利用有限生成投射S-系讨论了半群的Grothendieck群和Whitehead群.在文[6]中,作者给出了无零元序幺半群S上的投射序S-系的结构.本文首先利用不可分强凸子系给出了序S-系的分解定理,然后给出了投射序S-系的结构,最后讨论了序半群上的Grothendieck群.     

13CNMR法研究乙烯基类单体与胶原蛋白水解多肽的接枝共聚反应

通过比较胶原蛋白丙烯酸水解物、乙烯基类单体均聚物、共聚物及其与多肽接枝共聚物的13CNMR谱图,证明在以过硫酸铵为引发剂时乙烯基类单体确实与胶原蛋白水解多肽发生接枝共聚反应.在δ为69.6～69.8及44.1～44.5处出现接枝共聚特征吸收.并对其反应历程进行推测.     

黄河流域城市土地绿色利用效率测度及其时空演变

黄河流域绿色发展的目的在于维护生态安全以及提高发展质量.借鉴绿色经济效率评价方法,将生态损失作为非期望产出纳入传统土地利用效率评价指标体系中,借助非期望产出的超效率SBM模型对2003-2018年黄河流域53个地级市的城市土地绿色利用效率进行测度,采用核密度估计和空间自相关分析方法,从时间和空间两个角度分析城市土地绿色利用效率演变特征,并定性分析其时空演变的影响因素.结果表明：时间上,黄河流域城市土地绿色利用效率呈现上升趋势,并存在两极分化格局,不同时段内上、中、下游的城市土地绿色利用效率存在显著差异;空间上,黄河流域城市土地绿色利用效率呈现正向全局空间相关性,且空间集聚程度呈现“波浪式”发展特征,即上游城市土地绿色利用效率从低值集聚型演变为高值集聚型,中游城市土地绿色利用效率主要表现为低值集聚型,下游城市土地绿色利用效率由高值异质型演变为低值集聚型.此外,影响黄河流域城市土地绿色利用效率的因素主要为宏观政策以及上、中、下游不同的自然环境特点、产业结构和城市发展特征等.基于上述结论,本文提出了提升黄河流域城市土地绿色利用效率的建议：从宏观角度看,应致力于创新制度、构建全流域国土空间规划...