运用定理进行初步几何推导的路径分析——以“圆的垂径定理”为例

本文以初中数学几何问题的推导解题过程为内容展开,以圆的垂径定理为例阐述学生在解答有关圆形的垂线以及几何问题时使用定理解题的思路与过程.教材对于定理的推导过程基本淡化,学生以背公式、背定理为主要学习手段,从而忽略了对定理本身的理解.如何让学生去发现定理,而非接受定理本身,是当下教师应着手改善的问题.     

四阶椭圆方程的弱解(英文)

本文研究了一个四阶椭圆方程解的存在性问题.利用山路定理和喷泉定理,结合变分方法,获得了该问题弱解的几个存在性定理,推广了现有的一些结果.     

一类非光滑优化问题的最优性与对偶

本文研究了一类带等式和不等式约束的非光滑多目标优化问题,给出了该类问题的Karush-Kuhn-Tucker最优性必要条件和充分条件,建立了该类规划问题的一类混合对偶模型的弱对偶定理、强对偶定理、逆对偶定理、严格逆对偶定理和限制逆对偶定理.     

一类非光滑优化问题的最优性与对偶（英文）

本文研究了一类带等式和不等式约束的非光滑多目标优化问题,给出了该类问题的Karush-Kuhn-Tucker最优性必要条件和充分条件,建立了该类规划问题的一类混合对偶模型的弱对偶定理、强对偶定理、逆对偶定理、严格逆对偶定理和限制逆对偶定理.     

一类锥约束多目标优化问题的高阶对偶研究

在一类锥约束单目标优化问题的一阶对偶模型基础之上,建立了锥约束多目标优化问题的二阶和高阶对偶模型.在广义凸性假设下,给出了弱对偶定理,在Kuhn-Tucker约束品性下,得到了强对偶定理.最后,在弱对偶定理的基础上,利用Fritz-John型必要条件建立了逆对偶定理.     

两个泛函优化定理的证明

在泛函优化理论中,Lagrange乘子定理、对偶定理占有重要地位.建立了带有等式和不等式约束的泛函优化问题,并给出了广义Lagrange乘子定理、广义Lagrange对偶定理的证明.     

涉及小函数的亚纯函数

是否可以将第二基本定理的一般形式中常数替换为小函数,这一直是人们试图解决的重大问题.该文研究了涉及小函数的第二基本定理的推广问题, 并利用主要结果得到了几个惟一性定理, 改进了张庆德, Toda N和姚卫红等人的有关定理.     

一类非光滑规划问题的最优性和对偶

研究一类非光滑多目标规划问题,给出了该规划问题的三个最优性充分条件.同时,研究了该问题的对偶问题,给出了相应的弱对偶定理和强对偶定理.     

集值映射多目标半定规划问题的ε-弱有效性

对于集值映射多目标半定规划问题,在近似锥.次类凸的框架下,建立了含矩阵和向量的择一性定理,给出了问题的ε-弱有效解的ε-Lagrange乘子定理及标量化定理和ε-弱鞍点定理.     

具V-不变凸性的一类多目标控制问题的混合对偶性

本文研究了一类多目标控制问题的混合对偶性.利用函数的广义V-不变凸性条件,得出了关于有效解的弱对偶定理、强对偶定理和严格逆对偶定理,推广了多目标控制问题的对偶性结论.     

一类不确定时滞系统的鲁棒稳定性

给出了不确定时滞系统鲁棒稳定的若干结果,同时讨论了这类系统的稳定度,改进了前人关于时滞系统稳定性和鲁棒稳定性的一些结论,并给出了应用的例子。     

Practical finite-time stability of switched nonlinear time-varying systems based on initial state-dependent dwell time methods

