具结构化的细菌种群模型的生成半群问题

在L1空间上,研究了在一般边界条件下具结构化的细菌种群模型,讨论了这类模型相应的迁移算子生成正C0半群,并且证明了该正C0半群是不可约的。     

算子超等距膨胀的条件

本文在文[1],[2]的基础上,进一步讨论了算子超等距膨胀的性质,证明了T∈L(H)可超等距膨胀的充分必要条件是T≌P_H M|_H,或者T≌∑■ P_H M|_H这里M是Bergman位移,H∈LatM~*。     

Lipschitz强增殖映射方程的迭代解

本文讨论一致凸Banach空间中的Lipschitz强增殖映射方程解的Ishikawa迭代和Mann迭代的收敛性,部分回答了Chianme提出的两个问题。     

避免导映照求逆的变形Newton迭代的收敛性和误差估计

主要证明了Banach空间中避免导映照求逆的变形Newton迭代在统一判定条件下的收敛性,并给出它和Newton迭代的误差估计,最后给出了两个积分方程算例。     

二元体相分离模型的静态分歧

运用非线性分歧理论,研究二元体相分离模型的静态分歧,给出了一个与该模型线性问题第一特征值相关的临界值。当参数超过该临界值时,二元体相分离模型有静态分歧发生,此时相应的二元体有相分离现象发生。此外,提出影响二元体相分离现象发生的主要因素是晶格间距和二元体所在区域的形状。     

Bernoulli泛函空间中广义计数算子的表示

得到离散时间正规鞅平方可积泛函空间L^{\mathrm{2}}(M)中广义计数算子N_h的5种表示：（1）量子Bernoulli噪声（quantum Bernoulli noises,QBN）\{{?}_k,{?}_k^{\mathrm{*}};k\ge \mathrm{0}\}的加权表示;（2）N_h的谱表示,广义计数算子N_h以h-计数测度{\#}_h的值域为其点谱;（3）N_h的“对角化”表示,N_h可表示为L^{\mathrm{2}}(M)的标准正交基\{Z_{\sigma };\sigma \in \mathrm{\Gamma }\}所生成的一维对角化正交投影算子的加权极限;（4）广义Skorohod积分-广义随机梯度表示,N_h可表示为互共轭算子{\delta }_h和{?}_h的复合算子;（5）对\mathbf{N}上的任意非负函数h,可构造一列有界广义计数算子,N_h恰为该有界广义计数算子的强极限,当h可和时,N_h为该有界广义计数算子的一致极限。     

由两个同型部件和一个修理设备组成的系统的主算子的谱

文章研究了由两个同型部件和一个修理设备组成的系统的主算子在左半复平面中的谱.在一定的条件下,该系统的主算子在左半复平面中的任何带形区域至多有有限多个特征值,且这些特征值的几何重数为1.该模型的主算子的共轭算子在左半复平面中的任何带形区域至多有有限多个特征值,且这些特征值的几何重数为1.0是该系统的主算子及其共轭算子的严...     

基于OpenCV的机场跑道异物检测系统设计与研究

机场跑道的异物对飞机起降过程的安全带来非常大的威胁,所以机场跑道的异物精确检测已经成为保障飞机飞行安全一个非常重大的问题。文章主要从软硬件两个部分来研究了机场跑道异物检测系统,主要包括了机场道路监控中心和应急中心两个服务平台,重点分析了采用Camshift目标跟踪算法并应用在系统中,从而实现了监控系统前景目标识别和多目标跟踪两大功能;最后在Windows系统下做了测试实验,以VS2008为实验环境,采用OpenCV函数库开发一款机场跑道异物监控系统;通过实验结果的分析,该软件系统可靠性高,运行稳定,满足了识别精确度高和跟踪实时可靠的要求,显示系统具有较高的检测精确机场跑道异物检测系统设计度,为机场跑道放入侵监测系统更深入的理论研究和进一步的实际应用提供了方便。     

Kalman滤波辅助的室内伪卫星相对定位算法

在室内伪卫星独立定位系统中, 伪卫星以及接收机的钟差会给定位精度带来非常大的误差. 针对这一问题, 提出了一种适用于室内环境的相对定位算法. 使用Kalman定位算法粗略计算接收机位置, 获得粗略基线, 建立室内相对定位模型, 得到载波相位双差和伪距双差. 载波相位双差通过互补Kalman滤波器来平滑伪距双差, 进一步得到精确基线, 获得接收机精确位置, 并将其代替Kalman定位算法的校正结果, 对接收机进行下一状态预测. 实验结果表明, 该算法具有较高的定位精度, 定位误差在20 cm以内. 关键词： 伪卫星 相对定位 双基线 Kalman滤波