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

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

低温下强化活性污泥性能措施的研究进展

低温是影响活性污泥性能的主要因素之一,对强化低温下活性污泥性能技术措施的研究,以确保污水生物处理工艺运行效果及稳定性一直是研究热点。文章从生物强化、运行控制、工艺改良等不同方面对强化低温活性污泥性能的研究现状进行了阐述,并提出未来进一步的研究方向。     

TC6钛合金渗碳层在不同介质环境中的腐蚀磨损性能

基于感应加热双脉冲气体渗碳技术对 TC6 合金进行表面强化,利用 XRD 和金相显微镜研究了渗碳层的微观结构;采用自制腐蚀磨损试验机研究了渗碳件在 0. 1%HF 溶液、0. 9%NaCl 溶液和 SBF 溶液中的腐蚀磨损性能,利用电化学工作站测试了其在腐蚀和腐蚀磨损交互作用下开路电位和极化曲线的变化,并利用白光干涉仪对磨痕形貌进行表征与分析。 结果表明: 经 910 ℃渗碳后 TC6 合金形成富 TiC 强化层,硬度达 850 HV_0.25 ,在 3 种不同介质中均表现出较小的摩擦因数和磨损率。 摩擦状态下渗碳样在 SBF 溶液中腐蚀电流密度最小(9. 64×10^-6A/ cm²),表现出良好的耐生物腐蚀特性,而在 0. 1% HF 溶液中腐蚀电流密度最大(1. 34×10^-4A/ cm²);在 3 种不同介质环境中原样均以粘着磨损为主,而渗碳后的 TC6 合金主要表现为磨粒磨损,腐蚀对磨损的促进作用是造成 TC6 合金损耗的主要因素。     

乌弄龙水电站运行期岩壁吊车梁稳定性预测分析

为预测乌弄龙水电站运行期岩壁吊车梁的稳定性,依据乌弄龙水电站地下厂房岩壁吊车梁原型监测数据,分析岩壁吊车梁在洞室群开挖卸荷过程的围岩应力、变形及锚杆应力特征;运用三维整体数值模拟进行反演及动态反馈分析,仿真计算岩壁吊车梁运行期变形及应力特点;通过原型监测和仿真模拟,评估岩壁吊车梁的安全稳定性。预测结果表明,岩壁吊车梁能安全运行,与实际运行情况一致。研究成果可为同类工程提供参考。     

某水电站变形体及枢纽联合进水口边坡三维稳定性分析

某水电站枢纽联合进水口边坡发育有变形体及3条断层,对工程影响较大,采用MIDAS GTS软件通过强度折减法对边坡的稳定性进行分析研究。根据变形体在历史最大地震工况反算得到其临界参数,在确定了天然状态边坡模拟与实际类比相符的基础上,指导边坡开挖设计及评价其稳定性,为工程提供有益参考。     

压裂液破胶性能评价方法探讨

近几年来,随着压裂液伤害研究深入,已经改变了以粘度表示破胶程度的理念,研究表明破胶液中降解产物的相对分子质量、分布等也是考察破胶液伤害的主要因素,是评价破胶剂破胶性能的主要指标。本文针对破胶液滤液含糖量、相对分子质量分布、残渣粒径分布以及破胶剂活性测试原理和方法进行了阐述,为全面分析评价破胶剂破胶性能提供了非常有效手段。     

浅谈路桥施工企业如何做好安全管理

文章针对安全生产管理中的漏洞问题，从路桥施工管理、安全监督检查两方面详细地阐述了如何做好安全生产管理工作。     

基于DSP的电力监控系统交流采样技术的实现

采用DSP实现数字化处理和控制已经成为未来的发展趋势,其中TI公司推出的TMS320C28x系列是目前国际市场上最先进、功能最强大的32位定点DSP芯片。它既具有数字信号处理能力,又具有强大的事件管理能力和嵌入式控制功能,特别适用于有大批量数据处理的测控场合。     

电力系统调度自动化技术的应用与发展

随着我国人民生活水平的提高，物质文化也得到了极大地满足。尤其是电力行业的发展，无论是公有制工业，还是私有制的工业，无论是居民个人还是个体工商户，都通过电力带动了大中小企业的发展。企业电力系统技术有了质的飞跃 ,, 同时对于供电的安全性和质量性有了更严格的要求。所以，电力技术的发展成为当前的重要任务，也是我国电力系统调度技术应用与发展的关键之所在。     

从功能到形式——记西南大学中心图书馆外部环境设计

本文从西南大学中心图书馆特殊的立地环境条件入手，探讨了该图书馆外部环境规划设计中，以环境功能为基点，如何运用恰当的景观表现形式来应对环境功能的诉求，达到形式与功能的统一，形式与环境、文化相融。