矩阵极分解计算的一个注记

设$p$是大于$1$的偶数,根据方程$x^{-p}-1=0$的Newton求根公式, 给出计算非奇异矩阵酉极因子的数值方法,并证明了它具有二次收敛特性. 数值例子表明该算法是有效的.     

时标轴上二阶Dirichlet边值问题的弱解（英文）

采用变分方法和临界点理论研究一个时标轴上二阶Dirichlet边值问题弱解的存在性.     

时间尺度上三点边值问题正解的存在性

讨论了时间尺度上三点边值问题,利用锥拉伸与锥压缩型的Krasnosel′skii不动点定理,对其正解的存在性进行探究.     

基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

一类二阶泛函微分方程正解的存在性

研究了Banach空间中二阶泛函微分方程四点边值问题正解的存在性。在-1<ω≤0及-r<ω≤0两种情形下,通过在Banach空间中构造一个合适的锥,并在锥中定义一个正算子,利用锥上的不动点定理,证明了该问题正解的存在性。最后,作为主要结果的应用,建立了两个具体的泛函微分方程多重正解的存在性结果。     

非同分布φ混合序列加权和的强极限收敛性

利用φ混合序列矩不等式和截尾的处理方法,研究非同分布φ混合序列加权和强极限收敛性质的问题,得到了若干新结果,推广并改进了独立同分布情形下的相应结果.     

二阶椭圆混合问题的三棱柱单元逼近

针对二阶椭圆混合问题,构造了一个新的三棱柱单元,分析了该单元的适定性,利用Falk-Osborn方法,证明了单元满足离散inf-sup条件,进而给出了误差估计结果.     

基于随机机器故障的柔性作业车间动态调度

为了有效快速地应对生产过程中出现的随机机器故障,构建了一个故障机器可恢复的动态柔性作业车间调度模型,采用事件和周期混合驱动的方式,设计了一个组合重调度策略.在组合重调度策略中,将改进的二叉树右移重调度与完全重调度进行组合,引入序位偏差和完工时间偏差为重调度评价指标,对重调度方法进行选择,并且在精英选择遗传算法(elite selection genetic algo-rithm,ESGA)基础上,对精英选择策略进行改进,以防止陷入局部最优.试验算例仿真结果表明,动态调度算法对随机机器故障下的柔性作业车间动态调度是有效的.     

基于混合高斯模型的储物柜存取货行为检测方法

针对储物柜存取货物场景的实际情况和人员行为的特点，提出一种通过融合时间调整机制控制前景融入背景的改进型混合高斯建模检测方法，并引入手臂识别机制。融合时间调整机制减小了由于人员停止运动而错误决策为背景的可能性；手臂识别算法模型有效地识别人员伸手动作。实验结果表明，该方法可以简单有效地从连续的图像序列中检测出人员在储物柜场景下的存取货物行为。