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.     

SURFACE TENSION AND BUOYANCY DRIVEN INSTABILITIES IN A LAYER OF LIQUID TIN HEATED FROM BELOW

The linear theory of Pearson (1958) and Nield (1964) is modified here to study liquid tin and include the finite thermal resistances of the bounding layers of boron nitride, copper and air (∼10^-2 torr) in the experiments of Ginde et al. (1989). The magnitude of the ΔT_c across the layer of liquid tin required for the onset of convection depends on the ratios of the thermal conductivities and thicknesses of the supporting layers of boron nitride and copper to those of the tin.

According to our theory surface tension contributes more than buoyancy to the instability observed experimentally. The critical ΔT_c observed required for the onset of convection in the layer of tin, is up to 25% lower than that predicted, which shows the layer is less stable than the theory indicates. Thus the surface of the tin was uncontaminated, or a significantly larger observed critical ΔT_c would be expected.

The boundary condition on the thermal fluctuations at the base of the supporting layer of copper does not appear to be important in these experiments. However, the thermal resistance of the boron nitride would have to be assumed to be unrealistically large to obtain agreement within experimental error with the theory.     

Electrochemistry of polyaniline: Study of the pH effect and electrochromism

Polyaniline was electrochemically synthesized from an aqueous medium with various acid electrolytes via potentiodynamic and potentiostatic techniques. The electrochemical synthesis of polyaniline was studied over various substrates, including Pt, Ti, Ni, and SnO₂ coated glass, and in various acid electrolytes. Cyclic voltammograms of electrochemically synthesized polyaniline were studied in HCl in a pH range of 1–4. Probable electrochemistry and chemical changes were deduced that occurred when polyaniline film was electrochemically oxidized and reduced between ?0.2 and 1.0 V versus a Ag/AgCl reference electrode in an acidic electrolyte at pH 1, and three corresponding oxidation and reduction peaks were described instead of two redox peaks (as observed by W. S. Huang, B. D. Humphrey, and A. G. MacDiarmid, J Chem Soc Faraday Trans 1 1986, 82, 2385). The electrochromic property was studied with changes in the chemical states of polyaniline during electrochemical oxidation and reduction. A new viscous electrolyte, aqueous AlCl₃ (pH 2), saturated with AgCl was used for the construction of an electrochromic display device. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 83: 378–385, 2002     

Design development of a static sunshade using small scale modeling technique

The rising global demand for energy has triggered emphasis on conservation of energy. Buildings are one of the important energy consuming sectors. Passive solar architecture encompasses a wide range of strategies and options resulting in energy efficient building design and increased occupant's comfort. Passive solar design, aiming at increasing direct solar gains during winter period and to avoid overheating during summer period should make use of specific shading devices over energy efficient window. The static sunshades are most effective for solar control inside the buildings.Countries like India have composite climate, which can be classified under summer, winter and rainy season. Depending on the seasonal requirements, this paper introduces a new geometry of a static sunshade, designed by calculating the sun angles for the two dates. The static sun shading design methodology is validated with the help of small scale modeling experimentation technique, carried out in Pilani, Rajasthan (India). Although insulating materials can be used as a part of a building structure, its feasibility should be checked before particular application. In the present paper, the two small-scale experimental models of actual construction material with varying static sunshades, i.e. horizontal and the proposed one have been constructed and analyzed with the models of insulating material (Polyurethane Foam [PUF]). Depending upon the solar intersection over south facade wall, sunlit area and shaded area have been correlated with temperature inside the models to decide the effectiveness of the proposed sunshade.     

An SDP Primal-Dual Algorithm for Approximating the Lovász-Theta Function

The Lovász ?-function (Lovász in IEEE Trans. Inf. Theory, 25:1–7, 1979) of a graph G=(V,E) can be defined as the maximum of the sum of the entries of a positive semidefinite matrix X, whose trace Tr(X) equals 1, and X _ij =0 whenever {i,j}∈E. This function appears as a subroutine for many algorithms for graph problems such as maximum independent set and maximum clique. We apply Arora and Kale’s primal-dual method for SDP to design an algorithm to approximate the ?-function within an additive error of δ>0, which runs in time $O(\frac{\vartheta ^{2} n^{2}}{\delta^{2}} \log n \cdot M_{e})$ , where ?=?(G) and M _e =O(n ³) is the time for a matrix exponentiation operation. It follows that for perfect graphs G, our primal-dual method computes ?(G) exactly in time O(? ² n ⁵logn). Moreover, our techniques generalize to the weighted Lovász ?-function, and both the maximum independent set weight and the maximum clique weight for vertex weighted perfect graphs can be approximated within a factor of (1+?) in time O(? ^?2 n ⁵logn).     

