基于网络受限移动对象数据库的交通流统计分析模型

网络动态交通流的统计分析技术是目前移动计算及智能运输系统领域的一个重要研究方向．然而，现有的交通流统计分析方法(如基于固定传感器的方法、高空交通流监视方法、浮动车法等)存在着信息量少、数据处理复杂、精确度及效率低下、通信代价高昂等缺陷．为了有效地提高交通流统计分析的效率与精度，提出了一种基于网络受限移动对象数据库的交通流统计分析方法(network constrained moving objects database based traffic flow statistical analysis．NMOD—TFSA)．通过对移动对象所提交的位置更新信息进行联机统计，NMOD-TFSA能够实时地获取交通网络各部分的动态交通参数．由于在数据采集时考虑了道路网络的拓扑结构，NMOD．TFSA有效地降低了通信及计算的代价；此外，NMoD—TFSA所采集的数据能够反映移动对象完整的时空轨迹，因此为数据分析提供了更为丰富的信息，提高了数据处理的精度．实验结果表明，与目前通行的浮动车法相比，NMOD—TFSA有效地降低了 通信及计算代价，提高了交通流统计分析的精度与灵活性．

Contrastive study of two SESAMs for passive mode-locking in Nd:YVC>4 laser with low pump power

Two semiconductor saturable absorber mirrors (SESAMs), of which one is coated with 50% reflection film on the top and the other is not, were contrastively studied in passively mode-locked solid-state lasers which were pumped by low output power laser diode (LD). Experiments have shown that reducing the modulation depth of SESAM by coating partial reflection film, whose reflectivity is higher than that between SESAM and air interface, is an effective method to get continuous wave (CW) mode-locking instead of Q-switched mode-locking (QML) in low power pumped solid-state lasers. A simple Nd:YVO4 laser pumped by low power LD, in which no water-cooling system was used, could obtain CW mode-locking by the 50% reflector coated SESAM with average output power of ~ 20 mW

半导体可饱和吸收镜被动锁模Nd:YAG激光器的研究

利用自行研制的半导体可饱和吸收镜(SESAM),在5 W光纤耦合半导体激光器端面抽运的Nd:YAG激光中,实现了半导体可饱和吸收镜被动锁模,获得了稳定的皮秒锁模激光输出.经自相关仪测量,其锁模激光脉冲宽度小于10 ps.实验采用直腔结构的谐振腔,该腔结构简单,易于调整,实现可饱和半导体吸收镜稳定锁模时,光-光转换效率达到19%.

MBE生长InAs薄膜输运性质的研究

在GaSa衬底上MBE生长大失配InAs薄膜，虽然在界面处存在大量位错，但仍能在InAs薄膜中得到较高的电子迁移率。掺Si样品的迁移率比同厚度未掺杂的样品要高。且对未掺杂的InAs薄膜，迁移率在室温附近有一个明显的极小值。这些反常行为可以通过体层和界面层电子的并联电导模型来解释。

Polarization switching current of vertical cavity surface-emitting Lasers in an applied electric field

The polarization of vertical-cavity surface-emitting laser (VCSEL) can be controlled by electro-optic birefringence. We calculated the birefringence resulted from external electric field which was imposed on the top DBR of VCSEL by assuming that the two polarization modes were in the same place of the gain spectra in the absence of electric field beginning. By modifying SFM, the affection of the electric field strength on the polarization switching currents between the two polarization modes had been shown.

可信平台模块的形式化分析和测试

可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性.