包含约束极值问题的二阶最优性条件

定义了函数f的二阶逼近;给出了当f和集值函数F的支撑函数的和函数在(x-,0)处具有紧二阶逼近时,f在约束0F(x)下取得最小值的二阶充分条件和必要条件.     

蕴涵意义新解

严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法，并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件，将它作为蕴涵成立的充分条件来使用是不合适的。为有效避免蕴涵怪论问题的出现，提出了一种新的意义蕴涵概念。这一概念简明、直观和容易理解。     

区间系统鲁棒稳定性和鲁棒镇定性的检验条件

讨论了区间系统的鲁棒稳定性和鲁棒镇定性的有限检验问题,给出了线段多项式鲁棒稳定性的充分必要条件,利用该条件对多项式多面体鲁棒稳定性和区间系统鲁棒镇定性进行了有限检验,并给出了相应的检验结果。该检验条件直观简明,利用它可非常方便地对这些区间系统进行鲁棒稳定性分析。     

求解非光滑优化问题的修正HS三项共轭梯度法

为了提高大规模非光滑优化问题的求解效率,克服其他方法存储需求大、算法复杂等缺点,提出求解非光滑优化问题的一种修正HS共轭梯度算法。在经典HS三项共轭梯度法的基础上提出一种新的搜索方向,并利用Moreau-Yosida正则化技术和Armijo-type线搜索技术进行设计。新算法满足充分下降条件,搜索方向属于信赖域,在适当条件下证明了新算法全局收敛。初步的数值实验表明新算法在求解非光滑无约束优化问题方面比LMBM方法更有效。新算法不仅具有较好的收敛性质,而且数值表现良好,为更加高效地求解非光滑优化问题提供了新的方法。     

具有齐次核的Hilbert型积分不等式的构造特征及应用

利用实分析技巧,研究具有齐次核的Hilbert型积分不等式的构造特征及取最佳常数因子的充要条件,得到了最佳常数因子的解析表达式.     

On the origins and foundations of Laplacian determinism

In this paper I examine the foundations of Laplace’s famous statement of determinism in 1814, and argue that rather than derived from his mechanics, this statement is based on general philosophical principles, namely the principle of sufficient reason and the law of continuity. It is usually supposed that Laplace’s statement is based on the fact that each system in classical mechanics has an equation of motion which has a unique solution. But Laplace never proved this result, and in fact he could not have proven it, since it depends on a theorem about uniqueness of solutions to differential equations that was only developed later on. I show that the idea that is at the basis of Laplace’s determinism was in fact widespread in enlightenment France, and is ultimately based on a re-interpretation of Leibnizian metaphysics, specifically the principle of sufficient reason and the law of continuity. Since the law of continuity also lies at the basis of the application of differential calculus in physics, one can say that Laplace’s determinism and the idea that systems in physics can be described by differential equations with unique solutions have a common foundation.     

Essential Independent Condition for Graphs to Be Hamiltonian

Let G be a graph of order n．For graph to be Hamiltonian,beginning with Dirac’s classic result in １９５２,Dirac’s theorem was followed by that of Ore in１９６０．In１９８４,Fan generalized Dirac’s theorem and Ore’s theorem as if G is a２-connected graph of order n and max｛d（u）,d（v）｝≥n/２for each pair of vertices u and v with d（u,v）＝２,then G is hamiltonian．In１９９１,Faudree et al proved that if G is a２-connected graph and,| N（u）∪N（v）|＋δ（G）≥n for each pair of nonadjacent vertices u,v∈V（G）,then G is hamiltonian．This paper generalizes the above onditions of Dirac,Ore,Fan and Faudree et al in the case of３-connected graph and proves that if G is a３-connected graph of order n and max｛｜N（x）∪ N（y）｜＋d（u）,｜N（w）∪N（z）｜＋d（v）｝≥n for every choice of６Essential independent vertices,then G is hamiltonian．     

T-S离散模糊系统的二次稳定性

研究了T-S离散模糊系统的二次稳定性,目的是得到更简单的稳定性条件·首先,引入适合于T-S离散模糊系统的Lyapunov函数,得到了该系统稳定的充分条件·然后利用Schur补将非线性矩阵不等式问题转换成线性矩阵不等式问题,从而把被研究系统转化为凸组合系统,提出了基于LMI的更为简单的二次稳定性的充分条件·最后,给出了一个计算例子,计算结果说明可以使用LMI和MATLAB求解这类问题,同时证明了上述方法的优越性·利用该方法可以进一步研究T-S离散模糊系统的鲁棒控制、H∞控制等问题·     

基于凸组合技术的加速FR型共轭梯度算法

为高效求解非线性方程组问题,利用凸组合技术设计一个新型搜索方向,同时结合加速线搜索技术,提出一个新的加速FR型共轭梯度算法.在合理的假设下,新算法拥有全局收敛的良好性质.数值试验结果表明,新算法总体上优于经典FR算法和三项FR算法.新算法继承了修正FR方法的良好数值效果、充分下降性及信赖域特征,并具有计算简单和存储量小...     

Theoretical construction in physics – The role of Leibniz for Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’

This paper aims at closing a gap in recent Weyl research by investigating the role played by Leibniz for the development and consolidation of Weyl's notion of theoretical (symbolic) construction. For Weyl, just as for Leibniz, mathematics was not simply an accompanying tool when doing physics—for him it meant the ability to engage in well-guided speculations about a general framework of reality and experience. The paper first introduces some of the background of Weyl's notion of theoretical construction and then discusses particular Leibnizian inheritances in Weyl's ‘Philosophie der Mathematik und Naturwissenschaft’, such as the general appreciation of the principles of sufficient reason and of continuity. Afterwards the paper focuses on three themes: first, Leibniz's primary quality phenomenalism, which according to Weyl marked the decisive step in realizing that physical qualities are never apprehended directly; second, the conceptual relation between continuity and freedom; and third, Leibniz's notion of ‘expression’, which allows for a certain type of (surrogative) reasoning by structural analogy and which gave rise to Weyl's optimism regarding the scope of theoretical construction.