Characteristics of forming presses and recent developments for precision and net shape forming

The trend in metal forming is to produce parts with increased precision and geometric complexity. Thus, research and development is being conducted worldwide to develop presses and tooling for near-net and net shape forming of difficult-to-form components. As a result, presses with increased precision and multi-action tooling are being used routinely by advanced companies around the world. This paper will discuss the interactions between press characteristics and part production in precision forming and review some of the new press and tooling designs recently developed by various domestic and foreign manufacturers.     

不同无线技术能否共存?

新建工厂的无线技术应用已逐步获得认可,然而,还有一些过程工业对采用这项新技术或其它新的解决方案存有疑虑,主要担心多种无线技术互相之间可能存在射频干扰而影响主要通讯的可靠性,例如使用IEEE 802.11b/g和IEEE 802.15.4协议的无线电。因为两种无线电通讯采用的也是用于工业、科技和医疗的2.4GHz波段,业内人士曾     

Event-triggered control for discrete-time multi-agent average consensus

We consider the average consensus problem for the multi-agent system in the discrete-time domain. Three triggering based control protocols are developed, which dictate the broadcast and control update instants of individual agents to alleviate communication and computational burden. Lyapunov-based design methods prescribe when agents should communicate and update their control so that the network converges to the average of agents' initial states. We start with a static version of the distributed event-triggering law and then generalize it so that it involves an internal auxiliary variable to regulate the threshold dynamically for each agent. The third protocol uses a self-triggering algorithm to avoid continuous listening wherein each agent estimates its next triggering time and broadcasts it to its neighbors at the current triggering time. Numerical simulations are shown to validate the efficacy of the proposed algorithms.     

Single point incremental forming: state-of-the-art and prospects

Incremental sheet metal forming in general and Single Point Incremental Forming (SPIF) specifically have gone through a period of intensive development with growing attention from research institutes worldwide. The result of these efforts is significant progress in the understanding of the underlying forming mechanisms and opportunities as well as limitations associated with this category of flexible forming processes. Furthermore, creative process design efforts have enhanced the process capabilities and process planning methods. Also, simulation capabilities have evolved substantially. This review paper aims to provide an overview of the body of knowledge with respect to Single Point Incremental Forming. Without claiming to be exhaustive, each section aims for an up-to-date state-of-the-art review with corresponding conclusions on scientific progress and outlook on expected further developments.     

Automated dynamic detection of busy–wait synchronizations

With the advent of multicores, multithreaded programming has acquired increased importance. In order to obtain good performance, the synchronization constructs in multithreaded programs need to be carefully implemented. These implementations can be broadly classified into two categories: busy–wait and schedule‐based. For shared memory architectures, busy–wait synchronizations are preferred over schedule‐based synchronizations because they can achieve lower wakeup latency, especially when the expected wait time is much shorter than the scheduling time. While busy–wait synchronizations can improve the performance of multithreaded programs running on multicore machines, they create a challenge in program debugging, especially in detecting and identifying the causes of data races. Although significant research has been done on data race detection, prior works rely on one important assumption—the debuggers are aware of all the synchronization operations performed during a program run. This assumption is a significant limitation as multithreaded programs, including the popular SPLASH‐2 benchmark have busy–wait synchronizations such as barriers and flag synchronizations implemented in the user code. We show that the lack of knowledge of these synchronization operations leads to unnecessary reporting of numerous races. To tackle this problem, we propose a dynamic technique for identifying user‐defined synchronizations that are performed during a program run. Both software and hardware implementations are presented. Furthermore, our technique can be easily exploited by a record/replay system to significantly speedup the replay. It can also be leveraged by a transactional memory system to effectively resolve a livelock situation. Our evaluation confirms that our synchronization detector is highly accurate with no false negatives and very few false positives. We further observe that the knowledge of synchronization operations results in 23% reduction in replay time. Finally, we show that using synchronization knowledge livelocks can be efficiently avoided during runtime monitoring of programs. Copyright © 2009 John Wiley & Sons, Ltd.