关于Znám问题的解数

设Ｚ（ｓ）表示Ｚｎｍ问题的解数。利用构造性的方法进一步证明了：当ｓ≥１２时Ｚ（ｓ）≥３９，且在２｜ｓ≥１２时Ｚ（ｓ）≥５７。由Ｚｎｍ问题与单位分数方程及一同余式组的关系，还给出了相应的相关结果。

PSC检查中涉及的ISM问题

目前,世界各地的PSC检查,已开始加大对ISM履约情况的检查力度。PSCO往往会根据表面缺陷进一步追究船舶管理、船员素质等更深层次的问题。根据2007年7月份USCG滞留船舶的情况分析,7月份在美国各港口共滞留船舶20艘,其中有12艘涉及ISM缺陷,占滞留船舶的60%;20艘船舶共开出52项缺陷,其中有23项是ISM方面的缺陷,占缺陷总数的44.2%。从USCG开出的ISM缺陷分析,缺陷主要集中在船长责任、人力资源、应急部署、船舶操作和设备维护等方面。

浅谈SIEM问题及对策

网络和信息安全面临的困难日渐艰巨，幸运的是，安全方法和技术正在不断地“长江后浪推前浪”，尤其是SIEM（安全信息和事件管理）有助于提供安全警告分析，并可以使日志的安全数据处理更便于管理，它已经成为企业信息安全实践的重要基石之一。但是，仅有SIEM还不够，没有其他的辅助，SIEM仍会面临重重困难。

造气炉φ2400mm扩至φ2800mm问题解析

φ2800mm造气炉的成功运转及各工艺参数较大幅度的提升，使之在小氮企业中得到了迅速推广，且收到了较好的经济效益，尤其在劣质煤、小粒度煤的气化优势上更明显。为提高单炉产气量，稳定煤气炉运行，降低煤耗，减少煤气炉的运行台数，很多厂家对φ2600mm造气炉进行了扩径，至φ2800mm，也有一些厂家根据煤气炉的运行实际及技改工期选择了φ2600／φ2800mm型的锥形夹套作为过渡。也有部分厂家在φ2400mm炉技改到φ2600mm后，又计划继续扩径至φ2800mm。在扩径改造中，业内人士为提高一次性技改的产气量，减少中间技改过渡，提出了φ2400mm炉技改到φ2800mm炉的想法。在对传统的厂房、设备基础充分考察论证后，由φ2400mm炉技改到φ2800mm炉的方案笔者也认为是可行的，且在改造过程中，工程周期短，效果显著。

一类带p-Laplace算子的非线性二阶m点共振边值问题解的存在性

基于拓扑横截方法连同障碍带技巧,得到一类带p-Laplace算子的非线性二阶m点共振边值问题解的新的存在性结果,并给出应用举例。

基于视觉的多机器人协作SLAM问题

视觉SLAM仅采用图像作为外部信息,用于估计机器人位置的同时构建环境地图。SLAM是机器人自主性的基本前提,如今在小动态环境采用激光或者声呐传感器构建2D地图得到较好地解决。然而动态、复杂和大范围下的SLAM仍存在问题,使用视觉作为基本的外部传感器是解决问题的一个新颖热门的研究方法。在视觉SLAM中使用计算机视觉技术,如特征检测、特征描述和特征匹配,图像识别和恢复,还存在很多改善的空间。本文在视觉SLAM领域的最新技术的基础上,对基于视觉的多机器人协作SLAM领域的前沿技术进行综述。

一类n阶m点边值问题正解的存在唯一性

运用混合单调算子及不动点定理,研究了一类n阶m点边值问题正解的存在唯一性,并构造了一个迭代序列去逼近这个正解.

方程sum from i=1 to s(1/x_i+1/(x_1…x_s))=1的解以及Znám问题的解数

设s为正整数,Ω(s),Z(s),H(s)分别表示方程sum from i=1 to s(1/x_i+1/(x_1…x_s))=1、Znám问题以及同余式组x1…xi-1xi+1…xs+1≡0(modxi)的解数.作者给出了两种构造方程的解的新方法,证明了Ω(8)≥73,Ω(9)≥279,Ω(10)≥576,并且进一步改进了方程的解数、Znám问题以及同余式组的解数,证明了当2■s≥12时,Ω(s+1)≥Ω(s)+101,且在2s≥11时,Ω(s+1)≥Ω(s)+70.

Banach空间中分数阶微分方程m点边值问题的正解

