基于二维MB-LBP特征的人脸识别

提出了一种基于二维多尺度局部二进制模式的人脸识别方法,对一幅人脸图像进行分块,对每一块的图像进行MB-LBP（Multi-scale Block Local Binary Patterns）算子运算,将MB-LBP与灰度共现矩阵结合起来得到了可以更好地描述局部纹理空间结构的二维MB-LBP特征,将各子块的二维MB-LBP特征进行连接形成人脸特征。该算法在ORL和CMU-PIE人脸数据库上进行测试,选择了支持向量机（SVM）作为分类器,并与传统的基于一维LBP特征进行比较,结果表明提出的算法在人脸识别问题上的有效性和优越性。     

Facial expression recognition using kernel canonical correlation analysis (KCCA)

In this correspondence, we address the facial expression recognition problem using kernel canonical correlation analysis (KCCA). Following the method proposed by Lyons et al. and Zhang et al. , we manually locate 34 landmark points from each facial image and then convert these geometric points into a labeled graph (LG) vector using the Gabor wavelet transformation method to represent the facial features. On the other hand, for each training facial image, the semantic ratings describing the basic expressions are combined into a six-dimensional semantic expression vector. Learning the correlation between the LG vector and the semantic expression vector is performed by KCCA. According to this correlation, we estimate the associated semantic expression vector of a given test image and then perform the expression classification according to this estimated semantic expression vector. Moreover, we also propose an improved KCCA algorithm to tackle the singularity problem of the Gram matrix. The experimental results on the Japanese female facial expression database and the Ekman's "Pictures of Facial Affect" database illustrate the effectiveness of the proposed method.     

基于DSP的调频调压电源的仿真研究

研究了中频感应加热电源优化控制问题.针对目前中频感应加热电源设备控制存在的频率控制范围窄、功率调节非线性,特别是温度控制难等问题,导致系统运行不稳定等现象.提出了一种DSP(Digitsl signal processor)的中频感应加热电源的设计方法.应用改进的PID算法将PID算法、模糊控制算法以及神经网络算法相结...     

基于SoC芯片的嵌入式医学检测设备平台设计

本文将嵌入式系统应用于医学检测设备的开发中,设计了以SoC芯片为核心的嵌入式医学检测设备平台,介绍并探讨了其软硬件系统的基本原理、设计思想、实现方法,并在最后介绍了一个实用的例子.通过医学检测设备软硬件平台,可有效避免设备开发时的重复工作,减少系统的研发时间和成本,缩短推出新产品的时间.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.     

基于OpenGL的机械手三维可视化仿真研究

本文介绍在 Visual C 6 .0环境下 ,基于 Open GL开发机械手三维可视化仿真平台的设计方案 ,给出了创建机械手模型的基本方法 ,以及机械手在空间运动与抓取物体的三维动画实现过程     

TWC LOGD: A portal for linked open government data ecosystems

International open government initiatives are releasing an increasing volume of raw government datasets directly to citizens via the Web. The transparency resulting from these releases not only creates new application opportunities but also imposes new burdens inherent to large-scale distributed data integration, collaborative data manipulation and transparent data consumption. The Tetherless World Constellation (TWC) at Rensselaer Polytechnic Institute (RPI) has developed the Semantic Web-based TWC LOGD portal to support the deployment of linked open government data (LOGD). The portal is both an open source infrastructure supporting linked open government data production and consumption and a vibrant community portal that educates and serves the growing international open government community of developers, data curators and end users. This paper motivates and introduces the TWC LOGD Portal and highlights innovative aspects and lessons learned.     

工程CAD材料统计表自动生成系统中的层次模板技术

由于国内外各工程设计院均有其独特的材料表的表格样式,同时,许多材料表的数据自动填充区域存在嵌套子表,这些特点给材料表的自动生成增加了难度。文中经过认真分析和归纳大量现有图纸中的材料表,总结出材料表的表格框架构成规律,其最大特点是具有层次性。由此,文中提出了层次模板技术,利用不同层次的模板来描述材料表的填充数据变量、填充规则、排序规则、表页构成规律、线条框架结构、分布规则和表页布局方案等,对于不同设计单位的不同表格式,用户只需定制其所需的材料表模板便能满足要求,由于层次模板技术充分考虑了嵌套子表的处理,因此能够生成复杂材料表,文中技术已成功地应用于工厂钢结构设计软件PDSOFT Steel-Works中,实践证明,效果很好。     

基于抽象语法树分析的版本控制分支合并算法

在软件开发中,并行开发已经成为了现实中标准的开发模式,因此软件开发的版本控制在开发过程中得到了非常广泛的应用.虽然大多数的版本控制工具都能完成分支合并以及将不同版本的更改合并起来,但这些工具往往是以一行一行的代码为单位进行文本比较的合并,在遇到某行被同时修改时,则不能给出满意的合并结果.给出了一种新的合并算法,用来解决文本比较分支合并中的问题,它在传统工具的文本比较出现冲突的代码行,对该代码块建立抽象语法树,根据抽象语法树的分析比较,完成不同分支版本代码的自动合并,减少分支合并中的代码冲突及手动合并的工作量,提高开发效率.     

Stable sodium metal anode enhanced by advanced electrolytes with SbF3 additive

The practical application of sodium metal batteries (SMBs) is hampered due to the inferior interfacial stability between Na metal and conventional electrolytes....