Independent Component Analysis for Time-dependent Processes Using AR Source Model

Independent component analysis is a fundamental and important task in unsupervised learning, that was studied mainly in the domain of Hebbian learning. In this paper, the temporal dependencies are explained by assuming that each source is an autoregressive (AR) process and innovations are independently and identically distributed (i.i.d). First, the likelihood of the model is derived, which takes into account both spatial and temporal information of the sources. Next, batch and on-line blind source separation algorithms are developed by maximizing likelihood function, and their local stability analysis are introduced simultaneously. Finally, computer simulations show that the algorithms achieve better separation of the mixed signals and mixed nature images which are difficult to be separated by the basic independent component analysis algorithms.     

On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables

Formal power series over non-commuting variables have been investigated as representations of the behavior of automata with multiplicities. Here we introduce and investigate the concepts of aperiodic and of star-free formal power series over semirings and partially commuting variables. We prove that if the semiring K is idempotent and commutative, or if K is idempotent and the variables are non-commuting, then the product of any two aperiodic series is again aperiodic. We also show that if K is idempotent and the matrix monoids over K have a Burnside property (satisfied, e.g. by the tropical semiring), then the aperiodic and the star-free series coincide. This generalizes a classical result of Schützenberger (Inf. Control 4:245–270, 1961) for aperiodic regular languages and subsumes a result of Guaiana et al. (Theor. Comput. Sci. 97:301–311, 1992) on aperiodic trace languages. This work partly supported by the DAAD-PROCOPE project Temporal and Quantitative Analysis of Distributed Systems.     

基于DSP的电容电流的精确测量

近年来随着电网结构的不断变化,注入信号法测量电容电流得到了广泛的应用和重视,而在实际应用该方法的过程中有2个瓶颈问题还没有得到很好的解决,即信号源和50 Hz陷波的问题。文章针对这2个问题,提出了一种采用数字信号处理器TMS320F2812和数字频率直接合成技术相结合实现电容电流测量的新方法,详细介绍了信号源的硬件和软件设计,以及50 Hz陷波器的设计,并给出了该方法的整体实现。实验证明,该方法在电容电流的测量中具有准确、方便、安全等特点。     

数字化本质安全型UPS的设计

文章介绍了一种数字化的矿用本质安全型UPS的工作原理、硬件、软件设计。针对井下特殊环境,该电源设计了双重过流、过压保护、电池过放保护功能,并可根据客户要求准确输出4种不同电压来满足电器设备使用。该电源通过数字化控制,电路更简易、功能更灵活,具有较高的应用价值。     

陶瓷设计教育简析——山东工艺美术学院工业陶瓷专业发展展望

在山东工艺美术学院的工业设计学院工业陶瓷专业建设伊始,笔者结合国内外的优秀教学经验及成果,以及建该专业的总体指导思想,对将来的工业陶瓷设计教育做出相关的展望,提出一些关于该专业实践教学、产学研和综合教育资源等方面的看法,视为在教学前的一次总结报告,旨在更好地引导教学。     

三相并联型有源电力滤波器的仿真研究

论述了并联型有源电力滤波器的基本原理,并着重对其进行了基于MATLAB／SIMULINK的仿真研究。仿真结果表明,并联型有源电力滤波器在消除电力系统的谐波污染、补偿电力系统的无功功率和负载的不对称性等方面具有非常明显的效果。     

应用于时频分析的低功耗短时傅里叶变换处理器

提出了一个应用于时频分析的短时傅里叶变换处理器.为了克服已有的离散短时傅里叶变换算法和结构的缺点,给出了一种基于快速傅里叶变换阵列的新结构.根据实际需要提出了一种新的高频域分辨率的SDF(Single-path Delay Feedback)结构FFT单元,和传统的SDF结构FFT单元相比,反馈FIFO的深度和蝶形单元的数量都有所降低.再加上开发窗函数的对称性和适当合并硬件资源,与原始设计相比处理器的功耗降低了20%.使用中芯国际0.18微米工艺实现之后,系统工作时钟可以达到200MHz,即该处理器可以满足同样频率的采样信号的实时时频分析需求.     

On delay-derivative-dependent stability of systems with fast-varying delays

Stability of linear systems with uncertain bounded time-varying delays is studied under the assumption that the nominal delay values are not equal to zero. An input-output approach to stability of such systems is known to be based on the bound of the L₂-norm of a certain integral operator. There exists a bound on this operator norm in two cases: in the case where the delay derivative is not greater than 1 and in the case without any constraints on the delay derivative. In the present note we fill the gap between the two cases by deriving a tight operator bound which is an increasing and continuous function of the delay derivative upper bound d?1. For d→∞ the new bound corresponds to the second case and improves the existing bound. As a result, for the first time, delay-derivative-dependent frequency domain and time domain stability criteria are derived for systems with the delay derivative greater than 1.     

Nonsmooth optimization for multiband frequency domain control design

Multiband frequency domain synthesis consists in the minimization of a finite family of closed-loop transfer functions on prescribed frequency intervals. This is an algorithmically difficult problem due to its inherent nonsmoothness and nonconvexity. We extend our previous work on nonsmooth H_∞ synthesis to develop a nonsmooth optimization technique to compute local solutions to multiband synthesis problems. The proposed method is shown to perform well on illustrative examples.     

A parametric bootstrap approach for ANOVA with unequal variances: Fixed and random models

This article is about testing the equality of several normal means when the variances are unknown and arbitrary, i.e., the set up of the one-way ANOVA. Even though several tests are available in the literature, none of them perform well in terms of Type I error probability under various sample size and parameter combinations. In fact, Type I errors can be highly inflated for some of the commonly used tests; a serious issue that appears to have been overlooked. We propose a parametric bootstrap (PB) approach and compare it with three existing location-scale invariant tests—the Welch test, the James test and the generalized F (GF) test. The Type I error rates and powers of the tests are evaluated using Monte Carlo simulation. Our studies show that the PB test is the best among the four tests with respect to Type I error rates. The PB test performs very satisfactorily even for small samples while the Welch test and the GF test exhibit poor Type I error properties when the sample sizes are small and/or the number of means to be compared is moderate to large. The James test performs better than the Welch test and the GF test. It is also noted that the same tests can be used to test the significance of the random effect variance component in a one-way random model under unequal error variances. Such models are widely used to analyze data from inter-laboratory studies. The methods are illustrated using some examples.