A Flat Concurrent Prolog compiler for PARAM

We describe a compiler for the Flat Concurrent Prolog language on a message passing multiprocessor architecture. This compiler permits symbolic and declarative programming in the syntax of Guarded Horn Rules, The implementation has been verified and tested on the 64-node PARAM parallel computer developed by C-DAC (Centre for the Development of Advanced Computing, India), Flat Concurrent Prolog (FCP) is a logic programming language designed for concurrent programming and parallel execution, It is a process oriented language, which embodies dataflow synchronization and guarded-command as its basic control mechanisms. An identical algorithm is executed on every processor in the network, We assume regular network topologies like mesh, ring, etc, Each node has a local memory, The algorithm comprises of two important parts: reduction and communication, The most difficult task is to integrate the solutions of problems that arise in the implementation in a coherent and efficient manner. We have tested the efficacy of the compiler on various benchmark problems of the ICOT project that have been reported in the recent book by Evan Tick, These problems include Quicksort, 8-queens, and Prime Number Generation, The results of the preliminary tests are favourable, We are currently examining issues like indexing and load balancing to further optimize our compiler.

Integer Sequence window based Reconfigurable FIR filters

Conventional hardware implementation techniques for FIR filters require the computation of filter coefficients in software and have them stored in memory. This approach is static in the sense that any further fine tuning of the filter requires computation of new coefficients in software. In this paper, we propose an alternate technique for implementing FIR filters in hardware. We store a considerably large number of impulse response coefficients of the ideal filter (having box type frequency response) in memory. We then do the windowing process, on these coefficients, in hardware using integer sequences as window functions. The integer sequences are also generated in hardware. This approach offers the flexibility in fine tuning the filter, like varying the transition bandwidth around a particular cutoff frequency.

Studies on the deposition and characterization of silicon oxide films for optical coating applications

Silicon oxide films were deposited by reactive evaporation of SiO. Parameters such as oxygen partial pressure and substrate temperature were varied to get variable and graded index films. Films with a refractive index in the range 1.718 to 1.465 at 550 nm have been successfully deposited. Films deposited using ionized oxygen has the refractive index 1.465 at 550 nm and good UV transmittance like bulk fused quartz. Preparation of graded index films was also investigated by changing the oxygen partial pressure during deposition. A two layer antireflection coating at 1064nm has been designed using both homogeneous and inhomogeneous films and studied their characteristics.

Contolling Alkali Induced Heave in soil with fly ash

The properties of the soils can change drastically due to the presence of contaminants leading to several geotechnical failures founded on them. One important pollutant that can have considerable effect is the alkali released from varies industries. It is known that alkali solutions can increase the swelling of soil containing both expansive and non-expansive minerals.Many attempts to control this alkali-induced heave in soils through chemical agents were not successful. With a view to study the use of fly ash to stabilize alkali contaminated soil, the behavior of soils containing 25% and 50% of fly ash has been studied in the presence of 2N-alkali solution. Results of volume change behavior of non-expansive soil containing kaolinite clay mineral in the presence of fly ash showed that it is effective to control the alkali induced swelling in the soil. The effectiveness increases with an increase in the percentage of fly ash in soils. Detailed X-ray diffraction and SEM studies showed that the mineralogical changes that occur in soil due to alkali interaction are inhibited in the presence of fly ash.

Enhancement of Strength of Soft Soils with Fly ash and Lime

Disposal of large quantities of fly ash poses a major environmental problem. To enhance its utilization, fly ash is considered for stabilizing of expansive soft soils. Improving the strength of soil, which is of major importance, depends on the pozzolanic nature of fly ash. Fly ashes with high pozzolanic reactivity are widely used but those with less pozzolanic reactivity are greatly inhibited. As the strength development in natural expansive soil considered in this investigation is very less with different percentages of fly ash, an attempt is made to increase the same by addition of lime along with fly ash. Based on several tests conducted, the optimum lime contents for fly ash and soils are 5% and 8% respectively. The strength of compacted soil with different fly ash contents of 10 to 40% with lime contents of 5% and 8% are determined after curing for different periods. The strength improvement for any soil-fly ash mixture, which is substantial with 5% of lime, is further improved with 8% of lime. The strength of soil-fly ash mixtures with any lime content increases with curing period.

