隐式微分方程的存在唯一性定理

本文应用压缩映象原理证明了一阶隐式微分方程解的存在唯一性定理。本定理可以看成是Ｐｉｃａｒｄ存在唯一性定理的推广。     

脉冲微分系统的周期边值问题解的存在性

本文讨论了一阶脉冲微分系统的周期边值问题，利用不动点定理得到了问题的解存在的一些充分条件。     

试论方根存在定理

本文叙述了关于方根存在定理研究的简要历吏.阐明了实数与复数的方根存在定理。     

再谈价格测算模型及其解的存在性

本文对文献中的价格测算模型的解P的存在唯一性定理进行了改进,并且给出了较为简捷的证明。     

具分布时滞的分层抑制细胞神经网络概周期解的存在性

通过利用Banach空间中的不动点定理和Lyapunov泛函的方法,获得了具分布时滞的分层抑制细胞神经网络概周期解的存在性的新结论。所获结果在较大程度上改进和推广了已有文献中的相应结果。     

关于一类非局部抛物方程组解的整体存在与爆破

考虑一类具有非局部源项抛物方程组,借助于上下解技巧,给出了解整体存在和有限时刻爆破的条件.讨论两种混合固体燃烧的热传导问题所确定的抛物方程组,对于它们的参数如果01,则方程组具有充分小的初值的解整体存在,具有充分大的初值的解在有限时刻爆破.     

不动点定理在拟平衡问题组中的应用

在不具有任何凸性结构和线性结构的有限连续空间(简称,FC-空间)中引入了新的拟平衡问题组,并运用FC-空间中的不动点定理,证明了这些拟平衡问题组的平衡点的存在性.这些结果推广了近期文献在抽象凸空间中的一些重要的平衡问题和拟平衡问题的存在结果.     

Tax Evasion: Models with Self-Audit

Different from traditional tax audit, supervision with self-audit is a combination of audit by the taxpayer himself and audit by the tax authority. This paper mainly studies a taxpayer＇s optimal policy of tax evasion under supervision with self-audit and its related properties, in order to deduce some effective suggestions and theoretical bases to restrain tax evasion. Assuming that only a certain proportion of evaded tax can be discovered when the audit is executed, the authors first formulate a static model with self-audit. This model is divided into two stages. At the first stage, taxpayers declare their taxes, then the tax authority chooses audit objects, based on a known probability, and announces the result; if the taxpayer is chosen, he will enter the second stage, during which he has a chance to pay the evaded tax and the corresponding late fees and then is audited by the tax authority. The authors show the existence and uniqueness of the optimal amount of tax evasion at the first stage and the optimal proportion to self-expose at the second stage. The authors also discuss the related properties of the interior solution, and do elasticity analyses on some parameters. Besides, the authors extend the static model into the corresponding two-period model, and study the existence and uniqueness of the solution of the extended model. Finally, under the assumption that tax evasion can only be discovered with a certain probability when the audit is executed, the authors formulate another static model with self-audit and investigate its properties.     

对量化问题的哲学实验研究

在量化问题上,传统逻辑和现代逻辑的对当方阵大相径庭,且各有局限。哲学实验结果显示:(1)自然语言中A、I命题都允许主项为实体性存在、观念性存在,不接受自相矛盾的主项;(2)各语境下自然语言的A、I命题在主项存在方面高度相似,表明A命题预设了主项存在;(3)不同语境下对A、I命题的否定接受了不同的预设,表明了否定包含预设、且预设具有层次性。基于实验结果的"分层量化"方案,把A命题的主项存在预设形式化为公式的一部分;把不同语境下否定的预设形式化为独立的前提,据此分层建立了否定时预设个体存在(■x)、预设主项存在(■xSx)、预设主项为全域(■xSx)的对当方阵,三者具有内在一致性。新方案似可较为系统地消解量化问题的困境。     

一类广义半线性电报方程整体解的存在性

在古典意义下,利用Banach不动点定理,研究了一维空间中一类具有初值问题的半线性电报方程整体解的存在唯一性.