陈义

作品数：4被引量：7H指数：1
导出分析报告
供职机构：福建工程学院更多>>
发文主题：继电器控制景象门禁系统逻辑公式自动机更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《科技视界》《福建电脑》《无线互联科技》更多>>
所获基金：福建省科技厅基金项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向工程类Python语言程序设计教学模式研究被引量：5
《科技视界》2022年第3期106-108,共3页刘文瑜 葛丽芳 陈义 
中国人工智能行业处于一个创新发展时期,对综合性人才的需求也在同步急剧增长。Python语言作为我国高校学生程序设计入门语言,对Python的学习已经上升到国家战略的层面,文章综合考虑学生认知背景、专业需求及学校培养综合性人才等因素,...
关键词：Python程序设计 知识游戏驱动 考核多样化 
通信协议的Promela语言建模与检测被引量：1
《福建电脑》2016年第3期39-40,50,共3页陈义 唐郑熠 
福建省中青年教师教育科研项目(JA15336;JB14069);福建工程学院科研发展基金资助项目(GY-Z15087)
通信协议的设计与分析是十分困难的工作。使用传统的方法已经难以保证协议设计的效率与质量,针对这一问题,提出了采用SPIN模型检测技术对通信协议进行分析的方法。以停等式ARQ协议为实例,抽象出它的模型并以Promela语言进行实现。同时,...
关键词：通信协议 ARQ协议 模型检测 SPIN PROMELA 
福建省教育厅科研项目管理系统的设计与实现被引量：1
《无线互联科技》2016年第5期123-125,共3页陈义 王金水 唐郑熠 
福建省中青年教师教育科研项目;项目编号:JA15336;JA15348;JB14069;福建工程学院科研发展基金资助项目;项目编号:GYZ15087
文章以福建省教育厅科研管理系统的开发为背景,探讨了科研管理系统的总体目标、功能结构、技术方案、系统架构和实现。通过实现申报用户、申报单位管理人员和教育厅管理人员等不同角色的功能需求,能够有效地提高项目申报和管理效率,对...
关键词：科研管理系统 项目申报 轻客户端 即时通信 
实时互斥协议的形式化建模与自动验证
《福建工程学院学报》2016年第1期76-79,85,共5页唐郑熠 陈义 薛醒思 杨荣华 王金水 
福建省科技厅基金资助项目(JK2012033);福建省中青年教师教育科研项目(JA15336;JB14069;JB12146);福建工程学院科研启动基金项目(GY-Z13112;GY-Z13113;GY-Z15007)
实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。...
关键词：实时 互斥 模型检测 时间自动机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部