Computing surfaces invariant under subdivision

In this paper, we propose a general subdivision algorithm for generating surfaces. The algorithm has as motivation our earlier work on the design of free form curves where similar ideas were investigated. Here we describe some properties of uniform refinement algorithms for surface generation. A detail analysis of their properties will be given later by one of us.     

薄板坯连铸连轧工艺对铌微合金化高强度钢组织和性能的影响

首先建立薄板坯连铸连轧工艺的试验室模拟技术，并运用该模拟技术，研究薄板坯连铸连轧工艺(CSP)和传统板坯再加热工艺(TRP)两种工艺对铌微合金化高强度钢的显微组织和力学性能的影响。研究结果表明：CSP钢的晶粒细化效果不如TRP钢，两者的平均铁素体晶粒尺寸分别为8．17μm和6．30μm。在CSP试验钢板中铌的析出量较大，特别是在铁素体中细小颗粒的铌的析出物较多，沉淀强化效果较强。CSP试验钢的σ0.5和σb分别较TRP工艺低约40MPa和约25MPa，同时其低温冲击韧性较好，FATT温度较低。     

单晶高温合金DD3亚结构超细化定向凝固工艺研究EI

利用ＺＭ定向凝固装置研究了镍基单晶高温合金ＤＤ３在高温度梯度（７００～１２００Ｋ／ｃｍ）定向凝固条件下的微观组织演化特征及其对工艺参数的响应函数，结果表明：该合金在高界面温度梯度条件下，柱晶生长速度范围向高速区扩展，从而使单晶亚结构细化成为可能。所得单晶棒中亚结构一次间距可比传统ＨＲＳ法定向凝固籽晶中相应尺度减小５～１０倍。本文还对其组织演化机制进行了分析。     

一个表示和运用非功能性需求的框架

本文分析了一个软件开发进程中表示和运用非功能性需求的综合框架，该框架的目的是开发一套技术以调整软件开发进程中的设计决策，从而强调了依据非功能需求，探索合理化的软件开发进程。     

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结构钢动态再结晶行为的影响.结果表明,其流变应力随变形温度升高而降低,随应变速率提高而增大;随着应变速率的降低,应变量的增加和变形温度的升高,动态再结晶速度加快且奥氏体晶粒得到细化.     

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

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

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

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