Link Estimation and Routing in Sensor Network Backbones: Beacon-Based or Data-Driven?

In the context of IEEE 802.11b network testbeds, we examine the differences between unicast and broadcast link properties, and we show the inherent difficulties in precisely estimating unicast link properties via those of broadcast beacons even if we make the length and transmission rate of beacons be the same as those of data packets. To circumvent the difficulties in link estimation, we propose to estimate unicast link properties directly via data traffic itself without using periodic beacons. To this end, we design a data-driven routing protocol Learn-on-the-Fly (LOF). LOF chooses routes based on ETX/ETT-type metrics, but the metrics are estimated via MAC feedback for unicast data transmission instead of broadcast beacons. Using a realistic sensor network traffic trace and an 802.11b testbed of ~195 Stargates, we experimentally compare the performance of LOF with that of beacon-based protocols, represented by the geography-unaware ETX and the geography-based PRD. We find that LOF reduces end-to-end MAC latency by a factor of 3, enhances energy efficiency by a factor up to 2.37, and improves network throughput by a factor up to 7.78, which demonstrate the feasibility and the potential benefits of data-driven link estimation and routing.     

High strain rate deformation and cracking of AA 2219 aluminium alloy welded propellant tank

Aluminium alloy AA 2219 (Al–6.6Cu–1Mn) is the candidate material for the fabrication of propellant storage tank of launch vehicle. Cold rolled sheets of 6.5 mm thickness are used to make the cylindrical shell, while sheets of 4.5 mm thickness are used for the construction of dome through petal forming technique. Petals, formed through cone rolling, treated to T87 temper condition are welded together by TIG welding to configure the dome. Such domes are joined to the cylindrical shell through a ring by TIG welding.The upper stage consists of two tanks, one oxidizer tank (liq. O₂) and other fuel tank (liq. H₂). After completing various developmental qualification tests, propellant flow rate test of one of the system was carried out. Almost all the liquid oxygen of the tank was removed and only a little quantity remained at the bottom. During one of the subsequent tests; when dry nitrogen gas was purged to evaporate the remaining liquid oxygen, the oxidizer tank dome catastrophically fractured with an audible sound. Fracture of oxidizer tank dome, placed at lower part of the system caused excessive deformation and subsequently it also caused fracture of fuel tank dome placed just over it.Detailed metallurgical investigations were carried out on the failed components and it was found that the tank failed under very high strain rate deformation. This paper brings out the details of the investigation carried out.     

Concurrent software verification with states, events, and deadlocks

We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also integrates two powerful verification techniques, counterexample-guided abstraction refinement and compositional reasoning. Our specification language is a state/event extension of linear temporal logic, and allows us to express many properties of software in a concise and intuitive manner. We show how standard automata-theoretic LTL model checking algorithms can be ported to our framework at no extra cost, enabling us to directly benefit from the large body of research on efficient LTL verification. We also present an algorithm to detect deadlocks in concurrent message-passing programs. Deadlock- freedom is not only an important and desirable property in its own right, but is also a prerequisite for the soundness of our model checking algorithm. Even though deadlock is inherently non-compositional and is not preserved by classical abstractions, our iterative algorithm employs both (non-standard) abstractions and compositional reasoning to alleviate the state-space explosion problem. The resulting framework differs in key respects from other instances of the counterexample-guided abstraction refinement paradigm found in the literature. We have implemented this work in the magic verification tool for concurrent C programs and performed tests on a broad set of benchmarks. Our experiments show that this new approach not only eases the writing of specifications, but also yields important gains both in space and in time during verification. In certain cases, we even encountered specifications that could not be verified using traditional pure event-based or state-based approaches, but became tractable within our state/event framework. We also recorded substantial reductions in time and memory consumption when performing deadlock-freedom checks with our new abstractions. Finally, we report two bugs (including a deadlock) in the source code of Micro-C/OS versions 2.0 and 2.7, which we discovered during our experiments. This research was sponsored by the National Science Foundation (NSF) under grants no. CCR-9803774 and CCR-0121547, the Office of Naval Research (ONR) and the Naval Research Laboratory (NRL) under contract no. N00014-01-1-0796, the Army Research Office (ARO) under contract no. DAAD19-01-1-0485, and was conducted as part of the Predictable Assembly from Certifiable Components (PACC) project at the Software Engineering Institute (SEI). This article combines and builds upon the papers (CCO⁺04) and (CCOS04). Received December 2004 Revised July 2005 Accepted July 2005 by Eerke A. Boiten, John Derrick, Graeme Smith and Ian Hayes     

