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

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

双圈拟阵

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).     

极小圈模对与二元域拟阵的特征

研究极小圈模对与二元域拟阵的特征.首先给出拟阵M的极小圈模对,模对的并的秩与相应的超平面的交的秩三者的等价关系.在两个极小圈不等的条件下,证明了满足极小圈消去公理的极小圈是唯一的并且极小圈模对的对称差包含在其中,结合极小圈的对称差的表示,证明了极小圈与基的差的绝对值大于等于2.后面两个证明都把原来的必要条件推广为充要条件.最后,用M上不相同的极小圈,极小圈模对,极小圈的对称差表示,M上不相等的超平面,超平面的并不等于E及满足的秩等式极简单地刻划了二元域拟阵M的特征.     

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

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

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

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

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

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

拟阵Q6与W4可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可线性表示的所有...