验证论文

论文摘要满足各种时间约束是实时嵌入式系统设计的一个重要目标。通常,时间约束要求实时系统在满足功能性需求的同时,还必须保证系统行为的时效性,即系统必须在确定的时间内执行其功能。中...

论文摘要随着Web服务技术的兴起,为了在企业级构建合适的基于SOA的应用系统,如何正确的Web服务组合和验证成为业务流程建模的关键的步骤。在业务流程建模中,Web服务组合验证能...

论文摘要随着计算机体系结构、电路设计技术和集成电路制造工艺的发展,处理器的性能飞速增长,为了使系统的整体性能达到最佳,必须设计合理高效的存储系统。其中SDRAM存储器时序要求复...

论文摘要汽车启动机的性能参数便是衡量整车性能和可靠性稳定性的一大重要指标,对启动机的性能参数进行检测验证也就成为了汽车启动机生产研发过程中所必不可少的一个阶段。由于传统的启动机...

论文摘要随着北斗导航系统建设的不断发展,北斗卫星导航系统必将会得到越来越广泛的应用,从而产生巨大的社会和经济效益。本论文源于项目“北斗二号RNSS用户设备半导体集成电路设计”。...

论文摘要随着微电子技术的发展,超大规模集成电路的集成度越来越高,基于片上总线的SoC（System-on-a-Chip）在设计上遇到了全局时钟难以同步、地址空间有限、无法支持多...

论文摘要通用串行总线(UniversalSerialBus,USB)自问世以来凭借其价格低廉、使用简单、协议灵活、接口标准化和易于端口扩展等优点,迅速占领了计算机外设接口领域的...

论文摘要积雪作为一种特殊的下垫面,以高反射率、低导热率以及融雪水文效应对地球能量和辐射平衡以及水循环产生重要的影响。新疆是我国三大积雪区之一,对该区的积雪进行监测,了解其时空分...

论文摘要面向对象(OO)程序语言和开发方法的发展较好满足了软件规模快速发展的需要,带来了计算机软件领域的重大变革。近年来,随着社会对软件系统可靠性和正确性要求的不断增强,开发出...

论文摘要Web服务作为SOA的一种实现方式,解决了分布式异构平台的互操作性和服务组件的松耦合性问题。安全是广泛实施Web服务的基础,包括消息完整性和机密性、访问控制、认证授权、...

论文摘要自助设备管理银行系统,是针对用户设备管理程序,用户、组织机构、权限管理程序,系统监控程序、故障管理程序、报表管理程序等功能集于一身的监控管理系统。它可以规范金融机具服务...

论文摘要随着集成电路技术的不断发展,市场对芯片产品提出了更高的要求,它们必须拥有更强的功能并且体积更小、功耗更低、价格更合理才能在激烈的市场竞争中获得一席之地。在基于IP重用的...

论文摘要随着半导体工艺的发展,芯片设计的规模和复杂度日益增大,传统的验证方法已经满足不了当今的芯片验证中遇到的许多问题。以科学验证理论为基础的新的高效的验证方法,是芯片功能验证...

论文摘要目前,一卡通系统在许多领域得到应用,在我国的教育行业中,校园一卡通系统得到了长足的发展。越来越多的高校成功的实施了校园一卡通工程,为学校的各方面管理提供了极大的方便。随...

论文摘要串行外设接口SPI(Serialperipheralinterface)是由Motorola公司提出的一种高速高效的接口技术,支持全双工、同步的串行通信方式。而SD卡(...

论文摘要进入21世纪,随着科学技术的迅猛发展,便携式数码设备成为了人们日常生活中不可缺少的组成部分。设计高效率、高音质的音频放大器可以推动数码设备继续向着高保真化、微型化、多功...

论文摘要针对空间环境应用的霍尔电流传感器的开发需求，本课题提出了改善产品的线性度、精度等指标的参数要求和改进手段及验证，并对霍尔电流传感器空间环境的适应性设计进行了验证，并给出...

论文摘要USB3.0的传输速度比目前数据传输水平快10倍以上,采用与现有的USB相同的架构,具有后向兼容标准,支持未来的光纤传输,并兼具传统USB技术的易用性和即插即用功能。本...

论文摘要由于物体红外辐射场技术和海面红外辐射场技术的发展,海面物体特性模拟和海天背景特性模拟已成为国内外研究的重要内容。为了使已有的模型能够反映原物体的真实特性,必须对模型进行...

论文摘要植物甾醇（PS）是以环戊烷全氢菲为骨架的一类天然活性物质,能够抑制人体对胆固醇的吸收,但天然的植物甾醇较差的溶解性（水中不溶,油相中溶解度低）,限制了它们的应用。为了改...