排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
5.
6.
1引言变分问题是运筹学与计算数学的一个交叉研究领域.它与数学领域的其它分支如非线性规划、极大极小、不动点理论等有紧密联系,在力学、工程、经济、交通等许多实际部门有广泛的应用。但目前国内外的变分问题的理论与算法的大部分结论都是在凸锥的条件下得到的,这些结论不能直接用于非凸集上的变分问题,因为这些结论大部分都是建立在投影算子在凸集上的性质上的. 相似文献
7.
本文基于中介逻辑建立了一种中介时序逻辑系统MTL(Medium Temporal Logic),文中着重讨论了MTL的形式系统并给出了它的语义解释,证明了MTL系统的可靠性。最后对MTL系统和经典时序命题逻辑系统进行了对比,指出经典时序命题逻辑系统是MTL的子系统。 相似文献
1