章玥
- 作品数：32 被引量：73H指数：4
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金上海市科学技术委员会资助项目国防基础科研计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信医药卫生更多>>
- 基于Event-B方法的多应用智能卡的建模与开发被引量：2
- 2014年
- Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实际工业领域的方法,包括重写需求、建立抽象模型及逐层精化三个步骤。首先从环境、功能、性质三个主要方面重写需求,明确精化策略;然后利用形式化方法建立抽象模型并验证该模型;最后,在正确的抽象模型上按照精化策略添加需求、逐层精化,并对每层模型进行验证,基于满足需求的最后一层模型,可进一步利用工具完成代码自动生成。该方法学采用精化理论,以逐层递增的方式明确被开发系统的需求及性质,并进行形式化建模与验证,确保了模型的正确性。为了说明该方法学的可行性,以真正工业界的多应用智能卡为实例,基于Event-B方法及其工具平台Rodin给出了该方法在实际建模及验证过程中的应用。
- 章玥郭建朱晓冉王文君朱晶洋汤家华陈峻念
- 关键词：智能卡EVENT-B精化定理证明
- 一种面向可编程数据平面的用户活动分类方法及应用
- 本发明公开了一种面向可编程数据平面的用户活动分类方法，包括以下三个平面：学习平面、控制平面、数据平面。本发明该方法能够实现在数据平面完成对用户活动分类，通过P4语言来实现合适的机器学习模型并部署到可编程交换机中，交换机对...
- 章玥 朱信宇 蒲戈光
- 智慧交通信号灯组网协同优化控制系统及控制方法
- 本发明公开了一种智慧交通信号灯组网协同优化控制系统，包括数据采集与设备控制模块、信息提取模块、决策模块、指挥中心模块。本发明是一套完整的智慧交通信号灯控制技术解决方案，实现成本较低，具备完整性、可扩展性与可移植性的特征。...
- 章玥韩园峰蒲戈光
- 文献传递
- 一种保护隐私的疫情防控预警与追溯系统及方法
- 本发明公开了一种保护隐私的疫情防控预警与追溯系统，包括数据采集与保存模块、信息整合模块、匿名信息公告模块、风险判别与处理模块。本发明使用WIFI Probe技术记录周围人员的设备MAC地址信息判断两个用户之间是否产生过接...
- 章玥韩园峰蒲戈光
- 文献传递
- 《嵌入式系统概论》课程教学改革与实践被引量：8
- 2011年
- 嵌入式系统概论是嵌入式系统专业重要的专业基础课,是一门理论与实践相结合的应用性课程,既覆盖嵌入式系统的基础理论,又覆盖嵌入式系统的设计实践方法,对培养和训练学生充分认识、理解并设计实现嵌入式系统起着重要的作用。本文结合教学实践,从教学内容、实践内容、教学方法、教学效果评价体制等方面提出对嵌入式系统概论课程教学改革的探讨。通过这些方面的改革,增强了学生学习嵌入式系统概论的主动性和积极性,提高了教师教学水平。
- 郭建章玥
- 关键词：教学改革教学方法教学效果
- 面向P4编程语言的SDN数据平面软件一致性测试系统及方法
- 本发明提出了一种面向P4编程语言的SDN数据平面软件一致性测试系统，包括：配置模块，测试用例生成模块，通信模块和测试结果处理模块。本发明设计了面向P4编程语言的SDN数据平面软件一致性测试系统，特点在于设计了面向P4编程...
- 章玥张雯雯蒲戈光
- 文献传递
- 一种基于区块链技术的安全的网络带内测量方法
- 本发明涉及带内测量以及区块链技术领域，实现了一种基于区块链技术的安全的网络带内测量方法，其步骤包括:构建权限区块链，控制器注册到区块链节点，并自定义权限访问策略等；矿工节点依据共识协议将权限策略保存到区块链中,当不同控制...
- 章玥曾月蒲戈光
- 文献传递
- 一种面向可编程数据平面的用户活动分类方法及应用
- 本发明公开了一种面向可编程数据平面的用户活动分类方法，包括以下三个平面：学习平面、控制平面、数据平面。本发明该方法能够实现在数据平面完成对用户活动分类，通过P4语言来实现合适的机器学习模型并部署到可编程交换机中，交换机对...
- 章玥 朱信宇 蒲戈光
- 智慧交通信号灯组网协同优化控制系统及控制方法
- 本发明公开了一种智慧交通信号灯组网协同优化控制系统，包括数据采集与设备控制模块、信息提取模块、决策模块、指挥中心模块。本发明是一套完整的智慧交通信号灯控制技术解决方案，实现成本较低，具备完整性、可扩展性与可移植性的特征。...
- 章玥韩园峰蒲戈光
- 基于ARIMA的自适应低代价SDN业务流吞吐量测量方法及系统
- 本发明公开了一种基于ARIMA的自适应低代价SDN业务流吞吐量测量方法，包括：控制器根据业务流的吞吐量测量需求对SDN网络中指定的交换机进行周期性主动轮询，获取业务流的统计信息并计算和存储当前的业务流的吞吐量。基于业务流...
- 唐继兴章玥李燕姜金浩
- 文献传递
