王宇英
- 作品数：23 被引量：48H指数：4
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金西安市科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 操作系统教学探索及其在嵌入式教学中的实践被引量：7
- 2011年
- 分析目前操作系统教学中存在的普遍问题,提出一种"三分四阶两依托"的差异化教学法。它将教学过程分为教学环节、实践环节和考评环节三个部分,每个部分采用渐进式的四个阶段教学,并依托学校的创新实验室和嵌入式技术重点实验室,开展嵌入式操作系统方面的创新项目探索,取得较好的教学效果。
- 王宇英谷建华周兴社
- 关键词：操作系统教学嵌入式
- 信息物理融合系统控制软件的统计模型检验被引量：4
- 2015年
- 信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够展现多任务系统的细粒度的运行过程及其对物理环境的实时响应.应用该方法分析了玉兔号月球车控制软件的一个早期版本,发现了系统运行中出现的一个特殊错误,识别了实际系统出现错误的条件,再现了出现错误的场景.
- 单黎君周兴社王宇英赵雷万丽景乔磊陈建新
- 关键词：形式化验证信息物理融合系统多任务系统
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 一种从Simulink模型转换至UML模型的方法
- 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源...
- 王宇英周兴社梁东方李晓宇
- 组态化嵌入式软件仿真系统设计被引量：3
- 2011年
- 为缩短开发周期,提高嵌入式软件仿真系统的设计水平,提出一种组态化嵌入式系统设计。集成仿真建模工具、仿真模型代码生成工具,实现仿真运行环境搭建和对仿真数据的实时监控,采用组态化的仿真方法,根据用户需求生成监控界面。实验结果表明,该系统的运行平台快速高效,监控环境良好。
- 姬祥董云卫王宇英凌恒
- 关键词：嵌入式软件实时监控组态软件仿真系统
- 一种信息物理融合系统仿真建模方法被引量：7
- 2014年
- 仿真建模作为信息物理融合系统(Cyber-Physical System,CPS)开发的重要支撑,在CPS领域得到广泛应用,CPS与传统的嵌入式系统有很大的不同,不仅系统规模更加庞大,系统异质性更加明显,而且具有网络化开放性、计算过程与物理过程融合、时空特性鲜明等特点,这给CPS仿真建模带来了很大的挑战。针对CPS计算-物理深度融合的问题,结合CPS典型实例月球车系统应用需求,设计了月球车的CPS化架构,在Rhapsody环境中,建立了系统的静态结构图和动态行为图,采用模型转换技术,把Simulink建立的系统物理连续动态模型导入到月球车UML模型,基于实时性实现了CPS系统计算实体与物理实体融合的仿真建模,最后对融合模型进行了仿真,仿真结果满足系统需求,这对于CPS仿真建模和CPS系统开发具有重要意义。
- 李晓宇王宇英周兴社梁东方
- 关键词：UMLSIMULINK
- 嵌入式Linux实时化及其应用
- 该文首先分析了Linux应用于嵌入式实时系统的优势和不足,研究了现有各种可行的改造方法,并对各种现有主流嵌入式Linux的实时化方案进行了分析比较,这些研究为后续的设计和开发工作提供了良好的基础.通过对实时操作系统调度策...
- 王宇英
- 关键词：嵌入式操作系统LINUX内核进程调度远程监控
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 指令优化设计与指令缓存结构相互关系的研究
- 2008年
- 传统的指令优化方法通常不考虑调整指令高速缓存的硬件体系结构,只能得到局部优化结果.本文以实验的方法研究了指令优化设计和指令缓存配置之间的关系,通过实现程序指令优化并在不同指令缓存配置的平台上运行优化前后的程序,对比缓存缺失率,为进一步提高指令缓存性能提供了重要参考.实验结果表明指令缓存配置对指令优化的性能有极大的影响,在系统设计阶段同时考虑指令优化和指令缓存结构将能大幅度地改进指令缓存的性能.
- 王宇英周兴社
- 关键词：缓存结构
- 基于比例导引的足球机器人截球算法研究被引量：2
- 2008年
- 常用的足球机器人截球运动控制算法较少,通过类比机器人截球运动与导弹或鱼雷追踪目标的相似性,引入军事目标追踪导引算法中常用的比例导引算法,并给出了导引算法模型及其在足球机器人系统中的应用实现。仿真结果表明该算法效果明显,行之有效,并能够根据不同的应用要求灵活的调整导引系数,取得比较理想的截球控制效果。
- 蒲勇周兴社王宇英
- 关键词：机器人足球比例导引截球
