摘要：本文在研究了传统的VLSI设计中采用的功能验证方法后,分析了各种方法的特点和不足之处。提出了一种新型的适合于大规模集成电路功能验证的新方法,详细介绍了这种功能验证方法的度量进度机制和验证完备性判断依据,并给出了这种新方法的操作流程和关键点。

摘要：本文首先分析高速安全芯片“超驰16安全芯片”的硬件模块,基于RSA算法安全产品的安全需求,提出在芯片内部设计一套内置的安全管理策略,参考美国国家技术标准制订了基于该安全芯片的安全策略。文中结合该芯片的硬件特点,重点介绍了安全策略的设计原则和目标。

摘要：本文针对校园网应用系统,异构数据库信息交换与共享困难的问题,较详细的介绍了基于XML的数据交换中心原型系统的设计与实现。系统利用XML具有良好的扩展性、自描述性、形式与内容分离等特性,较好的解决了校园网应用系统间的数据交换与信息共享问题。

摘要：随着网络技术的不断发展,基于Fat-Tree的网络拓扑结构分布式网络控制模式逐渐显露出其局限性,软件定义数据中心网络(software-defined data center network,SDCN)技术作为Fat-Tree网络拓扑的改进技术,受到越来越多研究者的关注。首先搭建了一个SDCN中的边缘计算架构和基于移动边缘计算(mobileedge computing,MEC)平台三层服务架构的任务卸载模型,结合移动边缘计算平台的实际应用场景,利用同策略经验回放和熵正则改进传统的深度Q网络(deep Q-leaning network,DQN)算法,优化了MEC平台的任务卸载策略,并设计了实验对基于同策略经验回放和熵正则的改进深度Q网络算法(improved DQN algorithm based on same strategy empirical playback and entropy regularization,RSS2E-DQN)和其他3种算法在负载均衡、能耗、时延、网络使用量几个方面进行对比分析,验证了改进算法在上述4个方面具有更优越的性能。

摘要：在多媒体应用设计中如何实现对视频、音频媒体的快速检索、拖放是个难题,如果不能实现,会降低课件的人性化,影响教学效果。介绍在Authorware中实现对视频素材快速检索的方法。

摘要：针对多媒体教学的优势,探讨了医学多媒体课件设计与制作应遵循的原则,分析了课件在制作过程中应注意的问题,目的在于促进医学多媒体课件制作质量的提高。

摘要：对于数字图书馆的关注和研究目前正在成为图书馆领域研究的一个热点。本文通过对传统图书馆与数字图书馆的比较研究,从不同角度给出了数字图书馆的描述。利用统一身份认证、搜索引擎和数据挖掘等技术,提出了基于个性化服务的医学数字图书馆的体系结构和设计模型。

摘要：网上自动答疑系统对提高教学质量的作用是不可忽视的,学生可以通过该系统自主学习,教师也可及时地了解到学生的学习情况。作者阐述了自动答疑系统的优势和设计,重点对系统各功能模块进行了介绍。

摘要：专家系统是人工智能中最活跃、最有成效的一个研究方向,它是一种基于知识的系统,通过从专家那里获得知识解决问题的辅助教学系统。该系统具有较好的扩充性、可移植性、透明性,算法简单高效、使用方便、用户界面友好。系统采用正向推理的技术构建推理机,对高校教学提供了有力地帮助。

摘要：在教学信息化进程中,各类院校积极开展MOOC、微课的建设,尤其是在医学类院校中,学校和教师个人建设了大量的音视频教学资源。然而,此类教学资源的管理、交流、应用存在诸多问题,造成资源建设和教学应用存在脱节的现象。文章在分析医学院校视音频资源管理现状的基础上,结合自身实际需要,基于关系数据库设计一套低成本的教学资源信息管理系统,以改变当前自建音视频教学资源管理无序、交流不便、应用较少的现状,以此为着力点推进音视频教学资源建设和教学应用的结合。