(A,η)-极大增生算子和求解一类变分包含问题的混合迫近点算法

在Banach空间中针对一类非线性变分包含问题,提出了(A,η)-极大增生算子的概念,它是Hilbert空间A-极大单调映射的一般推广.通过研究(A,η)-极大增生算子的性质,改进了与A-极大单调映射相关的预解算子技巧,将其推广为与(A,η)-极大增生算子相关的预解算子.应用推广后的预解算子技巧,给出了一类非线性变分包含问题的解的存在性和唯一性,进而结合(A,η)-极大增生算子,对混合迫近点算法的一般框架进行了推广和改进.同时,应用预解算子的一些结论对求解变分包含问题的混合迫近点算法进行了收敛性分析.获得的结论将非线性变分包含问题相关结果推广为涉及(A,η)-极大增生算子的非线性变分包含问题.     

稳定相方法与一类振荡积分的渐近

主要对稳定相方法的一般结论进行了推广,给出了一类更一般的振荡积分的渐近情况。基于一般稳定相方法给出了积分的渐近条件,严格证明了主要定理,并讨论了此类积分渐近结果的重要应用。     

浅析水泥混凝土路面早期断板原因及防治

文章结合笔者参加检查验收的几条滑模施工和小型机具施工的混凝土路面发现有早期开裂断板,分析其成因并提出防治对策.     

一种抛锚出链长度的计算方法

通过锚泊工况下锚链的受力分析，给出抛锚出链长和落锚 的一般计算公式，并通过模拟计算，得出当风力超过１０级时，为防止船舶走须改单锚泊为双锚泊，在实践中取得良好的效果。     

基于水平集方法的动态目标跟踪路径最优仿真

两移动平面运动体因有各自的智能控制器,因此当它们在跟踪控制时,双方必然及时根据对方的策略改变各自的控制策略(方向和速度大小),来达到一种真正的双边最优(主动跟踪者最短时间的追上被跟踪者,而被跟踪者最大化时间避免被追上).首先将平面上任意运动体简化成带速度和加速度的质点,然后利用追逃微分对策理论建立起此跟踪路径最优问题的哈密顿-雅可比-贝儿曼偏微分数学模型.对这种双边极值的难点问题,提出一种水平集数值求解方法.并利用水平集的偏微分方程与哈密顿-雅可比-贝儿曼偏微分方程结构相似性得到水平集的速度函数.对一平面上两无人驾驶飞机的动态跟踪双方进行仿真,仿真编程简单,解决了双边极值的求解.     

Java程序数据竞争的增量式检测

针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟机的即时编译器中以竞争检测遍形式设计实现了一种精确有效的增量式竞争检测算法.结合锁集和发生序关系,依次对即时编译的每个方法进行一次方法内分析,收集独立于上下文的方法摘要,并以方法摘要为基础自下而上进行上下文敏感的跨线程方法间分析,增量计算并及时输出潜在的竞争信息.实验表明,算法对应用程序无插桩且不受程序规模限制,具有与O'Callahan等人的动态竞争检测算法类似的精度,检测时间仅占总编译时间的2%～4%.     

△(G)=4的平面连通图的存在性及其分布区域

本文证明了两个关于最大度为4的平面连通图的存在性定理,并确定了此图类的三种类型的分布区域。     

全悬挂多点啮合柔性传动的动力学模型

本文根据第二类拉格朗日方程对全悬挂多点啮合柔性传动装置建立了完整的运动微分方程,其中不仅考虑了悬挂齿轮箱牵连转动的影响及作用于电动机定子上的电磁力矩,还计及了耗散力的广义力.文中使用能量法推导了扭力杆缓冲装置的等效扭转刚度,用广义雅可比法求解了系统的广义特征值问题,并通过计算验证了 12自由度和3自由度两种动力学模型的正确性和一致性.     

薛定锷方程解的规则性及其边界性质

本文主要讨论Schrodinger方程: (△/2+q)u(x)=0的规则解的性质,在边界点上的极限行为,以及逆随机Dirichlet问题规则解的存在性。得到了一系列新结果。