嵌入式系统软硬件协调设计环境构造与实现方法 被引量：6

1

作者 王世好 严迎建 吴清平 《计算机工程与应用》 CSCD 北大核心 2002年第16期223-225,共3页

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法... 文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境———BitCoDesign构造,把嵌入式系统设计分解为系统功能描述和划分阶段、软硬件设计阶段、协同模拟阶段和软硬件综合阶段。具体阐述各设计阶段功能的实现方法,使嵌入式系统在设计初期,通过协同模拟手段验证系统的设计正确性,避免设计反复,降低开发成本。 展开更多

关键词 嵌入式系统 协调设计 指令集模拟器 软件 硬件 大规模集成电路

在线阅读 下载PDF 职称材料

嵌入式系统软硬件协同验证中软件验证方法 被引量：10

2

作者 王世好 王歆民 刘明业 《计算机研究与发展》 EI CSCD 北大核心 2005年第3期514-519,共6页

随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处... 随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型(指令集模拟器ISS),逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路(即硬件设计).指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速. 展开更多

关键词 嵌入式系统 协调设计 协同验证 模拟 RTOS

在线阅读 下载PDF 职称材料

嵌入式系统软件模拟及硬件接口设计的快速验证 被引量：2

3

作者 王世好 段志刚 刘明业 《电子与信息学报》 EI CSCD 北大核心 2004年第10期1675-1680,共6页

该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬... 该文提出了一种面向宿主机器代码编译的嵌入式软件功能验证方法,该方法从系统行为级验证系统功能,通过建立RTOS软件模拟器,实现嵌入式软件功能及硬件接口设计的快速验证,并以椭圆滤波器为例,阐述如何使用该方法验证嵌入式系统软件和硬件接口功能。 展开更多

关键词 嵌入式系统 协同模拟 功能验证 模拟器 实时操作系统

在线阅读 下载PDF 职称材料

实时嵌入式系统协调设计的行为验证模型 被引量：2

4

作者 王世好 严迎建 刘明业 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第1期105-108,115,共5页

嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟 指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口 指令集模... 嵌入式系统协调设计中 ,通常采用协同验证方法检验系统设计的正确性 ,目前比较常用的验证手段有行为验证和基于处理器结构的指令集模拟 指令集模拟从底层时序关系模拟CPU功能 ,通过建立与硬件模拟器连结关系来验证软硬件接口 指令集模拟的主要特点是模拟精度高 ,但模拟速度慢 ,对于不同的CPU结构需要构造不同的指令集模拟器 文中研究一种基于RTOS实时嵌入式系统行为验证模型 ,通过扩展RTOS功能 ,建立RTOS软件模拟器 ,实现RTOS模拟器和VHDL/VerilogHDL协同模拟交互 RTOS模拟器把嵌入式软件功能代码、CPU接口代码以及定制硬件驱动代码分开 ,实现嵌入式软件设计与硬件平台的弱相关 。 展开更多

关键词 实时嵌入式系统 协调设计 行为验证 指令集模拟

在线阅读 下载PDF 职称材料

面向RTOS的嵌入式软件模拟器构造与实现方法 被引量：2

5

作者 王世好 刘明业 《计算机工程》 CAS CSCD 北大核心 2004年第14期47-49,共3页

提出一种快速嵌入式软件验证工具——RTOS软件模拟器。在RTOS软件模拟器验证方法中,利用RTOS模块化、层次化设计特点,快速实现嵌入式软件在不同目标机器间的代码移植,通过扩展RTOS API功能,... 提出一种快速嵌入式软件验证工具——RTOS软件模拟器。在RTOS软件模拟器验证方法中,利用RTOS模块化、层次化设计特点,快速实现嵌入式软件在不同目标机器间的代码移植,通过扩展RTOS API功能,建立硬件模拟驱动,实现软件模拟器和硬件模拟器通信连接和协同模拟同步控制。RTOS软件模拟器克服ISS速度低的缺点,从更高层次验证嵌入式软件功能。 展开更多

关键词 嵌入式系统 协调设计 功能验证 模拟器 RTOS

