金丽
- 作品数：13 被引量：44H指数：4
- 供职机构：南通大学电子信息学院更多>>
- 发文基金：江苏省博士后科研资助计划项目国家自然科学基金南通大学自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信文化科学机械工程更多>>
- 移动通信课程教学模式改革研究与实践被引量：9
- 2017年
- 移动通信课程是电子信息类专业的一门重要专业课。随着移动通信技术的飞速发展,移动通信课程的教学内容相对滞后,难以满足实际教学需要。如何使授课内容紧跟通信技术的实际发展现状,同时提高学生的课堂教学质量,满足学生的实际工作需求,对于移动通信课程改革提出了新的要求。文章深刻分析了目前移动通信课程在实际教学过程中存在的问题,从教学内容、教学方法、教学手段和考核形式几个方面提出了一些尝试性改革措施和建议,希望有助于提高移动通信课程的教学质量。
- 章国安朱晓军金丽曹娟邱恭安季彦呈
- 关键词：移动通信教学改革教学质量
- 基于光纤布拉格光栅拉锥的带宽可调微光纤马赫-曾德尔干涉仪被引量：8
- 2019年
- 提出了一种基于光纤布拉格光栅(FBG)拉锥的带宽可调的微光纤马赫-曾德尔干涉仪(MZI),该微光纤MZI的两端为关于中心束腰光纤对称的锥形微啁啾长周期光栅(CLPG)。对拉锥后的光栅周期及折射率分布进行了建模及仿真。折射率测试结果表明,MZI透射光谱带宽的倒数与氯化钠(NaCl)溶液折射率呈线性关系,通过改变NaCl溶液折射率可以调谐透射光谱带宽。对透射光谱1550 nm处的带宽进行了测量,得到折射率调谐带宽的精度为0.64318 nm^(-1)·RIU^(-1)。
- 耿健朱晓军章国安朱晓军章国安徐晨曹娟
- 关键词：光纤光学光纤布拉格光栅马赫-曾德尔干涉仪
- 多线程环境中的二维降密策略被引量：1
- 2015年
- 降密策略的主要目的在于确保程序中敏感信息的安全释放。目前,降密策略的安全条件和实施机制的研究主要集中在顺序式程序设计语言,它们不能直接移植到多线程并发环境,原因在于攻击者能利用线程调度的某些性质推导出敏感信息。为此,基于多线程程序设计语言模型和线程调度模型,建立了支持多线程并发环境的二维降密策略,有效确保了在合适的程序点降密合适的信息;建立了多线程并发环境下该降密策略的动态监控机制,并证明了该实施机制的可靠性。
- 金丽朱浩
- 关键词：信息流多线程环境机密性无干扰
- 二维降密策略的内联引用监控方法被引量：1
- 2016年
- 降密策略的静态实施机制存在限制性过强的缺陷,基于虚拟机的动态监控机制不能完全适合Web和即时编译环境。为此,基于内联引用监控方法,实施了基于内容和地点维度的二维降密策略。提出了内联引用监控方法的程序变形规则,并证明了该方法的可靠性;根据该程序变形规则,将源程序进行变形重写,生成一个新的程序,它能脱离外部监控环境,实现自我监控。
- 朱浩陈建平金丽
- 关键词：无干扰
- 基于自动机监控的二维降密策略被引量：1
- 2015年
- 降密策略静态实施机制具有限制性过强的缺陷:它将降密策略语义条件判定为安全的程序排斥在外。为了建立更加宽容的实施机制,基于自动机理论,建立了二维降密策略的动态监控机制。程序执行中的命令事件被抽象为自动机的输入,自动机根据这些输入信息跟踪程序执行过程中的信息流,禁止违反降密策略的程序命令的执行。最后,证明了自动机监控机制的可靠性。
- 金丽朱浩
- 关键词：信息流自动机保密性无干扰
- 信息降密的鲁棒性模型检测
- 2015年
- 鲁棒性降密策略限制攻击者不能通过向程序注入攻击代码而获取超出允许释放范围的敏感信息,但是该降密策略缺乏对超额释放的敏感信息的定量分析,限制性过强.为此,基于转移系统,建立了程序的形式化模型;基于信息格,提出了信息降密的鲁棒率定义,对程序中信息降密的鲁棒性进行度量;基于等价类,提出了信息降密鲁棒性的定量分析方法;基于有界模型检测方法,实现了信息降密鲁棒性的自动化定量分析.实践证明,该方法从量的角度对信息降密的鲁棒性进行了放松,实现了富有弹性的信息降密鲁棒性的控制.
- 金丽朱浩
- 关键词：鲁棒性
- 面向智能交通通信的“数字集成电路设计”课程教学实践研究
- 2013年
- 面向智能交通通信的"数字集成电路设计"课程是智能交通专业和微电子学与固体电子学专业的交叉课程。本文以智能高速交通通信系统中的数字滤波器FIR作为教学实验平台,利用Matlab、Modelsim等仿真软件开发从算法设计到集成电路设计的虚拟实验平台,使学生理解从系统原理、算法建模到数字集成电路设计的先进设计方法,从内容和方法两方面满足社会对学生能力的要求。
- 金丽刘炎华殷晓敏
- 关键词：智能交通数字滤波器MODELSIMMATLAB
- 车载自组织网中基于车辆密度的可靠性路由协议被引量：1
- 2016年
- 为了降低转发节点在转发范围内直接寻找一个最优或次优节点的复杂度、减少平均跳数和提高链路的可靠性,提出一种车载自组织网络中基于车辆密度的可靠性路由协议,转发节点首先根据道路车辆密度设置最优块的大小,并将转发范围分割成若干大小相等的块,然后选择其中一个距离转发节点最远的块,最后在被选中的块里根据可靠性原则选择连接时间最长的邻居节点作为中继节点进行转发。仿真结果表明,与EG-RAODV相比,所提路由协议的平均跳数较少,平均每跳前进距离较大,能够使数据分组快速到达目的节点。
- 蔡蓉章国安金丽
- 关键词：车载自组织网络路由协议
- 基于可信对等的分布式入侵检测通信框架设计被引量：4
- 2010年
- 为了提高分布式入侵检测的实时性和安全性,提出了一种可信对等的分布式入侵检测通信框架的模型。该模型借鉴了P2P和代理技术,不同网络节点中的入侵检测代理是对等的,它们之间通过共享检测信息进行整体协防。该模型还借鉴了安全通信技术,在网络中建立了一个认证服务器,不在同一网络节点的任何两个网络进程的通信必须通过该认证服务器,提高了入侵检测自身的安全性。设计实现了一个原型系统,原型系统的实验结果表明了该模型的正确性和可行性。
- 金丽朱浩
- 关键词：分布式入侵检测代理对等多播
- 基于NiosII的电子收费专用芯片验证与测试平台设计被引量：1
- 2013年
- 通过NiosII处理器及可编程片上系统(SOPC),设计了一套电子收费(ETC)专用芯片的验证与测试平台.该平台采用Altera CycloneII EP2C35F672C6N现场可编程门阵列(FPGA)芯片,根据ETC专用芯片的功能,对FPGA芯片内的NiosII处理器核配置相关外设,并编写NiosII应用软件,完成ETC专用芯片的FPGA验证和测试.实践表明,该平台可以提高系统的可复用性,缩短芯片开发周期,降低成本.
- 李跃辉金丽
- 关键词：NIOSII处理器现场可编程门阵列
