非自包含不动点定理及其在投入产出方程中的应用

本文利用拓扑度方法建立一个非自包含不动点定理,并利用它们对一类非线性(连续型)投入产出方程加以研究,得到相应的存在性与连续性结果.     

大规模无约束优化的一族LBFGS类算法

尝试在有限存储类算法中利用目标函数值所提供的信息.首先利用插值条件构造了一个新的二次函数逼近目标函数,得到了一个新的弱割线方程,然后将此弱割线方程与袁[1]的弱割线方程相结合,给出了一族包括标准LBFGS的有限存储BFGS类算法,证明了这族算法的收敛性.从标准试验函数库CUTE中选择试验函数进行了数值试验,试验结果表明...     

中介时序逻辑系统MTL的完备性

本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.     

基于中介逻辑的时序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统     

大规模无约束优化的一族LBFGS类算法

尝试在有限存储类算法中利用目标函数值所提供的信息.首先利用插值条件构造了一个新的二次函数逼近目标函数,得到了一个新的弱割线方程,然后将此弱割线方程与袁[1]的弱割线方程相结合,给出了一族包括标准LBFGS的有限存储BFGS类算法,证明了这族算法的收敛性.从标准试验函数库CUTE中选择试验函数进行了数值试验,试验结果表明这族算法的数值表现都与标准LBFGS类似.     

非凸变分不等式的隐式迭代算法

1引言变分问题是运筹学与计算数学的一个交叉研究领域.它与数学领域的其它分支如非线性规划、极大极小、不动点理论等有紧密联系,在力学、工程、经济、交通等许多实际部门有广泛的应用。但目前国内外的变分问题的理论与算法的大部分结论都是在凸锥的条件下得到的,这些结论不能直接用于非凸集上的变分问题,因为这些结论大部分都是建立在投影算子在凸集上的性质上的.     

基于中介逻辑的对序逻辑系统

本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统和经典时序命题逻辑系统进行了对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统。