在线阅读 下载PDF 职称材料

嵌入式系统软硬件协同模拟验证环境设计与实现 被引量：4

6

作者 严迎建 王世好 刘明业 《计算机工程》 CAS CSCD 北大核心 2004年第9期45-47,共3页

介绍了一个嵌入式系统软硬件协同模拟验证环境，该环境以指令集模拟器和事件驱动硬件模拟器为基本框架，并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法，最后给出一个... 介绍了一个嵌入式系统软硬件协同模拟验证环境，该环境以指令集模拟器和事件驱动硬件模拟器为基本框架，并由总线调度模型和总线界面模型提供软硬件模拟交互界面。重点讨论该环境中软硬件模拟器之间的接口设计与实现方法，最后给出一个嵌入式系统协同验证的应用实例。 展开更多

关键词 嵌入式系统 协同验证 软硬件协同模拟 指令集模拟器

在线阅读 下载PDF 职称材料

实验教学管理在计算机类课程形成性评价中的研究与应用 被引量：4

7

作者 俞磊 杨松涛 +4 位作者 黄方亮 沈同平 孙大勇 王世好 王艳艳 《通化师范学院学报》 2015年第2期59-61,共3页

实验教学在计算机类课程中的地位举足轻重.在对目前计算机类课程实验教学现状进行分析的基础上,提出了实验教学管理在计算机类课程形成性评价中的应用模式,并搭建计算机实验教学管理综合信息平台,给出了该平台的功能结构和具体实现.实... 实验教学在计算机类课程中的地位举足轻重.在对目前计算机类课程实验教学现状进行分析的基础上,提出了实验教学管理在计算机类课程形成性评价中的应用模式,并搭建计算机实验教学管理综合信息平台,给出了该平台的功能结构和具体实现.实践表明,该应用模式切实加强了实验教学管理在形成性评价中的真实性和可信性,有效引导和激励了学生重视实验教学. 展开更多

关键词 实验教学 形成性评价 计算机

在线阅读 下载PDF 职称材料

论我国缺陷产品召回法律制度的完善 被引量：3

8

作者 王世好 《河南公安高等专科学校学报》 2008年第3期100-102,共3页

2007年8月27日,国家质量监督检验检疫总局公布了《食品召回管理规定》和《儿童玩具召回管理规定》,使缺陷产品召回成为人们关注的热点。缺陷产品召回成本与召回法律制度有着密切的联系。从召回成本的角度来分析现有的法律,为我国召回法... 2007年8月27日,国家质量监督检验检疫总局公布了《食品召回管理规定》和《儿童玩具召回管理规定》,使缺陷产品召回成为人们关注的热点。缺陷产品召回成本与召回法律制度有着密切的联系。从召回成本的角度来分析现有的法律,为我国召回法律制度的完善提供了一种新思路。 展开更多

关键词 缺陷产品 缺陷产品召回成本 召回法律制度

在线阅读 下载PDF 职称材料

VB课程中可视化控件的教学研究

9

作者 俞磊 杨松涛 +3 位作者 孙大勇 黄方亮 沈同平 王世好 《电脑知识与技术》 2015年第2期126-128,共3页

可视化控件是VB教学的重点和难点。从教学课时分配、授课顺序安排、教学案例设计以及实验教学管理等方面分享了VB课程中可视化控件的相关教学经验,以期改进VB课程的教学效果,为提高我校计算机软件类课程的教学质量奠定基础。

关键词 计算机 VB 可视化控件

在线阅读 下载PDF 职称材料

高等医学院校信息类专业创新创业教育体系构建与实践——以安徽中医药大学为例 被引量：7

10

作者 俞磊 孟庆全 +2 位作者 阚红星 孙大勇 王世好 《通化师范学院学报》 2018年第10期69-74,共6页

