Demo Abstract: A Java compatible virtual machine for wireless sensor nodes

The Java programming language has potentially significant advantages for wireless sensor nodes but there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a system comprising offline tools and a memory efficient run-time. The offline post-compiler tool analyzes, links and consolidates Java class files into loadable modules. The runtime implements a modified Java VM that supports multithreading and is designed specifically to operate in constrained execution environments such as wireless sensor network nodes and supports inheritance, threads, garbage collection, and loadable modules. We have demonstrated Java running on AVR128 and MSP430 microcontrollers at speeds of up to 70,000 JVM instructions per second.

Darjeeling, a Java compatible virtual machine for microcontrollers

The Java programming language enjoys widespread popularity on platforms ranging from servers to mobile phones. While efforts have been made to run Java on microcontroller platforms, there is currently no feature-rich, open source virtual machine available. In this paper we present Darjeeling, a system comprising offline tools and a memory efficient runtime. The offline post-compiler tool analyzes, links and consolidates Java class files into loadable modules. The runtime implements a modified Java VM that supports multithreading and is designed specifically to operate in constrained execution environments such as wireless sensor network nodes. Darjeeling improves upon existing work by supporting inheritance, threads, garbage collection, and loadable modules while keeping memory usage to a minimum. We have demonstrated Java running on AVR128 and MSP430 micro-controllers at speeds of up to 70,000 JVM instructions per second.

Design and evaluation of an MRI compatible axial compression device for 3D assessment of spinal deformity and flexibility in adolescent idiopathic scoliosis

Magnetic Resonance Imaging (MRI) offers a valuable research tool for the assessment of 3D spinal deformity in AIS, however the horizontal patient position imposed by conventional scanners removes the axial compressive loading on the spine. The objective of this study was to design, construct and test an MRI compatible compression device for research into the effect of axial loading on spinal deformity using supine MRI scans. The device was evaluated by performing unloaded and loaded supine MRI scans on a series of 10 AIS patients. The patient group had a mean initial (unloaded) major Cobb angle of 43±7º, which increased to 50±9º on application of the compressive load. The 7° increase in mean Cobb angle is consistent with that reported by a previous study comparing standing versus supine posture in scoliosis patients (Torell et al, 1985. Spine 10:425-7).

Managed livestock grazing is compatible with the maintenance of plant diversity in semidesert grasslands

Even when no baseline data are available, the impacts of 150 years of livestock grazing on natural grasslands can be assessed using a combined approach of grazing manipulation and regional-scale assessment of the flora. Here, we demonstrate the efficacy of this method across 18 sites in the semidesert Mitchell grasslands of northeastern Australia. Fifteen-year-old exclosures (ungrazed and macropod grazed) revealed that the dominant perennial grasses in the genus Astrebla do not respond negatively to grazing disturbance typical of commercial pastoralism. Neutral, positive, intermediate, and negative responses to grazing disturbance were recorded amongst plant species with no single life-form group associated with any response type. Only one exotic species, Cenchrus ciliaris, was recorded at low frequency. The strongest negative response was from a native annual grass, Chionachne hubbardiana, an example of a species that is highly sensitive to grazing disturbance. Herbarium records revealed only scant evidence that species with a negative response to grazing have declined through the period of commercial pastoralism. A regional analysis identified 14 from a total of 433 plant species in the regional flora that may be rare and potentially threatened by grazing disturbance. However, a targeted survey precluded grazing as a cause of decline for seven of these based on low palatability and positive responses to grazing and other disturbance. Our findings suggest that livestock grazing of semidesert grasslands with a short evolutionary history of ungulate grazing has altered plant composition, but has not caused declines in the dominant perennial grasses or in species richness as predicted by the preceding literature. The biggest impact of commercial pastoralism is the spread of woody leguminous trees that can transform grassland to thorny shrubland. The conservation of plant biodiversity is largely compatible with commercial pastoralism provided these woody weeds are controlled, but reserves strategically positioned within water remote areas are necessary to protect grazing-sensitive species. This study demonstrates that a combination of experimental studies and regional surveys can be used to understand anthropogenic impacts on natural ecosystems where reference habitat is not available.

Design of a Multibus-compatible colour graphics subsystem

