学习使用计算机建立通信系统仿真模型的基本方法及基本技能，学会利用仿真的手段对于实用通信系统的基本理论、基本算法进行实际验证；
上传时间： 2016-10-17
上传用户：zhengzg
验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
上传时间： 2016-10-30
上传用户：tedo811
本文主要描述了如何利用汇编语言编写一个能够实现网络之间信息传递的聊天程序系统.并介绍了无连接协议的SOCKET编程模型,以及阐述了聊天程序的设计目的前景和具体规划,还有聊天程序的商业运作.本论文共分为五部分. 第一部分简单的分析了即时聊天系统开发的可行性，并重点对技术可行性（选择VB）做了详细分析； 第二部分借助数据流图和数据字典对系统的功能和性能进行了详细的需求分析，建立了系统的逻辑结构； 第三部分利用VB程序设计了UDP聊天程序； 第四部分验证了设计的程序； 第五部分是此次设计的结论总结及部分参考文献和附录。
上传时间： 2014-11-15
上传用户：miaochun888
电话呼入模型——模拟泊松过程，验证其增量平稳性和独立性。
上传时间： 2016-12-03
上传用户：cuibaigao
1.任选一个C语言词法子集设计DFA模型 2.要求对C语言词法规则设计编码，最后编写成源程序并能输出正确的结果。 3.给出2个测试实例，一个正确的和一个错误的来验证本词法分析程序。 4.用文件输出单词属性表（名字为班号最后2位+学号.txt）
上传时间： 2016-12-16
上传用户：亚亚娟娟123
本书介绍了LDPC码的编、译码基本原理及各种译码算法；详细分析了LDPC码的特点、分析方法；对无线移动通信信道模型下LDPC码的性能进行了剖析。各章原理的叙述力求突出概念清晰，注重理论推导和仿真试验验证相结合。
上传时间： 2014-11-14
上传用户：maizezhen
用Simulink工具箱,对导弹仿真模型进行了模块化设计,条理清晰,信息流流向明确,具有很好 的可视化效果,增加了模块的可移植性。最后在一定条件下仿真得出了弹道及部分参数的变化结果,结果已经得到初步验证。
上传时间： 2017-01-30
上传用户：远远ssad
分析了排课的数学模型， 根据遗传算法本身特点设计了一种数据结构基因编码 ， 及几个涉及到的优化 目标评价函 数 ， 提出了利用遗传算法解决排课问题的方法， 并通过试验验证了该方法的有效性、 可靠性 ．
上传时间： 2014-01-25
上传用户：chenlong
数据资源模式手册 卷1 本书介绍通用数据模型，包括大量经过验证的数据模型，如人与组织、产品定制、装运和接收、预算背景、雇员资格和表现等，还有新的数据集市设计，包括财务分析、库存管理和装运逻辑。使用本书提供的数据模型作为基本模板，信息系统的建模人员可以在较高起点上启动数据模型建模和数据仓库建模工作，还可以根据企业需求和逻辑模型进行定制，加快数据建模过程和提高建模效率。本书适合作为数据建模人员的参考书。
上传时间： 2014-01-25
上传用户：tb_6877751
电路仿真器件模型,型号齐全，经验证可靠、实用。
上传时间： 2017-06-22
上传用户：a6697238
