MiniSAT求解器在判定可满足性问题中的应用

目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发使得判定可满足性问题更加自动化。以与门电路为例．描述了如何将电路问题转换成可满足性SAT问题并使用MiniSAT求解器进行求解,包括输入格式、选项以及输出格式要求。     

电子信息工程技术专业实训教学体系的研究——基于“全国大学生电子设计竞赛”的模块化实训教学体系的构建

通过总结近年来培训和指导大学生电子设计竞赛的经验,从竞赛的角度,结合高职电子信息工程技术专业的学科特点,构建出一套完整的电子信息工程实训体系。即在科学地确定人才培养的目标的基础上,构建电子基本技能实训模块、专业课程实训模块、专业综合实训模块和其他补充实训模块。为适应这种模块式教学体系,要改革实训考核方式,考核成绩包括平时成绩、过程成绩和实训成果成绩。     

基于MATLAB的基带移相键控仿真分析

利用MATLAB软件对BPSK、QPSK、OQPSK系统进行仿真,对3种基带移相键控的工作特性进行分析,得出三者在传输速率、误码率和频谱特性等方面的联系.