On pebble automata for data languages with decidable emptiness problem

In this paper we study a subclass of pebble automata (PA) for data languages for which the emptiness problem is decidable. Namely, we show that the emptiness problem for weak 2-pebble automata is decidable, while the same problem for weak 3-pebble automata is undecidable. We also introduce the so-called top view weak PA. Roughly speaking, top view weak PA are weak PA where the equality test is performed only between the data values seen by the two most recently placed pebbles. The emptiness problem for this model is still decidable. It is also robust: alternating, non-deterministic and deterministic top view weak PA have the same recognition power; and are strong enough to accept all data languages expressible in Linear Temporal Logic with the future-time operators, augmented with one register freeze quantifier.     

Performance Analysis of Gradient Neural Network Exploited for Online Time-Varying Matrix Inversion

This technical note presents theoretical analysis and simulation results on the performance of a classic gradient neural network (GNN), which was designed originally for constant matrix inversion but is now exploited for time-varying matrix inversion. Compared to the constant matrix-inversion case, the gradient neural network inverting a time-varying matrix could only approximately approach its time-varying theoretical inverse, instead of converging exactly. In other words, the steady-state error between the GNN solution and the theoretical/exact inverse does not vanish to zero. In this technical note, the upper bound of such an error is estimated firstly. The global exponential convergence rate is then analyzed for such a Hopfield-type neural network when approaching the bound error. Computer-simulation results finally substantiate the performance analysis of this gradient neural network exploited to invert online time-varying matrices.     

基于C—V模型的目标检测与提取

在目标检测与提取中,传统的蛇模型和基于活动轮廓的局部区域检测方法受到初始条件或者自身的收敛性约束的影响,不仅时间花费多,而且不具备鲁棒性。本文提出一种基于C V模型的变分水平集的目标检测与提取方法,通过大量实验验证,在花费时间和鲁棒性上得到了显著的改善。     

Thermal shock of ß-alumina with zirconia additions

Sodium-alumina electrolyte tubes were prepared from spray dried precursor powders with additions of 2, 5, 10 and 15 wt % ZrO₂ made by the sodium zirconate route. The thermal shock behaviour of ring segments cut from the tubes was examined by quenching into water at 0° C. At the 2% ZrO₂ level the dispersed ZrO₂ particle size was low, <0.5m, and the tetragonal phase was retained. For higher weight fractions, particle coarsening during the-alumina sintering schedule was extensive and the large particles transformed to monoclinic on cooling. At the 15% ZrO₂ level the-alumina had a slightly reduced strength and high resistance to thermal shock and to thermal shock damage, quenching into water from 800° C effecting only a 43% reduction in strength. These observations are consistent with the effects of microcracking in the vicinity of second phase ZrO₂ particles.     

细胞分裂素6─BA合成新方法的研究

用医药工业的副产物乙酰基次黄嘌呤（Ⅰ）在弱酸条件下水解，生成次黄嘌呤（Ⅱ），经三氟氧磷在吡啶溶液中缩合，生成６－吡啶盐中间体（Ⅲ），再与苄胺反应，制得高效植物细胞分裂素６－ＢＡ（Ⅳ）。     

SVD-based Preisach hysteresis identification and composite control of piezo actuators

In this paper, the singular value decomposition (SVD) based identification and compensation of the hysteretic phenomenon in piezo actuators are addressed using a Preisach model. First, this paper presents an SVD-based least squares algorithm and a revision approach of the identification through updating the SVD. With the identified parameters and a log of the memory curve, a Preisach-based inversion compensator is constructed which is complemented with a feedback controller to address the inevitable and residual modeling errors. Experimental results are furnished for both the identification and compensation approaches. The Preisach-based feedforward controller significantly improves the tracking performance and reduces the root-mean-square (RMS) tracking error of a PID controller by 76.7% and 89% at 1 Hz and 25 Hz, respectively. With the proposed composite controller, the percent-RMS errors at 1 Hz and 25 Hz are reduced to 0.035% and 0.31%, respectively.     

Repeated Price Search

Consumers check few sites in online purchases. Previous research and experiments we perform demonstrate that consumers can not calculate the optimal strategy for price search. They use heuristics whose performance is better than random and less than optimal. To investigate online price search performance we survey student online textbook purchases. Students achieve good performance because they start with a good strategy and online market organization of marketplace and meta-search sites. An important factor is that algorithms at sites searched perform calculations that reduce the computational complexity of the search.     

100吨电炉自动控制系统设计及改进

本文介绍了安钢100吨电炉两级自动控制系统的设计方案，详细阐述了一级、二级自动控制系统的配置和功能，对于系统运行中出现的问题，提出了改进方案。