搜索资源列表
指南：测试用例
- 测试用例是为某个特殊目标而编制的一组测试输入、执行条件以及预期结果，以便测试某个程序路径或核实是否满足某个特定需求。-Test Case for a special target and the establishment of a group test input, the conditions of implementation and expected results, procedures to test certain path or verify whether they meet
DSP_DESIGN
- 基于C54X的DSP载波数字解调系统的设计，该硬件系统工作稳定，可以实现信号的实时处理，如可以实现语音信号的实时处理，通信信号的实时调制解调灯。在此基础上，为了验证DSP芯片的高性能，在此硬件平台上实现了两个具体应用：一个是高性能的FIR数字滤波器；一个是2FSK数字解调算法的实现。-C54X DSP-based carrier digital demodulation system design, the hardware system stability, can achieve the r
Test07
- 确认测试又称有效性测试。任务是验证软件的 功能和性能及其他特性是否与用户的要求一 致。 • 对软件的功能和性能要求在软件需求规格说明 书中已经明确规定。它包含的信息就是软件确 认测试的基础。 确认测试（Validation Testing） PDF 文-confirmation test also known as the effectiveness of testing. Task is to verify software functionality a
1
- In a preemptive priority based RTOS, priority inversion problem is among the major sources of deadline violations. Priority inheritance protocol is one of the approaches to reduce priority inversion. Unfortunately, RTOS like uC/OS can’t suppo
Verifying_the_Quality_of_Your_Testbench_with_code_
- Testbenches have become an integral part of the design process, enabling you to verify that your HDL model is sufficiently tested before implementing your design and helping you automate the design verification process. It is essential, therefore
Abaqus6.8.1_运行用户子程序_软件,设置,Verify_非常详细版!.doc
- ABAQUS VERIFY 运行用户子程序_软件,设置,Verify_非常详细版!.doc
SPH-for-dambreak
- 光滑粒子方法是一 种新近发展 的可用于流动模拟的无网格数值方法 ,理论上能够适应任意变形 ,在模拟流体流动的剧烈变形时有显著的优势 但是流动的初始、边界条件和一些计算数的选取都会对计算结果产生较大 的影响 作者基于 方法 的基 本原理 , 全面考虑了各种定解条件的设置 , 独立发展 了一 套用于模拟不可压 自由表面流动的 程序 , 并应用 于溃坝流动的模拟 之 中 模拟结果 与 和 经典 的结果非常吻合 ,验证 了方法的准确性,为 方法的一 步发展和广泛应用奠定 了一定的基础
uppaal
- uppall开发工具的应用，可以用来验证系统的可靠性-uppall application development tools can be used to verify the reliability of the system
DaVinci-H_264
- 为实现基于达芬奇平台的视频系统，本文研究H.264视频编码算法移植和优化方法，针对达芬奇平台实现算法的xDM封装，以便算法通 codecEngine框架调用。基于QT设计并实现一套数字媒体处理算法的 Codecserver自动部署系统，具有快速集成、验证与修改xDM算法的功能，解决达芬奇平台上算法的CodecServer集成和应用程序部署不便的问题。 -DaVinci platform video system, this paper H.264 video coding algor
L297298
- 介绍了步进电动机的发展史,及国内的现状和步进电动机未来的应用前景。并且阐述了步进电动机转速、角度、转矩的控制原理。本文阐述了一种步进电机控制器的设计方案，并绘制了原理图和PCB板图，撰写了程序源代码。实现了对步进电动机转速、角度的控制，并完成了实物的制作。这期间主要使用protel99se软件绘制原理图和制板，使用proteus7.1软件进行程序代码的仿真和功能的理论验证。最后通过硬件的调试验证程序代码的实际功能，完成对控制器的设计。-Introduced the development his
GUI_design_of_QtEmbeded_and_Qtopia
- 介绍了Qt/Embedded和Qtopia的体系结构及其交叉编译过程与安装过程，重点讲述了如何实现Qt/Embedded下的应用程序以及如何将应用程序移植到Qtopia桌面系统。本文介绍的方法在笔者的开发平台上都做过验证。-Introduced the Qt/Embedded and Qtopia architecture and cross-compiling process and the installation process, focus on how to achieve the Q
erweiguancha
- 建立二维投影（以glOrtho函数）实例工程，通过修改参数，验证二维窗口到视口影射关系，以及裁剪效果，包括点裁剪、线裁剪、面裁剪和字体裁剪等效果。-The establishment of two-dimensional projection (to glOrtho function) examples of works by modifying the parameters of two-dimensional window to verify, as I insinuate, as well
GA_missile_trajectory_simulation
- 提出了一种空面导弹下滑段、俯冲攻击段的弹道优化设计方案,以及一 种实现航向动态跟踪的具体方法。大量算例表明,采用本文中的空面导弹控制 方案可以设计、调试出较满意的弹道,达到获取导弹飞行性能数据并验证导弹总 体设计参数的目的。 -A decline in air-surface missile paragraph, paragraph ballistic dive attack to optimize the design of programs, as well as a cou
ADAMS
- 基于ADAMS的二级直齿齿轮减速器运动仿真 本文简要介绍了虚拟样机的含义，并就二级直齿齿轮减速器，利用ADAMS软件进行简单的运动仿真，直观再现传动过程，通过理论计算验证模型的正确与否。-ADAMS Based on the two straight-tooth gear reducer simulation exercise in this article briefly introduce the meaning of the virtual prototype, and two str
MATLABPIDkongzhiqisheji
- 设计一种基于Matlab的PID控制器，利用仿真功能验证其合理性-Designed a Matlab based on the PID controller, the use of simulation to verify its reasonableness
GeneralDesignOfElectronic
- 电子技术综合设计实验报告 采用555定时器，由555产生方波信号，方波经RC积分电路积分后即可得到三角波，再由三角波通过RC积分电路得到正弦波，该方案集成度高，同时产生正弦波的方法简单、易调。但实际遇到种种困难不能在短时间内解决，所以又设计了用运放电路产生正弦波的电路，并验证了其正确性。-General design of electronic technology experiment using 555 timer report, produced by the 555 square-w
LOGIN
- 要求用户名字和密码完全正确的验证正确才能登陆 连接数据库-Requires a user name and password completely correct in order to verify the correct landing connect to database
P2P
- p2p成果出来以后，要对p2p算法和性能进行评价，p2p模拟器可以正确性验证并对协议的性能进行分析，本文就介绍几种常用的模拟器。-After the results from p2p, p2p algorithm and to evaluate the performance, p2p simulator can verify the correctness and analyze the performance of the agreement, this article will intro
TheoreticresearchondoubleCCDstereoscopicmeasuremen
- 利用几何成像原理建立起CCD 双目立体视觉测量系统的数学模型,从提高系统测 量精度出发,在理论上重点对系统结构参数、图像识别误差与系统测量精度的关系进行了深入的分析和探讨,并通过实验对结论进行了验证。研究内容对实际建立该测量系统具有很强的指导作用。-Established the principle of the use of CCD imaging geometry binocular stereo vision measurement system of mathematical mo
WebServicesSOA
- cnki优秀论文 本文首先从OSA架构和WbeSevriecs技术理论知识入手，阐述了两者间的关系， 并通过论述当前基于WbeServiecS的SAO架构设计方法方面存在的不足，构建了基 于WbeSevriceS的SOA整体架构模型，完成了模型的各部分实现，最后通过一个例 子的模拟验证了这一设计方法的优越性。 -This article first cnki outstanding papers from the OSA framework and theoretical kno