您的位置： 专家智库 > >

陈志辉

作品数：8 被引量：20H指数：2
供职机构：莆田学院信息工程学院更多>>
发文基金：国家重点基础研究发展计划福建省科技厅重大项目更多>>
相关领域：自动化与计算机技术文化科学电子电信更多>>

合作作者

文献类型

  • 8篇中文期刊文章

领域

  • 7篇自动化与计算...
  • 1篇电子电信
  • 1篇文化科学

主题

  • 2篇时间自动机
  • 2篇自动机
  • 2篇UPPAAL
  • 1篇大学计算机
  • 1篇大学计算机基...
  • 1篇信息物理融合...
  • 1篇形式化
  • 1篇形式化方法
  • 1篇元音
  • 1篇元音识别
  • 1篇容错
  • 1篇思维
  • 1篇体系架构
  • 1篇普适计算
  • 1篇嵌入式
  • 1篇嵌入式系统
  • 1篇最近邻
  • 1篇网络
  • 1篇网络安全
  • 1篇微处理器

机构

  • 8篇莆田学院

作者

  • 8篇陈志辉
  • 5篇吴敏敏
  • 1篇黄朝辉

传媒

  • 2篇宜春学院学报
  • 1篇贵州大学学报...
  • 1篇计算机与现代...
  • 1篇福建电脑
  • 1篇莆田学院学报
  • 1篇赤峰学院学报...
  • 1篇廊坊师范学院...

年份

  • 1篇2015
  • 1篇2013
  • 5篇2012
  • 1篇2006
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
嵌入式系统及其应用研究被引量：2
2006年
伴随着科技不断的日新月异推陈出新。信息家电,手持设备,无线设备等个性化设备的出现,相应的硬件和软件的迅速发展。许多设备都配有Intel,MIPS,摩托罗拉等公司生产的32位微处理器。许多开发商也开始为这些设备提供嵌入式操作系统。嵌入式系统将会有越来越重要作用。本文分析嵌入式操作系统的历史发展、技术特点和应用前景。
陈志辉
关键词：嵌入式系统
元音识别的几种分类模型的比较与分析
2012年
根据元音数据处理方法和选取的特征,提出了三种基于统计学的模式分类方法:线性判别、二次判别和k-最近邻,并通过模型选择方法,对实际数据进行测试与比较,得出k-最近邻分类模式最为合适,同时提出进一步改进的思路。
陈志辉吴敏敏
关键词：K-最近邻
层次多级联对象名称解析系统的体系架构
2012年
文中分析了目前物联网的ONS(对象名称解析服务)存在一些弊端,在此问题上,提出了架构一个分层管理、缓存、安全、稳定、信息维护、多编码兼容的对象名称解析系统的体系。详细分析了EPC(电子产品编码)格式组成,引入ONS_Cache缓存,定义一个通用的数据结构ONS_STRUCTURE,引入可信认证服务器TAS(Trusted Authentication Server)等架构一个分层多级联对象名称解析系统的体系,解决了ONS名称解析过程中数据存储量大、负载不均衡和通信不可靠性等问题。
陈志辉吴敏敏
关键词：物联网
基于计算思维的大学计算机基础教学改革探索被引量：8
2013年
计算机基础教育是大学基础教育的重要组成部分,应当承担起培养学生计算思维的重任。文章阐述了莆田学院大学生计算机基础教学课程存在的问题,基于培养学生计算思维的课程改革以及最终收到的成效。
黄朝辉陈志辉
关键词：计算思维计算机基础教学课程改革
基于ASP.NET网站防范SQL注入的网络安全技术分析被引量：1
2012年
Web技术在各个领域得到日益广泛的应用,给人们的生活带来了便利,也带来了前所未有的巨大安全风险.目前对Web业务系统,威胁最严重的两种攻击方式是SQL注入攻击(SQL Injection)和跨站脚本攻击(XSS).文中通过具体案例分析了基于ASP.NET网站的SQL注入攻击主要手段和实现过程,总结了一般的SQL注入攻击的防范措施.
陈志辉吴敏敏
关键词：ASP.NETSQL注入
时间约束条件下Web服务组合的形式化分析与验证被引量：2
2015年
随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必须满足给定的时间约束条件。文中提出了一种形式化方法,用于分析与验证Web服务组合的时间约束行为。首先,扩展了Web服务接口描述语言,增加对时间约束的描述,然后定义一种时间行为自动机,用于刻画Web服务组合的时间行为,最终利用模型验证技术来自动验证这些行为是否满足给定的时间属性。通过对股票分析应用场景以及使用UPPAAL模型验证工具,表明该方法的可行性和有效性。
陈志辉吴敏敏
关键词：形式化方法时间自动机UPPAAL
基于普适计算的容错机制研究
2012年
R-OSGi(Remote-OSGi)作为OSGi(Open Service Gateway Initiative)的一种分布式扩展,为OSGi服务平台应用到普适计算领域提供了可能性,但它的容错能力有限。文章结合R-OSGi以及分布式系统容错中间件等相关技术,提出了一个基于OSGi框架的容错层,使用的是服务方法,即它不修改底层OSGi以及R-OSGi的结构,只使用它们的服务,为普适应用的开发提供了一定的容错。
陈志辉吴敏敏
关键词：OSGI普适计算容错
基于时间自动机的信息物理融合系统建模与验证被引量：7
2012年
信息物理融合系统的建模和验证是当前研究的一个热点。本文通过分析信息物理融合系统的体系结构,利用时间自动机为建模工具,将该结构中的各个组件分别进行建模,以表现它们的分布性和实时性。这些时间自动机组成一个网络模型,用于刻划整个系统之间的并发通信和协作过程。最后,提出一组该系统要满足的性质(包括时间约束),运用模型检测工具UPPAAL自动验证本系统的正确性。
陈志辉
关键词：信息物理融合系统时间自动机UPPAAL
全选 清除 导出
共1页<1>
聚类工具0