A Compositional Framework for Hardware/Software Co-Design

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.     

ECAP细化晶粒法的仿真与分析

ECAP(Equal Channel Angular Extrusion)方法，是实现材料纯剪切变形的有效方法。本文采用有限元（FEA）分析软件ANSYS对Al的挤压过程进行仿真与分析。分析结果表明：外切角Φ、圆角半径、试样与凹模之间的摩擦系数、凹模本身的特性（如弹性模量、泊松比等）等等，对材料的变形量都有不同程度的影响。     

34CrMoV结构钢动态再结晶行为研究

应用Gleeble-1500热模拟实验机进行等温压缩试验,研究了变形工艺参数对34CrMoV结构钢动态再结晶行为的影响.结果表明,其流变应力随变形温度升高而降低,随应变速率提高而增大;随着应变速率的降低,应变量的增加和变形温度的升高,动态再结晶速度加快且奥氏体晶粒得到细化.     

Surface nanocrystallization of 7A04 aluminium alloy induced by circulation rolling plastic deformation

The surface nanocrystalline microstructures of 7A04 aluminium alloy was obtained by means of circulation rolling plastic deformation（CRPD）, the grain refinement behavior and the hardness variation were examined. X-ray diffraction（XRD） and transmission electron microscopy（TEM） were applied to characterize the microstructure of the surface layer. The experimental evidences show that, after the CRPD treatment, the mean grain size in the surface layer is about 50 nm. The microhardness of the nanostructured surface layers is enhanced significantly after CRPD compared with that of the matrix, which can be attributed primarily to the grain refinement. The microhardness at the top surface can reach about HV0.05335, while the value of the matrix is HV0.05160 or so. The surface hardening effect is obtained obviously. Besides, the thermal stability of nanocrystalline layer was investigated. The results of the XRD analysis and the microhardness measurement show that the nanocrystalline layer has better thermal-stability than the matrix. And the DSC measurement shows that the synthesis of nanostructured surface layer has influence on the phase transformation of 7A04 aluminum alloy.     

机械振动对Sn-Sb合金β相的影响

初步探讨了机械振动对Sn-Sb合金β相在基体中分布的影响,重点讨论了在不同振击力作用下对Sn-Sb11合金中β相(SnSb)偏析和细化的影响效果.试验表明,在不同振击力作用下,合金晶粒以及组织明显得到改善,而且随着振击力的增大,组织均匀化程度的改善效果呈明显上升趋势.分析结果表明,这是由于强烈的振动对金属液体的搅拌以及促使合金液晶粒(或晶团)的游离作用的缘故.     

Al-Ti-B-RE细化剂对铝晶粒细化效果初探

对新型细化剂Al-Ti-B-RE的细化效果进行了探讨。结果表明：该中间合金是一种高效、长效的晶粒细化剂，当加入量为0．04％～0．10％，铝熔体在800℃静置30min的细化效果最显著，其效果优于进口Al-Ti-B细化剂。     

电、磁场对金属凝固组织的影响及应用

利用外加物理场凝固细晶技术是目前材料加工领域的研究热点。综述了各种电、磁场对金属凝固组织的影响，并对其主要的机理进行了探讨；并对电、磁场在金属凝固成形中的应用和进一步研究进行了展望。     

Mn,Zr对Mg-Gd-Y合金组织与力学性能的影响

研究了微量Mn、Zr对Mg-13%Gd和Mg-9%Gd-4%Y合金铸态和挤压后的微观组织及力学性能的影响.结果表明:在铸态,含Zr合金的晶粒明显小于不含Zr的合金,而Mn对合金的铸态显微组织影响不大;将Mg-9%Gd-4%Y-0.6%Mn和Mg-9%Gd-4%Y-0.6%Zr合金挤压后,都可以得到非常细小均匀的等轴晶,晶粒尺寸约14 μm;这两个合金在挤压时效态(T5)的力学性能都明显优于WE54合金的,且Mg-9%Gd-4%Y-0.6%Zr合金比Mg-9%Gd-4%Y-0.6%Mn合金性能更好.     

高锰钢的泡沫陶瓷过滤净化

采用泡沫陶瓷过滤片对高锰钢进行过滤处理，对其进行金相分析和测试密度，冲击韧性和耐磨性能，并与未过滤的高锰钢进行对比，实验结果表明，在过滤的高锰钢中，金属夹杂物明显减小，密度提高0．53％，冲击韧性39．5％，耐磨性能提高1．04倍，批量生产结果表明，过滤的高锰钢球磨机衬板的使用寿命提高0．6－0．7倍。