Optimization of cold and warm workability in stainless steel type AISI 316L using instability maps

The deformation characteristics of stainless steel type AISI 316L under compression in the temperature range 20 to 600 degrees C and strain rate range 0.001 to 100 s(-1) have been studied with a view to characterizing the flow instabilities occurring in the microstructure. At temperatures lower than 100 degrees C and strain rates higher than 0.1 s(-1), 316L stainless steel exhibits flow localization whereas dynamic strain aging (DSA) occurs at intermediate temperatures and below 1 s(-1). To avoid the above flow instabilities, cold working should be carried out at strain rates less than 0.1 s(-1). Warm working of stainless steel type AISI 316L may be done in the temperature and strain rate regime of: 300 to 400 degrees C and 0.001 s(-1) 300 to 450 degrees C and 0.01 s(-1): 450 to 600 degrees C and 0.1 s(-1); 500 degrees C and 1 s(-1) since these regions are free from flow instabilities like DSA and flow localization. The continuum criterion, developed on the basis of the principles of maximum rate of entropy production and separability of the dissipation function, predicts accurately all the above instability features.

Instability map for cold and warm working of as-cast 304 stainless steel

The deformation characteristics of as-cast 304 stainless steel under compression in the temperature range 20-600 degrees C and strain rate range 0.001-100 s(-1) have been studied with a view to characterizing the flow instabilities occurring in the microstructure. Ar strain rates of less than 0.05 s(-1), as-cast 304 stainless steel exhibits flow localization in the temperature range 20-600 degrees C, whereas dynamic strain ageing occurs at intermediate temperatures and below 5 s(-1). At room temperatures and strain rates of less than 0.05 s(-1), martensite formation is observed. To avoid the above microstructural instabilities warm working should be carried out at strain rates greater than 10 s(-1) in the temperature range 400-600 degrees C and cold working could be done in the range of about 0.05-0.8 s(-1). The continuum criterion developed on the basis of the principles of maximum rate of entropy production and separability of the dissipation function, predicts accurately all of the above instability features. (C) 1997 Elsevier Science S.A.

On the Decidability of Model-Checking Information Flow Properties

Current standard security practices do not provide substantial assurance about information flow security: the end-to-end behavior of a computing system. Noninterference is the basic semantical condition used to account for information flow security. In the literature, there are many definitions of noninterference: Non-inference, Separability and so on. Mantel presented a framework of Basic Security Predicates (BSPs) for characterizing the definitions of noninterference in the literature. Model-checking these BSPs for finite state systems was shown to be decidable in [8]. In this paper, we show that verifying these BSPs for the more expressive system model of pushdown systems is undecidable. We also give an example of a simple security property which is undecidable even for finite-state systems: the property is a weak form of non-inference called WNI, which is not expressible in Mantel’s BSP framework.

An optimal transform Architecture for H.264/AVC

This paper presents the design of the area optimized integer two dimensional discrete cosine transform (2-D DCT) used in H.264/AVC codecs. The 2-D DCT calculation is performed by utilizing the separability property, in such a way that 2-D DCT is divided into two 1-D DCT calculation that are joined through a common memory. Due to its area optimized approach, the design will find application in mobile devices. Verilog hardware description language (HDL) in cadence environment has been used for design, compilation, simulation and synthesis of transform block in 0.18 mu TSMC technology.

FAST AND ACCURATE BILATERAL FILTERING USING GAUSS-POLYNOMIAL DECOMPOSITION

The bilateral filter is a versatile non-linear filter that has found diverse applications in image processing, computer vision, computer graphics, and computational photography. A common form of the filter is the Gaussian bilateral filter in which both the spatial and range kernels are Gaussian. A direct implementation of this filter requires O(sigma(2)) operations per pixel, where sigma is the standard deviation of the spatial Gaussian. In this paper, we propose an accurate approximation algorithm that can cut down the computational complexity to O(1) per pixel for any arbitrary sigma (constant-time implementation). This is based on the observation that the range kernel operates via the translations of a fixed Gaussian over the range space, and that these translated Gaussians can be accurately approximated using the so-called Gauss-polynomials. The overall algorithm emerging from this approximation involves a series of spatial Gaussian filtering, which can be efficiently implemented (in parallel) using separability and recursion. We present some preliminary results to demonstrate that the proposed algorithm compares favorably with some of the existing fast algorithms in terms of speed and accuracy.

Fishing effort validation and substitution possibilities among components: the case study of the VIII division European anchovy fishery

Command and control regulation programs, particularly input constraints, typically fail to achieve stated objectives, because fishermen may substitute unregulated for regulated inputs. It is, thus, essential to have an understanding of the internal structure of production technology. A primal formulation is used to estimate a translog production function at the vessels level that includes fishing effort and fisherman’s skill. The flexibility of the selected functional permits the analysis of the substitution possibilities among inputs by estimating the elasticity of substitution with no prior constraints. Particular attention is paid to the empirical validation of fishing effort as an aggregate input, which implies either, the acceptation of the joint hypothesis that inputs making up effort are weakly separable from the inputs out of the subgroup or considering that effort is an intermediate input produced by a non-separable two stage technology. Cross sectional data from the Spanish purse seine fleet operating in the VIII Division European anchovy fishery provide evidence of limited input substitution possibilities among the inputs making up the empirically validated fishing effort translog micro-production function.

压缩真空环境中无相互作用两量子比特系统的纠缠动力学

