计算机接口技术课程实验教学探讨

计算机接口技术课程中的实验非常重要,根据不同实验目的将实验分为验证型实验、扩展型实验和综合型实验。针对这三类实验,结合多年的教学经验,给出了计算机接口技术实验教学改革分三步走的策略。通过具体的实例,强调了验证型实验要注重于过程监控,扩展型实验要注重于激发兴趣,综合型实验要注重于挖掘创新能力。     

智能科学与技术专业本科培养计划的面向应用思考

工科学校的人才教育应该以技术能力和技术创新的培养为目的,根据学校的自身条件、生源特点、社会需求来确定合适的培养计划。本文针对上海理工大学光电信息与计算机工程学院智能科学与技术本科专业的培养计划及专业建设,提出了以需求、技能、创新为目标的面向应用思考。     

WCDMA直放站数字下变频的FPGA实现

数字下变频器（Digital Down Converter,DDC）是WCDMA直放站的重要组成部分,它将高速采样的数字中频信号下变频到基带,然后进行抽取,低通滤波。重点研究了数字下变频器的数控振荡器NCO和半带滤波器的原理和硬件设计仿真,通过FPGA芯片Virtex-6 XC6VLX75T设计实现了适用于WCDMA直放站的数字下变频器,并对其进行硬件仿真与验证。     

基于Q—learning的一种多Agent系统结构模型

多Agent系统是近年来比较热门的一个研究领域,而Q-learning算法是强化学习算法中比较著名的算法,也是应用最广泛的一种强化学习算法。以单Agent强化学习Qlearning算法为基础,提出了一种新的学习协作算法,并根据此算法提出了一种新的多Agent系统体系结构模型,该结构的最大特点是提出了知识共享机制、团队结构思想和引入了服务商概念,最后通过仿真实验说明了该结构体系的优越性。     

基于MATLAB的同步发电机PSS与励磁系统仿真

在分析同步发电机励磁控制系统模型的基础上,研究了以电力系统稳定器（Power System Stabilizer—PSS）为辅助控制的同步发电机励磁控制方式,并基于MATLAB／SIMULINK构建了包含PSS的励磁控制系统的仿真模型。根据仿真结果分析在电力系统出现不同故障（三线短路以及断线故障）情况下带有PSS的励磁控制系统的控制性能,并与不加载PSS的励磁系统进行了比较,得到了在同步机励磁系统中加载PSS的必要性,为励磁系统的设计提供了依据。     

水电站机电设备运行检修3D仿真培训界面设计

简述了现代水电站机电设备运行检修3D仿真培训运用多媒体教学的重要意义.介绍了利用3DMAX软件制作机电设备三维模型和相关运行检修动画的方法,以及水电站机电设备运行检修3D仿真培训的主要内容,并就authorware软件制作3D仿真培训界面的系统框架、设计流程、方法等做了较为详细的描述.本仿真培训界面的设计具有数字化水电特色,结合多种应用软件,将三维建模、动画演示、数据查询紧密联系,充分利用多媒体教学的优势,为水电培训人员深入理解培训内容、掌握机电设备的运行检修技能提供便利.创建的3D仿真培训界面,简捷实用,符合现代水电培训要求.     

RBF neural network based on q-Gaussian function in function approximation

To enhance the generalization performance of radial basis function (RBF) neural networks, an RBF neural network based on a q-Gaussian function is proposed. A q-Gaussian function is chosen as the radial basis function of the RBF neural network, and a particle swarm optimization algorithm is employed to select the parameters of the network. The non-extensive entropic index q is encoded in the particle and adjusted adaptively in the evolutionary process of population. Simulation results of the function approximation indicate that an RBF neural network based on q-Gaussian function achieves the best generalization performance.     

Certifying assembly programs with trails

In this paper, we introduce a new way of certifying assembly programs. Unlike previous program logics, we extract the control-flow information from the code and generate an intermediate trail between the specification and the real code. Trails are auxiliary specifications and treated as modules in the certification process. We define a simple modular program logic called trail-based certified assembly programming (TCAP) to certify and link different parts of a program using the corresponding trails. Because the control flow information in trails is explicit, the rules are easier to design. We show that our logic is powerful enough to prove partial correctness of assembly programs with features including stack-based abstractions and self-modifying code.We also provide a semantics for TCAP and prove that the logic is sound with respect to the semantics.     

基于E语言的IEEE1394协议芯片验证环境搭建

随着当前IC设计规模的空前增长,功能验证变成了设计过程中的主要瓶颈.验证方法已经从简单的采用基于HDL任务的方法发展到了一种完整的验证自动化系统.首先研究E语言以面向对象和面向方面的方式,建立这种验证自动化系统所有结构的原理.然后以IEEE 1394协议IP验证项目为例,提出一种搭建组件化、可重用验证平台的方法.最后介绍如何编写项目所采用的受约束的随机测试向量.实践结果表明,采用此方法可极大提高验证效率,缩短了整个设计的验证周期.     

基于链表的动态存储器管理设计与实现

计算机网络通信设计经常需要对消息队列进行设计和管理,传统基于nro存储器的消息队列设计控制复杂、消耗资源多、扩展受限而不再适合现代计算机网络处理器的发展.文中研究和分析了线性链表结构的技术特点、使用的局限性及适用范围,并讨论了链表结构的发展及其应用前景.提出一种基于链表消息队列的动态存储器管理设计,并结合某款网络芯片设计加以说明.该设计实践证明采用链表进行消息队列设计具有结构简单、使用灵活、占用资源少、易于扩展、便于物理实现等技术优势.