Optimization of friction stir welding using space mapping and manifold mapping—an initial study of thermal aspects

The aim of this paper is to optimize a thermal model of a friction stir welding process by finding optimal welding parameters. The optimization is performed using space mapping and manifold mapping techniques in which a coarse model is used along with the fine model to be optimized. Different coarse models are applied and the results and computation time are compared to gradient based optimization using the full model. It is found that the use of space and manifold mapping reduces the computational cost significantly due to the fact that fewer function evaluations and no fine model gradient information is required.     

Evaluation of a type 1 diabetes serum cohort by SELDI-TOF MS protein profiling

Proteomics analysis of serum from patients with type 1 diabetes (T1D) may lead to novel biomarkers for prediction of disease and for patient monitoring. However, the serum proteome is highly sensitive to sample processing and before proteomics biomarker research serum cohorts should preferably be examined for potential bias between sample groups. SELDI‐TOF MS protein profiling was used for preliminary evaluation of a biological‐bank with 766 serum samples from 270 patients with T1D, collected at 18 different paediatric centers representing 15 countries in Europe and Japan over 2 years (2000–2002). Samples collected 1 (n = 270), 6 (n = 248), and 12 (n = 248) months after T1D diagnosis were grouped across centers and compared. The serum protein profiles varied with collection site and day of analysis; however, markers of sample processing were not systematically different between samples collected at different times after diagnosis. Three members of the apolipoprotein family increased with time in patient serum collected 1, 6, and 12 months after diagnosis (ANOVA, p<0.001). These results support the use of this serum cohort for further proteomic studies and illustrate the potential of high‐throughput MALDI/SELDI‐TOF MS protein profiling for evaluation of serum cohorts before proteomics biomarker research.     

Non-Hierarchical Architected Materials with Extreme Stiffness and Strength

Stretch-dominated truss and plate microstructures are contenders in the quest for realizing architected materials with extreme stiffness and strength. In the low volume fraction limit, closed-cell isotropic plate microstructures meet theoretical upper bounds on stiffness but have low buckling strength, whereas open-cell truss microstructures have high buckling strength at the cost of significantly reduced stiffness. At finite volume fractions, the picture becomes less clear but both are outperformed by hollow truss lattice and hierarchical microstructures in terms of buckling strength. Despite significant advances in manufacturing methods, hollow and multi-scale hierarchical microstructures are still challenging to build. The question is if there exist realizable microstructures providing stiffness and strength matching or even beating hard-to-realize hollow or hierarchical microstructures? Herein, single-scale non-hierarchical (first order) microstructures that beat the buckling strength of hollow truss lattice structures by a factor of 2.4 and first- and second-order plate microstructures by factors of 5 and 1.4, respectively, are systematically designed, built, and tested. Stiffness of the microstructures is within 40% of theoretical bounds and beats both truss and second order plate microstructures. The microstructures are realized with 3D printing. Experiments validate theoretical predictions and additional insight is provided through numerical modeling of a CT-scanned sample.     

Pseudo-T2 mapping for normalization of T2-weighted prostate MRI

Magnetic Resonance Materials in Physics, Biology and Medicine - Signal intensity normalization is necessary to reduce heterogeneity in T2-weighted (T2W) magnetic resonance imaging (MRI) for...     

Post‐buckling optimization of composite structures using Koiter's method

Thin‐walled structures, when compressed, are prone to buckling. To fully utilize the capabilities of such structures, the post‐buckling response should be considered and optimized in the design process. This work presents a novel method for gradient‐based design optimization of the post‐buckling performance of structures. The post‐buckling analysis is based on Koiter's asymptotic method. To perform gradient‐based optimization, the design sensitivities of the Koiter factors are derived, and new design optimization formulations based on the Koiter factors are presented. The proposed optimization formulations are demonstrated on a composite square plate and a curved panel where the post‐buckling stability is optimized. Copyright © 2016 John Wiley & Sons, Ltd.     

The mitigation hierarchy upside down – a study of nature protection measures in Danish infrastructure projects

This paper presents a Danish study of mitigation directed at nature protection in environmental impact assessment (EIA) of infrastructure projects. The study is based on a document analysis of EIA reports, a workshop held with EIA professionals, and a study of two cases. The paper takes a point of departure in the mitigation hierarchy as a central conceptual framework, identifies which mitigation measures have been suggested in the EIA reports, and compares this to the mitigation hierarchy. Further, the paper explores the dynamics behind which mitigation measures are chosen and later implemented. The findings point to a discrepancy between the prevention principle embedded in the mitigation hierarchy and the actual EIA practice with increased use of nature compensation. Further, the research reveals significant variation in the design of mitigation measures, e.g. in the level of detail used in describing them and the level of clarity as to aims and actions.     

