多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。     

浅谈《数据库技术》实验课教学方法设计

本文针对目前高校计算机试验课教学的特点和现状,从试验教学的内容和形式方法上进行了探讨,同时提出了关于《数据库技术》试验课教学的改革方法。     

基于小波变换的CDMA图像盲水印算法

提出了一种盲扩展谱水印算法,将水印信息重复的嵌入到图像多层小波分解的系数中.通过对数字图像小波变换结构的研究和分析,利用扩展谱将信息嵌入到LH和HL子带,结合噪声视觉函数在水印的透明性和鲁棒性之间实现了较好的平衡,提高了信息隐藏的安全性,并运用CDMA(Code Division Multiple Access)理论实现了水印信息的盲提取.大量的试验结果表明,该算法对于常见的图像处理操作,特别是对于JPEG压缩和多种噪声攻击有较好的鲁棒性.     

一种新的PBW图像盲水印算法

介绍一种新的PBW水印理论.传统的水印方法是由水印自身携带信息,而在PBW方法中信息与图像中嵌入水印的位置有关,可以选择较好的代表信息的位置去嵌入水印.为了更有效地提取水印信息,还可选择与宿主图像相关度最低的水印作为较好的水印进行嵌入.将PBW方法与扩展谱方法进行对比分析,并在小波变换域进行实验.大量实验结果表明,与传统的扩展谱方法相比,该方法具有更好的鲁棒性和透明性,特别对串谋攻击有很好的鲁棒性.     

永磁同步电机驱动的小型三轴机载光电平台鲁棒控制系统设计

针对永磁同步电机驱动的小型三轴机载光电平台,进行了鲁棒控制系统设计的研究。在进行动力学分析的基础上,建立了三轴机载光电平台的简化多输入多输出模型。综合考虑性能、成本、体积等问题,设计了基于DSP的三通道永磁同步电机伺服控制器。针对载机姿态变化等系统内外部扰动对控制系统惯性稳定精度带来的影响,设计了基于扰动观测器的闭环控制算法,并讨论了扰动观测器的实际物理可实现问题。实验结果表明,与传统控制方法相比,结合扰动观测器的闭环控制方法具有惯性稳定精度高、鲁棒性强的特点,在sin(2πt)°和3sin(0.2πt)°正弦扰动条件下,分别实现了81.83和63.17μrad惯性稳定精度。所设计的小型三轴机载光电平台控制系统具有体积小,惯性稳定精度高,控制算法便于工程实现的特点,具有很高应用价值。     

垂直外腔面发射半导体激光器的双波长调控研究

报道了一种结构紧凑的垂直外腔面发射激光器（Vertical-External-Cavity Surface-Emitting Laser,VECSEL）及其双波长调控。通过调控泵浦光功率,实现了VECSEL输出的两个激光波长之间的相互转换,双波长的间隔接近50 nm。VECSEL的输出功率曲线呈现明显的两次翻转,翻转点对应了激射波长的转换。这是由于泵浦功率变化改变了增益芯片内部的温度,进而通过热调谐使得发光区增益峰值被调谐到腔模的不同位置。在0℃时,每个激射波长的最大输出功率都在1.5 W以上。随着泵浦功率的改变,激射波长可以在950 nm和1000 nm之间切换,同时还可以在1.5 W以上的功率水平下实现双波长同时激射。这种可切换波长及双波长同时激射的VECSEL器件在光调制、差频等领域有较大应用潜力。     

断路器共铁芯叠装双绕组分闸线圈防拒动隐患分析研究

对断路器共铁芯叠装双绕组分闸线圈进行了结构剖解、动作原理分析,结合设备在实际运行中的案例,对共铁芯叠装双绕组分闸线圈造成开关拒动的隐患进行分析,提出了相应的防范措施,为设备检修人员提供了参考,保证了断路器的安全稳定运行。     

激光光源汽车前照灯自由曲面反射器设计EI北大核心CSCD

文中针对激光前照灯的光学结构设计困难和能量利用率低的问题,以球面最优传输理论为基础,提出了一种新的自由曲面反射器设计方法。该方法基于支撑曲面的结构,针对扩展光源进行了优化,有效抑制了目标照明区外的照度,实现了清晰的明暗截止线。文中根据GB 25991—2010标准,设计了适用于激光前照灯(含近光灯和远光灯)的自由曲面反射器,并使用扩展朗伯光源进行模拟仿真。仿真结果表明,配光屏幕上各测试点和测试区域的照度均符合法规要求,反射面连续光滑,能量利用率分别为96.96%和97.80%。通过实现高能量利用率的结构,减少了汽车前照灯的功耗,利于汽车前照灯的散热设计,延长了激光光源使用寿命,并为设备的生产加工带来便利。     

基于时空重采样的实时随机光源裁剪EI北大核心CSCD

为了渲染含大量动态光源的动态场景,提出一种时空重采样算法.首先利用实时随机光源裁剪对光源进行重要性采样,生成重采样样本;然后提出一种快速时空样本有效性判断方式,通过检查几何属性与可见性,避免错误选择重采样样本而引入误差;最后通过重采样复用时空样本,依样本权重选择重要样本进行着色,提高样本质量.自建场景与NVIDIA ORCA场景的实验结果表明,所提算法能够取得较好的采样质量,通过修改空间重采样数可平衡该算法的耗时与渲染质量,使之具有一定的拓展性;与实时随机光源裁剪算法相比,在相同采样数时该算法能够取得更高的渲染质量,而渲染质量相近时该算法耗时可减少20%~40%.     

基于富铟团簇量子结构的双波长可调谐半导体激光器

本研究提出了一种采用增益芯片和光栅外腔的双波长可调谐半导体激光器。增益芯片采用了富铟团簇量子限制结构作为其量子限制结构,由于该结构独特的平顶增益特性,可以使激光器在双波长调谐范围内实现光强稳定。本研究中的谐振腔包括内部谐振腔和外部谐振腔,其中内部谐振腔由增益芯片的两个自然解理面构成,以支撑整个系统工作在特定波长。外部谐振腔由增益芯片的一个自然解理面和光栅构成,可实现969.1~977.9 nm的工作波长范围。最终该系统基于单个增益芯片和单个光栅实现了同步双波长输出,双波长的频率差在THz范围。本研究有望为实现双波长差频太赫兹源提供一种可能的解决方案。