An Empirical Analysis of Heterogeneity in IEEE 802.11 MAC Protocol Implementations and its Implications

Wireless LAN (WLAN) market consists of IEEE 802.11 MAC standard conformant devices (e.g., access points (APs), client adapters) from multiple vendors. Certain third party certifications such as those specified by the Wi-Fi alliance have been widely used by vendors to ensure basic conformance to the 802.11 standard, thus leading to the expectation that the available devices exhibit identical MAC level behavior. In this paper, however, we present what we believe to be the first ever set of experimental results that highlight the fact that WLAN devices from different vendors in the market can have heterogeneous MAC level behavior. Specifically, we demonstrate with examples and data that in certain cases, devices may not be conformant with the 802.11 standard while in other cases, they may differ in significant details that are not a part of mandatory specifications of the standard. We argue that heterogeneous MAC implementations can adversely impact WLAN operations leading to unfair bandwidth allocation, potential break-down of related MAC functionality and difficulties in provisioning the capacity of a WLAN. However, on the positive side, MAC level heterogeneity can be useful in applications such as vendor/model level device fingerprinting.

Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Synthesis, structure and photocatalytic activity of nano TiO2 and nano Ti1-xMxO2-delta (M = Cu, Fe, Pt, Pd, V, W, Ce, Zr)

We have synthesized 5-7 nm size, highly crystalline TiO2 which absorbs radiation in the visible region of solar spectrum. The material shows higher photocatalytic activity both in UV and visible region of the solar radiation compared to commercial Degussa P25 TiO2. Transition metal ion substitution for Ti4+ creates mid-gap, states which act as recombination centers for electron-hole induced by photons thus reducing photocatalytic activity. However, Pt, Pd and Cu ion substituted TiO2 are excellent CO oxidation and NO reduction catalysts at temperatures less than 100 degrees C.

Patent intelligence and its implications for patent productivity

The prevailing hypercompetitive environment has made it essential for organizations to gather competitive intelligence from environmental scanning. The knowledge gained leads to organizational learning, which stimulates increased patent productivity. This paper highlights five practices that aid in developing patenting intelligence and empirically verifies to what extent this organizational learning leads to knowledge gains and financial gains realized from consequent higher patent productivity. The model is validated based on the perceptions of professionals with patenting experience from two of the most aggressively patenting sectors in today’s economy, viz., IT and pharmaceutical sectors (n=119). The key finding of our study suggests that although organizational learning from environmental scanning exists, the application of this knowledge for increasing patent productivity lacks due appreciation. This missing link in strategic analysis and strategy implementation has serious implications for managers which are briefly discussed in this paper.

An Efficient Distributed Scheme for Source Routing Protocol in Communication Networks

In this paper, we propose an efficient source routing algorithm for unicast flows, which addresses the scalability problem associated with the basic source routing technique. Simulation results indicate that the proposed algorithm indeed helps in reducing the message overhead considerably, and at the same time it gives comparable performance in terms of resource utilization across a wide range of workloads.

Sampling disturbances of soft sensitive clays

Sampling disturbance is unavoidable and hence the laboratory testing most often is on partially disturbed samples. This paper deals with the development of a simple method to assess degree of sample disturbance from the prediction of yield stress due to cementation and comparison of yield stress in compression of partially disturbed sample with reference to a predicted compression path of the clay devoid of any mechanical disturbance. The method uses simple parameters which are normally determined in routine investigations.

Barrier crossing by a flexible long chain molecule - The kink mechanism

The problem and related earlier work All the above problems involve the passage of a long chain molecule, through a region in space, where the free energy per segment is higher, thus effectively presenting a barrier for the motion of the molecule. This is what we refer to as the Kramers proble...