您的位置： 专家智库 > >

王玉斌

作品数：34 被引量：9H指数：2
供职机构：桂林电子科技大学更多>>
发文基金：广西壮族自治区自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信建筑科学动力工程及工程热物理更多>>

合作作者

文献类型

  • 20篇专利
  • 6篇期刊文章
  • 6篇会议论文
  • 2篇学位论文

领域

  • 18篇自动化与计算...
  • 6篇电子电信
  • 2篇动力工程及工...
  • 2篇建筑科学
  • 1篇电气工程
  • 1篇文化科学

主题

  • 11篇散热
  • 6篇形式化
  • 6篇散热器
  • 6篇NS2
  • 5篇液冷
  • 5篇有限状态机
  • 5篇散热系统
  • 5篇状态机
  • 5篇网络
  • 5篇流道
  • 3篇电子商务
  • 3篇电子商务协议
  • 3篇队列
  • 3篇队列管理
  • 3篇形式化分析
  • 3篇形式化验证
  • 3篇有限元
  • 3篇有限元仿真
  • 3篇原子性
  • 3篇商务

机构

  • 34篇桂林电子科技...
  • 1篇钦州学院

作者

  • 34篇王玉斌
  • 18篇李春泉
  • 11篇黄红艳
  • 10篇马争先
  • 10篇阎德劲
  • 7篇尚玉玲
  • 6篇李彩林
  • 5篇董荣胜
  • 4篇吴军
  • 4篇余兴超
  • 3篇孙栋栋
  • 3篇张净
  • 3篇钟艳如
  • 3篇邵梅
  • 1篇姜辉
  • 1篇刘建明
  • 1篇蒋华
  • 1篇郑大安
  • 1篇韦小铃
  • 1篇刘超

传媒

  • 4篇广西科学院学...
  • 1篇遥感信息
  • 1篇计算机科学

年份

  • 6篇2023
  • 13篇2022
  • 2篇2021
  • 3篇2011
  • 10篇2010
共 34 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种基于CCGA器件植柱的固定装置
本实用新型公开了一种基于CCGA器件植柱的固定装置，包括定位板，所述定位板下表面中间隔预定距离垂直设于若干导向柱，若干导向柱与PCB上的微簧一一对应，所述导向柱呈与微簧适配的圆柱形，定位板通过导向柱插入微簧与其连接，所述...
李春泉汤鸿宇林奈黄红艳黄兆岭王玉斌
基于UPPAAL的简单网络支付协议形式化验证
本文分析了简单支付协议中不同银行间的交易行为和各主体的超时约束，建立消费者、商家、银行和超时计时器的时间自动机模型，并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上，增加了超时计时器进程来负责接收来自...
余兴超马争先王玉斌董荣胜
关键词：时间自动机电子商务协议UPPAAL原子性
Adhoc网络AODV协议的形式化分析与仿真
本文基于形式化建模的思想，分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型，描述AODV协议的路由行为及算法思想，分析影响AODV协议性能的可能性因素后，利用NS2对AODV协议进行仿真，以指导对协议算法的改...
邵梅王玉斌马争先钟艳如
关键词：AODV协议形式化分析有限状态机模型NS2
一种膏状或片状固体平面热源法测导热系数的测试夹具
本发明涉及一种膏状或片状固体平面热源法测导热系数的测试夹具，该夹具包括以下部分，由上下夹板、中间夹板和栅形夹板组成；所述栅形夹板置于中间夹板中间，所述上下夹板分别包覆在栅形夹板上下两侧，并与中间夹板通过螺栓固定，所述栅形...
李春泉胡逸龙阎德劲王玉斌黄红艳尚玉玲郑渊皓
一种多级嵌入式散热结构
传统的共形天线含有“芯片‑电路组件‑模块‑整机‑平台”五级物理构架，将电路组件、模块、整机与平台结构功能一体化，可实现共形天线“芯片‑功能结构平台”的两级架构。共形天线“芯片‑功能结构平台”二级架构将会带来的热流密度大幅...
李彩林王玉斌林奈李春泉阎德劲黄红艳吴军李雪斌成鹏琳
基于沸腾程度的液冷流道沸腾散热系统性能评估方法
本发明公开了一种基于沸腾程度的液冷流道沸腾散热系统性能评估方法，用于指导液冷流道沸腾散热系统的设计。先拟定液冷流道沸腾散热系统设计方案，利用fluent软件建立有限元仿真模型，获取液冷流道内传热介质气态、液态体积分数数据...
李春泉张皓阎德劲王玉斌林奈尚玉玲李雪斌汤鸿宇文磊
一种应用于多热源的散热系统
本发明公开了一种应用于多热源的冷却系统，涉及到液冷散热领域。其包括液冷板、冷却框架、快速接口、快速接口内衬、密封环等。一个冷却框架内可安装多个液冷板，以便对多个热源进行散热。流体经冷却框架冷却液入口流入液冷板中，经液冷板...
李彩林王玉斌林宏锋
基于UPPAAL的简单网络支付协议形式化验证
简单网络支付协议是为不信任的双方实现安全支付交易而设计的电子商务协议。本文分析了协议中不同银行间的交易行为和各主体的超时约束,建立了消费者、商家、银行和超时计时器的时间自动机模型,借助模型检测工具UPPAAL验证了该协议...
余兴超马争先王玉斌董荣胜
关键词：电子商务协议时间自动机UPPAAL原子性
文献传递
用于CCGA板件微簧垂直互联的结构
本实用新型公开了用于CCGA板件微簧垂直互联的结构，包括定位板、支撑板一和支撑板二，支撑板一与支撑板二中央开设PCB槽，支撑板一相对的两侧对称开设定位槽，支撑板二两侧匹配定位槽设有定位块一；定位板底面中央间隔预定距离垂直...
黄兆岭汤鸿宇林奈王玉斌李春泉黄红艳
基于沸腾曲线的液冷流道沸腾散热系统均匀性能评估方法
本发明提出了基于沸腾曲线的液冷流道沸腾散热系统均匀性能评估方法，对于沸腾散热系统的设计，除了要尽可能提高传热能力之外，更要注重对散热系统均匀性能的提升。传统的评估方法是通过计算热源温度均匀度R<Sub>s</Sub>来实...
李彩林林宏锋王玉斌
全选 清除 导出
共4页<1234>
聚类工具0