二溴对甲基偶氮甲磺光度法测定钢中微量锶

研究了二溴对甲基偶氮甲磺与锶生成2:1兰色络合物进行钢中微量锶的测定.该法λ_(max)=638nm,摩尔吸光系数E_(638)=5.01×10~4,锶量在0.02～0.34μg/L范围内服从比尔定律.方法已用于钢中微量锶的测定,结果满意.     

基于加权因子的光电经纬仪航迹测量

针对光电经纬仪测量的异面定位误差,采用加权因子算法进行调整;首先建立空中测量目标的定位模型,为避免因各种误差对测量数据的影响,接着用加权因子对目标无偏估计,通过调整加权因子提高测量模型的精度,最后建立模型并进行仿真实验,得到了精确的航迹坐标,仿真结果表明减少虚假航迹,提高对被测目标的定位精度。     

Parameter estimation and stabilization for a wave equation with boundary output harmonic disturbance and non‐collocated control

This paper is concerned with the parameter estimation and stabilization of a one‐dimensional wave equation with harmonic disturbance suffered by boundary observation at one end and the non‐collocated control at the other end. An adaptive observer is designed in terms of measured velocity corrupted by harmonic disturbance with unknown magnitude. The backstepping method for infinite‐dimensional system is adopted in the design of the feedback law. It is shown that the resulting closed‐loop system is asymptotically stable. Meanwhile, the estimated parameter is shown to be convergent to the unknown parameter as time goes to infinity. Copyright © 2010 John Wiley & Sons, Ltd.     

Rule acquisition and attribute reduction in real decision formal contexts

Formal Concept Analysis of real set formal contexts is a generalization of classical formal contexts. By dividing the attributes into condition attributes and decision attributes, the notion of real decision formal contexts is introduced. Based on an implication mapping, problems of rule acquisition and attribute reduction of real decision formal contexts are examined. The extraction of “if–then” rules from the real decision formal contexts, and the approach to attribute reduction of the real decision formal contexts are discussed. By the proposed approach, attributes which are non-essential to the maximal s rules or l rules (to be defined later in the text) can be removed. Furthermore, discernibility matrices and discernibility functions for computing the attribute reducts of the real decision formal contexts are constructed to determine all attribute reducts of the real set formal contexts without affecting the results of the acquired maximal s rules or l rules.     

脱氧腺苷红外光谱计算方法表征

采用GAUSSIAN03计算化学软件,运用Hartree-Fock(HF)/3-21G基组进行运算.在GaussView软件帮助下,优化了脱氧腺苷分子几何结构,描述了优化结构.计算出脱氧腺苷单体大分子红外光谱振动频率并绘制红外谱图,在量子力学理论基础上计算出分子能量、焓值、零点能,并计算NBO,得到HOMO和LUMO能级以及分子中各原子上的电荷分布数值.其前沿轨道HOMO的能级E=-0.29949 eV,LUMO的能级E=0.14324 eV.二者相差0.44273 eV.脱氧腺苷分子比较稳定.与国外脱氧腺苷红外光谱实验数据进行比较,计算得到的图谱峰形清晰,容易辨认,计算了理论数据与实验数据之间的误差,误差范围在-2.97%～11.26%之间.为红外实际测试提供有力技术参照参数,可以帮助印证实验数据的可靠性.在一般环境条件下,脱氧腺苷分子结构和组成通常较稳定,但在特殊条件(如:UV辐射和氧化作用及环境类紧张性刺激)下可能发生变化.     

Constrained Bayesian state estimation – A comparative study and a new particle filter based approach

This paper investigates constrained Bayesian state estimation problems by using a Particle Filter (PF) approach. Constrained systems with nonlinear model and non-Gaussian uncertainty are commonly encountered in practice. However, most of the existing Bayesian methods are unable to take constraints into account and require some simplifications. In this paper, a novel constrained PF algorithm based on acceptance/rejection and optimization strategies is proposed. The proposed method retains the ability of PF in nonlinear and non-Gaussian state estimation, while take advantage of optimization techniques in constraints handling. The performance of the proposed method is compared with other accepted Bayesian estimators. Extensive simulation results from three examples show the efficacy of the proposed method in constraints handling and its robustness against poor prior information.     

Design, fabrication, and test of an on-chip micro flow cytometer with integrated out-of-plane microlenses

A micro flow cytometer with an integrated three-dimensional hydro-focusing unit and out-of-plane microlenses was successfully fabricated and tested. The entire system was fabricated with SU-8 ultra-violet lithography process. In the hydro-focusing unit, sheath flows pass through a trapezoid-shaped chamber with three 30° slopes to focus the sample flow in both horizontal and vertical directions. As an essential component in the on-chip optical detection system, integrated out-of-plane microlens was embedded in the sidewall of the fluid outlet channel in the detection area. A pre-aligned optical fiber holder was fabricated on chip to fix the output optical fiber in a position aligned to the microlens. Optical simulation and analysis were also conducted using commercial software Zemax. Numerical simulation results confirmed that the use of microlens substantially improved the detection efficiency by focusing the fluorescent light from the sample cells into the output optical fiber. Preliminary cell counting experiment was performed using the fabricated micro flow cytometer system and the experimental results proved the feasibility of the integrated micro flow cytometer design.     

基于虚拟机日志记录回放的可逆调试方法

传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态.提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能.该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻.该可逆调试器,可以解决大型软件和操作系统内核...     

IVDQP—物联网内基于兴趣向量的分布式查询处理方法

物联网内资源按需检索是构建高效率物联网应用的必备功能。实现一种基于兴趣的数据单播查询处理方法IVDQP,采用一种单播的方式对任意物联网节点提出的数据检索请求进行节点间传递,并以一种累积的方式将中间节点上的检索结果按照查询单播传递路径返回给查询节点。与Flooding算法的对比实验表明,提出的这种物联网内单播查询处理方法不仅能够迅速定位尽可能多的符合查询要求的数据,而且能够保证引入尽可能少的节点间的消息交换,从而为高效物联网应用的实现提供技术支持。     

A new energy harvest system with a hula-hoop transformer, micro-generator and interface energy-harvesting circuit

This study presents a synthesis of a new energy harvest system that consists of a hula-hoop transformer, a micro-generator and an interface energy harvest circuit. The hula-hoop transformer mainly comprises a main mass sprung in one translational direction and a free-moving mass attached at one end of a rod, the other end of which is hinged onto the main mass. The transformer is capable of transforming linear reciprocating motions to rotary ones based on the concepts similar to the hula hoop motions. The transformer is subsequently integrated with a miniaturized rotary generator in size of 10?×?10?×?2?mm³ and its compact energy harvest circuit chip. The designed generator consists of patterned planar copper coils and a multi-polar hard magnet ring made of NdFeB. The genetic algorithm (GA) is next applied to optimize the critical dimensions of the miniaturized generator. The optimized generator offers 4.5 volt and 7.23?mW in rms at 10,000?rpm. With micro-generator successfully fabricated, a novel energy harvest circuit employing a new dual phase charge pump, power management circuit, a low dropout regulator and battery charger is designed and fabricated via the 0.35???m process. This charge pump circuit owns the merit of automatic conversion of low-power AC signals by the micro-generator to DC ones. Experiments were conducted to show the favorable performance of the proposed energy harvest system. This is the first work that invents a motion transformer from ubiquitous reciprocating to rotational motions. In this way, higher-efficient energy conversion via compact-sized rotational electromagnetic generators can be realized as opposed to popular piezoelectric structures.