嵌入式系统可信软件栈自动化测试研究

嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题。     

“ARM嵌入式系统”课程教学方法研究

本文探讨"ARM嵌入式系统"课程教材普遍存在的问题,在借鉴现有教材的同时,我校将自身的工程和学习实践引入教学过程中,以"实用、有趣、建立学生自信"为指导思想,探索嵌入式系统教学方法。在理论教学中,从工程实践中积累大量素材,设计的教学内容力求接近工程实践,又带有一定的趣味性和启发性;在实验环节,以活泼的实验来促进理论教学,调动学生主动性。     

基于无线通信的嵌入式智能家居预警系统设计

现有的嵌入式智能家居预警系统存在着响应时间长、误报率高的弊端,为了解决上述问题,引入无线通信技术对嵌入式智能家居预警系统进行设计。嵌入式智能家居预警系统硬件设计主要包括无线通信单元、主控单元与遥控单元设计,软件设计主要包括无线通信程序、主控程序与安防预警程序设计。通过系统硬件与软件的设计,实现了嵌入式智能家居预警系统的运行。通过实验结果得到,与现有的嵌入式智能家居预警系统相比,设计的嵌入式智能家居预警系统极大地降低了系统的响应时间与误报率,充分说明设计的嵌入式智能家居预警系统具备更好的预警性能。     

基于XPE的嵌入式移动集群设计与实现

针对现有嵌入式移动计算平台计算能力不强、数据安全可靠性不高等问题,利用XPE操作系统精简、稳定和易扩展的优势,设计基于集群架构的解决方案。以嵌入式X86计算机作为硬件基础,定制版XPE作为系统平台,配以集群系统完成整体解决方案的构建。实验结果表明,该解决方案能够满足现有嵌入式移动平台的需求。     

嵌入式系统可信平台模块研究

如何有效增强嵌入式系统的安全性是信息安全领域研究的热点和难点之一.相关研究表明,可信平台模块对于有效提高信息系统的安全性十分重要.然而,现有的可信平台模块是为个人计算机设计的,并不能满足嵌入式系统特有的应用需求.针对上述问题,设计了一种适应嵌入式环境的新型嵌入式可信平台模块(embedded trusted platform module,ETPM).作为嵌入式可信平台模块的重要组成部分,总线仲裁提高了ETPM的控制能力,增强了嵌入式系统的安全性;对称密码引擎提高了嵌入式系统的对称密码运算效率;系统备份恢复增强了嵌入式系统的可靠性.除此之外,ETPM还能够支持嵌入式平台的星型信任度量模型.这一设计已经在可信PDA中进行了实验验证,实验表明嵌入式可信平台模块是实用、高效、可靠、安全的.     

基于项目驱动的嵌入式实验教学

嵌入式系统实验是嵌入式课程教学环节不可或缺的部分,该环节对设计人员要求较高,需要具有广阔的知识面和丰富的实践经验。现有的嵌入式实验课程既枯燥又难以让学生掌握设计精髓,更难以做到与社会需求相契合,本文认为,采用项目驱动是解决此问题的主要方法之一。针对系统理论与实践之间的矛盾,论文利用实验室提供的嵌入式教学平台进行了硬件和软件设计,将数据采集系统划分为几个模块,然后对每个模块的功能进行设计和分析。通过基于系统设计的嵌入式实验,使大部分学生能够熟练掌握嵌入式系统设计方法。英文教学实践证明,嵌入式系统的教学改革能够更好与国际先进技术和规范接轨,显著提升学生的学习兴趣和实践能力。     

解构北京大学嵌入式系统课程建设

"嵌入式系统"课程是"北京大学电子信息科学基础实验中心"为信息科学技术学院电子类高年级本科生和研究生新开设的一门以实验为主的选修课,目的是通过对嵌入式系统组成原理的学习和专题实验、项目实验的训练,培养学生的综合创新能力。"嵌入式系统"实验课程的建设注重对学生进行科研综合方法的培养,包括需求分析、方案论证、资料搜集、系统设计、电路调试、系统测试、报告撰写等。除了培养学生的分析问题、解决问题的能力外,还要引导学生发挥想象力,提出问题或见解,即培养创新能力。对于没有学过的或跨学科的知识,引导学生学会主动学习、理解,最终应用于系统中去。     

嵌入式系统可信启动机制设计与实现

嵌入式系统在生活中不可或缺,如何增强其安全性是急需解决的问题;现有解决办法局限于理论层面且不符合嵌入式系统实际需求;为实现嵌入式系统安全启动并满足其实际应用需求,设计并实现了嵌入式系统可信启动机制;该机制以可信计算理论为基础,提出一种适用于嵌入式环境的高效、透明的可信框架模型,设计完成嵌入式可信计算硬件模块(ETHM)以及其逻辑结构,构造可靠稳定的接口机制,实现了完整的可信链传递、操作系统高可信启动机制等技术的集成设计;通过实验验证,该可信机制对操作系统安全性可以进行准确判定,并做出正常启动或发出警告的正确指令;实验结果表明,该可信机制具备安全性、可靠性、高效性的特点,并满足嵌入式系统实际应用需求.     