This paper considers the problem of practical finite-time stability (PFTS) for switched nonlinear time-varying (SNTV) systems. Starting with nonlinear time-varying (NTV) systems, a new sufficient condition is proposed to verify the PFTS of systems by using an improved Lyapunov function. Then, the results obtained are extended to study the PFTS of SNTV systems. Two stability conditions are proposed for SNTV systems under arbitrary switching, moreover, the time and region of convergence are also given. Furthermore, an initial state-dependent dwell time method is introduced to study the PFTS of SNTV systems. Three stability conditions are proposed by using the methods of initial state-dependent minimum dwell time (ISD-MDT) and initial state-dependent average dwell time (ISD-ADT), respectively. The comparisons between the obtained results and the existing results are also given, and the obtained results are extended to impulsive switched nonlinear time-varying (ISNTV) systems. Finally, a numerical example is provided to illustrate the theoretical results.     

On the Controllability of Linear and Semilinear Impulsive Systems

In this paper, we establish some su?cient conditions for the complete controllability of linear and semilinear impulsive systems. For the semilinear systems, we assume that nonlinearities are Lipschitzian type. We invoke the tools of nonlinear functional analysis and fixed point theorems to establish the results. The results are also compared with the existing results in the literature in order to show the effectiveness of the results obtained. Few illustrative examples are provided to substantiate the results.     

Solvability of a class of impulsive damped vibration problems

In this paper, a class of impulsive damped vibration problems are considered. Existence results are obtained by using variational method and critical point theorem. The obtained results are also valid and new even if the impulsive damped vibration problem is reduced to impulsive Hamiltonian system and Hamiltonian system. Examples are presented to illustrate the feasibility and effectiveness of the results. Copyright © 2013 John Wiley & Sons, Ltd.     

Existence and uniqueness of solutions to a class of singular diffusion problems

Existence, uniqueness, and non-uniqueness results are given for a class of singular diffusion problems with variable diffusion rates. Continuity arguments are used on related initial value problems to produce the existence results. Uniqueness criteria are established for different sets of hypotheses and non-uniqueness results are discussed when these hypotheses fail.     

STUDY OF THE STABILITY BEHAVIOUR AND THE BOUNDEDNESS OF SOLUTIONS TO A CERTAIN THIRD-ORDER DIFFERENTIAL EQUATION WITH A RETARDED ARGUMENT

Lyapunov direct method is employed to investigate the asymptotic behaviour and the boundedness of solutions to a certain third-order differential equation with delay and some new results are obtained. Our results improve and complement some earlier results. Two examples are given to illustrate the importance of the topic and the main results obtained.     

Existence and uniqueness of almost periodic solutions to discrete mixed monotone hematopoiesis model

This paper is devoted to studying a generalized nonlinear discrete hematopoiesis model with delays. By applying mixed monotone operator fixed point theorem in an appropriate cone, we discuss the existence and uniqueness of positive almost periodic solution to this model. Four cases are classified based on parameters of the concerned model. The main results provided in the paper are more general than that of some previously known results, which are extended and complemented. Two particular examples are provided to illustrate that the obtained results, which are reasonable.     

Coincidence and fixed points for maps on topological spaces

The existence of coincidence and fixed points for continuous mappings on pseudo-compact completely regular topological spaces are proved. Our results are different from known, or are generalizations, extensions and improvements of the corresponding results due to Jungck, Liu and Liu et al. Further, the Edelstein result for contractive mappings is extended to Hausdorff (not necessarily completely regular) topological spaces and generalized in many aspects. An example is presented to show that our results are genuine generalizations of the Edelstein result.     

On the residual properties of Baumslag–Solitar groups

A survey of results on the residual properties of Baumslag–Solitar groups that have been obtained to date. Some unpublished results are included and for certain results new proofs are given     

Ramsey数的性质研究

本文得出了若干有关Ramsey数性质的结论,这些结论可直接用来推导Ram-sey数的下界公式,也可用来改进已有的Ramsey数的下界结果,本文中定理的证明思路,还能用于研究其它的图论和组合数学问题。