Mathematical modelling and numerical simulation of ordered porosity metal materials formation

Ordered porosity metal materials belong to a relatively new class of porous materials named gasars. This paper presents a mathematical model of the complex physical phenomena in the production of gasars. Analyses for heat transfer, solidification kinetics and gas diffusion were coupled to describe the formation of unique gasar structure. Several criterial functions were introduced to provide significant quantitative information about the relationship between the operating technological parameters and the final structure. The computational outcomes of the numerical simulation were compared with the characteristics of real gasar ingots. The model was applied to determine the boundary conditions that would provide approximately constant physical conditions on the solidification front. The structure sensitiveness of gasars with respect to the different technological parameters is discussed.     

Particle distribution control in cast aluminium alloy-mica composites

A suspension of mica particles (40m diameter and 3.7 thick) obtained in a mechanically stirred Al-4 wt % Cu-1.5 wt % Mg melt was poured and solidified in a variety of moulds under different heat flow configurations. The resulting cast structure showed a non-uniform distribution of dispersed mica particles with mica-depleted and segregated zones due to their flotation before and during solidification. The experimentally observed profiles of mica-free regions deviate significantly from those computed on the basis of Stokes's law and freezing-time computations. In relatively thick castings, segregation of mica could be minimized by using low pouring temperatures and/or side as well as bottom chilling. It was found, however, that thin castings (12.5 mm) could easily be produced with a homogeneous distribution of mica particles.     

Map‐based Visualizations Increase Recall Accuracy of Data

We investigate the memorability of data represented in two different visualization designs. In contrast to recent studies that examine which types of visual information make visualizations memorable, we examine the effect of different visualizations on time and accuracy of recall of the displayed data, minutes and days after interaction with the visualizations. In particular, we describe the results of an evaluation comparing the memorability of two different visualizations of the same relational data: node‐link diagrams and map‐based visualization. We find significant differences in the accuracy of the tasks performed, and these differences persist days after the original exposure to the visualizations. Specifically, participants in the study recalled the data better when exposed to map‐based visualizations as opposed to node‐link diagrams. We discuss the scope of the study and its limitations, possible implications, and future directions.     

Decision-theoretic planning with generalized first-order decision diagrams

Many tasks in AI require representation and manipulation of complex functions. First-Order Decision Diagrams (FODD) are a compact knowledge representation expressing functions over relational structures. They represent numerical functions that, when constrained to the Boolean range, use only existential quantification. Previous work has developed a set of operations for composition and for removing redundancies in FODDs, thus keeping them compact, and showed how to successfully employ FODDs for solving large-scale stochastic planning problems through the formalism of relational Markov decision processes (RMDP). In this paper, we introduce several new ideas enhancing the applicability of FODDs. More specifically, we first introduce Generalized FODDs (GFODD) and composition operations for them, generalizing FODDs to arbitrary quantification. Second, we develop a novel approach for reducing (G)FODDs using model checking. This yields – for the first time – a reduction that maximally reduces the diagram for the FODD case and provides a sound reduction procedure for GFODDs. Finally we show how GFODDs can be used in principle to solve RMDPs with arbitrary quantification, and develop a complete solution for the case where the reward function is specified using an arbitrary number of existential quantifiers followed by an arbitrary number of universal quantifiers.     

Implicit branching and parameterized partial cover problems

Covering problems are fundamental classical problems in optimization, computer science and complexity theory. Typically an input to these problems is a family of sets over a finite universe and the goal is to cover the elements of the universe with as few sets of the family as possible. The variations of covering problems include well-known problems like Set Cover, Vertex Cover, Dominating Set and Facility Location to name a few. Recently there has been a lot of study on partial covering problems, a natural generalization of covering problems. Here, the goal is not to cover all the elements but to cover the specified number of elements with the minimum number of sets. In this paper we study partial covering problems in graphs in the realm of parameterized complexity. Classical (non-partial) version of all these problems has been intensively studied in planar graphs and in graphs excluding a fixed graph H as a minor. However, the techniques developed for parameterized version of non-partial covering problems cannot be applied directly to their partial counterparts. The approach we use, to show that various partial covering problems are fixed parameter tractable on planar graphs, graphs of bounded local treewidth and graph excluding some graph as a minor, is quite different from previously known techniques. The main idea behind our approach is the concept of implicit branching. We find implicit branching technique to be interesting on its own and believe that it can be used for some other problems.     

