简介:蜕变测试可解决测试Oracle问题,但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法,通过该方法构造的蜕变关系,集合了复合蜕变关系的所有特点,具有较高测试效率。试验验证表明该方法有效。
简介:摘要:蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例蜕变关系和线性组合蜕变关系两种情况进行试验验证。结果表明,计算误差中蜕变关系判定影响显著且判断准则有效。
简介:在当今时代,无线电管理究竟是一种怎样的管理,它主要管理的对象是什么.如何使无线电管理的对象和方式更加科学完整和有效,都是值得思考的问题。特别是随着社会经济发展.各个行业对无线电依赖的程度不断扩大和加深.促使无线电管理应当进一步理清其管理对象的具体内容。
简介:HISiSuppli公刊发布的一项新研究硅示,2012年智能电视的全球出货量达到了6600万台,占全球电视出货量的比莺超过四分之一,较2011年的5200万台相比增长了27%
简介:<正>2012年,于中国光伏产业,似末日之年,也是重生之年。我国光伏产业经过几年爆发性增长,一跃坐上太阳能电池及组件产量世界头把交椅。然而,"两头在外,中间过剩"的畸形发展模式,终于使光伏产业在欧美"双反"的导火索下,不得不开始"寒冬"中的生存之战。生死劫难:产能过剩+贸易壁垒2012年,全球经济环境的持续恶化使光伏产业"两头在外,中间过剩"的畸形路径无以为继,行业开始经历各种生死劫难:欧美竖起贸易壁垒、国内产能过剩加剧、行业全面亏损、企业债务高筑、停产风波愈演愈烈……对于我国光伏产业而言,2012堪比"世界末日"。
简介:本文运用R软件对多个国家的需求总量情况进行分析,最后根据分析结果,将这19个国家分为了三类。
简介:<正>货币供应量,是现在许多经济媒体、专家甚至老百姓都关心和讨论的热门话题。大家关心货币供应量对中国经济的影响,讨论最多的是中国的货币供应量是不是太多了?经济学家和政府官员站出来列举各种数据,说现在中国的货币供应量已经超过103万亿人民币了,是我们当前GDP的两倍,已经超过美国的货币供应量10万亿美元。但由于货币供应量数据统计的局限性,且中国和美国M2的数据组成不完全相同,我们不能迷信货币供应量对货币政策的参考价值。
简介:能效逻辑采用“由内而外”的方法推动IT负载能效及支持系统能效的改进。这种方法更具策略性:在降低IT组件和设备层面能耗的同时,降低支持系统能耗,这使节能效应进一步放大——能效逻辑也正是这种级联节能效应,使数据中心能耗大幅度地降低。
简介:近年来,电子学领域出现了引人注目的重要进展。新的研究成果将会进一步促进电子信息技术的发展。介绍了电子学在这些领域,包括自旋电子学、聚合物电子学、BEC凝聚态激光和巨磁致电阻存储器(MRAM)的研究情况,并对其可能的应用前景进行了讨论。
简介:央行4月11日发布的统计数据显示,3月份新增贷款1.06万亿元。同时,3月末,中国货币供应量余额103.61万亿元,同比增长15.7%,首次突破100万亿大关。截至2012年底,我国货币供应量余额为97.42万亿元,是美国的1.5倍,美国当时的货币供应量为64.71万亿元。从2002年初的16万亿,到如今超过100万亿,十多年里我国货币供应量增长超过6倍,货币是否超发再引争议。
简介:选几件有代表性的卫税附属器材与为大家分享,这是一款专业级别的HUGHES品牌高频头.包括头子上的另类小内六角丝。此头洁白如雪、细腻、滑润如玉。每一处都散发着王者气息。彰显尊贵品质!是国际上认可有较高知名度的名头。HUGHES休斯高频头就是属于之中。
简介:信息管理与信息系统专业在实践教学中存在的一些问题干扰了该专业的发展与应用,本文从这些问题着手进行研究,提出了一系列实践教学措施来对该课程进行改革与创新。
简介:一巨变与挑战1.技术发展进入二十一世纪,电视技术在全面数字化的基础上,逐步进入信息时代。
简介:网络的发展改变了人们的生活,科技更是推动了经济的发展。现代化的楼宇网络建设中,整栋建筑物或者建筑群是作者进行综合布线的主要体现,综合布线系统主要用于建筑内部的网络传输,它是将语音、数据以及图像等综合的连接到一起,并与外界通信网络连接。这种综合布线的设计具有扩展性、开放性和灵活性的特点,并且具有一定的独立性。本篇文章综合的介绍了网络布线系统的组成及设计,并指出在具体实施中应注意的问题。
简介:FPGA已经被广泛用于实现大规模的数字电路和系统,随着CMOS工艺发展到深亚微米,芯片的静态功耗已成为关键挑战之一。文章首先对FPGA的结构和静态功耗在FPGA中的分布进行了介绍。接下来提出了晶体管的漏电流模型,并且重点对FPGA中漏电流单元亚阈值漏电流和栅漏电流进行了详细的分析。最后根据FPGA的特点采用双阈值电压晶体管,关键路径上的晶体管采用低闽值电压栅的晶体管,非关键路径上的晶体管采用高阈值电压栅的晶体管,以此来降低芯片的静态功耗。
简介:直流系统作为发电厂和变电站的操作电源,它应在任何事故情况下,都能可靠和不间断地向厂用设备供电。是所自用电中最重要的组成部分
简介:本文通过对北斗系统时间BDT的认知与应用.介绍了时间系统、授时及资源综合应用等问题,将有益于北斗系统组合PNT应用与标准化。
简介:本文阐述了网上购书系统的整体开发过程。介绍了系统的开发环境以及开发工具,对于设计思想和设计流程也做出了全面的叙述,在数据库创建思想以及各个数据表之间的具体关联等方面也做出了详细说明,并且具体剖析了系统各个功能的实现过程以及详细设计过程,在绘制简单系统功能模块图的同时,力求更加清晰地表明设计思想以及对整个程序设计的规划及具体实现。并对现行系统存在的问题进行了分析,同时提出网上购书系统的设计目标,并从技术、经济、运行三个方面进行了可行性分析。
简介:数字信号的处理技术最为重要的组成部分就是数字滤波器,现阶段,数字滤波器普遍运用在整形、信号分离以及恢复等地方,FIR滤波器由于其有着严格的线型相位特征而运用非常普遍,本文利用系统研究数字,借助系统探讨数字滤波器其基本理论和基于现场可编程门阵列(即FPGA)的实现方法,并给出了通过MATLAB的仿真软件设计出能够符合规范的数字滤波器且对其实施仿真验证。
简介:XML作为一种国际化的通用标记语言,广泛应用于IT产业的各个领域。数据交换是XML的重要应用之一,平台间的接口就常采用它来实现。数据接口一般都较为稳定,但也不尽然。本文就是为了应对XML接口格式的频繁变化,探索并提出了一种全新的解决方案,设计和研发了基于数据库的XML脚本及其实现引擎。该引擎已通过了北京同方卫康科技有限公司的测试,应用于实践。
基于复合函数的蜕变关系构造方法
蜕变关系判定中计算误差分析
浅谈无线电管理对象的主要内容和相互关系
智能电视出货量增加
光伏产业:生存逻辑再思考
基于聚类分析对多个国家空调总需求量的研究
不要迷信货币供应量对货币政策的参考价值
能效逻辑2.0:降低数据中心能耗成本及提高容量的新策略(下)
21世纪初电子学新进展——评介与展望
我国货币供应量首次突破100万亿10年翻6倍
我的卫视器材与你分享
信息管理与信息系统专业实践教学的改革与创新
从AV和IT的融合到技术与服务的融合
智能楼宇网络布线的设计与实施
FPGA的静态功耗分析与降低技术
电厂直流系统的运行与故障处理
北斗系统时间(BDT)的认知与应用
新华书店系统的设计与实现
基于FPGA的数字FIR滤波器的设计与仿真
基于数据库的Xml脚本引擎的设计与实现