该文在Banach空间中研究一类分数阶微分方程m点边值问题,证明了格林函数的性质,构造一个特殊的锥,利用锥拉伸压缩不动点定理得到了该边值问题正解的存在性,最后给出一个例子用以说明主要结果.

二阶脉冲微分方程m点边值问题的正解

利用Leggett-Williams不动点定理,研究一类二阶脉冲微分方程非局部(m点)边值问题正解的存在性。在某些条件下,得到了它至少存在3个正解u1,u2,u3,使得‖u1‖<d,a<α(u2)且‖u3‖≥d,α(u3)≤a。

一类离散m点边值问题的正解

利用Krasnoselskii不动点定理,获得了一类离散m点边值问题存在至少一个正解的充分性条件,对已有文献中的一些结果进行了改进.

一类非线性m点边值问题正解的存在性与多解性

考察了非线性方程m点边值问题u″(t)+a(t)u′(t)+b(t)u(t)+f(t,u)=0,0≤t≤1,u(0)=0,u(1)=∑m-2i=1αiu(ξi),的正解的存在性与多解性.设a∈C[0,1],b∈C([0,1],(-∞,0));设1(t)为线性方程边值问题u″(t)+a(t)u′(t)+b(t)u(t)=0,0≤t≤1,u(0)=0,u(1)=1,的唯一正解.其中ξi∈(0,1),αi∈(0,+∞)为满足∑m-2i=1αi1(ξi)<1的常数,i∈{1,2,…,m-2}.通过考察f在有界集上的性质,运用Krasnosel'skii锥拉伸与锥压缩型不动点定理及格林函数的性质,获得了其正解的存在性与多解性,推广和改进了已有的相关结果.

一类奇异三阶m点边值问题正解的存在性

在αi≥0,i=1,2,…,m-3,αm-2>0,m-2∑i=1αi>1,ξi满足0<ξ1<ξ2<…<ξm-2<1且0<m-2∑i=1αiξi(2-ξi)<1的情况下,研究奇异三阶m点边值问题{um+λq(t)f(t,u)=0,t∈(0,1),u(0)=βu'(0),u(1)=m-2∑i=1αiu(ξi),u'(1)=0正解的存在性,其中,参数λ>0,q∈C((0,1),R+),f∈C([0,1]×R+,R+).运用锥拉伸与压缩不动点定理,在f满足超线性或次线性的情况下,不仅得到该边值问题正解的存在性,同时还得到使得问题有解的特征值λ的取值范围.

一类奇异三阶m点边值问题多个正解的存在性

研究一类奇异三阶m点边值问题多个正解的存在性.在适当的条件下,用Guo-Krasnosel skii不动点定理证明了至少存在一个或多个正解.

一类二阶常微分方程m点边值问题的解法

该文研究一类二阶常微分方程,给出了所述线性方程在几种m点边界条件下解的存在惟一性及其解的解析表达式,作为应用的例子,作者对一类非线性边值问题给出了正解的迭代求法.

Ménage问题的一种粘贴DNA算法

解决图论与排列组合难题是DNA计算领域的研究目标之一.为了使用分子生物方法解决Ménage问题,本文给出了Ménage问题的数学模型;并对解决该问题的难点进行了分析,提出一种解决方案,改进了该问题的数学模型;提出一种解决Ménage问题的粘贴DNA算法并简要分析了该算法的复杂度.为了提高效率,引入广义分离和广义多级分离操作;通过一个实例给出了实验操作步骤,对实验进行了模拟.

非线性m点边值问题正解的存在性

利用锥上的不动点定理，在ｆ满足超线性条件或次线性条件下。

四阶奇异m点边值问题的正解

利用上下解方法,不动点定理研究了四阶奇异m点边值问题正解存在性.通过构造上下解和比较定理给出了C^2[0,1]和C^3[0,1]正解存在的充分条件.非线性项f(t,u)在t=0,t=1和u=0处奇异,关于u减而且仅仅具有某些可积性.

奇异脉冲微分方程m点边值问题多个正解的存在性

利用锥上的不动点指数定理,研究一类带p-Laplace算子的奇异脉冲微分方程m点边值问题,并给出多个正解存在的充分条件.

非线性分数阶微分方程m点边值问题解的唯一性

运用Banach压缩映射原理和广义Lipschitz条件及Green函数研究一类非线性分数阶微分方程m点边值问题解的存在唯一性,得到其解存在唯一性的充分条件.