作为以培养医药信息复合型应用人才为定位的医学院校信息类相关专业,学生创新创业能力的培养至关重要.以安徽中医药大学为例,从创新创业课程体系构建、实践教学改革、大学生专业竞赛和科研训练计划等方面详细探讨了医学院校信息类专业... 作为以培养医药信息复合型应用人才为定位的医学院校信息类相关专业,学生创新创业能力的培养至关重要.以安徽中医药大学为例,从创新创业课程体系构建、实践教学改革、大学生专业竞赛和科研训练计划等方面详细探讨了医学院校信息类专业创新创业教育体系构建的指导思想,并详细分析了该体系具体实施中所具有的全程式、多元性、全覆盖的特点,最后针对开展创新创业教育体系实践过程中的困惑提出了一些建议和思考.实践表明,该体系能有效引导和激励医学信息类专业学生重视创新创业教育,切实促进了其创新创业能力的提高,增强了其就业竞争力. 展开更多

关键词 高等医学院校 医学信息类专业 创新创业 实践教学体系

在线阅读 下载PDF 职称材料

嵌入式协调设计中的系统级验证方法及应用

11

作者 范彧 王世好 《计算机工程与设计》 CSCD 北大核心 2006年第14期2698-2701,共4页

协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提... 协同验证是在嵌入式系统协调设计过程中用以检验系统功能是否正确的有效手段。由于精确指令集模拟器模拟的细节多、速度慢,通常成为复杂嵌入式系统协同验证的瓶颈,因此提出使用RTOS软件模拟器和指令集模拟器相结合的多层次验证方法,提高了复杂嵌入式系统的验证速度,并通过某图像压缩系统的验证实例,说明该验证方法的有效性。 展开更多

关键词 嵌入式系统 协同模拟 模拟器 实时操作系统 指令集模拟器 系统级验证

在线阅读 下载PDF 职称材料

实时操作系统综述 被引量：2

12

作者 张俊霖 王世好 《电脑知识与技术》 2011年第6X期4491-4492,4494,共3页

目前,以计算机技术、芯片技术和计算机软件技术为核心的数字化技术取得了迅猛发展,现代控制技术、多媒体技术的应用与普及,促使消费电子、计算机、通信一体化趋势步伐加快,嵌入式技术再度成为研究热点。

关键词 嵌入式系统 实时操作系统 RTOS

在线阅读 下载PDF 职称材料

嵌入式系统协调设计与协同模拟技术

13

作者 张俊霖 王世好 《电脑知识与技术》 2010年第4X期2991-2993,共3页

随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计(Co-Design)已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通... 随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计(Co-Design)已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通过划分手段把整个系统划分为适合软件和硬件实现两部分,使系统设计并行进行。软硬件设计完成后利用协同模拟手段验证系统设计正确性,验证通过后,系统设计进入进行软硬件综合和系统集成测试阶段。该文研究嵌入式系统协调设计环境和软硬件系统模拟方法,通过构造软件和硬件模拟器,在系统设计初期实现嵌入式系统的软硬件功能及软硬件接口设计的快速验证,达到优化系统设计、降低系统开发成本、缩短设计周期的目的。 展开更多

关键词 嵌入式系统 协调设计 协同模拟 模拟器 RTOS

在线阅读 下载PDF 职称材料

大思政教育背景下软件工程课程思政教学改革探索与实践 被引量：28

14

作者 俞磊 吴成海 +7 位作者 阚红星 阚峻岭 李亚 黄方亮 孙大勇 汪庆 王世好 耿英保 《西昌学院学报（自然科学版）》 2020年第1期102-107,共6页

为更好地将专业教育与思政教育有机融合,充分发挥专业课程的育人功能,各学校积极开展课程思政教学改革试点工作,逐步形成“大思政”教育体系。以专业主干课程软件工程为例,在分析教学内容和目标基础上,从科学素养培养、创新意识强化、... 为更好地将专业教育与思政教育有机融合,充分发挥专业课程的育人功能,各学校积极开展课程思政教学改革试点工作,逐步形成“大思政”教育体系。以专业主干课程软件工程为例,在分析教学内容和目标基础上,从科学素养培养、创新意识强化、生活处事哲理灌输等方面阐述了该课程开展课程思政的着眼点,并分别从教学内容设计、教学方法改革和教学评价改进等方面详细分享了开展课程思政的经验和做法。实践表明,上述措施切实加强了学生科学素养、法治素养、民族自信和创新意识的培养,达到了课程思政教育的目的,取得了较为满意的效果。 展开更多

