缪炜恺

作品数：6被引量：21H指数：3
导出分析报告
供职机构：华东师范大学更多>>
发文主题：需求文档形式化方法形式化嵌入式控制亮度更多>>
发文领域：自动化与计算机技术文化科学更多>>
发文期刊：《华东师范大学学报（自然科学版）》《计算机教育》《软件学报》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于机器学习的模型检查算法性能预测方法被引量：1
《华东师范大学学报（自然科学版）》2024年第4期18-29,共12页张枨宇 诸嘉逸 黄怿豪 杨迪 李建文 缪炜恺 阎迪 顾斌 詹乃军 蒲戈光 
与非图模型是一种表示电路设计的通用基础形式,同时也是模型检查器的一种通用输入格式.介绍了一种基于与非图结构编码的特征提取方法,并基于该方法实现了一种快速的组合模型检查器Liquid.所提出的结构编码的核心思想:首先罗列出与非图...
关键词：模型检查 与非图 组合模型检查器 
半翻转课堂的混合教学法——结合“嵌入式系统设计”教学的思考被引量：1
《计算机教育》2021年第9期123-127,132,共6页郭建 蒲戈光 缪炜恺 
上海市高校优质在线课程建设项目(沪教委高[2018]52号);上海高校课程思政重点改革领航课程建设项目;2020年上海市高等学校一流本科课程“线上线下混合式课程”(沪教委高[2021] 5号)。
针对嵌入式专业教学中线上与线下学习的关系,提出线上线下相结合的半翻转课堂混合教学法,并针对理论和实践学习的特点分别给出半翻转课堂的理论和实践教学系统,介绍以过程考核为基础的混合教学考核方法,通过一堂教学案例阐述如何将半翻...
关键词：半翻转课堂 线上 线下 过程考核 混合教学法 
航空机载嵌入式控制软件需求建模的形式化工程方法被引量：7
《计算机工程与科学》2019年第6期1016-1025,共10页黄怿豪 冯劲草 郑寒月 缪炜恺 蒲戈光 
国防科工局项目(JCKY 2016212B004-2)
嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形式化需求建模的大规模应用尽管有成功的案例,但仍面临众多的...
关键词：软件需求建模 需求确认 形式化工程方法 形式化方法 
一种面向列车车载控制软件的需求分析方法被引量：4
《计算机工程》2017年第7期48-53,共6页王秀超 缪炜恺 王以松 包丹珠 杨静 
国家自然科学基金"嵌入式控制软件的形式化规格说明构建的工程方法"(61402178);国家自然科学基金"基于r COS的形式化方法需求分析与验证"(61562011)
由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行...
关键词：列车车载控制软件 需求分析 抽象语法树 数据流分析 环路检测 
基于通信的列车控制系统可信构造:形式化方法综述被引量：8
《软件学报》2017年第5期1183-1203,共21页陈铭松 鲍勇翔 孙海英 缪炜恺 陈小红 周庭梁 
国家自然科学基金(91418203;61672230;61402178);上海市青年科技英才扬帆计划(14YF1404300)~~
基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活和精确的列车控制,并提供连续的安全列车间隔保证和超速防护,在很大程度上提高了轨道...
关键词：基于通信的列车控制系统 安全攸关 可信构造 形式化方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部