隧道大跨度原位对称扩挖方案的探讨

我国许多地区原有的2车道隧道已不能满足运输需求,在扩建过程中,受地形地质条件、环保和征地的限制,出现只能在原有2车道隧道基础上扩建成4车道的情况。国内对隧道进行2扩4的工程实例还很少,已知的有大帽山扩建隧道、金鸡山扩建隧道。通过鄞州至玉环公路楼山隧道2改4原位对称扩挖的实例,针对实际施工情况对大跨度对称扩挖开挖工法进行了优化设计,经过施工现场验证,得出一套可借鉴的隧道大跨度原位对称扩挖的开挖方案。     

非粘结海洋复合软管最小弯曲半径计算方法研究

非粘结海洋复合软管最小弯曲半径是软管储存和安装的主要设计指标，是保证软管工作正常运行和使用寿命的前提条件。基于理论公式和设计经验，形成了一种非粘结海洋复合软管最小弯曲半径的计算方法，通过该计算方法获得的最小弯曲半径与国外某知名公司结构参数较为一致。     

基于Uppaal的实时系统AADL数据流模型的转换与验证

体系结构分析设计语言AADL是一种可支持软硬件一体化建模及同一模型多元分析的形式化与图形化建模语言。采用时间自动机形式化模型检验方法对AADL模型中的数据流进行转换和验证。考虑到单一数据流与混合数据流的差异性,分别设计了数据流到时间自动机模型的转换规则,并通过时间自动机网络实现数据流的综合分析。设计开发了自动化模型转换的插件AADLToUppaal Plug-in,将其嵌入到OSTATE工具中,使用时间自动机建模与验证工具Uppaal对转换得到的时间自动机进行模拟和验证,等价地验证所设计的AADL模型数据流时延是否满足系统实时性要求。仿真实验结果表明,所设计的数据流模型转换方法能有效地将AADL模型转换到时间自动机模型,并能在Uppaal中正确地分析原模型的数据流时延特性。     

基于区块链的销售佣金结算方法

针对运营商销售佣金结算领域计算过程不透明、结算流程难以追溯、历史信息存证困难等问题,基于区块链技术提出一种销售佣金结算方法,设计区块数据模型,将结算全流程、全要素数据上链存证.设计基于区块链的结算流程,实现智能合约批价、历史结算轨迹追溯查询功能;在实用拜占庭容错算法(PBFT)的基础上,对其鲁棒性进行改进,提出鲁棒拜占庭共识算法(RBFT),提升系统可用性.该方法在"江苏电信区块链一线激励结算平台"上实践应用,解决了"结算流程不清晰"、"不结算原因看不懂"等业务痛点,此外在加强佣金数据存证监管方面也起到了积极作用.     

Cr-Fe-Co-Ni-Zr高熵金属玻璃体系中的超大尺度反常相分离（英文）

金属玻璃中的反常相分离是一个长期未解决的问题,由于受到微观结构假象以及缺乏直接的大尺度(超过纳米尺度)证据的影响,自从1969年首次被提出以来一直备受争议.本研究综合应用无干扰可见光显微镜、原子力显微镜、扫描电子显微镜和双球差校正原子分辨分析电镜,在具有负混合热的Cr–Fe–Co–Ni–Zr高熵金属玻璃体系中确认了一种超大尺度上的反常玻璃相分离现象.分离的第二相具有数十微米的尺度并且可由冷却速率调控.引入类似偏晶前的液体不混融机制来解释反常相分离,这一机制不仅有利于理解金属玻璃中的反常相分离行为,而且也有助于理解其他领域的相分离行为,比如细胞中的液-液相分离行为.     

基于高可用性的分布式云化交易型系统设计方法研究

为提供持续、稳定的系统服务,增强系统抗击灾害风险的能力,针对交易型系统提出系统上云的高可用设计方法。在“同城双活”高可用架构中,提出多集群、多环境流量调度策略和工具,以提升流量负载的可用性和灵活性;利用云原生工具的健康检查、熔断降级、限流和容错重试等机制提升服务可用性;提出核心组件一键应急切换的方法以缩短组件故障的恢复时间。在“两地三中心”高可用架构中,提出异地容灾的部署方案。该方法在“江苏电信新一代支付中心”系统云化建设中实践应用,通过破坏性测试和压力测试验证了系统高可用性设计效果。     

Zr-Cu和Zr-Ni金属玻璃中混合焓对β弛豫的影响

β弛豫是金属玻璃中重要的动力学过程,但是β弛豫的结构起源尚不清楚。本文研究了β弛豫与混合焓的关联性,并从局域结构的角度对这种关联性进行了解释。针对Zr-Cu和Zr-Ni金属玻璃,进行了动态力学分析和分子动力学模拟。结果表明,较大负值的混合焓有利于体系中二十面体团簇的形成,而这种具有较高动力学稳定性的二十面体团簇对β弛豫过程中的原子运动具有一定的抑制作用。     

面向太空制造的非晶合金条带的低温热塑性焊接

太空制造是航天技术领域中新兴的研究方向,可促进太空探索的发展.微重力、高真空等极端太空环境对金属材料的太空制造技术提出了新要求.本文提出了一种热塑性焊接方法,可实现La基非晶合金带的低温焊接.同时,通过第二相强化,将La和Zr基非晶合金混合成"三明治"结构,使其热塑性焊接样品的断裂强度和拉伸应变比La基焊接样品分别提高...