支持向量机中引入后验概率的理论和方法研究

目前支持向量机解决模式识别问题是广大学者研究的热点，样本的后验概率在模式识别中至关重要，但是传统的支持向量机技术不提供后验概率．针对这一问题进行了３个方面的研究：①在给出样本点后验概率的基础上，将大规模优化问题分解成最大似然函数和最大分类边界两个小规模优化问题；②给出了一种新的用后验概率修正最优分离超平面的方法，并且分析了该新方法的合理性；③用图像分类的３组实例说明本方法的有效性．

Thrust generation and wake structure of wiggling hydrofoil

Marine animals and micro-machines often use wiggling motion to generate thrust. The wiggling motion can be modeled by a progressive wave where its wavelength describes the flexibility of wiggling animals. In the present study, an immersed boundary method is used to simulate the flows around the wiggling hydrofoil NACA 65-010 at low Reynolds numbers. One can find from the numerical simulations that the thrust generation is largely determined by the wavelength. The thrust coefficients decrease with the increasing wavelength while the propulsive efficiency reaches a maximum at a certain wavelength due to the viscous effects. The thrust generation is associated with two different flow patterns in the wake: the well-known reversed Karman vortex streets and the vortex dipoles. Both are jet-type flows where the thrust coefficients associated with the reversed Karman vortex streets are larger than the ones associated with the vortex diploes.

HIRFL-CSR电源数字控制系统硬件平台设计

论述用于兰州重离子加速器冷却存储环(HIRFL-CSR)磁铁电源控制系统的数字控制系统硬件平台设计。该系统基于1mmBGA封装的ALTER corporation的cycloneⅢFPGA芯片,嵌入运行数字调节器软件算法,满足了针对具体被控对象参数要求的调节控制。用ARM(Advanced RISC Machines)作调节控制系统的核心处理器,完成系统的多线程任务处理;同时嵌入千兆光纤接口,实现外接DSP板处理数据的直接传输,提高了系统的实时性。该硬件平台实现了HIRFL-CSR电源系统的稳定、可靠和实时控制。

an empirical study on bug assignment automation using chinese bug data

Univ SE Calif, Ctr Syst & Software Engn, ABB, Microsoft Res, IEEE, ACMSIGSOFT, N Carolina State Univ Comp Sci