陈义
- 作品数：8 被引量：7H指数：1
- 供职机构：福建工程学院更多>>
- 发文基金：福建省科技厅基金项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 面向工程类Python语言程序设计教学模式研究被引量：5
- 2022年
- 中国人工智能行业处于一个创新发展时期,对综合性人才的需求也在同步急剧增长。Python语言作为我国高校学生程序设计入门语言,对Python的学习已经上升到国家战略的层面,文章综合考虑学生认知背景、专业需求及学校培养综合性人才等因素,提出了基于超星平台知识游戏驱动、考核多样化的适合工程类学生的Python语言程序设计的教学模式,使学生自主探索Python和专业相关性以及在专业领域中的丰富应用,更有目的地让学生学习Python编程语言,提高学生的自主性和积极性。
- 刘文瑜葛丽芳陈义
- 通信协议的Promela语言建模与检测被引量：1
- 2016年
- 通信协议的设计与分析是十分困难的工作。使用传统的方法已经难以保证协议设计的效率与质量,针对这一问题,提出了采用SPIN模型检测技术对通信协议进行分析的方法。以停等式ARQ协议为实例,抽象出它的模型并以Promela语言进行实现。同时,对协议的安全属性进行了分析,并转化为线性时序逻辑公式进行自动验证。最后,分析了停等式ARQ协议的缺陷,并在SPIN模型检测器中进行了验证。
- 陈义唐郑熠
- 关键词：通信协议ARQ协议SPINPROMELA
- 一种嵌入式门禁系统及其运行方法
- 本发明公开了一种嵌入式门禁系统及其运行方法，系统包括电磁门锁和与电磁门锁连接的继电器；还包括：摄像头，用于获取人脸图像和监控区域的实时景象并生成人脸识别数据和监控场景数据；信息录入模块，用于录入预存信息和输入解锁密钥；红...
- 丁守廉李天建陈义
- 文献传递
- 语义Web服务组合的自动验证方法及其系统
- 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL‑S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容...
- 唐郑熠王颖胡文瑜陈义王金水
- 文献传递
- 语义Web服务组合的自动验证方法及其系统
- 本发明提供一种语义Web服务组合的自动验证方法及其系统，将OWL-S描述的Web服务转化为一台原子过程自动机，将原子过程自动机组合为组合过程自动机；消除组合过程自动机的冗余并发和同步迁移，获得优化模型；依据用户限定的相容...
- 唐郑熠王颖胡文瑜陈义王金水
- 一种嵌入式门禁系统
- 本实用新型公开了一种嵌入式门禁系统，系统包括电磁门锁和与电磁门锁连接的继电器；还包括：摄像头，用于获取人脸图像和监控区域的实时景象并生成人脸识别数据和监控场景数据；信息录入模块，用于录入预存信息和输入解锁密钥；红外探测器...
- 丁守廉李天建陈义
- 福建省教育厅科研项目管理系统的设计与实现被引量：1
- 2016年
- 文章以福建省教育厅科研管理系统的开发为背景,探讨了科研管理系统的总体目标、功能结构、技术方案、系统架构和实现。通过实现申报用户、申报单位管理人员和教育厅管理人员等不同角色的功能需求,能够有效地提高项目申报和管理效率,对其他科研管理系统的开发具有一定的借鉴意义及推广应用价值。
- 陈义王金水唐郑熠
- 关键词：即时通信
- 实时互斥协议的形式化建模与自动验证
- 2016年
- 实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。
- 唐郑熠陈义薛醒思杨荣华王金水
- 关键词：互斥时间自动机
