Haml——简洁优美的模板语言

引言 Haml是一种简洁优美的模板语言，可以应用于Ruby on Rails、PHP等Web开发平台，可以大大缩减模板代码，减少冗余，提高可读性。并且Haml是一种完备的模板语言，没有牺牲当前模板语言的任何特性。Haml由Hampton Catlin发明并且开发了Ruby on Rails上的实现。本文将以Ruby on Rails中的Haml实现为例，帮助你了解Haml的基本语法和常用特性，让你领略到Haml带来的高效生产。     

基于差分有序数组的图像匹配快速算法

本文提出了一种对模板匹配算法进行改进的快速算法。首先，对模板内所有像素进行排序并差分变换为函数F1（），将模板覆盖下的子图像函数f（x，y）累进求和变换为函数F2（），然后求取F1（）与F2（）乘积的最大值。由于模板存在大量灰度值相同的像素，经排序差分后F1（）中会有很多0和1，乘1和0的运算可以不做，从而消去了模板运算中的大量乘法和加法运算，同时在模板匹配移动过程中利用相邻窗口间的数据相关性，减少重复运算，和传统匹配算法相比，计算复杂度大大降低。     

一种基于改进后模板的图像快速细化算法

为了快速地进行图像细化，提出了一种新的图像快速细化算法，该算法提出了组合模板的概念，不仅有效地提高了模板的匹配速度，同时对组合模板进行了优化，最后在优化后的组合模板基础上，提出了新的改进算法。大量实验表明，该新算法不但同时具有以往算法的优点，而且细化速度比以往算法提高了3～6倍，是一种较为理想的细化算法。     

一种改进的模板匹配算法

近几年来，数字图像处理在印刷质量自动检测系统中的应用得到了飞速的发展，寻找一种快速简单，自适应强，检测精度高的算法已引起了许多研究者的关注，文中在印刷质量检测过程中所用到的传统模板匹配的基础上提出了一种改进的新算法，在新算法中较详细的介绍了如何将多幅模板图像的特征综合为一个标准模板，如何随实时图像的不断变化对标准模板进行调整的自学习方法等，并通过实验证明新算法具有自适应性强和检测精度高等特点。     

公理化设计支持的概念设计产品模型

通过将行为域引入公理化设计作为功能域和载体域之间的转换桥梁，提出一种概念设计产品模型－－域结构模板；并基于数理逻辑的方法建立域结构模板的数学模型，以便于计算机的表达和操作；以高速平缝机为例，对域结构模板以及基于域结构模板的概念设计方案生成进行了说明。     

基于用户界面模型的界面模板

界面模板是一种崭新的界面设计模式，提出了基于界面模型的界面模板概念，在支持界面自动生成的界面开发方法中实现从抽象界面到具体界面的转化。讨论了界面模板的构成与表达、界面模板的分类以及界面模板库体系结构，说明了界面模板的用法。     

基于解析形式的二维参数可变形模板匹配算法

为了更好地进行图像轮廓提取，对基于解析形式的二维参数可变形模板匹配方法中的模板结构、形变方式、离散化方案、内外部能量函数及优化算法等方面进行了研究与改进，并以生物体为原型，提出了一种具有3种生物组织结构的、形变方式可通过模板结构加以明确控制的、新的参数可变形模板匹配算法，该新算法是利用Gaussian函数来扩展外部力的作用域，并采用贪心优化快速算法进行能量函数优化。实验结果表明，这一新的模板匹配算法具有良好的轮廓提取速度、提取精度及稳定性。     

采用DSP的工控机调整运算协处理器模板

本文介绍了一种以ＤＳＰ单片机ＴＭＳ３２０Ｃ２５为核心的高速运算协处理器模板，采用模板可以大幅度提高现有ＳＴＤ工控机的算术运算速度，从而为高性能复杂控制算法工业现场的实际应用提供了一条新的实用途径。     

一种快速手写汉字细化算法

改进了Hilditch经典细化算法，将串行算法转化为并行算法，并引入一组删除模板和一组保留模板。改进后的算法细化速度快、且能获得效果优良的中心骨架。文中对算法进行了描述，并通过具体实例说明了算法的有效性。     

印刷电路模板基于模式识别的生成方法研究

在印刷电路板生产中常采用模板匹配检验方法自动检测电路板的质量缺陷，可以减少废料提高生产效率。模板匹配检验方法需要从印刷电路板扫描图生成标准模板。但传统的模板生成方法很难克服扫描图像边缘模糊，图像噪声和图像色彩偏离等因素的综合影响。该文阐述了Canny边缘检测算法，二值图像的细化算法，在此基础上提出一种新的综合模板生成方法，该方法可以解决传统的模板生成方法的不足，生成高质量标准模板。     

采用DSP与STD的高性能主从多处理器系统的管理软件

