数字逻辑虚拟实验系统的研究与设计

建立虚拟实验系统是非常有意义的,它是对现代多媒体教学和远程教育的重要补充。在对计算机虚拟实验系统的研究与设计中,电子仪器的软件仿真和虚拟电子实验平台的实现是关键。本文对高校数字电路与逻辑设计(数字逻辑)课程的虚拟实验系统进行了分析与设计,并给出了数字逻辑虚拟实验系统的实现方案。该方案已成功应用于实际系统中。     

数字逻辑与数字系统设计实验教学改革及探索

从实验教学大纲变革、实验内容优化、实验环境改进等方面对"数字逻辑与数字系统设计"课程的实验教学进行阐述,重点分析综合设计类实验的实施方式和教学效果,并提出进一步的改革措施设想。     

数字逻辑课程的探究性教学研究与实践

针对目前数字逻辑课程教学中存在的问题,在分析数字逻辑课程的特点、教学现状和探究性教学方法的内涵的基础上,本文提出将探究性教学方法应用于"数字逻辑"教学过程中的观点。教学实践表明,探究性教学方法提高了学生学习的积极性和主动性,培养了学生的思维能力和创新能力,进一步加深了对数字逻辑的原理、知识、概念的理解,为后续课程的学习奠定了坚实的基础。     

〈数字逻辑〉实现课的改革与实践

实践教学是高等工科院校培养具有高素质工程技术人员的至关重要的环节。本文就目前学生在计算机硬件实验中普遍存在的问题进行了分析,查找了原因,并提出了针对这些问题所进行的一系列改革实验教学的措施。     

数字逻辑实验教学改革探索

针对数字逻辑实验教学存在的问题,提出数字逻辑课程实验教学改革和实验课题设计的思想,改传统的验证性实验为用VHDL语言做设计性实验;介绍实验课题的设计和教学效果。实验课题应该是课程的主要知识点,有合适的难度,无现成的答案。实验课题包括两个组合逻辑设计和3个时序逻辑设计课题,有基本实验,还有选做题目。教学效果表明实验课题的设计是成功的,达到了预期的目的。     

基于Web Service的在线虚拟实验系统的设计与实现

鉴于Web Service具有灵活性、松散耦合性、易集成、基于开放标准等特点，提出一个基于Web Service的在线虚拟实验系统的设计方案，以数字逻辑课程的相关实验为例，讨论了系统总体架构，叙述了实验器材库的设计、系统仿真、用户认证等一些关键技术。     

基于QT的数字逻辑虚拟实验平台设计

虚拟元件库是数字逻辑虚拟实验平台最重要的组成部分之一,良好的数字元件模型有助于提升虚拟元件库的可扩展性、易维护和易操作性等。本文在抽象和形式化表示数字元件的基础上,采用Qt MVC架构设计和开发了一个数字逻辑虚拟实验平台。该平台全局一致的数字元件模型能有效提升虚拟元件库的可用性和开放性,为建立统一的虚拟实验教学环境提供依据和保障,使用者和研究者可依需进行二次开发,节省时间,提高绩效。     

数字逻辑开放性实验教学的探讨

本文介绍了数字逻辑开放性实验教学的具体实施方案,并以实例来说明开放性实验教学的益处;同时总结经验,改进不足,以便逐步完善和推广开放性实验教学方法。     

基于MOOC平台的数字逻辑实验教学模式

分析当前数字逻辑实验教学中存在的主要问题,在现有教学体系改革研究的基础上,从优化教学资源、优化实验教学环节、加强实验过程控制与监督等方面出发,给出创新数字逻辑实验教学的研究思路,提出基于MOOC的多方位数字逻辑实验教学的创新教学模式。     

虚拟数字校园平台的研究和应用

针对如何提高服务器计算资源利用效率和增强高校各类信息系统的可靠性与安全性,该文构建基于虚拟化的数字校园平台架构。论述虚拟化技术及其分类,介绍虚拟化数字校园平台功能设计、体系结构及实现,阐述如何通过备援规则和轮询机制实现系统的高可靠性,针对该平台进行压力测试实验,验证其实用性。     

VB平台下的虚拟实验软件开发研究

