MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

一种基于图像分割的绣花针法生成算法

该针法生成算法是在对embird绣花软件进行分析并仿制的过程中提出的。该算法解决了将一幅灰度图像由单一绣钱来绣成的问题，在国内绣花软件领域中具有一定的创造性及领先性，同时具有较高的推广价值。     

吸光光度法测定饮用水中总铁的改进

本文应用邻菲罗啉吸光光度法对饮用水中总铁进行了测定，在试剂空白，取样方法及水样用量方面进行了改进，提高了方法的精度，取得了满意结果。     

工业图像在线识别中的一种有效方法——应用于半透明物体边缘检测

：提出了一种可应用于轻工业生产中半透明产品边缘提取的多窗口实时阈值确定方法，能够满足工业图像实时处理的要求。     

译语文化中的意识形态对译者的影响

译语文化中意识形态必然对译者本身、译者从事的翻译实践和翻译研究产生影响,译者在受意识形态影响和制约的同时,也发挥了主观能动作用。从事翻译实践和研究的中国译者应强化翻译理论研究,让中国的翻译事业由边缘走向中心。     

小波取样定理在断层CT的ART方法中的应用

小波分析技术在工程技术领域发挥着越来越重要的作用.CT技术是医学影家诊断领域的一个划时代的贡献.本文通过将一维小波取样定理推广到二维,对现有的断层CT的ART方法进行了改进、计算机模拟结果也表明,本文提出的图象重建的小波分析方法有着十分优越的特性.     

边缘检测梯度法的小波实现

图像的边缘表现为图像上的不连续性，边缘检测就是检测图像上的不连续点或陡变点。本文根据Mallat多尺度边缘检测原理，提出了一种图像的边缘检测的新算法。与Mallat的多尺度边缘检测算法相比，这个算法具有计算量小的优点。文中给出了应用这个算法对图像进行边缘提取的实例。     

二值图像的自动表述

提出了一种通过对图像中物体的边缘进行描述来表征二值图像的方法 .该方法对二值图像进行边缘提取、周线跟踪、特征点提取、边缘分割及曲线匹配 .经处理后的图像由一系列描述物体边缘的数学方程来表征 ,有利于图像数据压缩及重构 .     

分析反射面天线的混合方法

本文论述了运用物理光学、射线理论混合分析反射面天线的过程,确定了混合方法在计算一般反射面天线时的分界区域。同时,以天线口径分布为基础,推导出一种新的场点抽样技术,用以较精确地计算混合方法分界区的场。本文还提出一种反射面天线的精确计算方法:扩展口径面积分法(EAI)。