【摘 要】
：
摘要：为了提高FPGA技术映射算法的质量，提出了一种基于布尔可满足性（SAT）的算法，在实现系统功能的前提下，可以将一个子电路映射到数量最少的查看表中。通过将该算法迭代应用于已经完成映射的电路局部，在许多情况下，可以使用更少的查看表来完成。 关键词：布尔可满足性；FPGA；再综合；映射优化；查看表 中图分类号：TP331文献标识码：A 文章编号：1009-3044(2008)35-2502-0
论文部分内容阅读
摘要：为了提高FPGA技术映射算法的质量，提出了一种基于布尔可满足性（SAT）的算法，在实现系统功能的前提下，可以将一个子电路映射到数量最少的查看表中。通过将该算法迭代应用于已经完成映射的电路局部，在许多情况下，可以使用更少的查看表来完成。
全文查看链接
再返回到图3中初始的LUT例子，下面的步骤将给出如何实现这些转换。图5是图3b的细节图，该图清楚地给出了CNF构造的内部连线及配置位。在这些步骤中，f代表需要进行再综合的锥面的函数，Xi代表输入向量x1x2x3=i和fi=f(Xi)。
全文查看链接
其他文献
摘要：为了实现Web智能检索，提出一种Web智能搜索引擎的模型，它是基于自然语言库和本体库对关键词进行解析，在AJAX模式中实现启发式检索，收集和使用用户反馈的重要叁数，并在此基础上设计和实现了一个Web搜索引擎。 关键词：智能检索；AJAX；Web智能搜索模型；自然语言；本体 中图分类号：TP391文献标识码：A文章编号：1009-3044(2008)24-1288-03 Design
摘要：多媒体技术的应用将使计算机进入家庭、艺术及生活的各个方面，从而极大地影响人们的生活及生产方式。为了提高《多媒体技术》课程教学的水平，增强高等院校学生对多媒体技术的应用能力，从而提高大学生综合素质水平，我们准备建立《多媒体技术》网络课程。本文将从《多媒体技术》网络课程的教学目的、教学优势以及对其资源库构建过程中所遇到的问题进行探讨、研究。 关键词：《多媒体技术》； 网络课程；资源库 中
摘要：提出一个BP神经网络的单数字字符识别算法的总体实现方案，实现单数字字符图像的采集、储存、识别和显示。根据BP神经网络的原理，把识别算法分成工作期算法和学习期算法，并采用VC 6.0软件，运用VC语言分别设计并实现其算法，用MFC设计了系统的显示界面，最终可以在液晶屏幕上看到字符的识别结果。结果显示运用该算法，单数子图像识别率在90%以上，而且学习次数越多，识别率越高。基于BP神经网络的单数
摘要：针对传统本科毕业论文的管理方式和问题，讨论了本科毕业论文管理系统开发的可行性和功能模块，然后利用LAMP平台实现了该系统的各个功能，为毕业论文信息化管理提供了新的解决方法。 关键词：毕业论文管理系统；PHP；系统设计 中图分类号：TP311.52文献标识码：A文章编号：1009-3044(2008)25-1449-02 Design of Undergraduate Graduatio
摘要：随着无线网络增值数据业务的不断发展，用户量及用户使用频度越来越大，增值无线系统也越来越复杂，迫切需要一种较为准确的用户行为模型对系统建设以及维护进行指导。而传统的语音业务模型由于业务形式大为不同，没有办法对无线数据业务用户的行为进行准确的分析和描述。为解决这一问题，该文通过对CDMA1X网络上开展较好的WAP业务数据的采集分析得到了WAP用户行为的数学模型。 关键词：CDMA；WAP；用户
摘要：作为常用的课件制作工具，Authorware生成的文件一般在打包后提供给用户。Authorware打包有两种方法，在打包发布时有很多细节需要注意。文章以Authorware7.0为例，对打包过程中常见的问题进行分析，并提出解决方法以供参考。 关键词：课件；Authorware；打包；问题分析 中图分类号：TP319文献标识码：A文章编号：1009-3044(2008)35-2484-02
摘 要：电子书包进入课堂带来了更加多样化的教与学的方式，而电子书包最核心的价值在于与传统课堂相融合，超越与变革现有教学模式，真正实现有效教学。本文在论述电子书包应用现状的基础上，介绍了“双课堂”理念，构建了云环境下基于电子书包的“双课堂”教学模式，并对该模式的应用提出了一些思考，以此探索如何利用电子书包进行有效教学。 关键词： 电子书包；双课堂；云平台；教学模式 中图分类号：G434 文献标志
摘要：该文在研究语音编码技术原理的基础上，详细研究了G.729A语音压缩算法实现过程，并在VC和DSP C5000 CCS2.0软件中对其进行了仿真，最后对G.729A语音压缩的结果和性能进行了分析。 关键词：G.729A；语音编码；共轭结构－代数码激励线性预测 中图分类号：TN912文献标识码：A文章编号：1009-3044(2008)26-1816-03 Performance Res
著/裴明熙（韩） 绘/李范埼（韩） 译/徐 涵 安静！现在介绍新转学来的同学。 Hello！我叫朴罗米，请多关照。 罗米是从美国回来的侨胞。 他在美国出生和上学。 本文为全文原貌 未安装PDF浏览器用户请先下载安装
摘要：软件开发和软件测试就像两兄弟，他们密不可分、协同合作，目标只有一个，那就是成功开发出高质量的软件。开发与测试之间的关系如此密切，让我们很难彻底的将两者严格的划分开来。单元测试做为测试的一部分，一般都由编码人员来承担，对于模块级一直都是谁编码、谁测试。因此测试不仅仅是测试人员的事情，作为编码人员也需要懂得测试的基本方法，以通过单元测试提交高质量的程序模块。 关键词：NetBeans；Juni