王宇英
- 作品数：23 被引量：49H指数：4
- 供职机构：西北工业大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金西安市科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 操作系统教学探索及其在嵌入式教学中的实践被引量：7
- 2011年
- 分析目前操作系统教学中存在的普遍问题,提出一种"三分四阶两依托"的差异化教学法。它将教学过程分为教学环节、实践环节和考评环节三个部分,每个部分采用渐进式的四个阶段教学,并依托学校的创新实验室和嵌入式技术重点实验室,开展嵌入式操作系统方面的创新项目探索,取得较好的教学效果。
- 王宇英谷建华周兴社
- 关键词：操作系统教学嵌入式
- 信息物理融合系统控制软件的统计模型检验被引量：4
- 2015年
- 信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件,这类软件的并发和非确定性给验证带来了困难.提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法.该方法构造的时间自动机模型以模块化的方式描述了实时多任务系统中的主要成分,包括实时操作系统、周期性任务、偶发任务、共享资源以及物理环境,能够展现多任务系统的细粒度的运行过程及其对物理环境的实时响应.应用该方法分析了玉兔号月球车控制软件的一个早期版本,发现了系统运行中出现的一个特殊错误,识别了实际系统出现错误的条件,再现了出现错误的场景.
- 单黎君周兴社王宇英赵雷万丽景乔磊陈建新
- 关键词：形式化验证信息物理融合系统多任务系统
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 一种从Simulink模型转换至UML模型的方法
- 本发明提供了一种从Simulink模型转换至UML模型的方法，通过建立Simulink模型的模型元素和UML模型的模型元素之间的对应关系，建立Simulink源元模型架构和UML目标元模型架构，从而根据Simulink源...
- 王宇英周兴社梁东方李晓宇
- 文献传递
- 基于最优搜索的足球机器人射门算法被引量：3
- 2007年
- 机器人足球比赛中,小球的运动状态因受到碰撞和摩擦变化剧烈,所以大多数情况下不存在全局意义上的最佳射门路径,或者规划的路径机器人在给定的时间内根本无法完成。基于目标函数的足球机器人射门算法,通过在机器人运动能力范围内的最优搜索,能够找出当前状态下机器人按要求逼近球的最佳路径。该算法能够适应各种速度状态,明显提高机器人射门命中率,并迅速对小球状态突变做出响应。在比赛中,常常需要根据场上态势对机器人进行控制算法切换,但由于不同控制算法速度输出的跳跃性,机器人会出现相对球位置的抖动。针对以距离作为切换条件的情况下,不同控制算法切换时产生的"抖动"现象,分析了现象产生的原因,并通过S-曲线加权算法,有效避免了"抖动"的产生,实现了不同控制算法在切换边界的平滑过渡。
- 蒲勇周兴社王宇英
- 关键词：机器人足球最优搜索抖动
- 基于比例导引的足球机器人截球算法研究被引量：2
- 2008年
- 常用的足球机器人截球运动控制算法较少,通过类比机器人截球运动与导弹或鱼雷追踪目标的相似性,引入军事目标追踪导引算法中常用的比例导引算法,并给出了导引算法模型及其在足球机器人系统中的应用实现。仿真结果表明该算法效果明显,行之有效,并能够根据不同的应用要求灵活的调整导引系数,取得比较理想的截球控制效果。
- 蒲勇周兴社王宇英
- 关键词：机器人足球比例导引截球
- 一种面向CPS的事件模型时空信息表示与处理方法
- 本发明公开了一种面向CPS的事件模型时空信息表示与处理方法，其包括如下操作：定义CPS事件模型的时空信息表示方法，CPS事件模型包括基本事件模型和扩展信息集；定义基本事件模型，用于表示一个事件来自数据源的最基本的事件信息...
- 王宇英周兴社李晓宇单黎君张凡
- 文献传递
- 嵌入式Linux实时化及其应用
- 该文首先分析了Linux应用于嵌入式实时系统的优势和不足,研究了现有各种可行的改造方法,并对各种现有主流嵌入式Linux的实时化方案进行了分析比较,这些研究为后续的设计和开发工作提供了良好的基础.通过对实时操作系统调度策...
- 王宇英
- 关键词：嵌入式操作系统LINUX内核进程调度远程监控
- 文献传递
- 场景驱动CPS系统的结构模型与行为模型协同建模方法
- 本发明公开了一种场景驱动CPS系统的结构模型与行为模型协同建模方法，包括利用MSC构建场景模型；构建场景事件流图；构建CPS系统框图；将场景事件流图在构建的CPS系统实体关系图上进行投影，投影得到的CPS系统实体关系图的...
- 杨刚杨亚磊周兴社王宇英杜承烈沈博
- 文献传递
- 指令优化设计与指令缓存结构相互关系的研究
- 2008年
- 传统的指令优化方法通常不考虑调整指令高速缓存的硬件体系结构,只能得到局部优化结果.本文以实验的方法研究了指令优化设计和指令缓存配置之间的关系,通过实现程序指令优化并在不同指令缓存配置的平台上运行优化前后的程序,对比缓存缺失率,为进一步提高指令缓存性能提供了重要参考.实验结果表明指令缓存配置对指令优化的性能有极大的影响,在系统设计阶段同时考虑指令优化和指令缓存结构将能大幅度地改进指令缓存的性能.
- 王宇英周兴社
- 关键词：缓存结构
