Exploitation of symbolic information in interprocedural dependence analysis

The requirement for a very accurate dependence analysis to underpin software tools to aid the generation of efficient parallel implementations of scalar code is argued. The current status of dependence analysis is shown to be inadequate for the generation of efficient parallel code, causing too many conservative assumptions to be made. This paper summarises the limitations of conventional dependence analysis techniques, and then describes a series of extensions which enable the production of a much more accurate dependence graph. The extensions include analysis of symbolic variables, the development of a symbolic inequality disproof algorithm and its exploitation in a symbolic Banerjee inequality test; the use of inference engine proofs; the exploitation of exact dependence and dependence pre-domination attributes; interprocedural array analysis; conditional variable definition tracing; integer array tracing and division calculations. Analysis case studies on typical numerical code is shown to reduce the total dependencies estimated from conventional analysis by up to 50%. The techniques described in this paper have been embedded within a suite of tools, CAPTools, which combines analysis with user knowledge to produce efficient parallel implementations of numerical mesh based codes.

The effect of reflow process on the contact resistance and reliability of anisotropic conductive film interconnection for flip chip on flex applications

The work presented in this paper focuses on the effect of reflow process on the contact resistance and reliability of anisotropic conductive film (ACF) interconnection. The contact resistance of ACF interconnection increases after reflow process due to the decrease in contact area of the conducting particles between the mating I/O pads. However, the relationship between the contact resistance and bonding parameters of the ACF interconnection with reflow treatment follows the similar trend to that of the as-bonded (i.e. without reflow) ACF interconnection. The contact resistance increases as the peak temperature of reflow profile increases. Nearly 40% of the joints were found to be open after reflow with 260 °C peak temperature. During the reflow process, the entrapped (between the chip and substrate) adhesive matrix tries to expand much more than the tiny conductive particles because of the higher coefficient of thermal expansion, the induced thermal stress will try to lift the bump from the pad and decrease the contact area of the conductive path and eventually, leading to a complete loss of electrical contact. In addition, the environmental effect on contact resistance such as high temperature/humidity aging test was also investigated. Compared with the ACF interconnections with Ni/Au bump, higher thermal stress in the Z-direction is accumulated in the ACF interconnections with Au bump during the reflow process owing to the higher bump height, thus greater loss of contact area between the particles and I/O pads leads to an increase of contact resistance and poorer reliability after reflow.

Effect of machine dependence on wall failure property measurements, Jenike versus an annular shear tester

Annular, ring or torsional shear testers are commonly used in bulk solids handling research for the purpose of powder characterisation or equipment design. This paper reports from a DEFRA sponsored project which aims to develop an industrial powder flow-ability tester, (based on the annular shear tester) that is economic to buy and quick and easy to use in trained but unskilled hands. This paper compares the wall failure loci measured with an annular shear cell with measurements obtained using the accepted standard wall friction tester, the Jenike shear cell. These wall failure loci have been measured for several bulk solids which range from fine cohesive powders to free-flowing granular materials, on a stainless steel 304 2B wall surface.

The dependence of power consumption of pneumatic conveying systems upon bulk material properties, pipeline bore and routing, and mode of flow

In this paper the dependence of the power consumption of pneumatic conveyors upon conveyed materials, pipeline route and bore, and mode of flow has been examined. The findings are that, with different materials and modes of flow, not only is the amount of power consumed very different but it varies in different ways with pipe bore and routing. Additionally it has been found that, for any given conveying system, the choice of air mover also has a strong influence on the power requirement.

Recruitment of lesser sandeel Ammodytes marinus in relation to density dependence and zooplankton composition

Recent recruitment failure of lesser sandeel Ammodytes marinus, a key prey fish in the North Sea, followed by several years of low spawning stock biomass, prompted us to investigate factors influencing the recruitment of this species. We tested 2 hypotheses that relate to ecological mechanisms of recruitment regulation in lesser sandeel: (1) a positive spawning stock–recruitment relationship is decoupled in years associated with high abundances of age-1 sandeels and (2) the survival success of early larvae depends specifically on the abundance of Calanus finmarchicus and not C. helgolandicus. The findings of the present study supported both hypotheses and resulted in a multiple linear recruitment model with pronounced predictive capabilities. The model includes interactions between age-1 abundance and spawning stock biomass, plus the effect of C. finmarchicus abundance, and it explained around 65% of the inter-annual variation in recruitment in contrast to only 12% by a traditional Ricker curve. We argue that early egg production in C. finmarchicus supports the survival of larvae, and that climate-generated shifts in the Calanus species composition lead to a mismatch in timing between food availability and the early life history of lesser sandeels.

The Role of Tool/Sheet Contact in Plug-Assisted Thermoforming.

Plug-assisted thermoforming produces a wide range of polymer products through a combination of deformation by air pressure and contact with tool surfaces. In this paper the role of tool/sheet contact in determining the process output is investigated. A combination of thermoforming, friction and heat transfer tests were carried out on common tool and sheet materials. The results show that the typical friction coefficients for the material combinations are within the range 0.1 to 0.3, but the values rise sharply on approaching thermoforming temperatures. Thermal imaging tests demonstrate that all of the plug materials significantly cool the heated sheet on contact, even over very short periods of time. The temperature of the plug is very important. At low plug temperatures heat transfer effects predominate, whereas at high plug temperatures friction effects predominate. A plug temperature of approximately 100oC balances these effects and creates the most effective material distribution.

Global and local contributions to the optical specification of time to contact: Observer sensitivity to composite tau

First-order time remaining until a moving observer will pass an environmental element is optically specified in two different ways. The specification provided by global tau (based on the pattern of change of angular bearing) requires that the element is stationary and that the direction of motion is accurately detected, whereas the specification provided by composite tau (based on the patterns of change of optical size and optical distance) does not require either of these. We obtained converging evidence,for our hypothesis. that observers are sensitive to composite tau in four experiments involving, relative judgments of, time to, passage with forced-choice methodology. Discrimination performance was enhanced in the presence of a local expansion component, while being unaffected when the detection of the direction of heading was impaired. Observers relied on the information carried in composite tau rather than on the information carried in its constituent components. Finally, performance was similar under conditions of observer motion and conditions of object motion. Because composite tau specifies first-order time remaining for a large number of situations, the different ways in which it may be detected are discussed.

Guiding contact by coupling the taus of gaps

Animals control contact with surfaces when locomoting, catching prey, etc. This requires sensorily guiding the rate of closure of gaps between effecters such as the hands, feet or jaws and destinations such as a ball, the ground and a prey. Control is generally rapid, reliable and robust, even with small nervous systems: the sensorimotor processes are therefore probably rather simple. We tested a hypothesis, based on general tau theory, that closing two gaps simultaneously, as required in many actions, might be achieved simply by keeping the taus of the gaps coupled in constant ratio. tau of a changing gap is defined as the time-to-closure of the gap at the current closure-rate. General tau theory shows that tau of a gap could, in principle, be directly sensed without needing to sense either the gap size or its rate of closure. In our experiment, subjects moved an effector (computer cursor) to a destination zone indicated on the computer monitor, to stop in the zone just as a moving target cursor reached it. The results indicated the subjects achieved the task by keeping tau of the gap between effector and target coupled to tau of the gap between the effector and the destination zone. Evidence of tau -coupling has also been found, for example, in bats guiding landing using echolocation. Thus, it appears that a sensorimotor process used by different species for coordinating the closure of two or more gaps between effecters and destinations entails constantly sensing the taus of the gaps and moving so as to keep the taus coupled in constant ratio.