本文研究了压缩真空中无相互作用双原子的纠缠动力学特性。通过分析不同初始纠缠态的演化，发现压缩真空中纠缠原子失去纠缠的速度比在普通真空中更快，并且压缩越大纠缠衰减越快。可以用concurrence和可分性“距离”Lambda的时间演化来解释这种不同寻常的纠缠突然消失现象。

Quantum simulation of enzyme catalysis

Separating the dynamics of variables that evolve on different timescales is a common assumption in exploring complex systems, and a great deal of progress has been made in understanding chemical systems by treating independently the fast processes of an activated chemical species from the slower processes that proceed activation. Protein motion underlies all biocatalytic reactions, and understanding the nature of this motion is central to understanding how enzymes catalyze reactions with such specificity and such rate enhancement. This understanding is challenged by evidence of breakdowns in the separability of timescales of dynamics in the active site form motions of the solvating protein. Quantum simulation methods that bridge these timescales by simultaneously evolving quantum and classical degrees of freedom provide an important method on which to explore this breakdown. In the following dissertation, three problems of enzyme catalysis are explored through quantum simulation.

A common axiom for classical division rules for claims problems

In this paper we introduce a new axiom, denoted claims separability, that is satisfied by several classical division rules defined for claims problems. We characterize axiomatically the entire family of division rules that satisfy this new axiom. In addition, employing claims separability, we characterize the minimal overlap rule, given by O'Neill (1982), Piniles rule and the rules in the TAL-family, introduced by Moreno-Ternero and Villar (2006), which includes the uniform gains rule, the uniform losses rule and the Talmud rule.

The minimal overlap cost sharing rule

In this paper we introduce a new cost sharing rule-the minimal overlap cost sharing rule-which is associated with the minimal overlap rule for claims problems defined by O'Neill (1982). An axiomatic characterization is given by employing a unique axiom: demand separability. Variations of this axiom enable the serial cost sharing rule (Moulin and Shenker, 1992) and the rules of a family (Albizuri, 2010) that generalize the serial cost sharing rule to be characterized. Finally, a family that includes the minimal overlap cost sharing rule is defined and obtained by means of an axiomatic characterization.

Pulsed neutron measurements in two adjacent finite media

The pulsed neutron technique has been used to investigate the decay of thermal neutrons in two adjacent water-borated water finite media. Experiments were performed with a 6x6x6 inches cubic assembly divided in two halves by a thin membrane and filled with pure distilled water on one side and borated water on the other side.

The fundamental decay constant was measured versus the boric acid concentration in the poisoned medium. The experimental results showed good agreement with the predictions of the time dependent diffusion model. It was assumed that the addition of boric acid increases the absorption cross section of the poisoned medium without affecting its diffusion properties: In these conditions, space-energy separability and the concept of an “effective” buckling as derived from diffusion theory were introduced. Their validity was supported by the experimental results.

Measurements were performed with the absorption cross section of the poisoned medium increasing gradually up to 16 times its initial value. Extensive use of the IBM 7090-7094 Computing facility was made to analyze properly the decay data (Frantic Code). Attention was given to the count loss correction scheme and the handling of the statistics involved. Fitting of the experimental results into the analytical form predicted by the diffusion model led to

Ʃ_av = 4721 sec^-1 (±150)

D_o = 35972 cm²sec^-1 (±800) for water at 21˚C

C (given) = 3420 cm⁴sec^-1

These values, when compared with published data, show that the diffusion model is adequate in describing the experiment.

Entanglement negativity in the harmonic chain out of equilibrium

We study the entanglement in a chain of harmonic oscillators driven out of equilibrium by preparing the two sides of the system at different temperatures, and subsequently joining them together. The steady state is constructed explicitly and the logarithmic negativity is calculated between two adjacent segments of the chain. We find that, for low temperatures, the steady-state entanglement is a sum of contributions pertaining to left-and right-moving excitations emitted from the two reservoirs. In turn, the steady-state entanglement is a simple average of the Gibbs-state values and thus its scaling can be obtained from conformal field theory. A similar averaging behaviour is observed during the entire time evolution. As a particular case, we also discuss a local quench where both sides of the chain are initialized in their respective ground states.

Multilinear function factorisation for time series feature extraction

This work applies a variety of multilinear function factorisation techniques to extract appropriate features or attributes from high dimensional multivariate time series for classification. Recently, a great deal of work has centred around designing time series classifiers using more and more complex feature extraction and machine learning schemes. This paper argues that complex learners and domain specific feature extraction schemes of this type are not necessarily needed for time series classification, as excellent classification results can be obtained by simply applying a number of existing matrix factorisation or linear projection techniques, which are simple and computationally inexpensive. We highlight this using a geometric separability measure and classification accuracies obtained though experiments on four different high dimensional multivariate time series datasets. © 2013 IEEE.

Detecting quantum entanglement by means of local operations and classical communication

Based on the positive maps separability criterion, we present a method for the detection of quantum entanglement of a shared bipartite quantum state, within the "distant labs" paradigm, using only local operations and classical communication.

Detecting a set of entanglement measures in an unknown tripartite quantum state by local operations and classical communication

We propose a more general method for detecting a set of entanglement measures, i.e., negativities, in an arbitrary tripartite quantum state by local operations and classical communication. To accomplish the detection task using this method, three observers do not need to perform partial transposition maps by the structural physical approximation; instead, they only need to collectively measure some functions via three local networks supplemented by a classical communication. With these functions, they are able to determine the set of negativities related to the tripartite quantum state.