恶劣环境下图像的缺陷补偿

在分析介质(环境)对成像质量影响的基础上,建立了介质中图像衰减模型,提出了一种同时适用于过暗、过亮、有雾和水下四种恶劣环境下的衰减补偿算法.图像的主观评价和客观评价的实验表明运用此衰减补偿算法处理后的图像拥有更好的视觉效果,并在处理速度上有较大的提升.     

基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.     

校企联合培养需重点关注的问题

本文在介绍我院电气工程及其自动化专业自2006年开展"2+6"实践教学改革的基础上,围绕"卓越计划"校企联合培养应重点关注的问题,从实习企业、教学内容、时间安排、教学方法、管理考核和教学成效等方面。本文举例说明了我院进行"卓越计划"校企联合培养的做法。     

天基红外卫星协同预警临空高速目标配置优化

围绕天基红外卫星协同预警临空高速目标配置问题,考虑临空高速目标预警的任务需求和不同轨道卫星的覆盖特性,建立了GEO、HEO和LEO红外预警卫星的配置优化模型。在给定的威胁想定和传感器参数设置下,经仿真求解,构型为“5GEO+3HEO+24/4/2LEO”的天基红外预警卫星星座可满足临空高速目标防御对天基预警系统的预警需求。     

射频宽带放大器的增益控制设计与研究

该系统是基于高频宽带运放OPA695和可控增益放大器LMH6502组合而成的射频宽带放大器,可实现0~60 d B连续可调。由于O PA695是一款具有超低输入噪声电压信号的电流型运放,所以将其作为前级放大。LMH6502作为第二级放大电路可通过DA控制其增益大小,变化范围为-40~20 d B。最后一级经OPA695进行信号的总体放大,使其总增益可达到60 d B以上。调零电路使整个放大器最大程度的减小了直流偏移,并通过减小电源纹波和使用屏蔽线等方法将噪声减小到最小。同时,放大器增益可预设,并可将增益同步显示在LCD上。     

Ion mobility-mass correlation trend line separation of glycoprotein digests without deglycosylation

A high-throughput ion mobility mass spectrometer (IMMS) was used to rapidly separate and analyze peptides and glycopeptides derived from glycoproteins. Two glycoproteins, human α-1-acid glycoprotein and antithrombin III were digested with trypsin and subjected to electro-spray traveling wave IMMS analysis. No deglycosylation steps were performed; samples were complex mixtures of peptides and glycopeptides. Peptides and glycosylated peptides with different charge states (up to 4 charges) were observed and fell on distinguishable trend lines in 2-D IMMS spectra in both positive and negative modes. The trend line separation patterns matched between both modes. Peptide sequence was identified based on the corresponding extracted mass spectra and collision induced dissociation (CID) experiments were performed for selected compounds to prove class identification. The signal-to-noise ratio of the glycopeptides was increased dramatically with ion mobility trend line separation compared to non-trend line separation, primarily due to selection of precursor ion subsets within specific mobility windows. In addition, isomeric mobility peaks were detected for specific glycopeptides. IMMS demonstrated unique capabilities and advantages for investigating and separating glycoprotein digests in this study and suggests a novel strategy for rapid glycoproteomics studies in the future.     

中药炮制机理研究的思路与方法——以咖啡豆的烘焙原理研究为例

中药炮制是中药学的特色和优势,也是最具我国自主知识产权的学科之一.中药炮制研究的核心是阐明中药炮制机理,这也是制约中药现代化的关键节点.目前大部分中药的炮制机理尚不明确,有待进行系统深入的研究.咖啡豆需要烘培后才可以制成饮料,这个高温烘培过程类似于中药的炮制过程.近年来,国内外专家对咖啡豆高温烘培过程化学成分变化及其机理进行了深入研究,各种新方法和新技术得到广泛应用,取得了系列研究成果,这些研究成果为中药炮制机理研究提供了多种新思路和新方法,也为中药炮制机理的研究和阐明提供了重要示范.     

On a problem of Hornik

In 1991,Hornik proved that the collection of single hidden layer feedforward neural networks(SLFNs)with continuous,bounded,and non-constant activation functionσis dense in C(K)where K is a compact set in R~s(see Neural Networks,4(2),251-257(1991)).Meanwhile,he pointed out"Whether or not the continuity assumption can entirely be dropped is still an open quite challenging problem".This paper replies in the affirmative to the problem and proves that for bounded and continuous almost everywhere(a.e.)activation functionσon R,the collection of SLFNs is dense in C(K)if and only ifσis un-constant a.e..