Searching for points-to analysis

The points-to analysis problem is to find the pointer relationships that could arise during program execution. Many points-to analysis algorithms exist, each making a particular trade off between cost of the analysis and precision of the results. In this paper, we show how points-to analysis algorithms can be defined as transformed versions of an exact algorithm. We present a set of program transformations over a general program model and use them to define some existing points-to analysis algorithms. Doing so makes explicit the approximations involved in these algorithms. We also show how the transformations can be used to define new points-to analysis algorithms. Our transformations are generic and may be useful in the design of other program analysis algorithms.     

Influence of Liquid Phase Additives on Structural and Sintering Behaviour of Samarium Modified Lead Titanate Ceramics

The combination of metal oxides Bi₂O₃:Li₂O in a ratio 89:11 gives a eutectic with a melting point of ～680°C. Such a low melting point oxide combination creates a working liquid phase at a highly favorable temperature for use as a densification aid. A liquid—phase sintering aid incorporating Bi₂O₃ and Li₂O is presented which demonstrates not only a reduction in the required sintering temperature but also shows relatively higher ‘c/a’ ratio (tetragonality) of PbTiO₃ ceramics with no fragility of the samples. Detailed dilatometric investigations have been performed in order to study the dominant shrinkage mechanism in the present system. Besides acting as a liquid phase fluxing agent, Bi₂O₃/Li₂O also behave as Curie shifter, which decreases Curie temperature in lead titanate system. The Curie temperature has also been verified from the thermal expansion behavior of sintered specimens. The value of dielectric constant increases after poling which may be due to the dominance of 180° domain wall over 90°.     

Boundedness analysis of finitely recursive processes. I. Concurrentprocesses

In the finitely recursive process (FRP) model of discrete event systems (DES), concepts about processes and process operators have been introduced. An infinite set of process expressions or functions can be built recursively through function composition using a few elementary operators. Given any process realization, it is important to find out whether the process is bounded, i.e., whether it has a finite state realization. In the FRP setting this translates to the problem of finding out whether the set of post-process expressions is finite or not. In Cieslak and Varaiya (1990) it has been shown that the boundedness problem is undecidable for general FRPs. This paper investigates the decidability of the problem for subclasses of FRP. In Inan and Varaiya (1988), it was conjectured that the set of functions that can be recursively generated using the parallel composition operator and different change operators (i.e. without using the sequential composition operator) will be finite and FRPs constructed over this set of functions will naturally be bounded. In the present work a counterexample has been provided to disprove the conjecture about the finiteness of the above set of functions. However, using a suitable post-process computation procedure, it has been shown here that the FRPs, built recursively over this set of functions, are bounded     

Improved Routh-Pade/spl acute/ approximants: a computer-aided approach

A geometric programming based computer-aided method to derive a reduced order (rth-order) approximant for a given (stable) SISO linear continuous-time system is presented. In this method, stability and the first r time moments/Markov parameters are preserved as well as the errors between a set of subsequent time moments/Markov parameters of the system and those of the model are minimized.     

Laser composite surfacing of AISI 304 stainless steel with titanium boride for improved wear resistance

The present study concerns development of a hard in situ boride-dispersed composite layer on the surface of AISI 304 stainless steel substrate to improve the wear resistance property. Laser processing was carried out by melting the surface of sand-blasted AISI 304 stainless steel substrate using a continuous wave CO₂ laser and simultaneous deposition of a mixture of K₂TiF₆ (potassium titanium hexafluoride) and KBF₆ (potassium hexafloroborate) (in the weight ratio of 2:1) using Ar as shrouding environment. Powder feed rate was maintained constant at 4 g/min. Irradiation results in dissociation of a pre-deposited mixture along with a part of the stainless steel substrate, intermixing and rapid solidification to form the composite layer on the surface. The micro-structure of composite layer consists of dispersion of titanium boride particles in AISI 304 stainless steel matrix. Volume fraction of particles is found to be uniform throughout the composite layer, though varied with laser parameters. The micro-hardness of the surface was improved 250–350 VHN as compared to 220 VHN of the AISI 304 stainless steel substrate with a significant improvement in wear resistance property. The mechanism of wear was found to be a combination of adhesive and abrasive in as-received stainless steel. However, it was predominantly abrasive for laser composite surfaced stainless steel.     

Effect of shielding gas mixture on gas metal arc welding of HSLA steel using solid and flux-cored wires

In this work, gas metal arc welding of high strength-low alloy (HSLA) steel with solid- and flux-cored arc welding wires using different shielding gas compositions was performed. The composition of filler wire and shielding gas in gas metal arc welds of HSLA steel determines the inclusion characteristics, microstructure and mechanical properties. Thus, acceptable weld metal properties in HSLA steel using gas metal arc welding (GMAW) process could be achieved with the proper combination of filler wire and shielding gas composition.     

Optimization-based parts-machines matching in flexible manufacturing systems

A new dynamic scheduling strategy, Parts-Machines Matching (PMM), is developed and tested in simulated flexible manufacturing systems. This strategy is aimed to achieve globally optimal matching between parts and machines by a semi-qualitative optimization algorithm, originally developed for the Stable Marriage Problem. Global and Partial implementations of PMM are presented and compared with other conventional part-flow rules. They are found to achieve better shop performance than conventional rules, in terms of system throughput, robustness against travel time uncertainties, and recovery from machine breakdowns. The prospect of bringing about system-wide optimization-based performance improvements into bidding schemes makes the proposed framework very significant.     

Radiation crosslinked polyvinyl alcohol/polyvinyl pyrrolidone/acrylic acid hydrogels: swelling,crosslinking and dye adsorption study

Iranian Polymer Journal - Hydrogels were produced from mixtures of polyvinyl alcohol (PVA), polyvinyl pyrrolidone (PVP), and acrylic acid (AAc) using γ-radiation at doses of 3, 7, and...