The use of social media in impact assessment: experiences among national infrastructure developers in Denmark

Social media plays an increasingly prominent role in the interaction between impact assessments and society. Impact assessment is thus becoming part of social networks that are claimed to be able to improve interaction between actors in impact assessment processes. By investigating the use of social media in impact assessment and planning processes of national linear infrastructure development, we explore how social media impinge on participatory practices and how the potential of social media is realized in the current use related to public participation processes. The study focuses on experiences among national developers working in road, rail, electricity, gas, and metro infrastructures in Denmark. The article shows that the current use of social media in public participatory practices is limited to branding and on-way communication and that the increasing use of social media in linear infrastructure planning gives rise to a variety of concerns among developers that are related to especially organizational cultures, perception of the target groups, and prioritization of resources.     

Transmission electron microscopy study of a dental gallium alloy

Analytical transmission electron microscopy (TEM) studies of a dental gallium alloy have been carried out. This commercial Ga alloy was made by triturating a Ag-Sn-Cu-rich alloy powder with a liquid Ga alloy containing Ga, In and Sn. Ga alloys are of increasing interest as an alternative to amalgam. The dental material studied in the present work was found to be a composite consisting of remaining, undissolved particles from the Ag-based alloy powder in a matrix of reaction products with the liquid Ga alloy. The phases in the matrix and the remaining Ag-based alloy particles have been identified by electron diffraction, high resolution electron microscopy and energy dispersive X-ray spectroscopy. the following phases were identified: orthorhombic Ag₃Sn, cubic -Cu₉Ga₄, cubic Ag₉In₄, tetragonal -Sn and hexagonal Ag₂Ga. In addition to these well-known phases Ga-rich regions of Cu-Ga were observed consisting of an intergrowth of the tetragonal CuGa₂ and one of the cubic -Cu₉Ga₄ phases.     

Liquidus temperatures for primary crystallization of cryolite in molten salt systems of interest for aluminum electrolysis

Temperatures for primary crystallization of Na₃AlF₆ in multicomponent electrolyte systems of interest for the aluminum electrolysis process were determined by thermal analysis. The results are presented as binary and quasibinary diagrams and discussed in view of the literature data. An empirical equation describing liquidus temperatures for primary crystallization of Na₃AlF₆ was derived: $$\begin{gathered} t/(^\circ C) = 1011 + 0.50[AlF_3 ] - 0.13[AIF_3 ] - \frac{{3.45[CaF_2 ]}}{{1 + 0.0173[CaF_2 ]}} \hfill \\ + 0.124[CaF_2 ] \cdot [AlF_3 ] - 0.00542([CaF_2 ] \cdot [AlF_3 ])^{1.5} \hfill \\ - \frac{{7.93[Al_2 O_3 ]}}{{1 + 0.0936[Al_2 O_3 ] - 0.0017[Al_2 O_3 ]^2 - 0.0023[AlF_3 ] \cdot [Al_2 O_3 ]}} \hfill \\ - \frac{{8.90[LiF]}}{{1 + 0.0047[LiF] + 0.0010[AlF3]^2 }} - 3.95[MgF_2 ] - 3.95 \hfill \\ \end{gathered} $$ wheret is the temperature in degree Celsius and the square brackets denote the weight percent of components in the system Na₃AlF₆-AlF₃-CaF₂-Al₂O₃-LiF-MgF₂-KF. The composition limitations are [AlF₃] ≈ [CaF₂] ≈ [LiF] < 20 wt pct, [MgF₂] ≈ [KF] < 5 wt pct, and [A1₂O₃] up to saturation.     

Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm

This paper presents an assumption/commitment specification technique and a refinement calculus for networks of agents communicating asynchronously via unbounded FIFO channels in the tradition of Kahn.

We define two types of assumption/commitment specifications, namely simple and general specifications.

It is shown that semantically, any deterministic agent can be uniquely characterized by a simple specification, and any nondeterministic agent can be uniquely characterized by a general specification.

We define two sets of refinement rules, one for simple specifications and one for general specifications. The rules are Hoare-logic inspired. In particular the feedback rules employ invariants in the style of a traditional while-rule.

Both sets of rules have been proved to be sound and also (semantic) relative complete.

Conversion rules allow the two logics to be combined. This means that general specifications and the rules for general specifications have to be introduced only at the point in a system development where they are really needed.