陈生庆
- 作品数：29 被引量：48H指数：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年
- 针对变量较多的逻辑函数在分析手工化简方法和计算机辅助列表化简方法的基础上,给出了易于计算机实现的化简方法,即用多维体表示逻辑函数,然后运用多维体的有关运算,用张弛法求出函数的无冗余覆盖,并举例说明了化简的具体步骤.
- 张凤英陈生庆
- 关键词：逻辑设计逻辑函数化简多维体
- 计算机程序设计竞赛促进地方高校创新型人才培养实践探究被引量：1
- 2022年
- 程序设计类竞赛是高校加强人才培养的重要手段。提出通过计算机程序设计竞赛助力地方高校创新型人才培养的有效模式。根据成果导向教育理论,在剖析大学生程序设计竞赛特点、地方院校学生水平和师资条件的基础上,构建适合地方高校的程序设计竞赛体系,进一步优化竞赛团队和人才培养模式,并形成贯穿全年的竞赛组织和培训机制。在此竞赛体系下,学生在ACM-ICPC和其他重要竞赛中不断取得突破,总体成绩位列同类院校前茅。计算机程序设计竞赛也促进了程序设计课程群教学改革,教学质量稳步提高,人才培养效果显著。实践证明,该模式是地方院校创新型人才培养的有效手段和重要途径。
- 陈广明侯跃恩陈生庆
- 关键词：创新型人才培养教学改革
- 一种带有防尘结构的物联网应用终端组件
- 本实用新型涉及物联网设备技术领域，公开了一种带有防尘结构的物联网应用终端组件，包括终端主体，所述终端主体的上表面嵌设有显示屏，所述终端主体的上表面设置有按钮，所述终端主体的上表面固定连接有限位板，所述限位板的数量为两个，...
- 陈生庆陈广明
- 一种基于机器学习的推理系统的设计与应用
- 2018年
- 通用推理和验证系统利用正则匹配算法并引入机器学习算法,实现了智能化形式推理和验证平台,为构建智能系统提供了基本推理模型.将该系统应用于特定领域是重要的应用目标.通过扩充领域推理规则,该平台能够自动检查复杂的应用领域推理过程的完善性和正确性,为特定领域的推理提供了重要的自动检查手段.
- 陈生庆黄晓健房嘉泽梁佳
- 关键词：人工智能
- PEARL语言在实时系统开发模式中的应用研究被引量：1
- 2006年
- 通过对PEARL语言特性的研究和对集成的形式化方法RT-Z语法、语义及结构的分析,提出了一种将二者相结合的实时系统开发模式.该模式充分发挥了实时语言和形式化方法的优点,使系统开发的整个过程无须依赖具体的硬件和应用环境,同时对实时约束灵活的分解降低了系统开发的难度.
- 陈生庆陈广明张立臣
- 关键词：实时系统形式化方法
- VHDL及其在数字系统中的设计策略
- 2008年
- VHDL在数字系统设计领域中已得到广泛的应用,介绍了VHDL语言的优点,简要论述了VHDL语言在数字系统设计中的一些设计策略,讨论了优化设计性能,提高效率的方法。
- 陈生庆
- 关键词：VHDL
- 面向方面分布式系统形式化规格说明语言被引量：2
- 2007年
- 分布式系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要面向方面软件工程方法的支持,而形式化方法能保证分布式系统的正确性。本文对分布式规格说明语言Ocsid进行了面向方面的扩展,讨论了面向方面的Ocsid的框架结构、语法要求、方面的联结和功能接口。定义了面向方面的Ocsid规格说明语言中叠加和组合的形式化描述,该形式化描述覆盖了各个精化阶段,使精化体系的各个独立视点被协调地组合,并能形式化地验证规格说明的时态属性和系统行为。本文的工作针对的是分布式系统的形式化规格说明,提出了面向方面Ocsid的形式基础和方面扩展,其基本思想同样适用于更一般的情况。
- 陈广明张立臣陈生庆
- 关键词：分布式系统形式化方法
