MetateM: An introduction

In this paper a methodology for the use of temporal logic as an executable imperative language is introduced. The approach, which provides a concrete framework, calledMetateM, for executing temporal formulae, is motivated and illustrated through examples. In addition, this introduction provides references to further, more detailed, work relating to theMetateM approach to executable logics.     

WO3 pillar-type and helical-type thin film structures to be used in microbatteries

In the present study WO₃ thin films were deposited by sputtering onto ITO glass, W/ITO and Si substrates by using the glancing angle deposition (GLAD) technique, with the objective of applying these materials in electrochemical intercalation devices. The thin films microstructure and electrochemical behavior were determined through scanning electron microscopy (SEM) and cycling at constant current with potential limitation. By mainly adjusting the substrate holder speed rotation, pillar-type and helical-type structures were obtained under high and low speed rotation levels, respectively. The electrochemical results showed that the best charge capacity performance was obtained for the WO₃/W/ITO films with pillar-type structures, which are more porous.     

中性固色剂NF在分散／活性一浴热溶染色中的应用

本文对涤棉混纺织物在分散/活性染料同浴染色中采用碱固工艺与中性固色工艺作了较详细的对比试验,同时对中性固色剂及双氰胺的用量进行了优选组合,并对中性固色剂的效果进行了讨论。     

数控加工螺旋凸轮的铣床改造

在普通铣床上实施数控改造后，可应用软件程序使步进电机任意变速，并可在加工过程中任意改变这行方向．从而突破了凸轮加工的传统方式，达到了简化程序、提高效率的同的．     

机械合金化Fe─B非晶合金及纳米合金的形成

在适当条件下机械合金化可以形成急冷法难以得到的单一Ｆｅ６０Ｂ４０非晶合金，而在其他成分内形成亚稳纳米合金。在众多的球磨条件中，球磨机的转速是控制合金化的重要因素，空气中的氧对小颗粒界面产生了强烈的污染作用，从而抑制了原子的相互扩散，难以形成单一的非晶产物。不同球磨条件下的产物含有的非晶相的晶化温度比单一非晶相合金的晶化温度稍高，并且与球磨条件以及成分的关系不大。     

高能球磨AL─Cu合金固态合成反应研究

采用扫描电镜、能谱分析、Ｘ射线衍射和示差扫描量热分析研究了具有较大负混合焓的Ａｌ＿ｘＣｕ＿（１－ｘ）对称扩散系合金的高能球磨固态合成反应。高能球磨时组元晶粒细化达纳米级，造成纳米晶界亚互溶，为室温固态合成反应创造了条件，球磨强度对反应进程影响显著，在ｘ＝０．３～０．７范围内仅形成一种金属间化合物。     

立铣加工过程中的微元铣削力建模分析

针对单纯通过高速切削技术制造某些大型飞机零件过程中,存在难以控制的加工变形和较强表面残余拉应力分布等突出问题,以直齿和螺旋齿立铣加工过程为研究对象,基于微元切削机理,通过对刀齿铣削过程的分析,建立动态铣削加工仿真模型,导出铣削面积、铣削力、主轴扭矩、铣削功率与切削用量的关系.数值模拟结果与试验值较吻合,表明该模型可以实现动态铣削力预测,优化切削用量.     

The statistical modeling of surface roughness in high-speed flat end milling

Surface roughness is one of the most important requirements in machining process. The surface roughness value is a result of the tool wear. When tool wear increase, the surface roughness also increases. The determination of the sufficient cutting parameters is a very important process obtained by means of both minimum surface roughness values and long tool life. The statistical models were developed to predict the surface roughness.This paper presents the development of a statistical model for surface roughness estimation in a high-speed flat end milling process under wet cutting conditions, using machining variables such as spindle speed, feed rate, depth of cut, and step over. First- and second-order models were developed using experimental results of a rotatable central composite design, and assessed by means of various statistical tests. The highest coefficient of correlation (R_adj²) (88%) was obtained with a 10-parameter second-order model. Meanwhile, a time trend was observed in residual values between model predictions and experimental data, reflecting the probable effect of the tool wear on surface roughness. Thus, in order to enhance the estimation capability of the model, another independent variable was included into the model to account for the effect of the tool wear, and the total operating time of the tool was selected as the most suitable variable for this purpose. By inserting this new variable as a linear term into the model, R_adj² was increased to 94% and a good fit was observed between the model predictions and supplementary experimental data.In this study, it was observed that, the order of significance of the main variables is as X₅>X₃>X₄>X₁>X₂ (total machining time, depth of cut, step over, spindle speed and feed rate, respectively).     

Role of deposition parameters on microstructure and mechanical properties of chromium oxide coatings

Chromium oxide coatings were deposited by reactive magnetron sputtering on high speed steel (HSS) substrate under various oxygen flow rates and radio frequency (RF) powers. The effect of deposition conditions on the microstructure, hardness and critical load of chromium oxide coating failure was studied. The results indicated that a crystalline chromium oxide coating formed at a high oxygen flow rate and a low RF power exhibited a higher hardness and a lower critical load as compared to a chromium oxide coating with an amorphous microstructure.     

超细粉颗粒形貌控制技术的研究

颗粒形貌对颗粒群的许多性质具有重要的影响。本研究以流化床气流磨加工碳化硅磨料微粉为实例，对颗粒形貌控制的基本因素进行理论分析与实验研究，并探讨了超细加工后的整形技术及超细加工前的预处理技术。可获得球形化程度好的等积形颗粒形貌，也可获得较好的多棱形颗粒形貌，这对提高超细粉的工业价值和经济价值，扩大应用领域和范围，具有重要的意义。