关键词 软件工程 课程思政 创新意识 科学素养

在线阅读 下载PDF 职称材料

面向信息素养培养与提升的医学院校计算机教学改革探索与实践 被引量：2

15

作者 俞磊 阚红星 +7 位作者 杨松涛 阚峻岭 丁亚涛 王世好 孙大勇 黄方亮 沈同平 杨勇 《包头医学院学报》 CAS 2018年第11期107-109,117,共4页

联系医学生的专业背景,从信息意识、信息知识、信息能力、信息道德四个层面分析了医学生信息素养的主要含义,并从数据化、网络化、信息出版、信息安全四个方面详细阐述了面向信息素养培养的计算机课程的教学内容,然后深入探讨了"... 联系医学生的专业背景,从信息意识、信息知识、信息能力、信息道德四个层面分析了医学生信息素养的主要含义,并从数据化、网络化、信息出版、信息安全四个方面详细阐述了面向信息素养培养的计算机课程的教学内容,然后深入探讨了"案例式"教学法、任务驱动教学法、"分享式"教学法、实验室演示教学法四种教学方法的具体应用,最后以安徽中医药大学为例,给出了多元化考核方式改革的具体方案。 展开更多

关键词 信息素养 计算机 教学内容 教学方法 多元化考核

在线阅读 下载PDF 职称材料

“双非”高校计算机科学与技术一流专业建设的实践与思考——以安徽中医药大学为例 被引量：1

16

作者 俞磊 丁亚涛 +5 位作者 王世好 孙大勇 李亚 蔡莉 黄方亮 包新月 《电脑知识与技术》 2023年第33期152-156,共5页

一流专业的建设对高校的发展至关重要,是当今高校关注的热点。以计算机科学与技术专业为例,从建设验收的指标内容、专业认证标准、教育教学规律、顶层设计等宏观层面上详细剖析一流专业的建设要点;然后在此基础上以安徽中医药大学为例,... 一流专业的建设对高校的发展至关重要,是当今高校关注的热点。以计算机科学与技术专业为例,从建设验收的指标内容、专业认证标准、教育教学规律、顶层设计等宏观层面上详细剖析一流专业的建设要点;然后在此基础上以安徽中医药大学为例,从标志性成果建设和培育、专业优势和特色打造、专业综合改革深化、一流师资队伍建设、先进教学质量保障体系构建等方面详细阐述计算机科学与技术一流专业建设的具体实施路径,以期为“双非”高校计算机科学与技术一流专业的建设提供借鉴和参考。 展开更多

关键词 一流专业 计算机科学与技术 专业认证 实施路径 “双非”高校

在线阅读 下载PDF 职称材料

移动互联网环境下基于微信的在线教学平台设计与开发 被引量：1

17

作者 俞磊 黄方亮 +4 位作者 王雅丽 王世好 孙大勇 张杨杨 张雨婷 《齐鲁工业大学学报》 2018年第3期52-57,共6页

随着移动互联网的高速发展和移动智能设备的普及,微信作为一种专注移动终端功能的软件,为现代教学提供了新的平台和应用创新空间。基于PHP技术,使用My SQL数据库,设计开发了基于微信的在线教学平台,具有签到、课程展示与在线教学播放、... 随着移动互联网的高速发展和移动智能设备的普及,微信作为一种专注移动终端功能的软件,为现代教学提供了新的平台和应用创新空间。基于PHP技术,使用My SQL数据库,设计开发了基于微信的在线教学平台,具有签到、课程展示与在线教学播放、微社区以及用户管理、课程及其章节管理、推送消息等功能。实践表明,该平台运行流畅、人机交互良好,改变了传统的教学资源呈现方式、学生学习方式和师生交互方式。 展开更多

关键词 移动互联网 微信 在线教学 PHP MYSQL

在线阅读 下载PDF 职称材料