本文介绍了一种主从式多处理器系统的管理软件，它是为高性能复杂控制算法在工业现场的实际应用而研制的。该系统将ＳＴＤ工控机的高可靠性、模块化、标准化和Ｉ／Ｏ能力强的优点与ＤＳＰ的高速算术运算能力结合起来；本文所介绍的管理软件适用于多处理器环境，不仅对ＤＳＰ模板进行全面的管理，而且为ＳＴＤ工控机用户提供了使用ＤＳＰ的友好界面。     

智能卡中实现ECC算法的关键问题的研究

主要讨论在智能卡中实现ECC（Ellipdc Curve Cryptography）算法的关键问题。ECC算法具有密钥长度短、安全性高、计算效率高等优点，但是ECC算法的实现本身面临着许多问题。同时考虑到智能卡相当于一台微型的计算机。它拥有自己的CPU、存储器和卡内操作系统COS（Chip Operation System）。但是在计算能力和存储空间有限的智能卡上实现ECC算法能否取得较好的效果。最后通过对多种实验基础的分析结果上提出了在非接触式智能卡上实现ECC算法的可用性。     

智能卡中实现ECC算法的关键问题的研究

主要讨论在智能卡中实现ECC(EllipticCurveCryptography)算法的关键问题。ECC算法具有密钥长度短、安全性高、计算效率高等优点,但是ECC算法的实现本身面临着许多问题。同时考虑到智能卡相当于一台微型的计算机,它拥有自己的CPU、存储器和卡内操作系统COS(ChipOperationSystem)。但是在计算能力和存储空间有限的智能卡上实现ECC算法能否取得较好的效果。最后通过对多种实验基础的分析结果上提出了在非接触式智能卡上实现ECC算法的可用性。     

The exact dot product as basic tool for long interval arithmetic

Computing with guarantees is based on two arithmetical features. One is fixed (double) precision interval arithmetic. The other one is dynamic precision interval arithmetic, here also called long interval arithmetic. The basic tool to achieve high speed dynamic precision arithmetic for real and interval data is an exact multiply and accumulate operation and with it an exact dot product. Pipelining allows to compute it at the same high speed as vector operations on conventional vector processors. Long interval arithmetic fully benefits from such high speed. Exactitude brings very high accuracy, and thereby stability into computation. This document, which has been incorporated into the draft standard for interval arithmetic being developed by IEEE P1788, specifies the implementation of an exact multiply and accumulate operation.     

基于FPGA的高速PCI伺服控制卡的实现

针对多轴运动数控系统的工作特点和发展趋势,提出一种基于FPGA的PCI局部总线的步进电机伺服控制卡设计.设计中采用了适合FPGA的直线插补和梯形加减速控制算法.该控制卡应用于重庆某精密机械公司的工业标记系统,能够驱动256细分的驱动器平稳运行,噪声小.     

智能卡的安全机制

典型加密卡的安全算法遭到破解的消息引起了人们的恐慌,本文说明了智能卡解决IC卡系统安全隐患的原因,并从智能卡芯片操作系统的安全机制、智能卡的抗分析和抗攻击措施、高强度的密码算法以及各种身份认证方法等方面说明了智能卡的安全机制。     

GPU辅助的希尔伯特变换轮廓术

在希尔伯特变换轮廓术中,相位计算速度的快慢直接影响光学3维测量速度。由于相位计算是在每幅图像的每个像素上分别进行的,每个待处理的像素和已计算的像素之间不存在依赖性,因此具有极高的计算密度,可以通过多线程运行相同的程序进行并行计算。统一架构的图形处理器(GPU)具有强大的数值并行计算能力,可以在GPU上实现并行计算。在分析相位计算的特点后,在GPU上进行相位的并行计算,实现了CPU与GPU的协同工作,解决了在CPU上相位计算方法速度较慢的问题。实验结果表明,经GPU加速后,在相位计算的质量相同的情况下,计算速度有了较大的提高。     

基于DSP和FPGA的通用型伺服控制器设计

介绍了一种采用浮点型DSP和FPGA芯片设计的高性能伺服控制器,详细讨论了其硬件和软件设计方案.DSP强大的数据处理能力与FPGA的设计灵活性相结合,使该控制器适用于多种应用场合,尤其是采用复杂控制算法的高速、高精度同步控制系统.     

基于PCI总线的高速测控卡的系统设计

提出一种基于PCI总线的高速测控卡的设计思想,采用DSP作为外围核心处理单元,PCI9054作为PCI桥芯片,着重论述了测控卡的数据采集与传输的硬件接口解决方案和基于Windows的WDM驱动程序设计。实验结果表明系统运行稳定、方案可行。     

基于PXI总线的风机控制系统

基于PXI总线的FAD 1风洞风机控制系统,采用嵌入式PXI控制器和高性能PXI测量控制设备,提高了系统的可靠性和控制精度,上位机使用Profibus DP通信卡直接与交流调速装置通信,提高了系统的可靠性和转速控制精度。采用安全连锁、抗干扰、系统优化等技术提高了系统安全性和测量精度。这些设计思想和调试方法对其他风洞风机控制系统同样有实用意义。