朱玲
- 作品数：48 被引量：87H指数：5
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金国家基础科学人才培养基金安徽省高校省级重点教学研究项目更多>>
- 相关领域：理学机械工程自动化与计算机技术电子电信更多>>
- C程序精确形状分析中的规范语言设计被引量：2
- 2016年
- 在一个C程序静态分析工具的实现中,设计了一种描述函数行为的规范语言,包括描述程序状态的基本断言,描述内存的谓词以及描述链表、二叉树等递归数据结构的形状谓词.该工具基于编译框架LLVM和符号执行工具KLEE,以函数为单位分析并构造函数行为规范,该过程中需要使用断言描述程序状态并按需抽象成形状谓词表示的形式.为此本文设计并实现了一系列的断言规范化和抽象化规则.通过使用描述内存的谓词以及形状谓词,该分析工具可以检测内存泄露、多次释放等内存安全问题以及进行形状分析.
- 朱玲李兆鹏梁家彪邓维
- 关键词：规范语言抽象化
- 一种用于磁光测量系统的磁铁装置
- 本发明提供了一种用于磁光测量系统的磁铁装置，该磁铁装置的特点在于，两个固定安装在机架(7)上的带中心通孔的电缆线轴(3)横卧且同轴布置，两个具有轴心通孔的铁芯(6)分别设置在各个电缆线轴(3)的中心通孔中，两组线圈分别设...
- 张权韦先涛代如成朱玲谢宁王中平张增明
- 文献传递
- 聚苯乙烯微球体系相干背散射现象初探
- 2018年
- 无序体系中电子局域化的概念是由安德森(P.W.Anderson)在1958年提出的。从那时起安德森局域化就成为物理学中的热门研究问题,而今在新材料等领域着有广泛的运用。本文通过搭建简单的光路系统,测量了无序聚苯乙烯小球体系相干背散射光强分布、反射透射光强变化关系,初步分析了该体系相干背散射特性与安德森局域化的关系,探讨了该体系中通过相干背散射现象研究光子的安德森局域化现象和规律的可能性。
- 余子雨毛凯天韦淼今杜治兴赵伟谢宁朱玲张增明孙腊珍
- 超宽谱透射式的太赫兹波正交偏振转换器被引量：2
- 2018年
- 利用CST电磁场仿真软件模拟设计了基于开口谐振环-介质-光栅3层结构的超宽谱透射式的太赫兹波正交偏振转换器件,研究了各层透射系数谱以及结构参量对偏振转换的影响,通过计算结构电场和电流分布分析了器件的工作原理.模拟结果表明:设计的器件实现在0.5~2.7THz频谱内,将入射的y偏振太赫兹光转换成x偏振光,转换效率高达99%.由结构电场分布以及表面电流分布推出,入射的y偏振太赫兹光耦合到开口环上,形成振荡的电偶极子,并辐射出太赫兹波x偏振分量.底部光栅层的作用是透过x偏振分量,并将剩余的y偏振光反射回开口环层,并在开口环层和光栅层间形成法布里-珀罗反射进一步提高偏振转换效率.可通过优化介质层厚度、光栅宽度和阵列周期关键参量来优化器件的转换性能.
- 李恒一张权赵伟郑虹朱玲
- 关键词：太赫兹波偏振器CST
- 光纤干涉系列实验教学的探索与实践被引量：7
- 2009年
- 针对光纤干涉理论知识面广,学生难掌握的特点,基于光纤干涉教学实验系统设计了一系列设计性、研究性实验.激发学生对相关理论知识的兴趣,深化实验课程教学的效果,提高学生的实践动手及创新能力.
- 张权朱玲孙晴郑虹
- 关键词：实验教学光学实验光纤
- 比累对切透镜双光束干涉实验测量光的波长
- 2021年
- 阐述了比累对切透镜双光束干涉实验测量光波长的实验原理和方法.以氦氖激光为光源,分别利用比累对切透镜的平面波干涉和球面波干涉进行实验,测量氦氖激光的波长,结果表明这2种干涉实验测量得到的氦氖激光波长值合理.
- 朱玲赵伟代如成张权张增明
- 关键词：双光束干涉波长
- 动态图像处理及激光追踪实验被引量：1
- 2015年
- 采用大学物理教学实验室的常用仪器和光学平台,根据图像运算的原理,设计并搭建光路,经图像采集、运算识别运动点、输出步进电机运动命令,实现了图像自动处理和激光追踪的全过程,实验确认了通过光学定位的方法追踪动点可行.
- 何潇梁李锦峰钱万晖张权孙腊珍朱玲韦先涛赵伟黄环
- 关键词：图像降噪
- WDP-500C型平面光栅单色仪应用于实验教学的技术问题
- 2007年
- 针对WDP-500C型平面光栅单色仪未设有千位数字,致使其报警时不能正确处理的问题,提出了根据滑块的传动距离加长挡光板或将光电报警开关向短波段移动8.0 nm的解决方案,消除了由于单色仪设计问题而产生的故障.
- 张权朱玲孙晴郑虹
- 关键词：实验教学测试技术
- 光纤干涉系列实验教学的探索与实践
- 针对光纤干涉理论知识面广,学生难掌握的特点,基于光纤干涉教学实验系统设计了一系列设计性、研究性实验。激发学生对相关理论知识的兴趣,深化实验课程教学的效果,提高学生的实践动手及创新能力。
- 张权朱玲孙晴郑虹
- 关键词：设计性研究性实验教学光学实验光纤特性
- 用空间光调制器产生贝塞尔光束的实验研究
- 2017年
- 贝塞尔光束因其中心光强分布随传播距离不变的性质,被称为无衍射光束.实验上获得贝塞尔光束通常对仪器参量要求很高,且得到的贝塞尔光束一般为非理想贝塞尔光束.本文利用简单的空间光调制器设计了半周期空间光相位调制方案来获得贝塞尔光束,通过模拟和实验验证了此种方案的有效性.
- 崔超涵赵浩淇朱睿冯路赵伟张权朱玲张增明孙腊珍
- 关键词：贝塞尔光束无衍射光束空间光调制器相位调制
