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