Intracavity Raman lasers

Experimental and theoretical studies of intracavity Raman lasers are presented. Advantages of intracavity Raman lasers, particularly for low-emission cross section and broadly tunable vibronic gain media, are described. Experimental studies of a hydrogen gas Raman laser pumped inside the cavity of an alexandrite laser are presented. A theoretical model of the dynamics of a unidirectional intracavity Raman ring laser is developed and solved analytically. This model is adapted for simulation experiments     

The beat goes on: Rhythmic modulation of cortical potentials by imagined tapping.

A frequency analysis was used to tag cortical activity from imagined rhythmic movements. Participants synchronized overt and imagined taps with brief visual stimuli presented at a constant rate, alternating between left and right index fingers. Brain potentials were recorded from across the scalp and topographic maps made of their power at the alternation frequency between left and right taps. Two prominent power foci occurred in each hemisphere for both overt and imagined taps, one over sensorimotor cortex and the other over posterior parietal cortex, with homologous foci in opposite hemispheres arising from oscillations 180° out of phase. These findings demonstrate temporal isomorphism at a neural level between overt and imagined movements and illustrate a new approach to studying covert actions. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

有限精度时间自动机的可达性检测

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足.     

交错BCH码在移动窄带图像信道中的性能研究

文章在详述ＢＣＨ码编译码过程的基础上，对交错ＢＣＨ码在移动瞧道压缩图像传输系统中的应用进行了计算机仿真，直观地显示出产错ＢＣＨ码在窄带图像传输系统中的优良性能，并为移动图像传输中码型的选用提供参考。