论述了基于VB平台实现的一种虚拟实验软件开发技术。从虚拟实验软件的目的和功能要求出发,设计了虚拟实验软件的架构。介绍了利用Visio绘制虚拟实验场景技术,阐述了虚拟实验软件中人机交互功能的实现方法。     

基于ARM的智能高速虚拟数字存储示波器的研制

提出了一种基于ARMS3C2410的智能虚拟数字存储示波器的实现方法,整个系统由带有USB接口的数字存储示波器卡、VC编写的应用软件构成,该系统可实现的最高采样率为200MHz,并且通过板卡上的ARM系统可以灵活地实现采样率、增益、触发等的控制以及后续新功能的扩展。     

A SAT Solver Using Reconfigurable Hardware and Virtual Logic

In this paper, we present the architecture of a new SAT solver using reconfigurable logic and a virtual logic scheme. Our main contributions include new forms of massive fine-grain parallelism, structured design techniques based on iterative logic arrays that reduce compilation times from hours to minutes, and a decomposition technique that creates independent subproblems that may be concurrently solved by unconnected FPGAs. The decomposition technique is the basis of the virtual logic scheme, since it allows solving problems that exceed the hardware capacity. Our architecture is easily scalable. Our results show several orders of magnitude speedup compared with a state-of-the-art software implementation, and also with respect to prior SAT solvers using reconfigurable hardware.     

基于PBL教学模式的数字逻辑课程教学研究

针对目前"数字逻辑"课程教学中存在的问题,在分析"数字逻辑"课程的特点、教学现状和PBL教学模式内涵的基础上,文章提出将PBL教学方法应用于"数字逻辑"教学过程中的观点,并提出"2+2"教学方案。教学实践表明,将PBL教学模式应用于数字逻辑课程中,提高了学生学习的积极性和主动性,使他们进一步加深了对数字逻辑的原理、知识、概念的理解,为后续课程的学习奠定了坚实的基础。     

基于虚拟仪器概念的虚拟逻辑分析仪的设计

逻辑分析仪是数据域测试仪器中最有用、最有代表性的一种测试仪器。从虚拟仪器概念出发，通过对虚拟仪器的研究，在此基础上提出了虚拟逻辑分析仪的设计方案及实现方法，并重点阐述了基于虚拟仪器概念的虚拟逻辑分析仪的硬件电路设计和软件设计部分。充分利用硬件软化的思想，使硬件电路大为简化，从而降低了仪器成本，提高了逻辑分析仪的可靠性和性能，取得了较好的效果。     

远程虚拟实验中实验仪器形体建模

虚拟实验必须有虚拟实验环境的支持。本文论述了远程虚拟实验环境中常用仪器形体的建模与虚拟仪器间的通信实现,通过对VRML中Extrusion节点的扩展,并分别对常用仪器的内外壁进行两次挤压造型和阴影的计算,其模拟容器形体具有较好的真实感。     

虚拟实验中复杂运动的交互与控制

VRML能够支持动态的、交互式的3D场景,但自身交互性不强;Java能够自由运用于3D场景,是一种高性能的程序设计语言,灵活性大、计算能力强。两者的有机融合使动态交互三维虚拟空间成为可能。本文就虚拟实验中复杂运动的交互与控制方法进行了研究,重点讨论了VRML的外部交互方法：VRML中Script节点的添加、与Java的通信机制、节点中的Java程序以及执行中的调用次序。最后给出一个虚拟物理实验——导线切割磁力线的具体实现范例。     

粒计算在数字逻辑电路分析与设计中的应用

逻辑优化是数字逻辑电路分析与设计的关键,对于降低系统复杂性,减少系统功耗和提高系统安全性有重要作用。随着数字逻辑电路规模的不断扩大,传统的理论将面临新的挑战。从知识工程角度看,逻辑优化的本质是知识约简的过程。粒计算(granular computing,Gr C)是处理大规模、复杂问题的人工智能新方法。在简述现有逻辑优化算法和粒计算理论发展现状的基础上,研究了粒计算理论中的等价关系、相容关系、覆盖等知识模型以及用粒矩阵刻画的知识发现算法,指出了将其应用于大规模数字逻辑电路逻辑优化的研究方向与研究思路。