摘要：本文主要介绍了教学平台信息系统的发展和汇编语言教学平台系统的开发思路。

摘要：本文借助于QuartusII软件在计算机上仿真制作了具有简单运算功能的运算器,由此我们一方面可以了解电路仿真的主要流程,另一方面可以验证运算器的功能。

摘要：比较澳大利亚的拉筹伯大学和中国的南通大学在计算机专业本科生课程设置方面的异同,发现澳方具有中方值得借鉴的优势:重视实验和实践这一教学环节;选修课学分在总学分中所占比例明显偏高;学习条件比较好;软件工程项目、程序设计项目注重理论联系实际;重视职业道德教育,反对抄袭行为;重视每门课程的教学质量;课程设置量少、实用、信息量大。

摘要：该文设计并实现了一个模仿现实生活中答疑课的VB答疑系统,系统设定答疑的时间,设定提问学生的人数,系统能定时、高效地运行。

摘要：该文在对VB实验教学系统进行需求分析的基础上,进行了数据库的设计,选择Tomcat作为Web应用服务器并阐述了如何设置端口、加载项目、启动运行,执行数据源配置与数据库连接操作,并最终实现了相应的功能需求。

摘要：黄庭坚曾形象地说苏轼的字如同“石压蛤蟆”,通俗地道出了东坡的书法字形偏扁,侧于一边,给人一种抑左扬右的感觉。而这种感觉在其代表作《黄州寒食帖》中最为明显,不仅单字如此,通览整篇亦然。不过《黄州寒食帖》中虽然单字横画密集,中宫收紧,字距紧密且下半部分字形较小者也居多,但通篇并无局促、拥挤之感,这得力于四个长竖笔画在视觉空间上的调节。该帖是一个不可分割的整体,是矛盾对比强烈,审美内涵丰富的艺术珍品。

摘要：组合电路等价性验证是数字集成电路设计自动化(EDA)中的重要部分,随着算术电路在现代计算机系统中的占比逐渐增大,传统的等价性验证算法在验证多比特算术电路,尤其是乘法器电路时面临挑战.对此,提出一种基于XOR-Majority Graph(XMG)逻辑表示的组合电路等价性验证算法.首先将2个待验证电路构建成的联接(Miter)电路进行XMG逻辑重写;然后在等价性一致的前提下对XMG的节点个数和逻辑深度进行逻辑重写优化;最后调用布尔可满足性(SAT)求解器和仿真器进行验证,得到最终等价性验证结果.实验结果表明,与ABC,Lingeling等工具相比,所提算法在验证时间上实现了平均489倍、最高1472倍的加速.

摘要：素描原本指单纯用线条描写，不加彩色的画，如铅笔画、木炭画、毛笔画等。它是一切造型艺术的基础。随着新闻学的发展，素描作为一种报道形式被众多的新闻工作者采用。事实表明，这种新闻文体，有着其它文体无法替代的报道功能。它可以将十分繁杂的事物用最精短的文字加以报道，其特征是，用线条简笔勾勒事物完整的轮廓。为什么要采用这样的报道手段，原因有三：一为事物本身所决定。

摘要：1.建国30年最佳普票有2套第8期《试论孙传哲邮票设计中的中国绘画艺术思想》一文称“《花卉》是建国30年唯一获奖的普票”,这与事实不符。除普10《花卉》外,同时还有万维生设计的普20《北京风景》也获建国30年最佳普通邮票的荣誉。

摘要：全面、系统地论述了在电机计算机辅助设计中经常用到的三次样条插值函数的定义及求取方法,同时也指出了三次样条插值函数表达方法的多样性,即可以用节点处的一、二阶导数来表达。