1) Boolean matching
布尔匹配
1.
In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given function is logically equal by means of OBDD.
逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 (Ordered Binary Decision Diagram,OBDD)检验两个给定的逻辑函数是否相等 。
2.
An improved Boolean matching algorithm based on transforming the mapping between Boolean variables into the problem of perfect matching of bipartite graph is presented.
提出了一种改进的基于二分图完美匹配的布尔匹配算法 。
3.
In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.
在逻辑验证和综合中 ,布尔匹配利用有序二叉判定图 OBDD来检验两个给定的逻辑函数是否相等 。
2) Boolean expression matching
布尔表达式匹配
1.
Research on ordered Boolean expression matching with window;
定序窗口布尔表达式匹配技术研究
2.
Research of Boolean expression matching;
布尔表达式匹配问题研究
3.
This paper proposed Boolean Expression Matching to solve this problem.
本文提出了布尔表达式匹配技术,给出了算法框架, 在此框架上实现了两种常用的实现方式；为了进一步增加布尔表达式的描述功能,增加了定序和窗口两个限制条件,提出了 BitCounc_OWBE 算法,通过理论分析和实验数据证明该算法在多数情况下仍然可以达到原先的性能,从而很好的解决了上万规模的复杂规则匹配问题。
3) distribution matching
分布匹配
1.
Active contour model based on distribution matching and its image segmentation algorithm;
基于分布匹配的主动轮廓模型及其图像分割算法
4) Bragg matching
布喇格匹配
1.
The Bragg matching and the uniformity of Bragg diffraction efficiencies of multiple volume holographic gratings (MVHGs), which were used for wavelength demultiplexing devices in optical communication based on all wave optical fiber, were theoretically studied and quantitatively analyzed.
针对光通信中波长覆盖范围日益增宽的特点,从理论上研究了用于宽光谱范围波长解复用器件的多重体光栅的布喇格匹配和各波长对应光栅衍射效率的均匀性·计算及实验结果均表明,由于记录介质的色散效应将导致多重体全息光栅读出过程中明显的布喇格失配,并且在写入过程中获得的均匀折射率调制度的多重体光栅,在读出过程中各通信波长对应光栅的衍射效率将不均匀·为此,提出了改进多重体光栅的光写入方法,给出了利用角度复用法写入透射型多重体光栅时解复用波长与写入角度的关系,以及写入体光栅过程中记录介质的折射率调制度修正公式
5) mode field matching
场分布匹配
1.
The transitional guide is used to improve the mode field matching between both the waves supported by the incident and output waveguides.
过渡波导用于改善入射基模与出射偶对称模之间的场分布匹配 ,有效地提高了功率耦合效率 ,降低了分支耦合损耗。
6) Matched distribution
匹配过分布
补充资料：地图匹配
| 地图匹配 map matching 在不同条件下获取的同一物景的地图之间的配准。同一传感器在不同时间，或不同类型传感器在同一时间，或不同类型传感器在不同时间所获取的两幅地图中的同一地面点所对应像素之间的配准，是图像处理的一个重要课题。匹配的基本方法是从基准图中提取具有不变特征或明显特征的子区，或者用已知地面控制点作为模板，在所匹配的图中搜索与模板相似的区域。当匹配相似性测度达到最大，且超过预先规定的阈值时，即判定为找到了正确的匹配位置。最常用的匹配方法是互相关法，它要求对被搜索图中每个位置都进行相关运算，因此需要的计算量很大。为减少计算量，可以采用序贯检测法、层次搜索法和边缘特征匹配法。地图匹配广泛应用于地图镶嵌和拼接上。地形等高线图匹配是地图匹配用于飞行器导航的一种特殊形式。传感器是高度仪，图像像素代表地形高度。飞行器测得的高度数据和存储器中预先指定航线上的地形数据匹配，并把匹配结果用于导航。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条