朱宜炳
- 作品数：18 被引量：27H指数：3
- 供职机构：江西科技学院更多>>
- 发文基金：江西省自然科学基金江西省高等学校教学改革研究课题江西省社会科学规划项目更多>>
- 相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>
- 安全协议UML模型的SPIN分析被引量：1
- 2008年
- 统一建模语言(UML)是设计和建模安全协议的常用方法,但UML缺少精确的语义,不能对协议模型作进一步分析和验证;Promela是一种具有精确语义的形式化语言,通过Promela规范给协议的UML模型赋予精确语义可以结合两者的优势,提出一种将安全协议UML模型转换成Promela规范的方法,定义了转换规则实现模型间的转换,实例表明该方法的可行性。
- 肖美华刘俏威朱宜炳
- 关键词：安全协议统一建模语言
- 无线路由器儿童接近提醒装置
- 本实用新型公开了一种无线路由器儿童接近提醒装置，它涉及一种提醒装置。三端稳压芯片的3脚接三端调压芯片的3脚，三端调压芯片的2脚接电子罗盘芯片的2脚、4脚和13脚，电子罗盘芯片的1脚、16脚分别接单片机的1脚、2脚，单片机...
- 朱宜炳
- 文献传递
- 典型安全协议形式化分析工具比较被引量：4
- 2008年
- 介绍了当前安全协议分析领域的典型形式化工具,阐述了其基本原理和在协议描述、归约、验证方面的研究现状,对它们的优缺点进行了综合比较,提出了如何在已有条件下开发协议分析工具的观点。
- 朱宜炳罗敏
- 关键词：安全协议逻辑推理定理证明形式化方法
- 一种双向脉动数据流的全卷积神经网络加速器
- 2020年
- 全卷积神经网络近年来被应用于深度学习中的多个领域,其不仅能处理简单的图像分类任务,还能应用于例如物体检测、语义/图像分割以及基于生成式对抗网络的生成型任务.典型的全卷积神经网络中不仅包括了传统的卷积层,还有反卷积层,它们都是计算密集型的.现在大多数研究者大都关注卷积层的设计优化,而反卷积的加速优化很少.本文提出了一种双向脉动数据流的全卷积神经网络加速器,可以同时高效地处理普通卷积层以及反卷积层.实验中选取了多个具有代表性的全卷积神经网络模型,例如DCGAN,Cascaded-FCN等.相较于以往传统的未优化的加速方案,本文所设计的加速器平均可以达到2.8倍的加速比,并且能耗降低了46.3%.
- 涂凯杰朱宜炳许达文
- 一种用于计算机机箱的无声冷却装置
- 本实用新型涉及计算机技术领域，公开了一种用于计算机机箱的无声冷却装置，包括机箱，所述机箱的内部设置有主板，且机箱的后侧开设有出风口，所述主板的一侧相对应CPU的位置处安装有散热机构。本实用新型结构简单，使用方面，静音风机...
- 朱宜炳
- 文献传递
- 数字经济背景下小微企业融资服务模式创新研究
- 2023年
- 目前,数字经济已成为我国经济和社会转型的关键驱动因素。大数据等数字技术的发展为符合条件的小微企业提供了进入资本市场进行多层次融资的机会。本文分析了中小企业融资的现状和面临的挑战,提出了构建小微企业融资服务智能新模式的几点设想,认为数字经济的发展可以打破传统融资模式给中小微企业带来的约束,缓解小微企业长期面临的融资困难和融资成本高等问题,实现小微企业的长足发展。
- 高一楠朱宜炳
- 关键词：数字经济
- 一种用于信号隔离的多通道隔离装置
- 本实用新型公开了一种用于信号隔离的多通道隔离装置，包括数字控制增益放大电路和隔离电路；所述数字控制增益放大电路包括可变增益放大器（U1）、隔离电源（5V）和隔离地（GND）；所述可变增益放大器（U1）与隔离电源（5V）和...
- 朱宜炳
- 文献传递
- 电子商务协议原子性的SPIN分析
- 2007年
- 电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.
- 王兵肖美华刘晓清朱宜炳
- 关键词：电子商务协议SPIN原子性
- 一种计算机屏幕用墙面固定架
- 本实用新型涉及固定架技术领域，且公开了一种计算机屏幕用墙面固定架，解决了一般的固定架在使用的过程中，只能进行单一方向的调节，不能够满足人的实际需要的问题，其包括第一安装板，所述第一安装板的一端固定连接有U形块；本实用新型...
- 朱宜炳
- 文献传递
- 一种基于树莓派的视频监控网络设计方案被引量：6
- 2021年
- 随着越来越多的农村人口涌入城市,社区的安全居住需求也日益增长,安防监控网络有利于物业人员对社区实时状况的掌控,避免意外发生。基于此,本文提出一种以树莓派为核心的低成本视频监控网络设计方案,并从结构、功能等方面详细阐述了该方案的设计特点,完成了软硬件方案设计并进行了测试,实践证明该方案具备一定的可行性。
- 徐望朱宜炳张常泉
- 关键词：视频监控
