Diagram of phase transformations in the austenite of hardened alloy Fe-28% Mn-8.5% Al-1% C-1.25% Si as a result of aging due to isothermal heating

The phase composition and the morphology of structures formed as a result of isothermal holds in the range of aging temperatures of hardened alloy Fe-28% Mn, 8.5% Al-1% C-1.25% S are studied. A diagram of the decomposition of initial austenite is plotted starting with the early stages and ending with the moment when the system attains the equilibrium state.     

Model-based testing of software and systems: recent advances and challenges

Model-based testing is focused on testing techniques which rely on the use of models. The diversity of systems and software to be tested implies the need for research on a variety of models and methods for test automation. We briefly review this research area and introduce several papers selected from the 22nd International Conference on Testing Software and Systems (ICTSS).     

中俄管道顺序输送技术标准差异分析

评价了国内外成品油管道技术现状和发展趋势。基于中亚、中俄跨国管道迅速发展,国内已开展中国和俄罗斯标准差异研究,但在成品油管道运行领域较少涉及,为此选取了俄罗斯有代表性的成品油管道综合性标准。该标准的先进性主要体现在以下几个方面:油品排列原则更为细化、采用工艺混油缓冲塞和限定控制初始工艺混油以减少混油、规定成品油管道最低允许流速、严格控制混油切割浓度、基于定量计算掺混比例进行混油掺混作业等。最后,针对完善我国成品油管道运行标准提出了建议。     

Generating asynchronous test cases from test purposes

Context

Input/output transition system (IOTS) models are commonly used when next input can arrive even before outputs are produced. The interaction between the tester and an implementation under test (IUT) is usually assumed to be synchronous. However, as the IUT can produce outputs at any moment, the tester should be prepared to accept all outputs from the IUT, or else be able to block (refuse) outputs of the implementation. Testing distributed, remote applications under the assumptions that communication is synchronous and actions can be blocked is unrealistic, since synchronous communication for such applications can only be achieved if special protocols are used. In this context, asynchronous tests can be more appropriate, reflecting the underlying test architecture which includes queues.

Objective

In this paper, we investigate the problem of constructing test cases for given test purposes and specification input/output transition systems, when the communication between the tester and the implementation under test is assumed to be asynchronous, performed via multiple queues.

Method

When issuing verdicts, asynchronous tests should take into account a distortion caused by the queues in the observed interactions. First, we investigate how the test purpose can be transformed to account for this distortion when there are a single input queue and a single output queue. Then, we consider a more general problem, when there may be multiple queues.

Results

We propose an algorithm which constructs a sound test case, by transforming the test purpose prior to composing it with the specification without queues.

Conclusion

The proposed algorithm mitigates the state explosion problem which usually occurs when queues are directly involved in the composition. Experimental results confirm the resulting state space reduction.     

Workpiece surface modification using electrical discharge machining

Electrical discharge machining (EDM) is a widely used process in the mould / die and aerospace industries. Following a brief summary of the process, the paper reviews published work on the deliberate surface alloying of various workpiece materials using EDM. Details are given of operations involving powder metallurgy (PM) tool electrodes and the use of powders suspended in the dielectric fluid, typically aluminium, nickel, titanium, etc. Following this, experimental results are presented on the surface alloying of AISI H13 hot work tool steel during a die sink operation using partially sintered WC / Co electrodes operating in a hydrocarbon oil dielectric. An L8 fractional factorial Taguchi experiment was used to identify the effect of key operating factors on output measures (electrode wear, workpiece surface hardness, etc.). With respect to microhardness, the percentage contribution ratios (PCR) for peak current, electrode polarity and pulse on time were ˜24, 20 and 19%, respectively. Typically, changes in surface metallurgy were measured up to a depth of ˜30 μm (with a higher than normal voltage of ˜270 V) and an increase in the surface hardness of the recast layer from ˜620 HK_0.025 up to ˜1350 HK_0.025.     

Comparing finite state machine test

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.     

单点激振实验中激振点位置的选择

本文从多点激振与单点激振的比较中,提出单点激振时激振点位置的选择依据和方法。     

Hydrogen production from glycerol by supercritical water gasification in a continuous flow tubular reactor

In this work, glycerol was used for hydrogen production by supercritical water gasification. Experiments were conducted in a continuous flow tubular reactor at 445∼600 °C, 25 MPa, with a short residence time of 3.9∼9.0 s. The effects of reaction temperature, residence time, glycerol concentration and alkali catalysts on gasification were systematically studied. The results showed that the gasification efficiency increased sharply with increasing temperature above 487 °C. A short residence time of 7.0 s was enough for 10 wt% glycerol gasification at 567 °C. With the increase of glycerol concentration from 10 to 50 wt%, the gasification efficiency decreased from 88% to 71% at 567 °C. The alkali catalysts greatly enhanced water-gas shift reaction and the hydrogen yield in relation to catalysts was in the following order: NaOH > Na₂CO₃>KOH > K₂CO₃. The hydrogen yield of 4.93 mol/mol was achieved at 526 °C with 0.1 wt% NaOH. No char or tar was observed in all experiments. The apparent activation energy and apparent pre-exponential factor for glycerol carbon gasification were obtained by assuming pseudo first-order kinetics.