陈志辉

作品数：9被引量：19H指数：2
导出分析报告
供职机构：莆田学院更多>>
发文主题：UPPAAL时间自动机大学计算机基础教学改革探索计算思维更多>>
发文领域：自动化与计算机技术文化科学电子电信更多>>
发文期刊：《莆田学院学报》《廊坊师范学院学报（自然科学版）》《计算机与现代化》《赤峰学院学报（自然科学版）》更多>>
所获基金：国家重点基础研究发展计划福建省科技厅重大项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
新工科视域下课程目标达成度评价方法——以编程类课程为例
《宁德师范学院学报(自然科学版)》2025年第1期103-112,共10页林少宇 陈志辉 
福建省教育厅本科高校教育教学改革研究项目(FBJG20210171);莆田学院校级教育教学改革项目(JG202175)。
新工科是国家产业升级和创新的重要驱动力,高校是培养高素质新工科专业人才的主阵地。课程目标达成度评价作为衡量毕业要求达成度的关键环节,其评价体系的科学性与有效性直接关系人才培养质量的评估结果。在新工科视域下,结合工程教育...
关键词：新工科 课程目标 达成度 评价方法 
时间约束条件下Web服务组合的形式化分析与验证被引量：2
《贵州大学学报（自然科学版）》2015年第5期69-75,共7页陈志辉 吴敏敏 
福建省中青年教师教育科研项目(A类)(JA14279);莆田市科技项目(2014G16);莆田学院教育教学改革研究项目(JG2012006)资助
随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必须满足给定的时间约束条件。文中提出了一种形式化方法,用于...
关键词：服务组合 形式化方法 时间自动机 UPPAAL 模型检查 
基于计算思维的大学计算机基础教学改革探索被引量：8
《宜春学院学报》2013年第3期147-150,共4页黄朝辉 陈志辉 
"福建省一般本科院校办学水平提升计划建设项目"(闽教高〔2012〕160号文件第19号项目)
计算机基础教育是大学基础教育的重要组成部分,应当承担起培养学生计算思维的重任。文章阐述了莆田学院大学生计算机基础教学课程存在的问题,基于培养学生计算思维的课程改革以及最终收到的成效。
关键词：计算思维 计算机基础教学 课程改革 
基于ASP.NET网站防范SQL注入的网络安全技术分析被引量：1
《赤峰学院学报（自然科学版）》2012年第13期17-19,共3页陈志辉 吴敏敏 
莆田学院教改项目(JG200818)
Web技术在各个领域得到日益广泛的应用,给人们的生活带来了便利,也带来了前所未有的巨大安全风险.目前对Web业务系统,威胁最严重的两种攻击方式是SQL注入攻击(SQL Injection)和跨站脚本攻击(XSS).文中通过具体案例分析了基于ASP.NET网站...
关键词：ASP.NET SQL注入 防范措施 
基于普适计算的容错机制研究
《廊坊师范学院学报（自然科学版）》2012年第5期29-32,共4页陈志辉 吴敏敏 
福建省科技项目(2010H6019)资金资助
R-OSGi(Remote-OSGi)作为OSGi(Open Service Gateway Initiative)的一种分布式扩展,为OSGi服务平台应用到普适计算领域提供了可能性,但它的容错能力有限。文章结合R-OSGi以及分布式系统容错中间件等相关技术,提出了一个基于OSGi框架的...
关键词：OSGI 普适计算 容错 
元音识别的几种分类模型的比较与分析
《莆田学院学报》2012年第5期62-65,共4页陈志辉 吴敏敏 
福建省科技厅重大基金项目(2010H6019)
根据元音数据处理方法和选取的特征,提出了三种基于统计学的模式分类方法:线性判别、二次判别和k-最近邻,并通过模型选择方法,对实际数据进行测试与比较,得出k-最近邻分类模式最为合适,同时提出进一步改进的思路。
关键词：元音数据 分类方法 线性判别 二次判别 K-最近邻 
基于时间自动机的信息物理融合系统建模与验证被引量：7
《计算机与现代化》2012年第10期125-130,135,共7页陈志辉 
国家重点基础研究发展计划(973)项目子课题(2009CB320705);福建省科技项目(2010H6019)
信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构,利用时间自动机为建模工具,将该结构中的各个组件分别进行建模,以表现它们的分布性和实时性。这些时间自动机组成一个网络模型,用于刻划整...
关键词：信息物理融合系统 时间自动机 模型检测 UPPAAL 
层次多级联对象名称解析系统的体系架构
《宜春学院学报》2012年第8期54-57,共4页陈志辉 吴敏敏 
福建省科技项目(2010H6019)资金资助
文中分析了目前物联网的ONS(对象名称解析服务)存在一些弊端,在此问题上,提出了架构一个分层管理、缓存、安全、稳定、信息维护、多编码兼容的对象名称解析系统的体系。详细分析了EPC(电子产品编码)格式组成,引入ONS_Cache缓存,定义一...
关键词：物联网 层次多级联 对象名称解析服务 
嵌入式系统及其应用研究被引量：1
《福建电脑》2006年第8期155-155,93,共2页陈志辉 
伴随着科技不断的日新月异推陈出新。信息家电,手持设备,无线设备等个性化设备的出现,相应的硬件和软件的迅速发展。许多设备都配有Intel,MIPS,摩托罗拉等公司生产的32位微处理器。许多开发商也开始为这些设备提供嵌入式操作系统。嵌入...
关键词：个性化设备 32位微处理器 嵌入式系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部