基于三帧差分和连通性检验的图像运动目标检测新方法

图像运动目标检测是视频监控、数字电视等重要系统中的核心技术。文章提出一种利用梯度信息、三帧差分以及连通性检验等后续处理措施和自动提取图像运动目标的新算法。分析和仿真结果表明,该算法具有较小的运算量和较高的处理速度(对于320×240×24bit图像,可达15ms/帧),并且能够适应噪声较大和整体亮度突变的情况。

嵌入式逻辑分析技术及其在FPGA系统开发中的应用

介绍了嵌入式逻辑分析仪,特别是SignalTapⅡ的功能和特点。利用Chip EditorViews、Technology Map Viewer等工具,简要分析了SignalTapⅡ的内部结构和工作原理。结合实例,说明了如何使用SignalTapⅡ调试基于FPGA的数字系统。

关于F.Smarandache LCM函数与除数函数的一个混合均值

利用初等及解析方法研究函数SL(n)与Dirichlet除数函数的加权均值问题,并获得一个有趣的渐近公式.

基于图像对的体视显示算法研究与实现

依据摄像机拍摄的左右两幅图像,按照提出的算法进行图像的矫正、重采样和图像对间的密集匹配,最后通过图像插补输出符合双眼特性的体视图像,试验证明插补后体视图像效果较好。

集合的划分与第二类Stirling数

非空集合A上的等价关系与A的划分是一一对应的,但A上的二元关系有2|A A|种,直接确定划分特别是不同划分不容易。文章用第二类Stirling数研究划分的种类的计数。并用指数生成函数讨论了S2(n,m)的计算。给出Stirling数展开式:S2(n,m)1m!∑m-1k=0(-1)k(m m-k)(m-k)

关于儿童早期教育的理论和实践

早期教育——从零岁开始的教育提出和发展经历了两个世纪,人们终于认识到要想培养适用于21世纪的人才,零岁教育是必不可少的。零岁教育最重要的理论基础可分为才能递远递减法则;学习的关键期:儿童身心发展规律的可变性。

拟阵Q_6与W^4可F-线性表示的构造

对拟阵Q6与W4可F-线性表示的构造进行了研究.用E(G)在R上的链群F0(G,R)表示G的圈拟阵M(G);用松弛拟阵M的极小圈超平面X的方法得到拟阵M′.得到主要结果为:(i)用链群表示了M(K4),M(W4);(ii)用松弛极小圈超平面的方法从M(K4)构造了Q6,从M(W4)构造了W4,找出了W4可线性表示的所有域F.

基于立体图像对的体视显示新算法研究与实现

研究了由带有视差的图像对恢复摄像机矩阵和空间物体的三维几何形状这一多视图三维重构问题,结合Hartley和Rorther等人提出的基于无穷远平面诱导的单应进行射影重构算法,提出了根据图像间的对应关系确定插补图像像素的位置和灰度的新算法,通过这种新算法输出符合双眼特性的体视图像,试验证明插补后体视图像效果较好,速度快。

由多项拟阵函数f所确定的拟阵Mf的秩rf

研究由多项拟阵函数f所确定的拟阵的秩函数rf。先给出由次模函数所确定的拟阵Mf,然后导出多项拟阵函数的秩函数rf的表示式。由此证明了多项拟阵函数f的两个性质,讨论了由二部图导出拟阵M(△)的独立集I(△)和秩函数rf(△)的表示。

由次模函数f_0所确定的拟阵

研究由次模函数f0所确定的拟阵。首先给出由次模函数f所确定的拟阵,讨论了连通拟阵的特征。据此证明了子集XE(G)是C(f0)中成员的充分必要条件。证明了双圈拟阵与由其确定的横贯拟阵的关系。

拟阵(M-Z_1)/Z_2在Z^+中的(F-Z_1)-可流性

研究幼阵M′在Z+中的F′-可流性。首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C M′*都有p′D′∩F′≤p′D′-F′被满足时,总可以找到满足∑e∈C′,C′∈C′F′Φ′C′≥p′e,若e∈F-Z1,∑e∈C′,C′∈CΦ′C′≤p′e,若e∈E-F-Z1。的非负整数值函数Φ′C′;E→Z+,从而M′是在Z+的F′-可流拟阵。

拟阵Q_6与W^4可F-线性表示的构造

