陈丽娜
- 作品数：55 被引量：129H指数：7
- 供职机构：浙江师范大学更多>>
- 发文基金：国家自然科学基金新世纪高等教育教学改革工程浙江省自然科学基金更多>>
- 相关领域：文化科学自动化与计算机技术电子电信经济管理更多>>
- 信息化班级管理设计与实践
- 本文以信息化教育改革为研究背景,以小学四年级班级管理为研究对象,针对学校“十能”教育改革的教育理念,结合班级实际,提出了具体的达标准则、考核细则和执行方法.开发了一套“十能”考核管理系统,借助该系统,极大地提高了班级考核...
- 田丽娟陈丽娜
- 关键词：小学教育班级管理教学改革
- 一种新的Statechart模型验证方法被引量：2
- 2011年
- 在传统的基于时序逻辑的模型检查框架下验证Statechart模型面临三大挑战:全状态空间搜索、多次重复搜索和复杂时序逻辑公式难写。基于上述问题和实践工作,提出一种新的Statechart模型验证方法。该方法的中心是一种强化了的属性描述语言———属性状态图,并利用属性状态图中存在的先后关系和并发关系,把各个属性状态图有机地结合成一个树结构———属性树。属性树涵盖了目标系统要求验证的属性空间,因此可自上而下的验证整棵属性树。在验证过程中系统Statechart模型对应状态空间是逐步展开的,每验证部分属性就展开相应的部分状态空间并对其进行验证,验证过程是基于属性树转换并以step为单位,验证step的初始status和结束status是否满足对应属性树节点公式对其的属性约束,这样既能够迅速找出错误又能屏蔽step内部系统Statechart模型的状态变化,使得验证过程更简单快捷。为了说明属性状态图和基于其的验证算法是实用和易用的,通过一个例子说明了从模型设计到具体验证整个过程。
- 陈丽娜赵建民
- 关键词：状态图时序逻辑形式化语义
- 基于USB接口和单片机实现的数据采集系统
- 业生产和科学技术研究的各行业中,常常需要对各种数据进行采集。传统的采集卡不仅安装麻烦,易受机箱内环境的影响,而且由于受计算机插槽数量和地址,中断资源的限制,不能挂接很多设备。本文利用89C51单片机设计了基于USB总线的...
- 陈丽娜
- 关键词：数据采集数据处理串行总线单片机
- 基于接收信号强度信号ZCA白化的接入点k-means聚类方法
- 本发明公开了一种基于接收信号强度信号ZCA白化的接入点k-means聚类方法，将RM中的每个位置指纹用相应参考点上的接收信号强度向量均值表示，并将均值归一化；然后通过白化接收信号强度均值，去掉相关性；k-means聚类在...
- 陈丽娜苗春雨赵建民
- 基于Faster R-CNN的肺结节检测改进方法被引量：1
- 2020年
- 为了解决传统的肺结节检测模型检测敏感度低\,假阳性高的问题,提出了一种基于三维卷积神经网络的肺结节检测模型.首先,为了提高运行速度和网络灵活性,采用了单阶段模式,没有假阳性减少阶段;其次,基于上述模型对Faster R-CNN网络进行了改进,创新地将类3D UNet++体系结构作为其区域建议网络的主干,并采用残差块的灵活嵌套模式.3D UNet++网络和残差块都具有多特征融合特性,增强了该模型对特征提取的能力.实验表明:本文改进的方法在基于LUNA16数据集上的假阳性筛查中,其平均敏感度可达到87%,较UNet++网络增长了7.5%;召回率(敏感度)高达95.5%,较VGG16网络增长了7.36%.由此可见,该改进模型能够明显提高检测敏感度和降低假阳性,可为临床应用提供理论参考.
- 谭雨蒙刘毛傅旭鹏贺连超朱剑波陈丽娜
- 关键词：肺部CT图像卷积神经网络多特征融合
- 基于接收信号强度信号ZCA白化的接入点k‑means聚类方法
- 本发明公开了一种基于接收信号强度信号ZCA白化的接入点k‑means聚类方法，将RM中的每个位置指纹用相应参考点上的接收信号强度向量均值表示，并将均值归一化；然后通过白化接收信号强度均值，去掉相关性；k‑means聚类在...
- 陈丽娜苗春雨赵建民
- 文献传递
- 高校信息类专业基础课程的“教学衔接”问题被引量：4
- 2013年
- 针对目前高校信息类课程教学中存在的教学内容断层、学生不能较好地将多门课程内容融会贯通的实际情况,分析产生上述教学现状的原因。以通信原理课程为例,结合浙江师范大学教学实际,提出围绕重点设计教学内容,灵活运用动态仿真演示等教学方式,采用突出教学评价的教学方法,培养学生的课程衔接能力,提高教学效果。
- 陈丽娜洪淑月端木春江
- 关键词：信息类课程教学衔接通信原理
- 压力感应自动开关鼠标
- 一种根据磁性液体微压传感效应的自动开关鼠标，主要包括压力表，密封圈，气缸，活塞，法兰，气管，密封塞，激励电源，U形管，磁性液体，激励线圈，感应线圈，电压表。本装置采用螺线管式差动变压器的工作原理以及巧妙运用大气压强的作用...
- 胡林强孙明礼付皇峰吕晓锋樊凯凯黄妍张广陈丽娜
- 文献传递
- 新一代IP网络的QoS管理技术探讨
- 实现下一代IP网络的QoS保证是影响未来网络发展的重要问题.本文综合了运营商的运营活动对用户的业务进行管理,提出里一种基于NGOSS的IP网络QoS管理模型,它通过端到端的SLA管理来达到对用户业务的QoS管理.
- 陈丽娜
- 关键词：QOS管理IP网络管理模型
- 去蜂窝大规模MIMO下行链路频谱效率和能量效率均衡优化方法
- 本发明公开了一种去蜂窝大规模MIMO下行链路频谱效率和能量效率均衡优化方法，该方法包括：在去蜂窝大规模MIMO系统下，建立上行链路导频训练模型并利用MMSE准则得出信道的MMSE估计；表示用户接收到的为其提供服务的接入点...
- 张尧唐长兵陈丽娜杨龙祥
