区域控制器的安全需求建模与自动验证

轨道交通区域控制器（ZC）是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统（CBTC）的核心子系统，其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握，使得形式化方法很难应用到安全需求的验证中去.针对这些问题，提出一种安全需求的自动验证方法，使用半形式化的问题框架方法（PF）来建模和分解安全需求，根据需求模型自动生成安全需求的验证模型和验证性质，在此基础上自动生成验证模型的Scade语言实现，并通过Design Verifier验证器对需求进行组合验证.最后，使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究，实验结果证明了该方法的可行性与有效性，它能自动地将安全需求模型进行组合验证，改善了验证的效率.     

A hybrid short-term electricity price forecasting framework: Cuckoo search-based feature selection with singular spectrum analysis and SVM

Under the liberalization and deregulation of the power industry, price forecasting has become a cornerstone for market participants' decision-making such as bidding strategies and purchase plans. However, the exclusive nonlinearity dynamics of electricity price is a challenge problem that largely affects forecasting accuracy. To address this task, this paper presents a hybrid forecasting framework for short-term electricity price forecasting by exploiting and mining the important information hidden in the electricity price signal. Moreover, a hybrid feature selection method (HFS) is introduced into the forecasting strategy. To exhibit the dynamical characteristics of electricity price, we primarily perform a singular spectrum analysis (SSA)-based systematic analysis process by using the merit of SSA and analyzing the multiple seasonal patterns of short-term electricity price series, providing a meaningful representation of the hidden patterns and time-varying volatility of electricity price series. Aiming at selecting the key features, the candidate variables are constructed considering the dynamic behavior of price series; further, to capture the optimal features from the candidates, the correlation threshold θ is defined for the adjustable parameters in HFS and optimally determined by the intelligent search algorithm. Additionally, triangulation based on the Pearson, Spearman and Kendall rank correlation coefficient is performed to strengthen the reliability of the proposed method. The proposed hybrid forecasting framework is validated in the New South Wales electricity market, which demonstrates that the developed approach is truly better than the benchmark models used and a reliable and promising tool for short-term electricity price forecasting.     

斜轴墨卡托投影及其在高铁建设工程中的应用

本文介绍了斜轴墨卡托投影的基本原理,给出了相应的投影正反算计算公式。通过算例分析表明,斜轴墨卡托投影相对常规的高斯投影能大幅度减小投影变形,因此可以用于建立高铁建设工程等长线性的控制网和地图投影。     

高速公路连拱超浅埋隧道下穿104国道施工技术

宁杭高速公路梯子山隧道为大跨度、超浅埋、连拱隧道,且工程下穿国道,施工设计采用暗挖、三导洞先行的施工方案,即先开挖左、中、右三导洞,做临时支护,再施工中隔墙,然后开挖主洞,主洞开挖也分左右洞,并及时浇筑仰拱以形成封闭结构,最后二次衬砌,以防拱顶下沉.实践证明,工程施工方案可行,为类似隧道施工提供了经验借鉴.     

基才龙芯平台的PMON研究与开发

在嵌入式软件系统开发中,为了能够快速正确地引导操作系统,需耍有一个功能强大的Bootloader来支持。PMON是一种针对嵌入式系统而开发的操作系统引导程序,其作用在于初始化嵌入式硬件系统的外设以便能够正确引导、启动操作系统。基于PMON开发移植的目的,从研究PMON的架构出发,深入研究PMON的编译环境及其执行流程,...     

电弧炉余热锅炉设计

通过计算机模拟计算和经验判断,结合一台100t电弧炉余热锅炉的设计,在锅炉结构优化的同时有效解决了锅炉面临的积灰、水循环、适应性及热膨胀等关键问题.     

基于变频控制技术的燃油气锅炉燃烧器的开发和应用

针对燃油、气或油气两用锅炉节能减排的需要,结合国内外燃烧器技术发展成果和趋势,提出了变频燃烧器设计理念并开发了相应的燃烧器产品,理论和应用证明,变频燃烧器较传统恒速燃烧器具有调节精准、灵活、节能、环保的特点,推广应用可使燃油、气锅炉的日常运行热效率提高1～2个百分点.     

城市污泥无害化处置的研究

考虑到污泥处理的紧迫性和复杂性,结合工程的经济性原则,重点介绍了无害化处理城市污泥的系统方案——污泥干化焚烧.该系统采用空心桨叶污泥干燥机对污泥进行干燥、循环流化床炉对污泥进行焚烧,再利用余热锅炉吸收烟气热能产生蒸汽用于污泥干燥机对污泥进行干燥,实现了整个废弃物能源利用的最大化,降低了系统整体的运行费用.经过处理后的污...     

基于时间序列的地区电网售电量预测方法研究

地区电网售电量的科学预测是电网建设规划的重要依据。考虑电量历史数据是一典型时间序列函数,本文建立了移动平均法、Winters、灰色马尔科夫三种预测模型,根据某地区的售电量历史数据求解模型,并对预测结果进行了分析和比较。结果表明,灰色马尔科夫模型预测结果与多年多年实际数据拟合效果最好、误差率最低,该方法的应用前景广阔。     

软土中超深超宽地道桥不等高顶进施工技术

沪闵路地道桥是目前上海市境内最宽最深的铁路地道桥.首次在软土中采用地道桥不等高顶进技术施工,减少工程挖土和箱身工程量,加快施工进度;预留土堤增强被动土压力,减少基坑围护位移,将超宽超深的地道桥施工的安全风险降到最低.为确保基坑开挖和周围地下管线与铁路的安全,采取信息化施工.地道桥不等高顶进施工技术在沪闵路工程中取得成功.