论文部分内容阅读
建立了型的拓扑空间,并证明了该空间的一些基本性质.利用上述性质,进一步研究了模型个数问题.
范畴理论及其性质
【摘 要】
：
建立了型的拓扑空间,并证明了该空间的一些基本性质.利用上述性质,进一步研究了模型个数问题.
【机 构】
：
淮北煤炭师范学院计算机科学与技术系
【出 处】
：
科学技术与工程
【发表日期】
：
2004年10期
【基金项目】
：
国家自然科学基金
其他文献
近年来，随着我国对钾资源开发的重视，我国钾盐的产量有显著增加，对提高我国钾肥供应起到了重要作用。然而，从全球范围来看，目前我国探明的水溶性钾矿资源较少，而且分布极不平衡，多集
应用Kalman滤波方法，基于Riccati方程，在线性最小方差最优信息融合准则下，提出了两传感器最优信息融合白噪声反卷积滤波器。同单传感器情形相比，可提高滤波精度。它可应用于石油
硫酸钾作为一种无氯优质的高效钾肥，在烟草、葡萄、甜菜、茶树、马铃薯、亚麻及各种果树等忌氯作物的种植业中，是不可缺少的重要肥料。同时，硫酸钾也是优质氮、磷、钾三元复合肥
采用水热腐蚀技术制备的铁钝化多孔硅表面具有可调超结构。详细研究了铁钝化多孔硅水热制备过程中单晶硅片表面的形貌演化。结果表明，在水热腐蚀过程中，存在两种同时发生的腐蚀