基于FPGA的尺寸自动检测研究

介绍了一种基于现场可编程门阵列(FPGA)的尺寸自动检测方法,同时给出了尺寸检测结果的实时在屏显示方法。研究了基于FPGA的纵、横向尺寸的检测方法,给出了系统的软、硬件设计,并进行了系统精度分析。     

光学分划元件宝石刻线刀具的粘接

采用无机粘接工艺粘接光学分划元件宝石刻线刀具,操作简便,性能可靠。     

快速的层次树集合分划编码算法*

设计了一个改进算法,它仅需对小波分解矩阵进行一遍扫描即可确定层次树集合分划编码(SPIHT)算法所需的所有D(i,j)和L(i,j)重要性并完成对所有(i,j)子系数的编码,使得按照SPIHT的排序方法编码时只需查找存放D(i,j)和L(i,j)的重要性及(i,j)子系数的编码表,从而大大提高了SPIHT的编码速度.     

系统Hα中的子代数的广义重言式理论

将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划,并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。     

团分划问题的固定参数算法研究

图论中的团分划问题属于NP-完全问题,难以在多项式时间内解决。为此,对团分划问题的固定参数算法进行研究,提出一个针对K4-free图的新归约法则,结合深度限制搜索树技术对K4-free图中的团分划固定参数可解类算法做出改进。实验结果表明,与原算法相比,在稀疏图的情况下改进算法效率提高了30%。     

使用递推解决递归问题的研究与应用

使用递推技术实现递归问题的算法,不仅可以节省存储空间,而且可以极大地提高算法的执行效率.在对递归问题进行研究的基础上,给出了使用递推技术将递归问题的递归算法转换成非递归算法的具体方法,并通过具体实例加以了说明.     

输入采用标准模糊分划的模糊控制系统设计

稳定性分析和系统化设计是模糊控制理论的两个重要研究课题 .根据输入采用标准模糊分划的模糊系统的有关性质 ,本文研究了利用平行分布补偿法 (PDC)和线性矩阵不等式法 (LMI)系统化设计T_S模糊控制系统的方法 ,提出并证明了一个判定闭环Takagi_Sugeno (T_S)模糊控制系统稳定性的充分条件 .通过对非线性质量块 -弹簧 -阻尼器模糊控制系统的设计与仿真 ,验证了这些方法的有效性 .     

修正的G(o)del系统的子代数中F(S)的分划及升级算法

将修正的G(o)del逻辑系统中广义矛盾式理论推广,讨论了修正的G(o)del逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划.     

早期军用夜视瞄准镜(上)

许多人对现代夜视瞄准镜比较熟悉,但对早期的夜视瞄准镜并不很了解。本刊将分2期为您展现1950～1960年代军队使用的夜视瞄准镜,上篇展现的是美国和德国使用的主动红外夜视瞄准镜,这类夜视瞄准镜也被称为第一代夜视瞄准镜——