陈生庆
- 作品数：28 被引量：47H指数：5
- 供职机构：嘉应学院计算机学院更多>>
- 发文基金：广东省自然科学基金国家自然科学基金广东省高等学校自然科学研究重点项目更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 多视点实时形式化方法的应用模式
- 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的语义集成的分析提出了并发实时系统开发中的一种基本应用模式。
- 陈生庆张立臣陈广明
- 关键词：实时系统形式化方法
- 基于多维体的逻辑函数化简法的研究
- 2003年
- 针对变量较多的逻辑函数在分析手工化简方法和计算机辅助列表化简方法的基础上,给出了易于计算机实现的化简方法,即用多维体表示逻辑函数,然后运用多维体的有关运算,用张弛法求出函数的无冗余覆盖,并举例说明了化简的具体步骤.
- 张凤英陈生庆
- 关键词：逻辑设计逻辑函数化简多维体
- 计算机程序设计竞赛促进地方高校创新型人才培养实践探究
- 2022年
- 程序设计类竞赛是高校加强人才培养的重要手段。提出通过计算机程序设计竞赛助力地方高校创新型人才培养的有效模式。根据成果导向教育理论,在剖析大学生程序设计竞赛特点、地方院校学生水平和师资条件的基础上,构建适合地方高校的程序设计竞赛体系,进一步优化竞赛团队和人才培养模式,并形成贯穿全年的竞赛组织和培训机制。在此竞赛体系下,学生在ACM-ICPC和其他重要竞赛中不断取得突破,总体成绩位列同类院校前茅。计算机程序设计竞赛也促进了程序设计课程群教学改革,教学质量稳步提高,人才培养效果显著。实践证明,该模式是地方院校创新型人才培养的有效手段和重要途径。
- 陈广明侯跃恩陈生庆
- 关键词：创新型人才培养教学改革
- Z实时扩展及基于多视点的应用模式被引量：9
- 2005年
- RT -Z是由Z和经实时扩展的通信顺序进程timedCSP集成的用以描述实时系统的规格说明语言,它将Z对状态描述的优点和timedCSP对时序关系和并发描述的优点相结合,具有强大的描述能力;而基于时序转化系统的Z扩展适合描述系统状态的转化。给出了Z实时扩展的分类原则并从讨论了其应用特点,最后在分析RT- Z的语义集成的基础上提出了Z实时扩展的多视点应用模式。
- 陈广明陈生庆张立臣
- 关键词：实时系统形式化方法RT-Z
- 并发Z规格说明在系统需求分析与设计中的应用被引量：1
- 2005年
- 阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段.
- 陈广明张立臣陈生庆
- 关键词：仿真
- 一种基于机器学习的推理系统的设计与应用
- 2018年
- 通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过扩充领域推理规则,该平台能够自动检查复杂的应用领域推理过程的完善性和正确性,为特定领域的推理提供了重要的自动检查手段.
- 陈生庆黄晓健房嘉泽梁佳
- 关键词：人工智能
- PEARL语言在实时系统开发模式中的应用研究被引量：1
- 2006年
- 通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
- 陈生庆陈广明张立臣
- 关键词：实时系统形式化方法
- VHDL及其在数字系统中的设计策略
- 2008年
- VHDL在数字系统设计领域中已得到广泛的应用,介绍了VHDL语言的优点,简要论述了VHDL语言在数字系统设计中的一些设计策略,讨论了优化设计性能,提高效率的方法。
- 陈生庆
- 关键词：VHDL
