Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.     

Preliminary evidence indicating Dome A （Antarctica） satisfying preconditions for drilling the oldest ice core

Lowest temperature and snow accumulation rate are preconditions for retrieving the oldest ice core from the polar ice sheets. The 10-m depth firn temperature at Dome A, the summit of the Antarctic Ice Sheet, recorded by an automatic weather station （AWS） was -58.3℃ in 2005 and -58.2℃ in 2006, respectively. The 10-m firn temperature is an approximation of the annual mean air temperature （AMAT）, and this is the lowest AMAT that has been recorded on the surface of the Earth. The stable isotopic ratios （δ^18O and δD） of surface snow at Dome A are also lower than at other ice sheet domes along the East Antarctic Ice Divide such as Dome C, Dome F, Dome B and Vostok. These facts indicate that Dome A is the ＂pole of cold＂ on the Earth. The total amount of snow accumulation rate in 2005 and 2006 was only 0.16 cm, equaling 0.016 m water equivalent per year, the lowest precipitation ever recorded from Antarctica. Preliminary evidences indicate that Dome A is a candidate site for recovering the oldest ice core.     

A local geopotential model for implementation of underwater passive navigation

A main aspect of underwater passive navigation is how to identify the vehicle location on an existing gravity map, and several matching algorithms as ICCP and SITAN are the most prevalent methods that many scholars are using. In this paper, a novel algorithm that is different from matching algorithms for passive navigation is developed. The algorithm implements underwater passive navigation by directly estimating the inertial errors through Kalman filter algorithm, and the key part of this implementation is a Fourier series-based local geopotential model. Firstly, the principle of local geopotential model based on Fourier series is introduced in this paper, thus the discrete gravity anomalies data can be expressed analytically with respect to geographic coordinates to establish the observation equation required in the application of Kalman filter. Whereafter, the indicated gravity anomalies can be gotten by substituting the inertial positions to existing gravity anomalies map. Finally, the classical extended Kalman filter is introduced with the differences between measured gravity and indicated gravity used as observations to optimally estimate the errors of the inertial navigation system （INS）. This navigation algorithm is tested on simulated data with encouraging results. Although this algorithm is developed for underwater navigation using gravity data, it is equally applicable to other domains, for example vehicle navigation on magnetic or terrain data.     

基因遗传算法在文本情感分类中的应用

本文以微博文本为主要实验对象,提出适合卷积神经网络进行自我优化的编码方式,分别将每一层看做是一个染色体,将每一层中的参数看做是一个基因片段,采用混合双重非数值编码的方式编码每个CNN框架,设计出适合于CNN网络的选择、交叉和变异的算法,并且把基因遗传算法(GA)和与卷积神经网络相结合,提出了基于情感分析算法的遗传算法(GA-CNN).通过对传统算法与GA-CNN的实验与对比分析,良好地展示了自我优化性.     

西藏成人教育现状调查——以西藏大学为例

成人教育是高等教育中不可缺少的组成部分,在整个教育过程中,起着举足轻重的作用.文章以西藏大学为例,分析了西藏成人教育的发展现状,指出面向社会的教育、培训功能得到全面发挥,技术服务水平明显增强,社会实践型农牧民数量将不断增加,可以完成更多的科技服务项目与应用技术项目.在办学思想、基地建设、网络教育、模式创新、服务社会等方面形成的经验对区内其他院校、专业具有示范和带动作用,对西藏的经济社会建设具有一定的推动作用.     

热连轧机弯辊力优化设定策略研究及应用

针对传统热轧机板形设定模型仅根据带钢头部的要求来设定弯辊力而可能导致中尾部所需弯辊力超出设备能力极限的问题,提出一种弯辊力优化设定策略。该策略对带钢全长轧制过程进行考虑,根据最近一次同钢种同规格带钢轧制时实际轧制力与凸度的变化,预算本卷带钢全长板形控制所需要的弯辊力调节量,结合弯辊设备的能力极限,为带钢中尾部板形控制预留必要的弯辊力。在上海梅山钢铁股份有限公司热轧厂1780热连轧生产线上的实际应用效果表明,采用该策略后基本消除了带钢尾部中间轧破现象,大幅提高了热轧带钢中尾部轧制的稳定性。     

西太平洋一、二岛链间海区声传播的季节因素分析

以分析西太平洋第一、第二岛链间海区在不同季节时的声传播情况为研究目的,利用world ocean atlas 2013(WOA13)季节平均数据和Mackenzie声速经验公式,首先分析该海区声道轴深度和表层声速值的四季分布情况;再利用BELLHOP水声学数值模型,在设定的1 000 Hz声源频率和15°～-15°掠射角情况下,仿真计算选用位置点5 m深度声源的四季声传播情况,研究其规律:四季反转深度由15°N以南的4 900 m以上,降至25°N以北的4 900 m以下,且夏季最深,春秋两季次之,冬季最浅。多数海区可形成汇聚区波导并主要存在于冬秋两季,第一汇聚区位置相对在61～64 km;通常夏季最远,春秋两季次之,冬季最近。在设定的仿真计算条件下声传播覆盖范围有限,需通过其他手段和战术行动改善。     

考虑土体小应变刚度的地表堆载对隧道影响数值分析

随着城市地下空间的进一步开发,交通隧道、地下车站和地下商铺等建筑(构筑)物不可避免地变得越来越密集,既有隧道周围会频繁存在堆载的情况。采用数值方法分别研究摩尔-库伦(M-C)本构模型及考虑土的小应变特性的硬化本构模型(HSS)情况下基坑开挖地表堆载尺寸、堆载大小及隧道埋深对既有顶管隧道变形的影响规律。计算结果表明:在相同堆载大小及堆载宽度的情况下,HSS本构得到的土体受堆载影响范围明显低于M-C(Moore-Coulomb)本构计算结果。当堆载大小为100 kPa时,M-C本构的侧边和深度影响范围达到了75 m,而HSS本构下侧边及深度影响范围仅有35、30 m左右;当堆载宽度为25 m时,M-C本构的侧边和深度影响范围达到了75 m,而HSS本构下深度影响范围不超过35 m,侧边则不超过40 m。基于数值计算结果,对实际工况提出严禁在既有隧道的正上方进行堆载的建议。     

再生混凝土与锈蚀钢筋界面粘结性能

从钢筋锈蚀率、水灰比、钢筋直径及相对保护层厚度等因素对再生混凝土与锈蚀钢筋粘结性能的影响进行分析研究,选取割线抗滑移刚度和界面粘结能量作为粘结性能的退化规律指标并建立其粘结性能退化模型,以期打破现有研究的局限性并为再生混凝土结构的安全使用和耐久性设计提供理论指导,最后结合粘结锚固可靠度分析,发现再生混凝土较普通混凝土的受拉钢筋锚固设计长度可相应缩短。     

山东省综合城市化水平区域差异分析

在理解城市化多层内涵的基础上,从经济、人口、生活和科技文化四个方面选取了评价城市化水平的指标体系;采用层次分析方法求出各具体指标的权重,并计算出山东省各地市城市化水平综合指数;借助SPSS11.0软件对综合指数进行聚类分析,求出聚类分析树状图,并据此将山东省各地市分为四个层次;对于已有的层次,通过各指标贡献和综合指数进行分析,探讨其成因;最后在分析结果的基础上,提出山东省城市化进一步优化发展的建议.