Novel Ultrahigh-Energy Materials

This paper reviews the recent work carried out in the field of modern high-energy materials (HEMs) with the emphasis on homoleptic polynitrogen compounds. A large volume of quantum-chemical investigations have predicted the possibility of existence of polynitrogen compounds not only as short-lived transient species but also in the form of isolable discrete molecules. Despite the theoretical speculations, only a few polynitrogen ions are known today in addition to well-entrenched N _1– ³ discovered almost 100 year ago. Extraordinary potential of these green molecules to deliver high amounts of energy in comparison with todays and tomorrows most powerful HEMs, namely, hexanitrohexaazaisowurtzitane (CL-20) and octanitrocubane (ONC), has fuelled the imagination of propellant and explosive engineers and technologists. Research activities are in progress in many quantum-chemical schools to explore the possibility of other promising polynitrogen compounds. After the recent discovery of key synthons/building blocks Mg(N₅)₂, N ₁₊ ⁵ SbF _1– ⁶ , N ₁₊ ⁵ SbF₁₁, N ₁₊ ⁵ , N ₁₊ ⁵ SnF₆, and N ₁₊ ⁵ Sn(CF₃)₄, the wealth of polynitrogen compounds is just waiting to be harvested by the HEMs community. There are ambitious plans all over the globe to realize N₆₀, which only prove a eco-friendly dense powerhouse of energy.__________Translated from Fizika Goreniya i Vzryva, Vol. 41, No. 3, pp. 29–45, May–June, 2005.     

Viscous Potential Flow Analysis of Kelvin–Helmholtz Instability of a Cylindrical Flow with Heat and Mass Transfer

A linear analysis of Kelvin–Helmholtz instability of a cylindrical interface has been carried out when there is heat and mass transfer across the interface, using viscous potential flow theory. Both fluids are considered as incompressible, viscous, and thermally conducting with different kinematic viscosities. Both axisymmetric as well as asymmetric disturbances are considered. Stability criterion is given by a critical value of relative velocity and stability is discussed theoretically as well as numerically. Various graphs with respect to physical parameters such as wave number, viscosity ratio, heat transfer coefficients, Reynolds number, etc., have been drawn and the effect of various parameters have been described. A comparison with the linear stability analysis of inviscid fluids (Lee [10]) has been made and it is observed that viscosity has a stabilizing effect on the stability of the system. © 2013 Wiley Periodicals, Inc. Heat Trans Asian Res, 43(6): 489–503, 2014; Published online 3 October 2013 in Wiley Online Library ( wileyonlinelibrary.com/journal/htj ). DOI 10.1002/htj.21092     

Effect of CoFe2O4 mole percentage on multiferroic and magnetoelectric properties of Na0.5Bi0.5TiO3/CoFe2O4 particulate composites

Na_0.5Bi_0.5TiO₃ (NBT), CoFe₂O₄ (CFO) as well as particulate composites containing different mole percentages of NBT and CFO were synthesized by the solid-state sintering route and characterized for their ferroelectric and ferrimagnetic hysteresis loops, magnetostriction and magnetoelectric (ME) output. The mole% of CFO was found to influence the ferroelectric and ferrimagnetic hysteresis loops as well as magnetostriction and piezomagnetic coefficients which in turn had a significant effect on the magnetoelectric voltage coefficient. The highest magnetoelectric voltage coefficient (α) of 0.5 mV/cm/Oe was recorded in (65) NBT–(35) CFO composite.