广义分散控制系统固定模的统一判定

讨论了广义分散控制系统的固定模与脉冲固定模的统一判定问题.通过定义矩阵束[sE-A]的无穷秩,给出了系统同时存在两种固定模的充要条件,并研究了它与现存判据的联系.     

从软件工程的发展看软件自动化*

本文对软件工程方法学发展各个阶段主要的方法论做了简单的评述，并展望了软件工程今后发展的方向，同时举例说明了以此为指导思想进行软件自动构造的方法．     

MMU GASPFA: A COTS multimodal biometric database

This paper describes the baseline corpus of a new multimodal biometric database, the MMU GASPFA (Gait–Speech–Face) database. The corpus in GASPFA is acquired using commercial off the shelf (COTS) equipment including digital video cameras, digital voice recorder, digital camera, Kinect camera and accelerometer equipped smart phones. The corpus consists of frontal face images from the digital camera, speech utterances recorded using the digital voice recorder, gait videos with their associated data recorded using both the digital video cameras and Kinect camera simultaneously as well as accelerometer readings from the smart phones. A total of 82 participants had their biometric data recorded. MMU GASPFA is able to support both multimodal biometric authentication as well as gait action recognition. This paper describes the acquisition setup and protocols used in MMU GASPFA, as well as the content of the corpus. Baseline results from a subset of the participants are presented for validation purposes.     

语言工程的软件体系结构研究综述

语言工程的软件体系结构已经逐渐发展成为语言工程的主要研究领域之一。它面向通用的自然语言应用,为其提供架构层次的参考方案。研究内容涵盖与体系结构相关的计算资源、语言资源、方法和应用等多个方面。在一定意义上,可以把它看作是在语言工程领域内的特定领域软件体系结构(DSSA)。本文概要介绍了该领域的发展历程和研究意义,然后对其基本概念和当前主要研究进展进行了阐述和分析,并展望了进一步的发展趋势。     

Observer-based H infinity control for T-S fuzzy systems with time delay: delay-dependent design method.

This correspondence studies the problem of observer-based H infinity control for time-delay Takagi-Sugeno (T-S) fuzzy systems. It provides a delay-dependent linear matrix inequality (LMI)-based method for the control design. It is known that the key important problem in the literature, even for delay-independent case, lies in the difficulty of decoupling matrix variables in corresponding matrix inequalities. This correspondence suggests a decoupling technique for solving matrix inequalities with coupled variables, and provides an LMI-based algorithm by adopting the idea of the cone complementarity problem. The derivation relies on the appropriate choice of Lyaponuv-Krasovskii functionals which incorporate the intersections among local systems. Illustrative examples are given to show the effectiveness of the present delay-dependent result.     

Harmonized Portrait-Background Image Composition

Portrait-background image composition is a widely used operation in selfie editing, video meeting, and other portrait applications. To guarantee the realism of the composited images, the appearance of the foreground portraits needs to be adjusted to fit the new background images. Existing image harmonization approaches are proposed to handle general foreground objects, thus lack the special ability to adjust portrait foregrounds. In this paper, we present a novel end-to-end network architecture to learn both the content features and style features for portrait-background composition. The method adjusts the appearance of portraits to make them compatible with backgrounds, while the generation of the composited images satisfies the prior of a style-based generator. We also propose a pipeline to generate high-quality and high-variety synthesized image datasets for training and evaluation. The proposed method outperforms other state-of-the-art methods both on the synthesized dataset and the real composited images and shows robust performance in video applications.     

基于MEMS工艺的NO2气体传感器研制

设计了一种基于微机电系统(MEMS)工艺的以氧化钨(WO3)为敏感材料的微结构气体传感器,并从半导体理论解释了WO3对二氧化氮(NO2)的敏感机理.气体传感器芯片尺寸为1.3mm ×1.3mm,微热板的有效面积为0.4mm ×0.4 mm.实验结果表明:设计的气体传感器对NO2气体表现出良好的响应,在最佳工作温度下(140℃)功耗为23 mW,最低检测限达50×10-9,响应时间为60 s,恢复时间为180 s.     

嵌入式小词汇量语音识别系统

介绍了一种基于嵌入式微处理器的小词汇量语音识别子系统的具体实现,包括软、硬件环境以及在嵌入式语音识别环境下采取的特殊策略。基于嵌入式微处理器的系统能够实现较复杂的控制,并且具有较好的可扩展性。     

TOP3：事件

数字证书力促网银交易安全，短信网址号码首次统一，MP3联盟逃不过专利怪圈。[编者按]