基于贝叶斯的软件错误定位方法

为提高基于程序切片和覆盖信息的传统错误定位技术的效率,提出一种基于程序动态切片和贝叶斯相结合的错误定位方法。针对程序执行轨迹计算动态切片,减少搜索空间;在切片后覆盖信息的基础上,利用贝叶斯公式计算相关语句的可疑度;根据语句可疑度降序排列语句,依次检查直到找出真正的错误语句。实验结果表明,该方法能够在一定程度上提高软件错误定位的效率与精度。     

16GB专业卡AMD FirePro W9100发布

正近日,蓝宝科技与AMD携手共同发布了AMD FirePro W9100专业显卡,这也是全亚洲首次进行实体发布。AMD FirePro W9100在业界率先提供16GB GDDR5超高速显存容量,超过2 TFLOPS1双精度浮点计算,是目前业界最高规格的显卡产品。AMD FirePro W9100发布由AMD资深业务开发经理JC Baratault主讲,JC开场即下了这样的定义"AMD FirePro W9100是震撼全球的重量级产品,由OpenCL驱动,为实时     

含有腐植酸的吸水性树脂在溶液及土壤环境中的性质研究

考察了含有腐植酸的吸水性树脂(HA-MA-AM)在溶液以及土壤环境中的性质。当腐植酸钾用量低于40wt%时,在环境pH值为6～7的条件下,HA-MA-AM的吸水倍率明显高于未添加腐植酸钾的MA-AM型保水剂。实验结果表明,HA-MA-AM具有较好保持水分、抑制水分蒸发的作用。     

Rhodococcus sp-1的Mn~(2+)生物去除能力及诱导特性

利用传统的细菌分离方法,从地下水生物除锰滤池中分离、纯化出1株细菌,经LBB(leucoberbelin blue)法定性检测其具有Mn2+氧化能力,利用Sherlock细菌鉴定系统初步确定其属于红球菌属(Rhodococcus sp).对红球菌Rhodococcus sp-1菌株的生物除锰能力和诱导特性研究结果表明,Rhodococcus sp-1菌株在达到第1个生长稳定期,细菌浓度2.3×108个/mL时,其Mn2+的去除量可达到35 mg/L,具有很强的Mn2+生物去除能力;同时Fe的存在对Rhodococcus sp-1 Mn2+氧化活性的表达具有诱导作用,在相同培养条件下,Fe3+的诱导性强于Fe2+,其诱导速度是Fe2+的3~4倍;有机Fe3+的诱导性强于无机Fe3+,其诱导速度是无机Fe3+的1.6~2倍.     

关于无线传感器网络安全技术的分析

在人们的日常生产和生活当中,逐渐地应用到了无线传感器网络技术,显著地体现了对于人们的便利作用。所以,在无线传感器网络技术中,要加大保护的力度,特别要重视科技或者军事的安全性问题,信息泄漏的大规模损失状况要合理避免。可是,在无线传感器网络中,自身就会存在一些影响因素,促使安全问题频繁发生,有时还会因为一些外部的影响因素,促使对网络安全技术的保护方面,会拥有较大的挑战。那么,在无线传感器网络安全技术方面要加大重视程度,要让其能够实现便捷的作用,并且应用在人们的多种需要中。本文就无线传感器网络安全技术为基本点,进行详细的分析。     

1980～2015年长江流域土地利用变化分析

基于长江流域1980,1990,1995,2000,2005,2010,2015年7期土地利用数据,通过土地利用转移矩阵以及多种指标,分析了1980~2015年间长江流域土地利用的时空变化过程。研究表明：近35 a来耕地和草地呈下降趋势,而林地、水域和城乡用地面积明显增加,未利用地总体呈下降趋势;随着时间的推移,各地类的变化形式由以交换变化量为主导转变为以净变化量为主导,说明各地类逐渐倾向于在原有空间位置发生面积变化,而不是在流域内发生空间位置转移;长江流域土地利用综合动态度从大到小排列依次是1990~1995年、1980~1990年、2005~2010年、1995~2000年、2000~2005年、2010~2015年。1980~1990年和1990~1995年这两个时期的综合土地利用综合动态度明显大于其他各时期,即这两个时期长江流域土地利用变化程度最为剧烈。     

Novel predictive model for metallic structure corrosion status in presence of stray current in DC mass transit systems简

The novel method to analyze metallic structure corrosion status was proposed in the presence of stray current in DC mass transit systems. Firstly, the characteristic parameter and the influence parameters for the corrosion status were determined. Secondly, an experimental system was established for simulating the corrosion process within the stray current interference. Then, a predictive model for the corrosion status was built, using a support vector machine （SVM） method and experimental data. The data were divided into two sets, including training set and testing set. The training set was used to generate the SVM model and the testing set was used to evaluate the predictive performance of the SVM model. The results show that the relationship between the characteristic parameter and the influence parameters is nonlinear and the SVM model is suitable for predicting the corrosion status.     

全球区域经济对辽宁经济跨越式发展战略影响

辽宁是东北与华北贸易的结点,也是东北地区和内蒙古连接欧亚大陆桥的重要门户和东北亚经济圈战略转移的物流通道。跨 越式发展是欠发达地区在借鉴和学习发达地区发展历史经验基础上,对发展模式的创新和扬弃,是缩短发展时间,减少发展代价, 实现高质、高速、高效发展的战略模式。在全球经济复苏乏力和全球范围内的产业大转移背景下,辽宁经济的跨越式发展是实现辽 宁经济,乃至东北经济振兴的必然选择,是保证中国经济稳定、持续发展,引领全球经济复苏重要的区域经济增长点     

一种将DVD高清素材应用到PPT中的无损转换方法

文中给出了一种DVD高清素材到PPT的无损转换方法,该方法具有转换速度快、素材清晰度高、PPT播放方式灵活等优点。     

新型智能轨道电位监测系统的研究

城市轨道交通轨道电位的监测是维护城市轨道交通安全稳定运行的重要部分.文中提出了轨道电位在线监测系统的总体架构,利用Internet、地铁局域网和CAN总线相结合的通讯方式,时系统的各个组成部分进行了研究,给出了现场总线与局域网的接口解决方案并对系统所用的传感器进行了设计.该系统已在地铁现场进行了实验验证.结果表明,该系统对轨道电位监测实时准确,具有可靠性高,成本低等优点.