医用钴基合金的组织结构及耐腐蚀性能

以锻造CoNiCrMo，CoCrMo和CoCrMoC台会为研究对象，通过金相观察，XRD分析和耐腐蚀试验，研究了3组合金在不同热处理条件下的显微结构，相成分及在Hi同溶液中的耐腐蚀性能。结果表明：2组锻造合金的再结晶温度都是1000℃，且晶粒尺寸随着固溶温度升高和时效时间延长而逐渐变大。3组试样在NaCl溶液中为钴基合金典型的阳极极化曲线；在Hanks’溶液中均有一个二次钝化行为，且锻造CoNiCrMo合金的二次钝化区域较窄，而其他2组合金则较宽；在含柠檬酸三钠的溶液中过钝化电位降低，柠檬酸盐的存在降低了含金的耐腐蚀性能。热处理对合金的耐腐蚀性能影响不大。     

保温条件下过共晶Al-Si合金半固态浆料的组织演变

研究了保温时间和保温温度对电磁搅拌ZL117合金半固态浆料稳定性的影响.试验结果表明：半固态浆料中初生Si的颗粒直径随着保温时间的延长而逐渐增大,但在前15 min内增长速度比较缓慢,15 min后增长较快;随着保温温度的升高而缓慢增大;初生Si的形状系数随着保温时间的延长而变得越来越大,但也在前15 min内变化较为缓慢,15 min后变大速度突然加快;初生Si的形状系数在620 ℃下保温时最小,在610～620 ℃之间随着保温温度的升高而缓慢变小;在620～650 ℃之间随着保温温度的升高而逐渐增加.     

Dual–primal proximal point algorithms for extended convex programming

This paper presents a class of dual–primal proximal point algorithms (PPAs) for extended convex programming with linear constraints. By choosing appropriate proximal regularization matrices, the application of the general PPA to the equivalent variational inequality of the extended convex programming with linear constraints can result in easy proximal subproblems. In theory, the sequence generated by the general PPA may fail to converge since the proximal regularization matrix is asymmetric sometimes. So we construct descent directions derived from the solution obtained by the general PPA. Different step lengths and descent directions are chosen with the negligible additional computational load. The global convergence of the new algorithms is proved easily based on the fact that the sequences generated are Fejér monotone. Furthermore, we provide a simple proof for the O(1/t) convergence rate of these algorithms.     

Ehrenfeucht-Fraïssé games in finite set theory

In this article, with Ehrenfeucht-Fraïssé games we prove that Δ₁≠Δ₀ on BFR, which implies Δ≠Δ₀ on BFR, and thus solve an open problem raised by Albert Atserias in his dissertation (Δ₀,Δ₁,Δ are fragments of first order logic and BFR is a class of finite sets which in essence is equivalent to a class of finite pure arithmetic structures with built-in BIT predicate).