基于局部抑制线性编码的图像快速识别方法

传统的图像识别方法如ScSPM、LLC都是在SIFT的基础上提取特征,忽略了人工特征的局限性,且单张图像识别耗时略长。考虑到这些不足,提出了一种基于局部抑制线性编码的图像快速识别方法。该方法首先直接利用局部抑制线性编码提取图像局部特征描述子;然后用线性空间金字塔匹配(LSPM)对特征描述子进行计算;最后将计算结果输入到线性支持向量机(LSVM)中进行训练和测试。在3个常用的图像数据集上的实验结果表明,该方法在类别不多的情况下具有很好的识别准确率,同时大大减少了单张图像识别耗时,从而验证了该方法在图像识别上的有效性。     

可满足性问题全部解的求解算法

SAT问题在人工智能、计算机基础理论研究和人工智能等领域有着广泛的应用,近年来,证明该问题的可满足性取得了巨大的成功,但在求出SAT问题的所有解方面还有待进一步研究。利用一个简单的变换,将可满足性（SAT）问题转化为多项式形式,然后根据命题逻辑的性质以及多项式的性质,得到一个求解出SAT问题所有解的算法。实验结果显示该算法是有效和可行的。     

基于混沌的Contourlet域抗几何攻击图像水印算法

为了提高水印算法的抗几何攻击性和自适应性,提出了一种基于混沌的Contourlet域抗几何攻击的自适应图像水印算法。首先对载体图像进行Contourlet变换,并对低频子带进行分块奇异值分解,然后根据HVS原理自适应地将混沌加密后的水印信息嵌入到每块的最大奇异值中;最后使用改进的Harris-Laplace算子提取含水印图像的特征点。水印提取时利用受攻击前后图像的特征点矫正图像的几何变形。实验表明,该算法对JPEG压缩、滤波、加噪、旋转、缩放和平移等常规的图像处理和几何攻击具有很强的鲁棒性。     

国家精品课程“离散数学”中的教学方法和手段建设

离散数学是计算机科学与技术及相关专业的一门核心基础课程。文章针对工程应用型计算机及相关专业本科人才的培养,介绍国家精品课程离散数学的教学方法的创新、教学手段的改革、实验教学的设计等。     

8031处理器在预警处理系统中的应用

以8031处理器为中心,利用8031芯片的布尔处理机设计了房间保安监控的预警处理系统.以8031的P1口为预警脉冲的输入口,8155为程序存储器和输出端口,LED显示预警脉冲的发出地址,并发出警报.     

数据库原理实验教学改革研究—以桂林电子科技大学信息与计算科学专业为例

针对数据库原理实验教学中存在的问题,从实验教学内容、实验教学设计、综合实验案例更新以及实验过程管理等方面给出改革方案,对改革方案中几个关键问题进行分析并提出相关对策。     

一个基于知识库及其自动推理机制的ICAI(化学)系统

设计并实现了一种新型的ＩＣＡＩ系统。该系统以自动推理技术为基础,利用化学知识库,不仅实现了ＩＣＡＩ的知识集散功能,还成功地实现了知识揭示功能,不同于常垢ＩＣＡＩ的单纯检索－播放作用,该系统还具有化学用语层次上的人－机交互、基于自动推理的化学式与中文名称的双向翻译、化学问题求解等多多种智能功能。该系统还具有开放性,可以让用户在使用中调整系统的性能、补充存储的知识信息。该文比较了新型系统与流行的常规系     

基于混沌映射的改进奇偶量化水印算法

提出了一种基于混沌映射的改进奇偶量化水印算法。算法首先使用混沌序列对待嵌入水印信号进行混沌调制,再经过散列处理的序列定位嵌入的图像块位置及小波系数坐标,运用奇偶量化法嵌入水印信号。在充分考虑了人类视觉系统掩蔽特性的基础上,根据图像本身性质调节量化步长的大小,从而保证了算法的自适应性。而且,考虑到离散小波变换的特性,嵌入水印的位置仅在图像的中频子带。实验结果证明,算法具有更高的不可见性和鲁棒性,可以抵抗较高的压缩攻击。     

程序语句生成子与知识获取自动化

本文以作者研制开发的基于机器自动推理技术的ＩＣＡＩ为背影，介绍了有关知识获取自动化的软件技术措施。