-
陈广明
-

-

- 所属机构:嘉应学院
- 所在地区:广东省 梅州市
- 研究方向:自动化与计算机技术
- 发文基金:广东省自然科学基金
相关作者
- 陈生庆

- 作品数:29被引量:47H指数:5
- 供职机构:嘉应学院
- 研究主题:实时系统 形式化方法 RT-Z Z 多视点
- 张立臣

- 作品数:364被引量:706H指数:12
- 供职机构:陕西师范大学
- 研究主题:实时系统 机会网络 信息物理融合系统 路由方法 任务分配方法
- 侯跃恩

- 作品数:65被引量:61H指数:5
- 供职机构:嘉应学院
- 研究主题:目标跟踪 粒子滤波 物联网 目标跟踪算法 相关滤波
- 周汉达

- 作品数:7被引量:15H指数:2
- 供职机构:嘉应学院计算机学院
- 研究主题:物联网 ZIGBEE WIFI 不确定性 无线传感网
- 邓嘉明

- 作品数:74被引量:81H指数:5
- 供职机构:嘉应学院
- 研究主题:物联网 相关滤波 评估系统 高校 地方高校
- 一种基于多场景的可移动式安防系统被引量:1
- 2019年
- 为了满足人们对室内安全越来越高的需求,以及解决市面现有安防产品的种种弊端,设计一种由ZigBee、WiFi网关、物联网云平台、微信平台组成的可移动式安防系统。该系统设计了全新的设备安装转移机制与多级互助的安全反馈机制,更具便捷性与安全性。
- 周汉达梁佳陈广明李梓新房嘉泽苏国涛梁庆创何明杰李乐欣
- 关键词:无线传感技术安防系统ZIGBEE
- 密码通信下的动态认知逻辑
- 2015年
- 动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.
- 陈广明
- 关键词:动态认知逻辑语义密码系统
- 一种带有防尘结构的物联网应用终端组件
- 本实用新型涉及物联网设备技术领域,公开了一种带有防尘结构的物联网应用终端组件,包括终端主体,所述终端主体的上表面嵌设有显示屏,所述终端主体的上表面设置有按钮,所述终端主体的上表面固定连接有限位板,所述限位板的数量为两个,...
- 陈生庆陈广明
- 基于实时语言的多视点形式化实时开发模式
- 2005年
- 实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性.本文提出了一种基于多视点方法,利用了PEARL语言的特征和RT-Z的语法、语义和结构特点的方法.该方法将RT-Z和PEARL独立于硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
- 陈广明陈生庆丘金元
- 关键词:实时系统PEARL形式化方法AOSD
- 面向项目需求的物联网工程人才培养模式研究被引量:1
- 2022年
- 在政府提出应用型本科和新基建的背景下,对物联网工程专业毕业生的应用能力提出了更高的要求.但是,作为一个新兴专业,物联网工程专业普遍存在人才培养目标不明确、师资队伍薄弱、课程设置主线模糊、实践环节没有针对性等问题.提出了一种将教学过程和项目需求结合的人才培养模式,使学生可以从项目需求出发,明确学习目标,还能通过项目更好地训练实践能力.在此基础上,提出了一种靶向目标人才培养法,以靶心为目标梳理各教学环节之间的关系.实践表明,该模式可以有效提高学生各方面的素质,提高就业竞争力.
- 侯跃恩邓嘉明罗志坚陈广明郑奕迅
- 关键词:物联网工程
- 多视点实时形式化方法的应用模式
- 2005年
- RT-Z结合了Z的状态描述能力和TimedCSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段,RT-Z不但是一种规格说明语言,也可以用于建模.多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点,简化了系统的设计.本文在形式化方法RT—Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式.
- 陈生庆陈广明
- 关键词:实时系统形式化方法RT-Z多视点
- 应用形式化与实时语言的面向方面方法被引量:2
- 2006年
- 面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。
- 陈广明张立臣陈生庆
- 关键词:实时系统形式化方法RT-Z
- PEARL语言在实时系统开发模式中的应用研究被引量:1
- 2006年
- 通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
- 陈生庆陈广明张立臣
- 关键词:实时系统形式化方法
- 基于SIFT自然特征点的户外增强现实系统设计
- 2019年
- 针对当前基于SIFT自然特征点的增强现实AR系统中易受背景特征点干扰,以特征点数量阈值为基础,结合最小外接矩形像素个数阈值与长宽比阈值,实验中将这两个值分别设置为1600和0.3,并对226张图片含钟楼与图书馆进行测试.实验结果表明,该算法以增加钟楼2.38%的未识别率为代价使得钟楼与图书馆的错误识别率由原来10.71%和35.23%降到0%和0.51%.并以该算法为基础,完成了基于C/S模式的移动端增强现实系统的设计与实现.实验表明该系统有良好的识别效果,具有广泛的应用价值.
- 陈广明黄林鑫
- 关键词:SIFT
- 集成的Z实时扩展RT-Z及其应用模式被引量:1
- 2005年
- 将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。
- 陈生庆张立臣陈广明
- 关键词:实时系统形式化方法