基于STM32的数字化测量实验平台设计

本文针对理工科大学物理实验教学,基于STM32设计了数字化测量实验平台,涵盖了多种理工科实验所需的基本测量功能。核心电路采用模块化设计,降低硬件的耦合性,便于后续的功能扩展与维护;操作交互采用可视化的GUI界面统一操作逻辑,降低了实验操作测量的难度。本实验平台实现了数字化的测量和智能化的操作,扩展了学生的理工知识体系,培养提升了学生的实验兴趣与科研思维。     

基于STM32的嵌入式系统实验平台设计

针对嵌入式系统在当前开放式实验教学模式中的应用,根据对实验平台的低成本、易携带、丰富的扩展功能和平台资源的要求,提出基于STM32的本科及研究生教育嵌入式系统实验平台的设计方案。介绍该实验平台的硬件设计和特点,给出系统平台完成的实验项目及例程,并对以该平台为基础的实验内容、教学手段、科技竞赛等方面进行探索和实践。从实训课程的效果反馈来看,学生的创新能力和对嵌入式系统技术的应用能力有了显著的提升。     

基于统一密码服务支撑平台的密码应用建设

统一密码支撑服务平台面向各行业云平台业务应用,利用国密SM系列算法和密码协议,保障系统在身份识别、安全隔离、信息加密、完整性保护、抗抵赖性等方面的密码防护,实现密码应用的合规性、正确性和有效性.     

可信计算密码支撑平台完整性度量和密码机制的研究

国家密码管理局发布可信计算密码支撑平台功能与接口规范,用于指导我国可信计算平台的研究与应用。研究可信计算密码支撑平台和TCM（可信密码模块）的组成结构,分析密码算法的支撑作用和可信计算密码支撑平台的完整性度量机制。从而发现可信计算密码支撑平台和TCG（可信计算组织）的可信计算平台在完整性度量和密码机制方面的差异,得出可信计算密码支撑平台的优越性。     

基于RACK结构的计算机网络实验平台设计

本文通过调研我校计算机网络实验室的实验环境,分析了实验设备的现状和需求,提出并实现了一种开放式计算机网络实验平台。学生通过校园网即可完成相应的实验项目,而管理员则可远程登陆完成对实验室设备和用户管理服务。该方案解决了目前计算机网络实验室管理手段单一,开放范围有限,无法充分实现设备的共享等问题。     

基于dSPACE的电气实时控制实验平台的设计

本文设计了一套基于dSPACE DS1104电气实时控制实验平台,包括总体设计框架、检测与调理电路、故障检测与综合系统以及软件实现方法。该实时控制系统可以与实际电气系统直接相连,并与各种电气控制算法相结合,实现对军用电气系统进行测试、教学与施训等功能。     

基于Matlab GUI的数字图像处理实验平台设计

数字图像处理涉及面广,实用性强的特点,而现有的数字图像处理实验平台体系结构复杂,不适合初学者学习,缺少紧扣教材的实验系统,学生很难深入理解数字图像处理的技术原理。在此采用Matlab的图形用户界面环境(GUI)设计,研制开发了相应的实验教学平台,其涵盖了数字图像处理中的几何变换、图像增强、图像平滑、边缘与分割、假彩色编码等内容。该实验平台界面友好,具有较强的可移植性和可扩展性,可以帮助学生更切实地掌握有关数字图像处理的内容。     

基于中国象棋机器人的人工智能实验平台设计

机器博弈是人工智能领域的重要研究课题。中国象棋机器人实验平台采用双系统控制实现。上位机系统负责棋盘的盘面识别和中国象棋算法的实现,下位机系统负责行棋控制。中国象棋走法解算采用中国象棋引擎程序实现,主要由局面表示、走法表示及生成、局面评估和搜索算法四部分组成。下位机使用STM32单片机作为控制器,控制三维运动装置行棋。中国象棋机器人可以实现机器人与人之间在棋盘上直接对弈,可以用来验证人工智能中的决策系统、图像识别和视觉技术中的相应算法,以及运动控制理论的算法验证,是一个理想的人工智能实验平台。     

基于ARM9的可扩展实验平台设计

面向高职院校多种嵌入式实验的需求,设计了一种基于ARM9的可扩展实验平台,给出了最基本的核心组成框架,定义了灵活、易于扩展的接口。利用该实验平台对嵌入式相关实验内容进行设计,构建了内容可拆装、目标可配置的多元化课程实验。通过开发功能多样的扩展接口,使得该实验平台具有良好的扩展性和兼容性,能够对大量常见的嵌入式实验专治进行互联互通,以满足用户构建内容可拆装、目标可配置的多元化的课程实验。     

基于北斗卫星定位的开放实验平台开发

