Evidence of nano-galvanic couple formation on in-situ formed nano-aluminum amalgam surfaces for passivation-bypassed water splitting

Reaction of Al metal with water is a well-known technique for large scale production of hydrogen. However, this method suffers from kinetic limitations due to formation of a passivation layer on Al, preventing optimal operations. Using high resolution Scanning Kelvin Probe Force Microscopy (SKPFM), we show the origin of formation of 'nano-galvanic couple' on in situ formed nano-aluminum amalgam surfaces in a water splitting system; passivation based limitations are completely bypassed in this approach. Furthermore, they offer an opportunity to beneficiate and recover mercury in contaminated water. The nano-galvanic corrosion due to substantial lateral variation in surface contact potential is responsible for the observed high throughput of hydrogen production (720 mL/min per 0.5 g Al salt). It may be noted that this process fares better than in situ prepared nano-Al based hydrogen production, wherein 600 mL/min of hydrogen is obtained for 0.5 g Al salt. Investigations using Cyclic Voltammetry (CV) and Electrochemical Impedance Spectroscopy (EIS) provide evidence for passivation-bypassed hydrolysis and favourable kinetics for in situ derived nano-AlHg hydrolytic agents (when compared to nano-Al). This study, to the best of our knowledge, reports the first direct proof of nano-galvanic couple formation on in-situ prepared nanoaluminum amalgam surface; paving a direct way to overcome the long standing passivation problem in Al hydrolysis. It is found that the hydrogen production rate and standard deviation (SD) of the contact potential of nanoaluminum amalgam are directly related to the rate of addition of the reducing agent, offering an opportunity for kinetic control for the in situ hydrolytic process.     

Anwendungen für Mehrphasen-CFD am Fahrzeugexterieur

Forschung im Ingenieurwesen - In der Automobilindustrie werden einphasige Strömungssimulationen seit vielen Jahren zur Aerodynamik- und Aeroakustikentwicklung eingesetzt. Sie gewähren...     

Casting methods for the production of rotationally symmetric copper bimetals

ABSTRACT

Multiple-material products are characterised by a complex property profile which is achieved by combining the particular advantages of at least two different materials. Bimetal casting is an energy- and material-efficient technology for the production of multi-metallic objects. This paper describes the development of a semi-continuous casting process for the formation of a rotationally symmetric bimetal with a cohesive bonding character at the interface of a copper–tin alloy (CuSn6) and pure copper (Cu99.5). Initial experiments are conducted by static casting to evaluate the thermal process window. Based on the results of the initial experiments, a vertical semi-continuous compound casting process is developed. A stable cohesive bond between the joining partners is accomplished by forming a solid solution at the interface.

This paper is part of a Thematic Issue on Copper and its Alloys.     

Measure-Valued Variational Models with Applications to Diffusion-Weighted Imaging

We develop a general mathematical framework for variational problems where the unknown function takes values in the space of probability measures on some metric space. We study weak and strong topologies and define a total variation seminorm for functions taking values in a Banach space. The seminorm penalizes jumps and is rotationally invariant under certain conditions. We prove existence of a minimizer for a class of variational problems based on this formulation of total variation and provide an example where uniqueness fails to hold. Employing the Kantorovich–Rubinstein transport norm from the theory of optimal transport, we propose a variational approach for the restoration of orientation distribution function-valued images, as commonly used in diffusion MRI. We demonstrate that the approach is numerically feasible on several data sets.     

Design and eco-technoeconomic analyses of SOFC/GT hybrid systems accounting for long-term degradation effects

This study compares two SOFC/GT (solid oxide fuel cell with gas turbine) hybrid systems to that of two standalone SOFC systems via eco-technoeconomic analyses that account for long-term degradation effects. Four cases were examined: 1) standalone SOFC plant without a steam bottoming cycle; 2) standalone SOFC plant with a steam bottoming cycle; 3) SOFC/GT hybrid plant without a steam bottoming cycle; and 4) SOFC/GT with a steam bottoming cycle. This study employed a real-time 1D SOFC model with an empirical degradation calculation integrated with steady-state balance-of-plant models. Simulations used Matlab Simulink R2017a, Aspen Plus V10, and Python 3.7.4 with a pseudo steady-state approach. The results showed that, with some trade-offs, the SOFC/GT hybrid plant with the steam bottoming cycle is the best option, with an overall efficiency of 44.6% _LHV, an LCOE (levelized cost of electricity) of $US 77/MWh, and a CCA (cost of CO₂ avoided) of -$US 49.3/tonneCO₂e. The sensitivity analysis also indicated that SOFC/GT hybrid plants were less sensitive to SOFC price compared to standalone SOFC plants. The sensitivity analysis indicated that using a larger gas turbine and replacing the SOFC stack less frequently was the better design choice for the SOFC/GT hybrid plant.     

Multiscale Biomechanics of Tomato Fruits: A Review

Bruising and other mechanical damage to fruit caused by external forces during and postharvesting is manifested at the macroscale but is ultimately the result of failure of cells at the microscale. However, fruits have internal structures and cells from different tissue types react differently to application of an external force. Not much is known about the effects of such forces on single cells within tissues and one reason for this is the lack of multiscale models linking macro- (organ or whole fruit), meso- (tissue), and micro- (cell) mechanics. This review concerns tomato fruits specifically as this is an important crop and is an excellent exemplar of past and proposed research in this field. The first consideration is the multiscale anatomy of tomato fruits that provides the basis for mechanical modeling. The literature on experimental methods for studying multiscale mechanics of fruit is then reviewed, as are recent results from using those methods. Finally, future research directions are discussed, in particular the combination of work over all scales. It is clear that a bottom-up approach incorporating single-cell mechanics in finite element models of whole fruit assumed to have internal structures is a promising way forward for tomato fruits but further method developments may be needed for these and other fruits and vegetables, in particular recovery of representative single cells from tissues for mechanical characterization.     

2011 CAV award announcement

The 2011 CAV (Computer-Aided Verification) Award was presented on July 17, 2011 at the 23rd annual CAV conference in Snowbird, Utah to Thomas Ball and Sriram Rajamani of Microsoft Research for their contributions to software model checking, specifically the development of the SLAM/SDV software model checker, which successfully demonstrated computer-aided verification techniques on real programs.     

System-specific static code analyses: a case study in the complex embedded systems domain

In this paper, we are exploring the approach to utilize system-specific static analyses of code with the goal to improve software quality for specific software systems. Specialized analyses, tailored for a particular system, make it possible to take advantage of system/domain knowledge that is not available to more generic analyses. Furthermore, analyses can be selected and/or developed in order to best meet the challenges and specific issues of the system at hand. As a result, such analyses can be used as a complement to more generic code analysis tools because they are likely to have a better impact on (business) concerns such as improving certain software quality attributes and reducing certain classes of failures. We present a case study of a large, industrial embedded system, giving examples of what kinds of analyses could be realized and demonstrate the feasibility of implementing such analyses. We synthesize lessons learned based on our case study and provide recommendations on how to realize system-specific analyses and how to get them adopted by industry.