论高校计算机专业开展函数式程序语言教学的必要性

针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典型的编程风格及主要知识点,概括函数式程序语言的发展趋势。     

用Z—80单板机控制步进电机

步进电机在数字控制系统中作为数/模转换器应用甚广。本文将以三相步进电机为例,介绍用Z—80单板机对步进电机进行速度和位置控制的接口电路及其编程方法。利用Z—80单板机的并行输入/输出接口PIO和少量外围电路,即可实现对步进电机的控制。控制装置的电原理图如图1所示。     

基于光谱共焦位移传感器的非接触式回转误差测量系统北大核心

为了实现50 nm左右回转误差测量,设计了一种新型非接触式测量系统,该系统采用光谱共焦位移传感器,通过反向法获得回转轴系径向回转误差、标准球圆度误差。标准球圆度误差测量值与标称值的最大差值为5 nm,表明该测量系统的测量精度能够满足设计要求。     

“互联网＋”新形势下医疗教育类APP应用于诊断学教学的探索与分析

从国家战略层面出发,李克强总理提出“互联网＋”概念,教育领域应当大力推行各类互联网学习方式。目前手机APP在校园生活中的使用频率越来越高,日益成为高校学生生活的必需品之一。文章以120名临床专业学生为样本,将医疗教育类APP应用于诊断学教学过程中。实验证明在教学过程中,有目的地选择使用手机医疗教育类APP,对学生诊断学学习有明显帮助。     

窃听信道下的认证信道容量

消息认证是合法发送方Alice传输消息M给合法的接收方Bob并向Bob认证M的交互过程。为了防止敌手Eve的攻击,Alice和Bob通常共享了一个安全密钥。该文考察如下认证框架:Alice首先通过无噪声信道将消息M发送给Bob;Alice接着利用消息M和安全密钥K生成一个认证标签;Alice再将认证标签转化为码字Xn;最后,Alice通过窃听信道模型将码字Xn传输给Bob。该文定义了固定标签率下的安全认证信道容量,并证明该认证信道容量等于H(X|Z)。特别地,证明了文献[15]提出的协议在该文的认证模型中是可达容量的。     

基于IGBT全桥式逆变焊机主电路的设计与仿真

设计了一种以FB-ZVS-PWM的IGBT全桥逆变的工作方式为逆变电源主电路拓扑结构的逆变焊机主电路,其结构由输入整流滤波电路、逆变器和输出整流电路3部分构成。分析了主电路的工作原理,设置了元器件的参数,并在此基础之上进行了MATLAB仿真实验。在理论基础之上,设计了原型机,并进行实验。仿真实验结果和原型机实验结果均证明了所提出的电路设计的合理性和可行性。     

TiO_(2)改性SiO材料的制备及储锂性能EI北大核心CSCD

通过溶胶-凝胶和高温固相法制备了SiO@TiO_(2)/C复合材料。结果表明:由于TiO_(2)对界面稳定性及锂离子扩散过程的促进作用,SiO@TiO_(2)/C材料拥有优良的循环和倍率性能。在1 A/g的电流密度下循环150次,材料表现出710 m A·h/g的比容量;在4 A/g的高电流密度下可逆比容量仍能达到430 m A·h/g。     

基于滑模控制的 IEEE1588 时钟同步算法研究

针对IEEE1588时钟同步过程中存在时钟频率漂移问题,提出了一种基于滑模控制的新型时钟同步算法。首先根据主从时钟偏差与漂移的递推关系,建立系统状态空间模型;然后运用滑模控制缩小时钟偏差与时钟漂移;最后结合滑动平均滤波对实验过程中的频率抖动和随机误差进行优化。结果表明,基于滑模控制的时钟同步算法可有效抑制时钟漂移引起的时钟偏差线性增长,将时钟偏差控制在1μs以下,从而实现亚微秒级网络对时。相比传统IEEE1588协议同步方法,所提方法提供了更高的同步精度。     

基于FPGA与PC-104的CNC多轴运动控制器设计

讨论了一种基于FPGA与PC-104工控机为系统基础平台的运动控制器系统开发，系统采用了CNC嵌入PC的硬件结构形式，并对位置反馈、输入接口、输出接口、手脉输入、脉冲发生、主轴接口以及逻辑控制模块进行了详细设计。