本文针对“卫星导航原理与应用”课程的需要,研发了基于北斗卫星定位的开放实验平台.本实验系统主要是由GPS/北斗模块、GPRS/GSM模块、ARM及其外围电路组成.学生通过本实验,不但可以对“卫星导航原理与应用”课程的知识有更深入的掌握,而且可以学习硬件系统的设计和软件系统的开发.     

基于模拟开关技术的可切换实验平台设计

针对目前实验平台可扩展性弱,实验造价高等缺点,设计了一个基于模拟开关技术的可实现不同实验板间切换的实验平台。该平台在NI教学实验虚拟仪器套件(ELVIS)基础上,根据ELVIS技术手册将原型实验板上的数字信号、模拟信号、电源信号以一定的排列接入接口板,将接口板的信号接入切换电路,利用模拟开关技术,将原始信号分解出六路信号,在控制芯片FPGA接收上位机串口传递的控制地址后完成6路实验信号的切换。上位机界面预留视频窗口,可通过USB摄像头实时观看实验现象。该系统扩展了实验资源,实现了人机交互,便于实施监控,满足了实验教学需要。     

基于FPGA的ETC通信芯片验证平台的设计

为了降低ETC（Electronic Toll Collection,电子不停车收费）通信芯片的开发成本和周期,设计了一款基于FPGA的ETC通信芯片的验证平台,并分析了ETC通信系统的数据帧格式,系统组成单元,给出了本次设计构建的硬件平台和软件流程.基于该平台的ETC通信芯片LX5811A验证过程说明该平台具有较强的通用性、可重用性和可配置性,缩短了芯片的开发周期.该平台已成功应用于ETC通信系列芯片开发的设计流程中.     

基于云平台的计算机实验教学改革探索

培养学生掌握科学学习方法及动手能力的重要途径是实践教学,特别是计算机专业学生,更应具有良好的专业实践能力.我国高校现在计算机实验教学中存在问题还比较多,教学效果不好,学生实践动手能力不符合市场需求,对此应积极进行计算机实验教学改革,云计算及云平台是近几年来出现的一种互联网新计算模式,在云环境中开展综合的计算机实验教学,解决计算机专业实验教学中的问题,并有效提升计算机课堂实验教学效率及质量.     

可信密码模块的模型检测分析

根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统.指出了AP授权协议存在的缺陷,并给出了具体的改进措施;同时验证可信密码模块初始化子系统状态的一致性.     

电子商务实验平台的构建

在当前计算机网络技术发展水平的基础之上,企业对应用计算机进行商务活动提出了新的标准,一方面应考虑到电子商务平台的先进性,另一方面,要使企业现有的商务工作系统能较平滑地嵌入到新的商务平台中。文中在阐述了电子商务的发展,国内外的现状后,分析了电子商务实验平台的可行性,介绍了电子商务实验平台实现的功能,基本框架的构建,采用的技术,该电子商务实验平台的特色。     

基于PLC运动控制技术工厂培训平台设计

针对我国大中型自动化工厂“PLC运动控制技术”的实际应用,考虑到目前对应的工厂培训方法和培训设备,提出了对PLC运动控制技术工厂培训平台的设计。培训平台基于开放式、模块化、可拓展的设计思路,能够加强职工理论转化实际操作的能力,克服传统模拟培训设备在创新和新技术拓展方面的不足。     

密码协议的一种基于组合推理的模型验证

将密码协议与协议中用到的密码算法视为一个系统，基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设／保证的组合推理技术提出了新的假设／保证推理规则和假设／保证推理算法，证明了该规则的正确性，实现了密码协议系统的模型验证，并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例，利用该组合推理技术对密码协议系统进行了安全验证。     

密码芯片中抗差分功耗分析攻击的DES方案设计

功耗分析攻击是当前密码芯片中各类数据加密算法的主要安全威胁,尤其是对于迄今应用最为广泛的数据加密标准算法造成了严重的危害。通过分析数据加密标准算法遭受功耗分析攻击的原理,并结合针对数据加密标准算法关键防御技术,给出了一种基于互补电路的中间值掩码DES方案设计。主要是利用双电路进行互补输出,以保证寄存器翻转保持功耗恒定,从而最大限度地降低功耗差异。根据算法性能分析结果表明：该方案可以抵抗差分功耗分析攻击,且实现简单,能够直接应用于密码芯片的电路设计中。     

基于可信芯片的平台身份证明方案研究

对基于可信第三方的平台身份证明方案进行了研究,提出了一种用证书和令牌标识可信计算平台并直接使用令牌证明平台身份的方案。与其他方案相比,该方案降低了证明过程的计算量和通信量,并且验证方验证平台身份的同时能够确认平台状态可信,获得了更高的安全性。利用协议组合逻辑证明了方案满足平台身份验证正确性和匿名性。原型系统实验结果表明,该方案平台身份证明效率高,特别适用于无线网络环境。