CuO全部被还原为Cu2O吗

“第十六届天原杯全国初中学生素质和实验能力竞赛复赛考试”试题的第27题,由于解法不同,其结果也不尽相同,笔者对试题的题目和解答存在着疑问,现特提出与同行专家商榷。试题:(第十六届天原杯第27题)已知CuO被C还原的产物是Cu2O(红色)。现有CuO和木炭粉组成的混合物4.24 g,在高     

全国大学生电子设计竞赛一等奖——简易逻辑分析仪（D题）

本系统采用高速单片机AVR ATmegal6和FPGA Altera Flex 10K10作为系统的核心，由数据采集模块、控制模块、示波器显示模块、掉电存储模块、键盘、LCD显示、RS232打印机接口等模块组成。该系统实现了任意路数(最多8路)、任意级数(最多3级)数字信号的触发，存储深度2K bits／通道(触发前512 bits，触发后1536 bits)，可在示波器(XY模式下)及LCD上显示波形并通过微型打印机打印出任意一屏的波形。此外，系统使用串行DataFlash AT45DB041，可存储2564个用户波形。     

第6届全国周培源大学生力学竞赛团体赛比赛内容和规则

第1轮比赛:攻防对抗赛 1内容 在一些描写古代战争的电影中,常可见到一方用抛石机抛掷石头攻击对方城堡的场面.进攻者当然希望抛石机威力巨大;而防守者自然希望城堡固若金汤.     

实用计数器的VHDL与Verilog HDL行为建模对比研究

EDA是数字电子电路设计的一种重要方法。在EDA设计过程中,使用HDL对电路进行建模,是一种常用的方法,HDL模型也成为了EDA设计输入的一种重要的方式。目前,使用较为广泛的HDL包括有：VHDL和Verilog HDL。计数器是一种被经常使用的数字电路,很多设计都会把计数器作为电路模块进行引用。因此,研究使用VHDL和Verilog HDL的行为描述语句实现实用计数器的方法,对于更好地使用HDL开展数字电子电路设计有一定的指导意义。     

从简单模型入手探究陀螺仪在磁场中的减速问题

2019年中国大学生物理学术竞赛中,非铁磁性导体材料制的陀螺仪在磁场中减速问题的研究没有限定任何具体参数,不易根据麦克斯韦方程得到全面统一的答案.本文从无限长导体圆柱模型入手,通过合理的近似,推导得到了陀螺仪转轴与磁场方向垂直和平行两种条件下,电磁阻力矩与磁感应强度、角速度、电导率等参数依赖关系的表达式,进而给出了磁场...     

音频信号分析仪制作与讨论

本文作者作为指导教师参加了2007年全国大学生电子设计竞赛,指导学生设计制作了具有鲜明特色的音频信号分析仪,并获得专家的好评。本文展现了作品设计报告的主要内容,同时也表述了参赛的体会和感想,并对赛题、测试方法和评比标准作了初步探讨,相信对今后的竞赛会有所助益。     

以竞赛促进专业核心应用能力培养的探索

在现有教育环境下,如何提高大学生专业核心应用能力,满足专业技术领域的人才需求,是摆在各高校面前的重要课题。本文介绍了我校以竞赛促进专业核心技术应用能力培养的一些具体做法。实践证明,建立科学、完善和合理的竞赛机制,不仅能促进和带动专业核心技术应用能力培养,还能进一步激发学生对专业理论学习的热情,更有利于促进实验室开放,可有效的提高专业人才培养质量。     

An ant colony algorithm for minimum unsatisfiable core extraction

Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of hardware. Furthermore, a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest. A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infeasibility and is valuable for applications. However, little attention has been concentrated on extraction of minimum unsatisfiable core. In this paper, the relationship between maximal satisfiability and minimum unsatisfiability is presented and proved, then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the relationship. Finally, experimental results on practical benchmarks compared with the best known approach are reported, and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.     

一道2016年全国大学生数学竞赛试题的注记

对2016年全国大学生数学竞赛的一道试题做出了推广.     

征文通知

正第十三届现场可编程技术国际会议http://www.icfpt2014.org2014年12月10-12日,上海第13届IEEE现场可编程技术国际会议(ICFPT-IEEE International Conference on Field Programmable Technology)将于2014年12月10日~12日在上海博雅酒店召开。大会前一天12月9日举办FPGA Design Contest设计竞赛预赛。本次会议由复旦大学主办,并受到了IEEE CEDA Shanghai Chapter及SSCS学会、EDS学会等多家学术组织和Xilinx、Altera、华为、Synopsys等公司的支持。