“旨在提高工程实践与创新能力”的多层次嵌入式系统实验体系

目前,国内高校嵌入式系统课程实验仍局限于知识点的实验验证,与实际应用存在较大差距。本文从提高学生的应用能力和工程实践能力出发,对嵌入式系统的实验教学进行探讨,初步建立起"旨在提高工程实践与创新能力"的多层次嵌入式系统实验体系,并阐述实验教学实施过程。     

嵌入式系统中的动态电压调节策略仿真研究

移动式嵌入式系统一般由电池供电,针对高效地利用有限的能量是需要解决的供电问题.分析了现有的动态电压调节策略存在的不足,结合电池放电特性,提出了一种基于电池模型的动态电压调节策略,根据Petri网理论,建立了新的系统能耗模型,并进行了仿真实验.仿真结果分析表明,在满足系统性能的前提下,策略可以使系统能耗最小化的最优频率序列,能很好地降低嵌入式系统能量消耗.为嵌入式系统低功耗策略的研究和应用提供了参考.     

机械仿真实验技术的研究

利用动画技术进行仿真实验，既方便又经济。然而，能否成功地进行仿真实验，在很大程度上取决于几个重要问题的解决。作者在开发齿轮的范成实验等机械实验的基础上，对仿真实验中的几个关键问题进行了研究与探讨。     

密文数据库加脱密引擎关键技术研究

数据库加脱密引擎是数据库加密系统的核心模块,其安全性和执行效率对加密数据库系统的整体性能有重要的影响,而在加脱密引擎实现过程中也要克服一些技术问题,讨论了实现加脱密引擎过程中的一些技术难点问题,同时结合实践分别给出了相应的解决方案,实验表明这些方案能够很好的解决在实现加脱密引擎过程中遇到的难点问题.     

基于OPNET的计算机网络仿真实践教学研究

针对目前计算机网络课程教学存在的问题,提出在网络实验中引入网络仿真技术的教学方法。阐述OPNET网络仿真技术在实验教学中的作用,在此基础上把仿真实验划分为验证性实验、设计型实验、综合型3种。最后以一个设计型仿真实验说明网络仿真技术在提高实验教学水平和质量方面的有效性。     

计算机模拟技术在物理实验教学中的应用

合理利用计算机多媒体资源模拟物理实验过程，解决了由于资金、设备、场地、学时限制，而导致现有物理实验内容偏窄的缺憾，加强了物理实验教学手段的建设，实现了教学方式的创新和教学内容的扩展，增强了熟悉仪器功能和使用方法的训练，提高了实验教学效果。     

变拓扑柔性多体系统接触碰撞动力学研究

在实际工程领域中存在着大量接触碰撞等非连续动力学问题,现有的解决柔性多体系统连续动力学过程的建模理论与方法,已经无法解决或无法很好解决这些问题.本文基于变拓扑思想,提出了附加接触约束的柔性多体系统碰撞动力学建模理论；通过设计柔性圆柱杆接触碰撞实验,验证了所提出附加约束接触碰撞模型的有效性；针对柔性多体系统全局动力学仿真面临时间和空间的多尺度问题,提出多变量的离散方法,从而提高了柔性多体系统非连续动力学的仿真效率.     

工程教育下计算机类课程的实践教学模式

根据工程教育专业认证"以学生为中心"的基本理念以及对学生解决复杂工程问题能力培养的核心要求,本文首先对地方高校计算机类课程实践教学存在的问题进行了分析,然后讨论了如何构造解决计算机领域复杂工程问题的工程化实验实训项目,最后着重探索了"SPOC(Small Private Online Course,小规模限制性在线课程)+项目驱动"的立体化实践教学模式,以期能提升学生解决计算机领域复杂工程问题的能力。     

二维泊松问题的并行共轭梯度算法

该论文研究了利用并行共轭梯度算法求解二维泊松方程的方法,在由24台微机组成的机群上进行了实验。实验数据表明并行共轭梯度算法适用于求解二维泊松方程,它具有收敛快,可扩展性强的特点。在实验的基础上提出并验证了适用于并行共轭梯度算法的合理计算节点数的选择函数。     

桌面式天线虚拟实验系统

将天线数值仿真技术与虚拟现实技术结合,构建一个桌面式天线虚拟实验系统,可以解决天线实验课开设成本高、场地受限等问题.     

计算机专业实验考核方式初探

实验教学通过实验环节加强系统的实践训练,提高学生综合分析与解决实际问题的能力,是高等教育不可缺少的一环。合适的考核方式对评价和提高学生的动手能力有不可替代的作用,对实验教学有普遍的指导意义。本文分析计算机科学与技术专业的实验开设情况,通过对平时实验成绩、实验成绩构成、实验考试方式三个方面进行改革,确立计算机专业通用性的实验考核方式,取得了一定成效。     

网络实验室管理探讨

主要对网络实验室在管理及使用过程中出现的问题进行探讨．提出在RCMS和防火墙安全设备上应用访问规则或命令授权的方式来提高实验效率，并给出具体实例。另外，对于实验项目的设计以及开展中遇到的问题也给出相应的解决方法。