Synergistic effect of co-alloying elements on site preferences and elastic properties of Ni3Al: A first-principles study

The site preferences of co-alloying elements (Mo–Ta, Mo–Re, Mo–Cr) in Ni₃Al are studied using first-principles calculations, and the effects of these alloying elements on the elastic properties of Ni₃Al are evaluated by elastic property calculations. The results show that the Mo–Ta, Mo–Re and Mo–Cr atom pairs all prefer Al–Al sites and the spatial neighbor relation of substitution sites almost has no influence on the site preference results. Furthermore, the Young's modulus of Ni₃Al increases much higher by substituting Al–Al sites with co-alloying atoms, among which Mo–Re has the best strengthening effect. The enhanced chemical bondings between alloying atoms and their neighbor host atoms are considered to be the main strengthening mechanism of the alloying elements in Ni₃Al.     

Material design and development: From classical thermodynamics to CALPHAD and ICME approaches

This paper presents an overview and examples of material design and development using (1) classical thermodynamics; (2) CALPHAD (calculation of phase diagrams) modeling; and (3) Integrated Computational Materials Engineering (ICME) approaches. Although the examples are given in lightweight aluminum and magnesium alloys for structural applications, the fundamental methodology and modeling principles are applicable to all materials and engineering applications. The examples in this paper have demonstrated the effectiveness and limitations of classical thermodynamics in solving specific problems (such as nucleation during solidification and solid-state precipitation in aluminum alloys). Computational thermodynamics and CALPHAD modeling, when combined with critical experimental validation, have been used to guide the selection and design of new magnesium alloys for elevated-temperature applications. The future of material design and development will be based on a holistic ICME approach. However, key challenges exist in many aspects of ICME framework, such as the lack of diffusion/mobility databases for many materials systems, limitation of current microstructural modeling capability and integration tools for simulation codes of different length scales.     

Alloy optimisation of bainitic steel for large plastic mould

Based on the phase transformation theories, especially the T₀ concept of bainite transformation, alloy optimisation of bainitic steel with carbides has been carried out aiming at the produce of plastic mould with large cross-section. The effect of manganese and silicon on proeutectoid ferrite and bainite transformation is explored by dilatometric analysis, XRD and different microscopy techniques. The results show that after the alloy optimisation, the transformation of proeutectoid ferrite is suppressed and when the cooling rate is lower than 0·1°C?s^??1, the new lower bainite transformation appears by decreasing carbon capacity of austenite and promoting carbide precipitation. Industrial production proves that the optimised alloy SDP1 can meet the demand for the plastic mould with the thickness of 1050?mm.     

Hit to Leads with Cytotoxic Effect in Leukemic Cells: Total Synthesis Intermediates as a Molecule Treasure Chest

A previously designed and developed 12-step total synthesis that includes [1,1′-biphenyl]-2-amine and carbazole intermediates and that ultimately produces the carbazole alkaloid carbazomycin G was exploited as a screening compound library with the goal of identifying potential lead compound(s) with cytotoxic effect. These compounds were investigated by using in-vitro tests involving the two human cell lines HL-60 and MOLM-13, which both model acute myeloid leukaemia (AML). The in-vitro biological test results were used together with the molecular structures of the various intermediates in a concise SAR analysis. Several of the intermediates revealed cytotoxicity (IC₅₀<10⁻⁴ M), although the final natural product carbazomycin G did not reveal cytotoxicity versus the two said human cell lines.     

提高焊膏印刷质量的工艺改进

焊膏印刷作为SMT工艺的第一步，其质量好坏对SMT工艺有着重要影响。文章通过对焊膏成分、特性的分析，讨论了印刷中各种工艺参数的正确选择；对焊膏印刷中容易出现的质量问题进行了详细分析，指出了产生问题的原因，提出了改进措施。     

洼60-H26水平井套铣打捞技术

洼60-H26井是一口中曲率水平井,设计井深1 922 m,由于地面条件的限制,设计采用三维井眼轨道。该井水平段在钻至井深1 801 m时,发生卡钻事故。在卡钻事故处理过程中,采用测卡、爆炸松扣技术取出上部钻具后,应用了不同规格的套铣管对被卡钻具进行套铣,采用间歇式套铣方式实现了大斜度井段(45°-90°)的安全套铣,采用短套铣管完成了时水平井段内φ215．0 mm稳定器的套铣,采用φ228．6 mm套铣管成功套铣水平井段被卡LWD仪器,最后通过震击器震击成功解卡。详细介绍了洼60-H26水平井卡钻事故的处理过程,分析了在水平段处理卡钻事故的难点。该井处理卡钻事故的经验,对以后水平井施工中处理井下事故、打捞贵重仪器具有借鉴价值。     

SiC／Al合金层状复合材料的机械性能及损伤行为

在室温条件下测定了Ａｌ合金以连续层状形式存在于ＳｉＣ陶瓷层间并渗透入ＳｉＣ陶瓷层内、Ａｌ合金浓度呈层状变化高低相间，以及Ａｌ合金和ＳｉＣ陶瓷均匀分布相互渗透三种ＳｉＣ含量相同而结构形式不同的ＳｉＣ／Ａｌ合金复合材料的机械性能；用ＳＥＭ和光学显微镜观察分析了复合材料的断口形貌及裂纹扩展过程。结果表明，在ＳｉＣ陶瓷层间以连续层状形式存在的Ａｌ合金在应力作用下发生较大程度的塑性变形，在裂纹尾部被拉伸和形成桥接，引起能量耗散，减缓裂纹扩展速度，防止裂纹张开，使复合材料的韧性得到明显改善；ＳｉＣ／Ａｌ合金陶瓷─金属层状复合材料的损伤形式主要是ＳｉＣ陶瓷层开裂、金属层桥接和裂纹偏转。     

β21s高强度钛合金的铣削试验研究

针对一种新型的难加工钛合金材料β21s,进行了刀具磨损试验和铣削力的测量试验,对材料的切削加工性进行评价,并且给出优选结果,为实际生产提供参考。     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

Semiparametric Estimation in Time‐Series Regression with Long‐Range Dependence

Abstract. We consider semiparametric estimation in time‐series regression in the presence of long‐range dependence in both the errors and the stochastic regressors. A central limit theorem is established for a class of semiparametric frequency domain‐weighted least squares estimates, which includes both narrow‐band ordinary least squares and narrow‐band generalized least squares as special cases. The estimates are semiparametric in the sense that focus is on the neighbourhood of the origin, and only periodogram ordinates in a degenerating band around the origin are used. This setting differs from earlier studies on time‐series regression with long‐range dependence, where a fully parametric approach has been employed. The generalized least squares estimate is infeasible when the degree of long‐range dependence is unknown and must be estimated in an initial step. In that case, we show that a feasible estimate which has the same asymptotic properties as the infeasible estimate, exists. By Monte Carlo simulation, we evaluate the finite‐sample performance of the generalized least squares estimate and the feasible estimate.