Colour graphics subsystems can be used in a variety of applications such as high-end business graphics, low-end scientific computations, and for realtime display of process control diagrams. The design of such a subsystem is shown. This subsystem can be added to any Multibus-compatible microcomputer system. The use of an NEC 7220 graphics display controller chip has simplified the design to a considerable extent. CGRAM (CORE graphics on Multibus), a comprehensive subset of the CORE graphics standard package, is supported on the subsystem.

Synthetic polypeptide with antifreeze activity

MUCH information has been gathered in recent years on the so-called 'antifreeze' proteins which lower the freezing point of the serum of certain marine fishes living in sub-zero water temperatures1−4. The proteins from the Antarctic fish Trematomus borchgrevinki are glycoproteins with a repeating alanyl-alanyl-threonyl tripeptide sequence, the threonyl residue being linked to a disaccharide1,2. In contrast, the antifreeze protein from the winter flounder Pseudopleuronectus americanus in the North American Atlantic coastal region is made up of eight ammo acids with no apparent repeating sequence of the residues and no sugar moiety (ref. 4 and unpublished work of C. L. Hew, C. C. Yip & G. Fletcher). The antifreeze activity of these proteins is not compatible with the known colligative properties of solutes in solution and the mechanism of their action is not yet fully understood. But a common feature of both types of the antifreeze proteins is the preponderance of alanine which accounts for over 60% of the total amino residues. This fact, together with the absence of the carbohydrate in the protein from the winter flounder, prompted us to attempt the synthesis of polypeptide analogues having comparable proportions of alanine in them along with suitable other amino acids. As a first step, we made use of the lack of any obvious periodicity in the distribution of the alanyl residues in the flounder's protein and attempted the synthesis of a random copolypeptide containing about 65 mol % of alanine and 35 mol % of aspartic acid. The choice of aspartic acid was made on the basis of its being the next major amino acid in the flounder's protein3,4 and on the expectation that its polar character will help the water-solubility of the alanine-rich copolypeptide, as in other studies on alanine-containing random copolymers. In addition, Duman and DeVries4 have earlier indicated the involvement of carboxyl groups on the antifreeze activity by chemical modification studies. We report here the synthesis of this polypeptide and show that it possesses antifreeze activity.

A Bayesian incentive compatible mechanism for decentralized supply chain formation

In this paper we consider a decentralized supply chain formation problem for linear multi-echelon supply chains when the managers of the individual echelons are autonomous, rational, and intelligent. At each echelon, there is a choice of service providers and the specific problem we solve is that of determining a cost-optimal mix of service providers so as to achieve a desired level of end-to-end delivery performance. The problem can be broken up into two sub-problems following a mechanism design approach: (1) Design of an incentive compatible mechanism to elicit the true cost functions from the echelon managers; (2) Formulation and solution of an appropriate optimization problem using the true cost information. In this paper we propose a novel Bayesian incentive compatible mechanism for eliciting the true cost functions. This improves upon existing solutions in the literature which are all based on the classical Vickrey-Clarke-Groves mechanisms, requiring significant incentives to be paid to the echelon managers for achieving dominant strategy incentive compatibility. The proposed solution, which we call SCF-BIC (Supply Chain Formation with Bayesian Incentive Compatibility), significantly reduces the cost of supply chain formation. We illustrate the efficacy of the proposed methodology using the example of a three echelon manufacturing supply chain.

Strong motion compatible source geometry

Strong motion array records are analyzed in this paper to identify and map the source zone of four past earthquakes. The source is represented as a sequence of double couples evolving as ramp functions, triggering at different instants, distributed in a region yet to be mapped. The known surface level ground motion time histories are treated as responses to the unknown double couples on the fault surface. The location, orientation, magnitude, and risetime of the double couples are found by minimizing the mean square error between analytical solution and instrumental data. Numerical results are presented for Chi-Chi, Imperial Valley, San Fernando, and Uttarakashi earthquakes. Results obtained are in good agreement with field investigations and those obtained from conventional finite fault source inversions.

Maximum compatible classes from compatibility matrices

A fast algorithm for the computation of maximum compatible classes (mcc) among the internal states of an incompletely specified sequential machine is presented in this paper. All the maximum compatible classes are determined by processing compatibility matrices of progressingly diminishing order, whose total number does not exceed (p + m), where p is the largest cardinality among these classes, and m is the number of such classes. Consequently the algorithm is specially suitable for the state minimization of very large sequential machines as encountered in vlsi circuits and systems.

