朱玲
- 作品数：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的解决方案,消除了由于单色仪设计问题而产生的故障.
- 张权朱玲孙晴郑虹
- 关键词：实验教学测试技术
- 居家环境下运用光衍射法测量弹性模量实验的设计被引量：2
- 2021年
- 居家环境下,利用生活材料搭建了基于光衍射法测量金属丝弹性模量的实验装置.并设计了简易螺旋测微器,提高了金属丝直径测量的精度.实验测得弹性模量的结果表明,此方案适合学生居家实验.该实验的完成,不仅锻炼了学生利用常见材料自主设计实验装置的能力,同时使学生对弹性模量及光衍射的理论知识有了更深刻的理解.
- 张澍辰朱玲梁燕
- 关键词：拉伸法衍射螺旋测微器
- 光学指纹采集与处理被引量：2
- 2017年
- 设计了基于光学的指纹采集和处理系统.通过自组实验仪器,不断改进实验方案,最大程度地提高采集到的指纹图像的质量.利用Matlab处理采集图像,联合使用自适应直方图均衡和直方图均衡,得到对比度高且清晰可辨的指纹.
- 李志鹏何晓彤胡金鑫刘若琳朱玲张增明陶小平
- 关键词：信息光学指纹图像处理直方图均衡
