摘要：针对并发软件重构后可能带来的行为不一致问题,提出了一种重构一致性检测方法,该方法使用控制流分析和数据流分析检测重构前后的变化,使用同步依赖分析检测重构前后同步依赖关系的变化.针对对象重用性、静态共享字段、死锁3种典型的引起并发错误的情况,设计了3种检测算法对重构前后程序的不一致性进行检测.依据该方法,在WALA软件分析框架下实现了一个原型检测工具.在实验中,使用该工具在SPECjbb2005和HSQLDB测试程序上进行了验证,并与Schafer等提出的方法进行比较,实验结果表明,该方法能够有效地发现并发软件重构的不一致行为.

摘要：目前海上稠油热采井超高温光纤长效监测技术中,光缆管结构设计单一化,仅能开展分布式光纤温度传感技术(DTS)参数监测,而无法同时获取井下温度、压力数据。为解决此问题,设计了一种温压同测光缆管,该光缆管为3层管结构,可实现高温井筒环境内对DTS、分布式光纤声波震动传感技术(DAS)数据同时采集与传输。通过数学模拟分析,推演该光缆管可精准测取井下压力数据,并结合光纤温度监测,可使多元参数集中传输,且采集通道互不干扰,保障数据传递的实时性和独立性。通过地面氮气传输实验测试,该温压同测光缆管在不同氮气流速下,压差值均小于0.01MPa,验证了温度、流量对压差影响较小,可以保证测试整体的精确程度,满足压力测取精度要求。研究表明,在热采井进行光纤长效监测时,温压同测光缆管可以实现井筒多元参数同测,为海上油田注热井完成井筒多元参数长效监测提供技术保障。

摘要：应用潘家铮原理对洮河九甸峡水利枢纽工程坝址区岩体的抗剪强度进行了预测 ,并通过现场试验进行了验证 ,对预测结果进行了修正 ,可供工程施工阶段应用。

摘要：在复杂地质条件下盾构机长距离推进施工时存在刀盘磨损严重、刀盘结泥饼及推进扭矩波动频繁等情况,严重时会导致盾构机非正常停机,进而影响施工进度并带来安全风险,是此类典型工况中必须重视的问题。结合杭州千岛湖引水工程实际,针对盾构机在长距离复杂地质状况下施工遇到的常见问题,从刀盘开口率、渣土改良等关键点进行专项适用性设计,以此形成复杂地层条件下长距离盾构施工适用性提升关键技术,为本地区其他工程提供示范。

摘要：这是我们给读者们的第一个新的、出乎意料的东西。只有我们才是我们时代的面貌。时代的号角由我们通过语言艺术吹响。过去的东西很困难。学院派和普希金比象形文字还难于理解。把普希金、陀思妥耶夫斯基、托尔斯泰等,从现代生活的轮船上扔出去。谁不忘初恋,谁就不会了解最终的爱情。

摘要：回眸三峡历史回顾篇 三峡工程从提出设想,到勘测、设计、论证,到开工建设,直至水库初期蓄水、双线五级船闸通航、首批机组发电,其间经历了长达84年的历程。 三峡工程的设想 1919年,孙中山先生在《建国方略·实业计划》中提出了开发长江三峡水利资源,改善川江航道的设想:“自宜昌而上,入峡行……急流与滩石,沿流皆是。改良此上游一段,当以水闸堰其水,使舟得溯流以行,而又可资其水力。” 1933年,中国资源委员会编写出《扬子江上游水力发电勘测报告》,选出黄陵庙、葛洲坝两处低坝方案。 1944年,中国战时生产局顾问。

摘要：针对航空发动机全权限数字电子控制(FADEC)系统电子控制器可靠性试验中硬件在环(HIL)仿真测试的执行过程,开展了测试自动化技术研究,提出按名义执行时间设计脚本的分层封装方法,实现脚本模块执行时间误差受控,提高了脚本的模块化程度,有利于各层脚本执行时间的精确调试和顶层测试任务脚本的开发。设计了外部辅助脚本的自动流程整合方式,实现非自动化软件工具的快速整合,提高了自动运行流程的构建效率。经过某型电子控制器1000 h可靠性摸底试验验证,测试流程自动化运行流畅,报表输出完整,任务脚本执行时间误差稳定受控,满足试验过程的自动化需求。