对拟阵Q6与W4可F-线性表示的构造进行了研究.用E(G)在R上的链群F0(G,R)表示G的圈拟阵M(G);用松弛拟阵M的极小圈超平面X的方法得到拟阵M′。得到主要结果为:(1)用链群表示了M(K4),M(W4);(2)用松弛极小圈超平面的方法从M(K4)构造了Q6,从M(W4)构造了W4,找出了W4可线性表示的所有域F。

双圈拟阵

Sim■es Pereira于1992年提出双圈拟阵.本文讨论了(i)双圈拟阵及其秩函数;(ii)次模函数在双圈拟阵中的应用;(iii)双圈拟阵B(G)的横贯拟阵.主要结果:1°由圈矩阵Bf=[I,Bf12]和圈秩的概念,推出M(f0)为双圈拟阵;2°证明了双圈拟阵B(G)等于由子集族{Av∶v∈V(G)},e与v在G中相关联}所确定的横贯拟阵;3°用不同于Matthews(1977)的方法证明了(iii).

拟阵的并与横贯拟阵

研究拟阵的并与横贯拟阵。首先导出定义在不同集上拟阵的并的秩函数,然后结合多项拟阵函数所确定拟阵与横贯拟阵的秩函数,给出了拟阵的并与横贯拟阵的多种关系与性质。

等密拟阵在图论中的一个应用

研究等密拟阵在图论中的一个应用。由τc(G)的表示式,讨论了F∈β〔M′〔n-c〕〕的等价条件。证明了η〔M′〔n-c〕〕=τc(G)。结合等密拟阵的定义推得(ⅰ)τc(G)≥k的充要条件;(ⅱ)τc(G)=s等价条件;(ⅲ)当c=1时τc(G)的图论意义。

拟阵的单扩张与分裂子的确定

研究用拟阵的单扩张M′=M+Ee来确定拟阵族N的分裂子的方法。首先证明了M′=M+Eer(M′)=r(M),并且对每个M中包含e的极小圈C,都有|C|=r(M)+1。讨论了拟阵AG(3,2)和拟阵P6的性质。给出了拟阵M具有性质(P)的充要条件。由以上结果用两种方法证明了:若M=AG(3,2),E=E(M),令N={M:M不含有幼阵同构于w3或P6},则M+Ee是N的一个分裂子。

拟阵M+M^e中集的结构与关系

研究拟阵M+Me中集的结构与关系。应用单扩张与模割的一一对应,讨论了X∈L(M+Me)的各种情况。讨论了在单平行扩张下拟阵M+Me,模割M,主模割MF的等价关系。给出了拟阵主扩张M+Fe中基与极小圈的表示。

拟阵族N的分裂子M(K_5)

研究拟阵族N的分裂子M(K5)。先应用分裂子定理和拟阵的单扩张定理证明:若N={M:M是二元域拟阵且M不含有同构于F*7的拟阵},则F7是N的一个分裂子。据此证明了两个结论:1.若N={M:M是正则拟阵且M不含M(K3,3)-幼阵},则M(K5)是N的一个分裂子;2.M(K5)是EX(U2,4,F7,M(K3,3))和EX(U2,4,F7*,M(K3,3))的分裂子,并得到了这两个拟阵族的正则拟阵分解表示。

双圈与双圈拟阵的连通性

对双圈G与双圈拟阵B(G)的连通性进行了研究,比较了它们的连通度。在讨论双圈拟阵的秩函数r(X)和用用极小顶割集AG(G[X])表示了连通函数k(X)的基础上,由主要引理"M是Tutten-连通的,且(X,E-X)是M的一个满足o(X)=min{o(X′):(X′,E-X′)是M的一个Tutten-分离划分},则G[X],G[E-X]都是连通的",推出如下结果:(1)用统一方法证明"B(G)是Tutten-连通的G是n-双圈连通的"等三个命题;(2)比较了连通度,给出双圈与双圈拟阵各种连通性的图形交换.

M是连通拟阵与G（D#）是连通图的关系

研究M是连通拟阵与G(D#)是连通图的关系。证明了M中有一个基B,使得C1,C2,…,Cn-r是M中全体对应于基B的基本极小圈,等价于对任意j∈1,2,…,n-r,Cj∪i≠jCi。由此证明了(Cunningham 1973,Krogdahl 1977)M是连通拟阵等价于B∪e∈E(M)-BCM(e,B),并且对任意X∩Y=φ,X∪Y=E(M)-B都有∪e∈XCMe,B∩∪e∈YCM(e,B)≠φ。得到结果为M是连通拟阵等价于G(D#)是连通图。