一类具有两次接种的时滞SVIR传染病模型

首先建立了具有两次不同免疫率的SVIR传染病模型,并用时滞分析接种的间隔时间.然后构造李雅普诺夫函数,证明模型的稳定性由基本再生数R₀决定:当R₀<1时,无病平衡点是全局渐近稳定的,当R₀>1时,地方病平衡点是局部渐近稳定的.最后通过数值模拟验证了以上结论.     

固定效应部分线性单指标面板模型的惩罚二次推断估计

单指标面板模型已广泛应用于各学科领域的研究中,其估计方法较为丰富,然而鲜有估计方法将个体内的相关性考虑在内.基于此,本文研究了一类个体内存在相关性的固定效应部分线性单指标面板模型,采用惩罚二次推断函数法和LSDV法相结合的方法对模型进行估计,证明了所得估计量的一致性和渐近正态性.Monte Carlo模拟结果显示其具有...     

基于对数灰关联度的加权几何平均组合预测模型的有效性

基于对数灰关联度的加权几何平均组合预测是一种新的非线性组合预测。针对该方法提出新的优性组合预测、预测方法优超、冗余度等概念,给出优性组合预测存在的充分条件,最后证明冗余预测方法的一个判定定理。     

企业聘用职业经理人的最优时机及其委托代理模型

认为尽管职业经理人的能力可能更强,但只有当企业规模大于临界规模时,企业才会选择聘用职业经理人.运用实物期权的方法,分析得到了企业聘用职业经理人的最优规模(时机),并基于此建立了最优分成制委托代理模型.分析结果表明,在企业考虑实物期权价值的情况下,增大了聘用职业经理人的临界规模,降低了最优分成比例,提高了代理人的努力水平.结果进一步显示,随着市场不确定性的增大,企业聘用职业经理人的临界规模增大,代理人的努力水平降低,最有分成比例增大.     

基于量子逻辑的模糊线性时序逻辑的模型检测

模型检测的主要问题是处理具有量化信息的系统的验证问题,该文在量子逻辑和时序逻辑的相关理论基础上引入了可能性理论以及模糊线性时间的可能性测度,研究了线性时序逻辑在模糊时态下的模型检测方法.通过引入可能性理论以及广义可能性Kripke结构定义,对广义可能性Kripke结构中的模糊线性时间性质进行了讨论,有利于研究不确定现象...     

Broadband energy harvesting via magnetic coupling between two movable magnets

Harvesting energy from ambient mechanical vibrations by the piezoelectric effect has been proposed for powering microelectromechanical systems and replacing batteries that have a finite life span. A conventional piezoelectric energy harvester （PEH） is usually designed as a linear resonator, and suffers from a narrow operating bandwidth. To achieve broadband energy harvesting, in this paper we introduce a concept and describe the realization of a novel nonlinear PEH. The proposed PEH consists of a primary piezoelectric cantilever beam coupled to an auxiliary piezoelectric cantilever beam through two movable magnets. For predicting the nonlinear response from the proposed PEH, lumped parameter models are established for the two beams. Both simulation and experiment reveal that for the primary beam, the introduction of magnetic coupling can expand the operating bandwidth as well as improve the output voltage. For the auxiliary beam, the magnitude of the output voltage is slightly reduced, but additional output is observed at off-resonance frequencies. Therefore, broadband energy harvesting can be obtained from both the primary beam and the auxiliary beam.     

关于蕴涵BCK—代数的伴随半群

我们证明了蕴涵BCK-代数的伴随半群是一个上半格;具有条件（s)的蕴涵BCK-代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK-代数的伴随半群是一个布尔代数。