基于贝叶斯网络的验证激励向量生成研究

为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的 比于传统动态验证技术而言其芯片功能验证更完善。     

IP核的可重用验证方案研究

在IP产品开发中,验证工作是一个非常关键的部分,高效、可靠、全面的验证工作是IP模块开发成功的保证。本文提出了一种可重用IP核的验证方案,该验证方案的架构是基于面向对象的设计方法,验证模块中采用高级语言程序接口,而不是实际的I/O接口,有利于提高IP设计验证代码的可读性、可维护性、可重用性和可扩展性,提高验证效率。     

纠错编码原理分析及（15,7）BCH循环码设计

利用Verilog HDL语言设计（15,7）BCH循环码,分析了纠错编码原理及BCH循环码纠错的特点.通过ModelSim仿真软件进行了相应的验证,能够纠正两个以内的错误.     

HyperSpector:一种基于UEFI的VMM动态可信监控基方案

针对云平台运行面临的安全威胁,传统面向启动过程保护的可信硬件技术不能提供足够的保障。为保障虚拟机监控器（Virtual Machine Monitor, VMM）的安全,提出一种基于统一可扩展固件接口（Unified Extensible Firmware Interface, UEFI）的VMM动态可信监控基框架HyperSpector。该框架以UEFI固件为可信基,对VMM动态进行实时度量,相对于传统防护措施,提供更加安全可信的动态防护。依照该框架,构建一个面向Xen虚拟化软件的UEFI动态可信监控原型系统。实验表明,该框架不仅能够实时监测到针对虚拟化软件的攻击,而且不影响用户使用,同时达到了保障虚拟机监控器安全的目的。     

基于Qt的Verilog故障注入工具设计与实现

为方便设计人员验证电子电路的可靠性,设计了基于Qt的Verilog故障注入工具。该工具通过语法语义分析器解析Verilog源文件,获得代码中全部故障注入点;采用故障注入管理器获取用户故障注入参数并传递给底层函数,实现对Verilog工程的故障注入。实验结果表明,该故障注入工具能够根据用户指令对Verilog工程进行故障注入,对电路的容错机制进行可靠分析和评价,对电子电路的容错方案设计有很大帮助。     

用Verilog设计实现异步双向计数器

介绍了一种利用Verilog设计实现异步双向计数的方法,给出了主要的可综合Verilog代码,通过仿真验证,可以实现双向计数、异步置数、清零等功能,达到了设计要求。     

基于生成对抗网络与 FACS 的面部表情合成研究

为实现从单张图片合成连续变化的目标表情,提出一种基于生成对抗网络（GAN）和面部表情编码系统FACS（Facial Action Coding System）的表情合成方法。通过提取面部表情 AU（Action Unit）作为生成表情的一种约束,利用生成对抗算法合成目标表情,这种结合表情编码的合成更具合理性。同时在网络中引入注意力机制,使网络在特征提取阶段更关注表情变化。实验表明,该方法能够克服图像中的光照和背景影响,合成表情具备连续性和真实性。该合成表情方法可应用于数字娱乐、影视制作等领域。     

基于宽带路由器的DNS服务策略在校园网中的应用

校园信息化建设已进入宽带时期,很多学校的校园网通过宽带路由器共享上网。在系统介绍域名服务基本概念和核心技术的基础上。设计了一种基于宽带路由器的DNS（Domain Name System,域名系统）服务策略,能够保障所有内网客户机对内部应用服务器和Intemet资源的域名访问,实现对不同数据流合理有效的管理,从而充分有效地利用网络传输带宽,为校园网建设提供了一种安全、可靠、实用的解决方案。提高了网络的整体效率。     

基于ACIS平台的产品特征识别系统的实现

结合ACIS（Andy Charleslan’s System）几何平台的数据结构、图结构、开发接口,研究了基于ACIS几何平台的产品特征识别实现的技术,包括识别方法、识别流程等．识别实例验证了具体实现产品特征识别的有效性．     

