您的位置： 专家智库 > >

张丽芸

作品数：1 被引量：2H指数：1
供职机构：华东师范大学软件学院更多>>
发文基金：创新研究群体科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇图形化
  • 1篇系统仿真
  • 1篇控制系统
  • 1篇仿真

机构

  • 1篇华东师范大学

作者

  • 1篇王政
  • 1篇蒲戈光
  • 1篇张丽芸
  • 1篇李建文

传媒

  • 1篇计算机应用研...

年份

  • 1篇2013
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种面向控制软件需求分析的方法被引量：2
2013年
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具。SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法;然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性。最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性。
张丽芸蒲戈光王政李建文
关键词：控制系统图形化系统仿真
全选 清除 导出
共1页<1>
聚类工具0