基于InGaAs光谱成像技术的光纤光栅传感器在大坝渗流监测系统的应用

为了实现大坝渗流监测,提出了一种采用光谱成像技术的光纤Bragg光栅传感器和多点传感系统。基于室内实验结果,对监测系统可靠性与监测数据准确度进行和多点传感信号分辨因子分析,结果表明:用于坝体温度场检测的光线光栅传感器波长温度响应灵敏度可达0.009 1nm/℃;由光源带宽决定的测试系统可实现多个传感器的复用。实践表明:采用光纤光栅传感系统可进行大坝渗流自动监测,特别是在系统防雷击、抗干扰性方面,与传统仪器相比具有明显优势。     

A new approach for noninvasive skin blood imaging in microcirculation

A new noninvasive method is proposed for optically imaging blood under skin. A mini-mirror is used to guide the light incident onto the skin surface, while blocking specularly reflected light from the tissue. Moreover, by using two linear polarizers at right angles, the specular reflection can be reduced further, while also blocking the rough surface scattered light. A circular polarizer may be used to obtain the same effect. As a result, the blood flow beneath the surface of skin can be visualized clearly. The effect of the mini-mirror is also analyzed theoretically and experimentally.     

Chaos synchronization of unified chaotic systems via LMI

This Letter focuses on the master-slave synchronization problem of the unified chaotic systems. Based on Lyapunov stability theory and linear matrix inequality (LMI) formulation, a simple linear feedback control law is obtained to make the state of two identical unified chaotic systems asymptotically synchronized. Simulation results have illustrated the effectiveness of the proposed chaos synchronization solution.     

Probabilistic models for stochastic elliptic partial differential equations

Mathematical requirements that the random coefficients of stochastic elliptical partial differential equations must satisfy such that they have unique solutions have been studied extensively. Yet, additional constraints that these coefficients must satisfy to provide realistic representations for physical quantities, referred to as physical requirements, have not been examined systematically.     

基于MSP430的直线导轨定位装置的设计与实现

直线导轨是数控技术的重要组成部件,它的精确程度非常重要。以MSP430单片机为核心,设计了一个直线导轨精确定位装置。此装置采用两相四线的ST57型步进电机和60CM的螺纹丝杆组成一个直线导轨组,选用M7128驱动器驱动步进电机,使用PWM波精确定位算法程序精确控制电机转速。MSP430的IO端口控制步进电机的正反转,使得步进电机带动螺纹丝杆转动,让滚动丝杠上的物体往复移动,并在电脑上显示当前位移值。试验证明,其定位精度为0.01cm,具有较高的可靠性和准确性,低成本,稳定性好。     

SPT optimality (mostly) via linear programming

One of the oldest results in scheduling theory is that the Shortest Processing Time (SPT) rule finds an optimal solution to the problem of scheduling jobs on identical parallel machines to minimize average job completion times. We present a new proof of correctness of SPT based on linear programming (LP). Our proof relies on a generalization of a single-machine result that yields an equivalence between two scheduling problems. We first identify and solve an appropriate variant of our problem, then map its solutions to solutions for our original problem to establish SPT optimality. Geometric insights used therein may find further uses; we demonstrate two applications of the same principle in generalized settings.     

Hα∞到Hβ∞复合算子的线性组合

设B是N维复空间C^N中的开单位球,φ_i为B上的解析自映射,H_α^∞表示定义在单位球上的加权解析函数空间.本文主要研究的是从空间H_α^∞到H_β^∞上的复合算子线性组合■的紧致性,其中λ_i(i=1,2,…,M)是非零常数.另外,根据紧致性等价条件,得出算子差分对(C_φ1-C_φ2)-(C_φ3-C_φ1)是紧致的当且仅当C_φ1-C_φ2与C_φ3-C_φ1都是紧致的算子.