基于E语言和OVL库的功能验证方案

提出了一种基于E语言和OVL库的功能验证解决方案，此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级。使用这种方法可以有效地缩短设计周期、降低设计成本，提高验证效率和质量。     

而对系统复杂性提升 Mathworks力推“基于模型的设计”方法

伴随着对功能性要求的增加，今天的电子系统越来越复杂。而与此同时我们也发现，不同类型的半导体器件正在向彼此传统的应用领域相互渗透，如微控制器、DSP和FPGA等器件在某些场合就构成了相互替代的竞争关系。这些     

从图像的二维谱分析现行电视的缺陷

从图像的二维谱可以得出现行广播电视图像为什么不能满足人眼的视觉匹配以及现行电视制度的不足 ,从而对未来的高清晰度电视发展提出要求。     

基于SOI的双极场效应晶体管

在分析了双极型晶体管和场效应晶体管各自的特点和不足后，介绍了一种既具有双极型晶体管较大电流容量和功率输出，又具有场效应晶体管高输入阻抗的电子器件——双极MOS场效应晶体管(BJMOSFET)，同时指出体硅BJMOSFET的阳极扩散区与衬底之间存在较大的漏电流，可产生较大的寄生效应。提出了一种新型固体电子器件——基于SOI的BJMOSFET，分析了其工作原理j与体硅BJMOSFET比较，由于SOI技术完整的介质隔离避免了体硅器件中存在的大部分寄生效应，使基于SOI的BJMOSFET在体效应、热载流子效应、寄生电容、短沟道效应和闩锁效应等方面具有更优良的特性。     

分组密码算法芯片验证

介绍了分组密码算法芯片验证的流程、内容和方法,详细介绍了分组密码算法芯片的验证技术——测试基准。     

对基于交换网络分层结构的软件无线电方案的改进

通过比较各种软件无线电结构的优缺点,针对既具有交换网络结构又具有分层结构优点的基于交换网络的分层无线电结构方案,提出了部分改进思想。     

《时分的认识》教学设计——网络环境下的小学数学互动的实践

小学二年级的学生其年龄特征还处在具体形象思维阶段，对抽象事物的想像力比较薄弱。在运用计算机方面，会进行一些简单的操作，如已掌握了鼠标的使用方法，键盘录入的方法，也会根据老师的要求点击进入指定的网站等。他们对新鲜事物有着强烈的好奇心，并愿意与小伙伴一起合作．共同完成学习任务。     

二战前后的两重心境——听肖斯塔科维奇两首作品有感

2月25日晚，广州交响乐团在星海音乐厅演出了肖斯塔科维奇的第一小提琴协奏曲和第四交响曲。笔者是第一次在现场听这两首作品，自然感慨良多。苏联时期的文艺作品，留下了一些“悬案”，如作家肖洛霍夫的《静静的顿河》，曾被怀疑是瓢窃他人之作，后这一指控基本上被否定了。作曲家“老肖”，也有一些关于他的创作的真伪莫辩、引起争议的“资料”。因此，演奏者和听众，可以像“红学家”们探索《红楼梦》一样，对其作品作出自己的解释。笔者也不揣冒昧，谈一点纯属个人的理解。     

可重定位的基于事务的系统级验证

功能验证已经成为开发SoC的主要问题。随着一些复杂SoC的规模超过两千万门，以及对开发和集成嵌入式软件的需求持续增加，软件模拟器已经力所不及。在设计过程需要几百万个时钟周期来充分测试和验证软件功能的情况下，软件仿真器的性能下降到1-5Hz。按照这种速率，软件调试需要几年的时     

锰铜基高阻尼合金中锌量的测定──硫氰酸盐萃取分离络合滴定法

基于甲基异丁基甲酮于稀盐酸介质中定量地萃取Ｚｎ￣（２＋）与ＣＮＳ￣－形成的络阴离子。从而达到与共存的锰、镍、铝、铬的完全分离。在有氟化物、硫脲存在时Ｆｅ￣（３＋）、Ｃｎ￣（２＋）和Ａｇ￣＋也不被萃取。有机相中的锌于ＰＨ５．５“六胺”缓冲介质中返萃取回水相，用ＥＤＴＡ滴定。在文中给定的条件下锌的一次被萃取率可达９９％以上，成功地解决了锰铜基高阻尼合金中共存离子对锌量测定的干扰问题。