陈广明
- 作品数：28 被引量：47H指数：4
- 供职机构：嘉应学院更多>>
- 发文基金：广东省自然科学基金国家自然科学基金广东省高等学校自然科学研究重点项目更多>>
- 相关领域：自动化与计算机技术文化科学哲学宗教天文地球更多>>
- 多视点实时形式化方法的应用模式
- 2005年
- RT-Z结合了Z的状态描述能力和TimedCSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段,RT-Z不但是一种规格说明语言,也可以用于建模.多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点,简化了系统的设计.本文在形式化方法RT—Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式.
- 陈生庆陈广明
- 关键词：实时系统形式化方法RT-Z多视点
- 应用形式化与实时语言的面向方面方法被引量：2
- 2006年
- 面向方面的软件开发方法是在面向对象开发方法的基础上,在AOP的支持下将贯穿系统的横切关注点提取出来,通过联结方式织入系统功能代码中的软件开发方法,该方法降低了软件开发的复杂性,提高了系统的灵活性和可维护性。形式化和实时语言为面向方面方法贯穿于实时软件开发提供了必要的支持,以形式化方法AO-RT-Z和实时语言PEARL为基础,给出了一种面向方面的实时软件开发框架,实现了软件生命周期各个阶段对面向方面的无缝支持,降低了实时软件开发的复杂性,提升了系统的可信度。
- 陈广明张立臣陈生庆
- 关键词：实时系统形式化方法RT-Z
- 集成的Z实时扩展RT-Z及其应用模式被引量：1
- 2005年
- 将具有状态描述能力的Z语言和具有实序并发描述能力的其它形式化方法如TimedCCS,TimedCSP相结合大大拓展了其在实时并发系统的中的应用能力,不但可以用于需求描述,也可应用于系统设计。在统一语义的背景下使用多种集成方法,其根本目的是适合应用领域的不同特点,本文以RT-Z为基础提出的基本扩展框架对类似集成工作具有普遍意义,最后结合RT-Z的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。
- 陈生庆张立臣陈广明
- 关键词：实时系统形式化方法
- 西文状态下汉字图形用户界面的设计
- 1998年
- 本文讨论了在西文操作系统下汉字图形界面的实现方法。
- 陈广明
- 关键词：用户界面汉字显示西文操作系统
- 计算机程序设计竞赛促进地方高校创新型人才培养实践探究被引量：1
- 2022年
- 程序设计类竞赛是高校加强人才培养的重要手段。提出通过计算机程序设计竞赛助力地方高校创新型人才培养的有效模式。根据成果导向教育理论,在剖析大学生程序设计竞赛特点、地方院校学生水平和师资条件的基础上,构建适合地方高校的程序设计竞赛体系,进一步优化竞赛团队和人才培养模式,并形成贯穿全年的竞赛组织和培训机制。在此竞赛体系下,学生在ACM-ICPC和其他重要竞赛中不断取得突破,总体成绩位列同类院校前茅。计算机程序设计竞赛也促进了程序设计课程群教学改革,教学质量稳步提高,人才培养效果显著。实践证明,该模式是地方院校创新型人才培养的有效手段和重要途径。
- 陈广明侯跃恩陈生庆
- 关键词：创新型人才培养教学改革
- 密码通信下的动态认知逻辑
- 2015年
- 动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.
- 陈广明
- 关键词：动态认知逻辑语义密码系统
- 一种多主体信息交互的逻辑系统
- 2011年
- 通信信息系统CIS描述了多主体的信息表示和通信方法.这种系统是经典命题逻辑在多主体环境中的扩张.通过"泥孩问题"的推理展示了该形式系统的创建方法,多主体环境下的主体认知能力可以通过通信规则和公理加以描述,公共知识的刻画可以通过主体之间共享语言片段完成.由于针对不同的应用背景可以选择不同的公理和规则,该系统具有通用性.
- 陈广明陈生庆
- 关键词：通信信息系统多主体
- 一种基于多场景的可移动式安防系统被引量：1
- 2019年
- 为了满足人们对室内安全越来越高的需求,以及解决市面现有安防产品的种种弊端,设计一种由ZigBee、WiFi网关、物联网云平台、微信平台组成的可移动式安防系统。该系统设计了全新的设备安装转移机制与多级互助的安全反馈机制,更具便捷性与安全性。
- 周汉达梁佳陈广明李梓新房嘉泽苏国涛梁庆创何明杰李乐欣
- 关键词：无线传感技术安防系统ZIGBEE
- 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