Codistribution of procathepsin B and mature cathepsin B forms in human prostate tumors detected by confocal and immunofluorescence microscopy

Ascorbic acid can recycle alpha-tocopherol from the tocopheroxyl free radical in lipid bilayers and in micelles, but such recycling has not been demonstrated to occur across cell membranes. In this work the ability of intracellular ascorbate to protect and to recycle alpha-tocopherol in intact human erythrocytes and erythrocyte ghosts was investigated. In erythrocytes that were 80% depleted of intracellular ascorbate by treatment with the nitroxide Tempol, both 2,2'-azobis(2-amidinopropane) dihydrochloride (AAPH) and ferricyanide oxidized alpha-tocopherol to a greater extent than in cells not depleted of ascorbate. In contrast, in erythrocytes in which the intracellular ascorbate concentration had been increased by loading with dehydroascorbate, loss of alpha-tocopherol was less with both oxidants than in control cells. Protection against AAPH-induced oxidation of alpha-tocopherol was not prevented by extracellular ascorbate oxidase, indicating that the protection was due to intracellular and not to extracellular ascorbate. Incubation of erythrocytes with lecithin liposomes also generated an oxidant stress, which caused lipid peroxidation in the liposomes and depleted erythrocyte alpha-tocopherol, leading to hemolysis. Ascorbate loading of the erythrocytes delayed liposome oxidation and decreased loss of alpha-tocopherol from both cells and from alpha-tocopherol-loaded liposomes. When erythrocyte ghosts were resealed to contain ascorbate and challenged with free radicals generated by AAPH outside the ghosts, intravesicular ascorbate was totally depleted over 1 h of incubation, whereas alpha-tocopherol decreased only after ascorbate was substantially oxidized. These results suggest that ascorbate within the erythrocyte protects alpha-tocopherol in the cell membrane by a direct recycling mechanism.     

Primary binding domain of bovine von Willebrand factor fragment expressed in E. coli

Bovine vWF cDNA has been cloned from a bovine endothelial cell library. A fragment of this cDNA, corresponding to amino acid sequence Leu 469-Ser 723, called primary adhesion domain (PAD-1), and containing the binding sites for platelet glycoprotein Ib (GPIb), heparin and collagen, has been expressed in E. coli. The reduced and alkylated form of fragment PAD-1 inhibited native vWF binding to GPIb. Fragment PAD-1 bound to heparin and botrocetin in a specific and dose dependent manner as did the native vWF. In a solid-phase assay, fragment PAD-1 bound to calf skin collagen in contrast to a human vWF recombinant fragment (Ser 445-Val 733) which was inactive in the same assay. The studies presented in this paper demonstrated that the A1 domain of bovine vWF contained the GPIb, heparin, botrocetin as well as collagen binding sites and that integrity of the disulfide bond (Cys 509-Cys 695), did not seem to be essential for binding of bovine vWF fragment to GPIb.     

A microcontinuum analysis of the self propulsion of the spermatozoa in the cervical canal

The hydrodynamics of the self propulsion of a spermatozoa, swimming through the mucus filling the cervical channel, is investigated. The mucus is modeled as a micropolar fluid and the spermatozoa as a 2-dimensional sheet swimming at low Reynolds number between two rigid walls. The wavelengths of the propulsive waves passing down the sheet are assumed to be very large compared to the channel spacing, but the amplitude of the propulsive waves is arbitrary. Expressions for the propulsive velocity and the energy expended by the swimming sheet are obtained in terms of various parameters involved. The results are elaborated through graphs. It is found that both the propulsive velocity and the rate of working by the sheet increase as the value of the micropolar parameters $\text{N}$ increases and that of $\text{L}$ decreases.     

Iterative method of realisation of linearly separable switching functions

The minterms of the switching function expressed as decimal numbers are first partitioned into different groups according to the number of true inputs. An order of the weights and their signs can now be found easily. Secondary and higher orderings can also be found partially. An iteration procedure is next started by assigning values to the weights until a contradiction is reached. A new assignment is then chosen, guided by the nature of the contradiction, and this process is continued until the realisation is achieved. An example is worked out.     

Appendicectomy: an assessment of the advisability of stump invagination

Seven hundred and thirty-two cases of appendicectomy performed over a period of 5 years are reviewed to compare the incidence of complications and the length of the postoperative stay in hospital, depending on whether the appendix stump was simply ligated or was invaginated by purse string suture following ligation. No detrimental effects are noted following simple ligation, whereas patients who had stump invagination remained in hospital on average more than a day longer, mainly owing to a higher incidence of wound infection (16 per cent as against 6 per cent).