Design of incentive compatible protocols for wireless networks: A game theoretic approach

In this thesis work, we design rigorous and efficient protocols/mechanisms for different types of wireless networks using a mechanism design [1] and game theoretic approach [2]. Our work can broadly be viewed in two parts. In the first part, we concentrate on ad hoc wireless networks [3] and [4]. In particular, we consider broadcast in these networks where each node is owned by independent and selfish users. Being selfish, these nodes do not forward the broadcast packets. All existing protocols for broadcast assume that nodes forward the transit packets. So, there is need for developing new broadcast protocols to overcome node selfishness. In our paper [5], we develop a strategy proof pricing mechanism which we call immediate predecessor node pricing mechanism (IPNPM) and an efficient new broadcast protocol based on IPNPM. We show the efficacy of our proposed broadcast protocol using simulation results.

Generation of spectrum compatible accelerograms

In this paper a new method is presented for generating earthquake accelerograms which have pre-established response spectra. The non-stationary random nature and other salient features of the accelerograms can be taken care of by the procedure developed. The method leads to a sample spectrum which lies above the given spectrum. The generation of records to suit several spectra simultaneously can also be handled by this approach. The method is detailed first. This is followed by several numerical examples.

Incentive Compatible Mechanisms for Resource Procurement in Computational Grids with Rational resource Providers

In a computational grid, the presence of grid resource providers who are rational and intelligent could lead to an overall degradation in the efficiency of the grid. In this paper, we design incentive compatible grid resource procurement mechanisms which ensure that the efficiency of the grid is not affected by the rational behavior of resource providers.In particular, we offer three elegant incentive compatible mechanisms for this purpose: (1) G-DSIC (Grid-Dominant Strategy Incentive Compatible) mechanism (2) G-BIC (Grid-Bayesian Nash Incentive Compatible) mechanism (3) G-OPT(Grid-Optimal) mechanism which minimizes the cost to the grid user, satisfying at the same time, (a) Bayesian incentive compatibility and (b) individual rationality. We evaluate the relative merits and demerits of the above three mechanisms using game theoretical analysis and numerical experiments.

Incentive compatible mechanisms for group ticket allocation in software maintenance services

A customer reported problem (or Trouble Ticket) in software maintenance is typically solved by one or more maintenance engineers. The decision of allocating the ticket to one or more engineers is generally taken by the lead, based on customer delivery deadlines and a guided complexity assessment from each maintenance engineer. The key challenge in such a scenario is two folds, un-truthful (hiked up) elicitation of ticket complexity by each engineer to the lead and the decision of allocating the ticket to a group of engineers who will solve the ticket with in customer deadline. The decision of allocation should ensure Individual and Coalitional Rationality along with Coalitional Stability. In this paper we use game theory to examine the issue of truthful elicitation of ticket complexities by engineers for solving ticket as a group given a specific customer delivery deadline. We formulate this problem as strategic form game and propose two mechanisms, (1) Division of Labor (DOL) and (2) Extended Second Price (ESP). In the proposed mechanisms we show that truth telling by each engineer constitutes a Dominant Strategy Nash Equilibrium of the underlying game. Also we analyze the existence of Individual Rationality (IR) and Coalitional Rationality (CR) properties to motivate voluntary and group participation. We use Core, solution concept from co-operative game theory to analyze the stability of the proposed group based on the allocation and payments.

Embedded Thin Film Resistors on BCB by Low-Cost PWB Compatible Electroless Plating by Direct Foil Lamination Transfer Processes

Benzocyclobutene (BCB) has been proposed as a board level dielectric for advanced system-on-package (SOP) module primarily due to its attractive low-loss (for RF application) and thin film (for high density wiring) properties. Realization of embedded resistors on low loss benzocyclobutene (dielectric loss ~0.0008 at > 40 GHz) has been explored in this study. Two approaches, viz, foil transfer and electroless plating have been attempted for deposition of thin film resistors on benzocyclobutene (BCB). Ni-P alloys were plated using conventional electroless plating, and NiCr and NiCrAlSi foils were used for the foil transfer process. This paper reports NiP and NiWP electroless plated embedded resistors on BCB dielectric for the first time in the literature