全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
按文献类别分组
按栏目分组
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 基于“产出导向法”的独立学院大学英语线上线下混合式“金课”设计研究——以中原工学院信息商务学院2019级艺术类空乘专业为研究对象
- 作者： 王书艳 来源： 景德镇学院学报 年份： 2020 文献类型 ： 期刊 关键词： “产出导向法” 独立学院大学英语 线上线下混合式“金课” “应用型”人才
- 描述： 为响应教育部消灭"水课",打造"金课"的号召,在"产出导向法"理论指导下,结合中原工学院信息商务学院实施大学英语分级教学的实际和2019年外研社"教学之星"大赛的要求,借助的"大学英语"精品课程网站
- 高校检测实验室质量控制关键要素与管理体系建设方法——北京航空航天大学高性能碳纤维检测评价中心实例分析
- 作者： 吕雪 顾轶卓 张佐光 来源： 科技管理研究 年份： 2018 文献类型 ： 期刊 关键词： 质量管理体系 实验室认可 高校检测实验室 实验室管理
- 描述： 高校检测实验室在仪器设备、人员素质、开放性等方面具有独特优势,为保证检测数据准确、客观,建立完善的实验室质量管理体系,实现检测质量有效控制至关重要。在总结分析我国高校检测实验室特点和管理体系中存在问题的基础上,针对实验室认可制度,结合北京航空航天大学碳纤维检测评价中心的工作,提出高校检测实验室质量管理体系的建设方法,阐述检测质量控制的关键要素,总结相关经验。