陈大伟
- 作品数：15 被引量：23H指数：2
- 供职机构：桂林电子科技大学更多>>
- 发文基金：广西壮族自治区自然科学基金广西省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信机械工程理学更多>>
- 一种基于点阵式压电薄膜传感器的气体检测装置
- 本实用新型提供一种基于点阵式压电薄膜传感器的气体检测装置，包括点阵式压电薄膜传感器、信号发生器和信号采集分析处理模块，所述信号发生器和信号采集分析处理模块均与点阵式压电薄膜传感器连接，所述点阵式压电薄膜传感器具有至少一个...
- 高波陈大伟唐焱张应红唐亮高成王岩黄伟胡清钟孙宁
- 基于双锥形自由曲面的可调控光纤光镊
- 本发明提供的是一种基于双锥形自由曲面的可调控光纤光镊，其特征是：激光器1通过3dB光纤耦合器2的分束后再通过光衰减器3分别控制输入光纤4的入射光实现对介质微粒14运动状态和捕获位置的调控；它由毛细管光纤8及其两端焊接的输...
- 邓洪昌王涛付莉珺陈大伟苑立波张文涛
- 一种基于点阵式压电薄膜传感器的气体检测装置
- 本发明提供一种基于点阵式压电薄膜传感器的气体检测装置，包括点阵式压电薄膜传感器、信号发生器和信号采集分析处理模块，点阵式压电薄膜传感器具有至少一个气体通道，每个气体通道具有多个压电薄膜，多个压电薄膜整合排布在基底上以构成...
- 高波陈大伟唐焱张应红唐亮高成王岩黄伟胡清钟孙宁
- IKEv2协议的SPIN模型检测被引量：15
- 2006年
- 基于模型检测技术,使用SPIN对IKEv2协议进行了建模和分析。应用Promela语言描述了协议模型,并用LTL规约了该协议需要满足的认证性和秘密性,最后对检测结果进行了分析。
- 陈大伟董荣胜郭云川古天龙
- 关键词：IKE协议SPINPROMELA
- 多芯光纤对角芯反射耦合器被引量：1
- 2023年
- 提出一种多芯光纤对角芯反射耦合器,可实现多芯光纤对称纤芯的光路低损耗串联。首先,采用纤端精密研磨的方法制备出45°圆台,得到平均插入损耗为2.14 dB的器件;其次,通过研磨制备出多角度圆台,并采用电弧平滑优化的方法实现了圆台的弧形优化,使得平均插入损耗降低至1.39 dB。对2种圆台型器件的制备容差进行了对比分析,结果表明,优化后的弧形圆台相较于优化前具有更好的制备容差和性能。
- 杨世泰陈大伟段劭琛陈意坚邓洪昌滕传新苑立波
- 关键词：光纤光学多芯光纤插入损耗
- 基于模型检测技术的密码协议验证与分析
- 随着计算机网络通信的迅猛发展,密码协议的重要性越来越得到重视。而在众多的验证方法中,模型检测方法在对密码协议的验证中体现出了它的优势。 本课题研究的目的是采用模型检测技术对密码协议进行分析。文章介绍了密码协议研究的背景...
- 陈大伟
- 关键词：密码协议有限状态自动机仿真验证
- 文献传递
- 概率非否认协议的模型检测分析
- 2007年
- 基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。
- 董荣胜陈大伟郭云川古天龙
- 关键词：概率模型检测PRISM有限状态机
- 公平非否认协议的有限状态分析被引量：7
- 2005年
- 本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性,为此对该协议进行了改进。
- 董荣胜陈大伟郭云川古天龙
- 关键词：SPIN非否认性机密性有限状态自动机非否认协议
- 压电薄膜气体传感器设计的关键技术研究
- 随着气体传感器智能化程度的提高，使其应用范围更加广泛。各大公共场所如居民房、办公大楼、大型会议室等都将使用气体传感器作为监测二氧化氮、二氧化硫等对身体有害的难闻气体的工具，并根据空气中气体浓度的信号反馈，实时控制电风扇和...
- 陈大伟
- 关键词：压电薄膜传感器电学性能有限元仿真优化设计
- 文献传递
- 基于空气缺陷微腔的单光纤光镊
- 本发明提供的是基于空气缺陷微腔的单光纤光镊。其特征是：该器件通过空气缺陷微腔2将单芯光纤3的传导模场5调制形成多级发散光束6，再经在锥形纤端4和外部溶液分界面处发生的全内反射后形成强汇聚光束7，最终在光轴上形成多个能够捕...
- 邓洪昌陈大伟王瑞李福旺苑立波
