具有修正Leslie-Gower项的捕食-食饵模型的性质

研究了一类具有修正Leslie-Gower项的捕食-食饵模型在第二边界条件下的一些性质。首先,给出了其正解的先验估计,其次得到其非常数正解的渐进稳定性。     

n-一致模的构造(Ⅱ)

借助Clifford半群序和理论,根据外层算子G₁是否为一致模的分类标准,提出了两种n-一致模的构造方法。基于这些构造方法,可构造许多新的n-一致模。作为应用,证明了相关文献中具有连续基础算子的n-一致模的所有分解定理的逆命题都成立。     

基于动态规划的视频自动裁剪

传统视频裁剪方法大多只考虑内容保持,而忽略了由裁剪窗口频繁移动造成的时间不连续问题.为此,提出了一种基于动态规划的视频自动裁剪算法,并通过平滑因子和面积约束将视差控制在舒适区间.算法主要分为目标检测、轨迹定义、轨迹找寻三个阶段.首先将输入的视频序列进行语义处理并输出,运用YOLOX模型检测输出视频中的重要内容;然后定义一个对数线性模型融合每帧图像的特征、颜色直方图和灰度图,以得到一组帧系数,并对裁剪窗口进行面积和距离上的约束;最后运用动态规划中最短关键路径方法为视频帧找到一系列裁剪窗口,在相邻帧之间设置过渡因子来保证裁剪轨迹的平滑,同时定义了一个视觉惩罚函数平衡内容丢失与裁剪窗口偏移的问题.实验结果表明：所提出的算法在裁剪率、扭曲度和稳定性方面都优于以往的方法.     

线性回归模型中的KL型主成分估计

当线性回归模型中存在复共线性时,基于最小二乘估计的统计推断往往会受到影响。鉴于此,结合主成分估计和KL估计,提出了一类新的估计方法,即KL型主成分估计,以期克服复共线性问题。同时,得到新的估计在均方误差意义下优于最小二乘估计、主成分估计、r-k估计、r-d估计和KL估计的充要条件。并利用Monte Carlo模拟和实证分析对各估计量在均方误差准则下进行了比较。     

一种应用于圆阵的相关源分辨算法

常规的空间平滑算法存在着阵列孔径利用率低、计算过程复杂的缺点,另外,其平滑次数受阵元数及信源数的限制。空间相干源DOA估计的移动平滑（Shift- Smoothing）解相干算法,由于移动平滑算法并未损失有效孔径,因此具有更高的谱分辨率。计算机真结果表明,SS算法具有更高的分辨性能和更好的去相关性。     

横向距离平方和最小法的合理性

作者首先通过作图发现样本点到直线的距离与其横向距离同增减,直观地证明了横向距离平方和最小法的合理性.然后证明了横向距离平方和最小法的估计量具有相合性、无偏性、有效性.并发现横向距离平方和最小法的估计量是一致最小方差无偏估计.     

混合系数线性模型参数可容性估计的小样本分析

研究两种混合系数线性模型Zij=[x(tij)]'α+[y(tij)]'βi+εij(i=1,2,…,m;j=1,2,…,ni;ni>p+q)和Zi=Cid+ei(i=1,2,…,m,eiⁱ.i.d(0,YiΣY'i+σ2Ini))参数估计的容许性,可视为一种小样本理论。     

美国德克萨斯州冲突法的变迁

在过去的几个世纪里,德克萨斯州的法律选择学说一直经历着翻天覆地的变化。自德州加入反对本地法运动开始,直至第二次重述的利益分析和最密切联系原则的出现为止,德州似乎一直在逃避着一致性而趋向灵活性。从根本上说,德州冲突法在美国两次冲突法革命的革新中,被赋予更多的政策因素,加上法律选择固有的含糊不清的性质,为德州法院留下了较多不稳定的法律选择因素,在帮助当事人预见法院的法律选择方面所发挥的作用更是日渐式微。因此,对德州冲突法演变的探讨,尤其针对其冲突法理论和方法的变迁方面的讨论,对于解决目前的理论困境,以及探寻未来的理论发展模式有着积极的推动作用。     

基本上成立的概念及其应用

主要讨论了基本上成立的一些概念,并给出与这些概念相关的一些性质,同时用基本上成立的概念简述一些定理和性质的叙述、证明及它们之间的关系.