用Verilog语言设计任意次ASIC分频器

介绍Verilog在数字电路设计中特别是分频器中的应用以及它相对的优越性。基于现在常用的计数器设计思想,具体给出了任意偶数次分频和任意奇数次分频的可重复使用的Verilog代码,通过了EDA软件ModelSim的仿真验证,得到了ASIC的RTL结构图。两段代码给其他数字逻辑电路设计人员提供了现成的设计模版,可以大大减少设计时间。     

卡思卡特城堡

It is worthy of noting that, whilst Crookston Castle witnessed the earlier and happier portion of Mary's variegated life,     

不同的吃喝玩乐

一、吃和喝吃苹果 eat an apple, 吃药 take medicine,吃糖 have some sweets,吃饭 have one's meals,吃馆子 dine out,吃惊 be surprised/     

漏洞百出的教育

Many college freshmen arrive woefully unprepared to do college work, and as disadvantaged populations continue to grow, the share of the American work force that has made it through college is expected to plummet. Many experts blame that educational failure not just on high schools but also on colleges. School & College, a special report by The Chronicle, looks at efforts to fix the system. What reforms would better prepare students for college? What should schools and colleges be doing differently? How should state and federal officials help?     

Western and Eastern culture differences in commercial field

The communication of people partially is the communication of cultures. Culture has a direct effect on international commercial activities in all aspects. Different conceptions about time, space, equality, law and the like, lead people to deal with things in different ways. So to know cultures of the counterpart is to facil-itate our enterprises so as to have a smooth and successful communication in commercial activity.     

只要努力,不要后悔

There are numbers of crossroads on our long and unpredictable life journey where we totally have no idea about which direction to choose. No matter what our decision is, we should not turn back, but face the music and go ahead instead. I am this kind of girl who always does try without regretting, one example is how I dealt with my love.     

浅谈移民问题

Migration occurs behind a variety of reasons and has a great effect on the whole world. People may migrate in order to improve their economic situation, or in order to escape civil strife, persecution, and environmental disasters. The impact of migration is complex, bringing both benefits anddisadvantages. This paper briefly talks about the causes of migration, the allocation of benefits, and the ways in which individual countries and the international community deal with this important subject.     

Sister Carrie, an Adherent of Desires

Sister Carrie is one of the most controversial characters in American literature.Thought as a "fallen woman" firstly,she was defined as a "new woman" by some critics later. However, by digging into the motivaton behind the whole process of Carrie's "success", the relationship between Carrie and her creator (the author), the social conditions of then American, it can be found that Carrie has never been free-standing on her thought and she has never found her real-sdf even after becoming a famous actress. In a society dominated by mass consumerism Carrie is only an adherent of her own desires. She also is a representative of all those country girls flooded into cities, a symbol and a sacrifice of the urbanization of America in a time countryside was overcome by cities.     

Improvement of one-cycle controller by use of proportional integral differential controller

1.IntroductionOne-cyclecontrolmethod,whichwasproposedaboutonedecadeago[1],hasbecomeanattractivemethodinspecialfieldssuchaspowerfactorcorrection[2-6],switchingamplifiers[7,8],etc.Themainideaofthiscontrollerisbasedonintegrationofdiodevoltageinone-cycleandforcesittobeexactlyequaltothereferencevalue.Themainadvantageofthiscontrollerisitsrealtimeabilitytorejectthevariationofinputvoltage[1].Despitethisgreatability,ithasnogoodperformancesinrejectingofloaddisturbanceandfollowingreferencecommands.Espec…     

风的曲线

Rosco and I wait for the fishermen to return.I sit at a wooden bench near the store at Mt.Baker Resort and watch the clouds change shape. Rosco has my belt around his neck and an eight foot tow chain hooked to a tree. Dogs must be on a leash. Ducks and rabbits are loose.