特征筛选对脑-机接口信号单次提取精度的影响

脑-之机接口的核心问题之一是通信载体信号的单次提取．在构建脑控拼写器的过程中，通过“模拟自然阅读”诱发模式产生的视觉诱发电位作为人脑与计算机之间的通信载体，采用支持向量机方法进行特征信号的单次识别．为提高识别精度，详细研究了信号时程、时段的选择对模式识别精度的影响．结果表明，信号时程越长分类精度越高，时程达到300ms时，分类精度就可达到最大值（且趋于饱和）；信号时段的选择对分类精度亦有较大影响，最佳时段在靶刺激出现后约250～350ms作为起始处．这一结果为提高系统的整体速度与精度打下了基础．     

基于灰度和梯度不变矩的人脸识别

提出一种新的人脸识别方法———灰度-梯度共轭不变矩法,克服了传统方法的缺点,在不增加复杂度的前提下,将灰度信息和梯度信息有效地结合起来,并将其共轭分布反映的纹理特征作为对灰度特征的补充参与特征分类.同时,对经典不变矩组进行分析并改进,消除了离散状态下比例因子的影响.以BP网络作为分类器进行试验,结果表明,与传统方法相比,该方法具有更高的识别率.     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

基于SMA阻尼器的大跨桥梁地震位移控制分析

通过超弹性形状记忆合金(shape memory alloy,简称SMA)拉伸试验研究,建立了SMA四折线本构模型.利用SMA超弹滞回耗能特性,提出一种拉压型SMA阻尼器,并给出其最大输出控制力的计算公式.针对某七跨连续刚构桥,分析了桥梁伸缩缝在无限位器、安装钢棒限位器和安装超弹性SMA阻尼器3种情况下的地震位移.结果表明:安装SMA阻尼器后,伸缩缝处相对位移降低80.3%,中跨跨中水平位移和竖向位移分别降低78.8%和65.9%.因此,SMA阻尼器可以有效控制桥梁结构地震位移,对桥段相对位移的控制效果优于钢棒限位器.     

Shape controllable preparations of PbS nanocrystals using cysteine as the precursor of S^2- ions

Flowerlike, spherical and cubic PbS nanoparticles have been successfully synthesized by refluxing cysteine and lead nitrate in an alkaline solu- tion. The influences of the cysteine to Pb2 molar ratio, the pH value of the reaction mixture as well as the refluxing time on the shape of PbS nanoparticles were investigated. Detailed experimental results demonstrated that a higher molar ratio of cysteine to Pb2 (5.2:1) and shorter refluxing time favor the for- mation of flowerlike PbS nanoparticles at pH 9.0. While lower pH value (8.0) favors the formation of spherical PbS nanoparticles, and higher pH value (10.0), however, favors the formation of cubic PbS nanoparticles. The mechanism for the shape control of PbS nanoparticles is discussed.     

19GeV/c能量下质子-铍碰撞中领头奇异超子Λ的产生

利用在美国布鲁克海汶国家实验室的环型加速器(Brookhaven/AGS)上进行的19.6 GeV质子轰击固定铍核的实验数据,通过质子与π介子对的搭配,并用一种新的循环迭代的混合事件方法,从复杂的背景中,提炼出共振态领头粒子Λ的产生.     

某天气雷达站塔楼结构反应谱分析

运用通用有限元程序ANSYS对某天气雷达站塔楼结构进行了振型分解反应谱分析,通过计算得出了雷达站塔楼在地震反应谱作用下位移及内力,与工程计算软件SATWE的计算结果比较,从而验证了结构设计的可靠性。     

关于量子力学中效应代数上的收敛理论及不变量

本文介绍了量子力学中效应代数的研究进展。指出利用无穷矩阵理论研究其上的收敛理论和不变量，对建立量子力学的数学基础有重要意义。     

一类非线性SEIRS流行病传播数学模型

目的 研究一类具有饱和接触率且潜伏期、染病期均传染的非线性SEIRS流行病传播数学模型动力学性质。方法 利用Lasalle不变集原理和Routh-Hurwitz判据探讨系统的渐近性态。结果 得到了疾病绝灭与持续的阈值——基本再生数，证明了无病平衡点的全局渐近稳定性和地方病平衡点的局部渐近稳定性，揭示了潜伏期传染的影响。结论潜伏期有传染的疾病，不但要注意控制染病期的病人，还要注意控制潜伏期的病人。只有这样，才能有效地控制疾病的蔓延。     

应用时域相位解包方法的三维形貌测量系统

为了解决投影法三维形貌测量中测量点误差受相邻点影响的问题,投射计算机按照所需频率和相位生成的正弦条纹,利用时域相位解包算法实现每个测量点的独立计算。为了降低测量复杂形貌时因栅距变化产生的误差,发展了虚参考平面法。列举了在真人头面部和鼠标测量中的应用。实验结果表明,在进行复杂形貌三维测量时,采用时域相位解包方法可以抑制误差的扩散,不受不连续区域的影响。整个测量过程可在5s之内完成,测量平面时精度可达0.78%。