面向编译器测试的部分求值静态输入确定方法

在编译器测试中,基于部分求值技术的编译器测试方法在部分求值阶段时,必须由测试人员对具体的测试用例进行分析,然后手动指定程序中的一些变量作为静态输入,这种依赖人工手动指定的策略具有一定的盲目性,而且无法使测试过程自动化进行。为了解决这一问题,提出了一种基于变量依赖关系的源程序静态输入及其取值的确定方法,使基于部分求值技术的编译器测试框架的测试过程得以自动化进行,从而提高了测试效率。实验结果证明了本文方法的可行性。     

北京·Greyhound Café 百分百原装正版泰式风格

泰国潮流餐饮品牌Greyhound Café,于近日在新光天地开设第二家分店。休闲的装修风格和色香味俱全的佳肴,已经在北京掀起一股新饮食热潮。泰国Greyhound Café开业于1997年,是时装品牌Greyhound的延伸。它注入创新变化于简单食材之中,是首家以时尚餐饮概念打造的Greyhound式咖啡店,不只在泰国当地备受潮人追捧,就连《Fortune》杂志都把它评为曼谷最热门餐厅之一,将其列     

基于小波分析的比色测温波段选择

基于辐射测温原理,介绍了比色测温理论,为提高钢水的测温精度,对比色测温波长进行了最佳选择。搭建实验平台,获得了不同温度下的熔融金属辐射亮度曲线,通过小波去噪方法获得信噪比较高的亮度曲线,利用Matlab软件作出了波长选择的GUI界面。当滤波片中心波长选择为λ1=580nm,λ2=590nm时,测量误差满足了测量精度要求。     

辉煌水暖集团产品成为格鲁吉亚青奥村专用产品

本刊讯：2015年欧洲青年奥林匹克运动节将于格鲁吉亚举办，各行各业的体育营销战略也应运而生。辉煌水暖集团凭借优异的产品质量、精致的设计工艺，在2014年年初与格鲁吉亚青奥村组织正式签约，被格鲁吉弧青奥村指定为专用产品。     

复杂环境下定向爆破拆除63m高砖烟囱

采用定向控制爆破成功地拆除了复杂环境条件下63m高砖烟囱。针对其环境和结构特点,精心设计了爆破方案,选择了合理的爆破切口、爆破参数及起爆网路;同时,加强了爆破安全校核与防护,从而取得了良好的爆破效果。     

空军某部军事演练爆破背景布置的实践

为军事演练模拟爆破背景应用实验数据和理论参数详细描述了其布置的数据参数及方法,通过对不同材质的覆盖材料进行比较,选取了效果较为逼真的草木灰,经过多次实验,结合理论指导在模拟油库爆破中引入氧气流量,实现了远程控制,保证了爆破背景布置的可控性,达到了模拟爆破的逼真效果。     

汽流激振力下转子裂纹-碰摩振动故障研究

针对汽轮机机组在运行过程中出现的振动故障问题,在考虑汽流激振力情况下建立了转子系统故障分析模型.通过数值分析方法,对转子故障模型进行了研究分析.结果 表明:在综合考虑汽流激振力作用下多种非线性因素作用时,碰摩转子系统在临界转速的混沌区域明显减小,并出现有幅值较大的1/4、3/4倍频.当裂纹深度增加时,故障转子系统的混沌区域逐渐减小;在超临界转速区域系统响应呈现出较长的周期3运动,频谱图上主要体现为3/4、2倍频.研究结果为进一步的故障问题分析诊断提供一定的理论依据.     

各国对电子废弃物的回收利用

电子垃圾指各类报废的电脑、手机、电子产品等,虽说是垃圾,却仍具有很高的利用价值;从一些废旧手机、电脑等部件中,可以挑出含金银铜的元件,提炼出黄金等贵金属。但是,如果处理不当,电子垃圾中的汞、铬、铅等重金属会对环境和人类健康形成严重危害。     

亲殇：亲情，事业只能二选一？

亲情是一股流不完的血液 张桥见到记者时，说的第一句话是：“对不起，我现在记性不太好。”两个月前，医生告诉张桥说他患了间歇性失忆，因此在整个采访过程中，张桥的手不曾离开过那本厚融日记本。