论文部分内容阅读
关于开放逻辑与缺省逻辑的研究
【机 构】
：
南京大学
【出 处】
：
南京大学
【发表日期】
：
1994年期
其他文献
多处理机系统的互连网络拓扑通常以（有向或无向）图为数学模型.设G是无向简单连通图，F是G的一个边割，如果G-F不含孤立点，则称F是G的一个限制边割.最小限制边割所含的边数称为G的限
对于求解非线性约束优化问题,一般通过设计迭代算法得到最优解,例如罚函数法,可行方向法和序列二次规划算法等.在这些算法中,序列二次规划算法是求解菲线性约束优化问题的最
本文主要对最终可微半群与最终范数连续半群的相对有界扰动进行了比较系统的研究。本研究主要包括以下两个部分： 第一章是预备知识。本章对Banach空间中的C0半群给出一个较
绿色无公害化学研究是以化学方式,分析是否存在污染问题.绿色化学是一种具有广阔发展空间的研究方式.通过准确的分析绿色化学改善标准,合理的分析实际可能存在的创新研究模式
本文探讨的是在网络环境下,图书馆的参考咨询服务往知识服务方面发展的相关情况,我们认识到:知识服务是参考咨询服务发展的必然阶段,并对传统的参考咨询服务走向知识服务的方
从可获得的文献来看,针对太阳能光伏发电的研究到目前为止已经不少,但大多集中在如何提高光伏电池的光电转换效率上.就影响设备发电效率而言,太阳能发电设备中一个不可缺少的