论文部分内容阅读
在一阶理论的型中建立了拓扑空间，证明了该拓扑空间的基本性质；利用上述性质，证明了ω－范畴完全理论的新特征。
ω—范畴完全理论的特征
【摘 要】
：
在一阶理论的型中建立了拓扑空间，证明了该拓扑空间的基本性质；利用上述性质，证明了ω－范畴完全理论的新特征。
【机 构】
：
中国科学院软件所计算机科学实验室
【出 处】
：
数学杂志
【发表日期】
：
2000年2期
其他文献
本研究以玉米C 群内两种不同胞质(ES、C)的3个不育系和2个弱恢复系以及一套w_x 易位系为材料,对C 型胞质雄性不育的弱恢复基因进行了定位。结果表明,两弱恢复系可能携带有同
通过对豫州蛋鸡５个品系间不同杂交组合的配合力测定表明：褐壳蛋鸡Ｉ×ＩＩＩ组合性能最佳。其开产日龄为１６７ｄ；０－６周龄成活率为９７．３５％；２１－７２周龄成活率为８９．２８％；７２周龄产蛋２６３．２５枚，总重量为１６．０３ｋｇ；料蛋比２．５５：１。上述各性状的杂种优势
利用猪胆汁和稻糖类混合物经发酵研制畜用抗痢粉。经过雏鸡进行应用效果试验，结果表明，在日糖中添加１％的畜用抗痢粉，可促进雏鸡生长发育，能显著防治鸡白痢沙门氏杆菌感染，降低鸡白痢
本文提出了求解非线性规划的一种序列二次规划内点算法,与其他算法的不同之处在于引进了仿射尺度变换,且避免了一维搜索,这使得该算法的计算量获得了明显的减少.本文给出了算
提出了ε水平最优模糊覆盖的新思想，结合推广的价关系概念，通过三角模糊算子（本文简称为Ｔ算子），研究了一种 模糊聚类方法，不仅能够充分利用已有数据信息，而且解决了聚类的评价性问题
提出一种H∞控制理论和人工神经网络相结合的直升机飞行/推进综合控制系统设计方 法。仿真结果表明，所设计的控制器使直升机在整个飞行包线内都具有较强的稳定鲁棒性、 性能鲁
引用涡流量方程组,建立与其等价的变分形式,采用全离散的混合有限元格式进行数值计算并绘制了温度分布及流函数图.对计算结果进行分析讨论.计算结果验证与实验结果吻合很好.
在文［８］中，我们已给出了复域内微分方程组的ｍ分量－允许解之定义，在本文里，我们类似给出复域内微分方程组的ｍ分量－非允许解之定义并讨论了更广泛的复域内微分方程组的这种解的存在性，得到
本文给出了带一般凸约束的变分不等式问题的算法，并在多种线性搜索下证明了算法的全局收敛性。