基于多目视觉的变形钢板三维测量方法

提出了一种使用4个相机测量变形钢板三维形状的方法;在没有纹理的钢板上画一些点,使用4个相机同时拍摄钢板;利用边缘检测算法找出钢板的边缘,利用特征点提取算法提取出4个图像中钢板上的特征点,并找到4个图像上精确的特征点匹配关系,然后测量出这些特征点的三维点;最后,以这些三维点为种子点向外区域增长,从而得到钢板的三维形状;实验对变形钢板进行三维测量,得到了钢板的精确的三维形状,结果验证了该方法的有效性和可行性。     

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语言在化工原理离心泵特性曲线测定中的应用

离心泵特性曲线的测定是化工原理的重要内容,涉及到伯努利方程和连续性方程在流体流动中的实际应用,公式复杂,计算量大.本文利用C语言的强大结构化编程和计算功能,处理了“离心泵特性曲线的测定”实验数据,给出了程序设计的思路和方法,得到了离心泵的特性曲线.从曲线可以看出,随着流量的增大,离心泵的压头减少,轴功率升高,和教材完全一致.而离心泵的效率随流量增大而增大,并未出现先增大后减小的情况,可能是由于流量较小所导致.通过分析曲线可以得到离心泵操作相关的知识,离心泵必须在流量较小的区域工作才能获得较大的压头,大流量的离心泵需要配置大功率的电机,离心泵启动之前应关闭出口阀等.此外还发现压力表和真空表的读数随流量的增大而变小,解释了此现象.该程序结构简单,维护方便,通过简单修改可用于处理其它化工原理实验的数据,充分发挥了C语言的特长来解决化工原理计算复杂的特点.     

试论女性主义文化在产品设计中的符号化演绎

设计总是与文化的多样性有着错综复杂的关系,女性主义作为一种主体意识强烈、情感导向明确的文化,其在设计中的融入,是设计发展过程中的必然。本文从三个案例出发,尝试解读女性主义文化的部分内容在产品设计中的符号化演绎。     

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.