A structural linearization principle for processes

In [11], an induction principle for processes was given which allows one to apply model-checking techniques to parameterized families of processes. A limitation of the induction principle is that it does not apply to the case in which one process depends directly upon a parameterized number of processes, which grows without bound. This would seem to preclude its application to families ofN processes interconnected in a star topology. Nonetheless, we show that if the dependency can be computed incrementally, then the direct dependency upon the parameterized number of processes may be re-expressed recursively in terms of a linear cascade of processes, yielding in effect a linearization of the inter-process dependencies and allowing the induction principle to apply.A previous version of this paper appears in the Proceedings of CAV 1993 (LNCS 697).     

Autoimmunity, immunodeficiency and mucosal infections: chronic intestinal inflammation as a sensitive indicator of immunoregulatory defects in response to normal luminal microflora

Despite the fact that target antigens and the genetic basis of several autoimmune diseases are now better understood, the initial events leading to a loss of tolerance towards self-components remain unknown. One of the most attractive explanations for autoimmune phenomena involves various infections as possible natural events capable of initiating the process in genetically predisposed individuals. The most accepted explanation of how infection causes autoimmunity is based on the concept of "molecular mimicry" (similarity between the epitopes of an autoantigen and the epitopes in the environmental antigen). Infectious stimuli may also participate in the development of autoimmunity by inducing an increased expression of stress proteins (hsp), chaperones and transplantation antigens, which leads to abnormal processing and presentation of self antigens. Superantigens are considered to be one of the most effective bacterial components to induce inflammatory reactions and to take part in the development and course of autoimmune mechanisms. It has long been known that defects in the host defense mechanism render the individual susceptible to infections caused by certain microorganisms. Impaired exclusion of microbial antigens can lead to chronic immunological activation which can affect the tolerance to self components. Defects in certain components of the immune system are associated with a higher risk of a development of autoimmune disease. The use of animal models for the studies of human diseases with immunological pathogenesis has provided new insights into the influence of immunoregulatory factors and the lymphocyte subsets involved in the development of disease. One of the most striking conclusion arising from work with genetically engineered immunodeficient mouse models is the existence of a high level of redundancy of the components of the immune system. However, when genes encoding molecules involved in T cell immunoregulatory functions are deleted, spontaneous chronic inflammation of the gut mucosa (similar to human inflammatory bowel disease) develops. Surprisingly, when such immunocompromised animals were placed into germfree environment, intestinal inflammation did not develop. Impairment of the mucosal immune response to the normal bacterial flora has been proposed to play a crucial role in the pathogenesis of chronic intestinal inflammation. The use of immunodeficient models colonized with defined microflora for the analysis of immune reactivity will shed light on the mode of action of different immunologically important molecules responsible for the delicate balance between luminal commensals, nonspecific and specific components of the mucosal immune system.     

Comparison of bond strengths of three denture base resins to treated nickel-chromium-beryllium alloy

The success of radiotherapy in eradicating tumours depends on the total radiation dose, but what limits this dose is the tolerance of the normal tissues within the treatment volume. Studies involving fibroblast survival have demonstrated the theoretical feasibility of a predictive assay of radiation sensitivity, but such an assay is still far from clinical application. Using pulsed-field gel electrophoresis (PFGE), we have quantified the initial "apparent" number of DNA double-strand breaks (dsb) induced by the radiation as an alternative measure of sensitivity in 2 different normal cell types from the same patients, epidermal skin cells and lymphocytes. We found significant inter-individual variation in the measured dsb (1-5 dsb/Gy/DNA unit). We also found a linear correlation between molecular damage in lymphocytes and skin samples from the same patient (slope = 0.83; r = 0.694; p = 0.0001). These results suggest that the initial number of dsb could be used as an indicator of the in vivo response to radiation.     

Penile erection in response to remote cues from females: albino rats severely impaired relative to pigmented strains

Male rats have been observed to display erections when exposed to inaccessible estrous females, and it was suggested that these "noncontact erections" (NCEs) represent a species-typical response that may index sexual arousal. Initial efforts in other laboratories to repeat and extend this research were unsuccessful, and it appeared that differences in the rat strains being used might be responsible. To address this question NCE tests were given to rats of two albino strains, Wistar and Sprague-Dawley, and two pigmented strains, hooded Long-Evans and inbred Brown Norway. A high proportion of Long-Evans and Brown Norway rats displayed NCEs, whereas Wistar and Sprague-Dawley albino rats rarely did. Additional experiments did not reveal the reasons for the strain difference in NCE, but they provided evidence against hypotheses based on the relative erectogenic effect of albino and hooded estrous females, the attention paid to estrous females, the motor repertoire, or erectile function per se. Albinism-related neural pathology, possibly outside of the visual system, may contribute to the deficit in NCE in albino rats.     

NIDA technical review: nitrite inhalants

Nitrite inhalants are commonly abused substances in the US and Europe. "Nitrite inhalants and AIDS" was a popular topic in the early 1980s when the cause of AIDS was not known. With the discovery of HIV, concern about nitrite use wained. However, nitrite inhalant use is associated with behavioral relapse and HIV transmission among gay men, with decreased lymphocyte counts and natural killer cell activity in laboratory studies, and remains a candidate "cofactor" in the pathogenesis of AIDS-related Karposi sarcoma. Discouraging nitrite use continues to be a worthwhile public health goal. Participants recommend specific research efforts.     

Repair procedures in surgery of inguinal hernia in their historical evolution

The last decades have witnessed a great number of "novelties" published for inguinal hernia surgery. However, these are generally modifications of well-known operative procedures. The sole genuinely new method is laparoscopy for which, however, no long-term results are available. An analysis of original articles shows that all surgical techniques for repair of the hernial orifice can be traced back to two simple repair principles: 1) reinforcement of the anterior wall of the inguinal canal and tightening of the external inguinal ring [Stromayr 1559, Purmann 1692, Czerny 1877]. 2) reinforcement of the posterior wall of the inguinal canal and tightening the internal inguinal ring a) externally [Lucas-Championnière 1881, Bassini 1889, Brenner 1898, Lotheissen 1898, McVay 1942, Shouldice 1945, Lichtenstein 1987, Stoppa 1989] or b) via an intra-abdominal approach (by laparotomy [Tait 1891] or laparoscopically [Ger 1990, Velez und Klein 1990]).     

Risk-benefit analysis for industrial and social needs

This study develops a decision method for evaluating the social acceptability of industrial controls on hazardous materials. Decisions are based on a "multiple criteria approach" that jointly considers measures such as risk-benefit tradeoff, minimum reducible health risk, maximum acceptable cost and implicit value of human life. Health risks are calculated by combining separate estimates of production and usage patterns, emissions to air and water, effectiveness of controls, pollutant dispersion and human susceptibility. Economic benefits consider employment, trade and consumer impacts, as well as direct costs of controls. The analysis focuses on asbestos as an example hazard. Relative values of hazard reduction alternatives are examined for asbestos manufacturing exhaust filters and for asbestos substitutes in brake linings. Preliminary calculations indicate risk reductions of these alternatives cannot justify their social costs.     

CONSTRAINING HEAT INPUT BY TRAJECTORY OPTIMIZATION FOR MINIMUM‐FUEL HYPERSONIC CRUISE

Unsteady heat input effects are considered for the range cruise of a future hypersonic vehicle equipped with a turbo/ram jet engines combination. A realistic mathematical model for describing the unsteady heat effects has been developed. It is coupled to the model for the dynamics of the vehicle. To compute the heat load in hypersonic flight, several points on the vehicle surface are treated simultaneously. A two‐step technique consisting of an efficient optimization algorithm and an ordinary differential equations (ODE) solver is applied to generate a solution. The results show that the heat load can be significantly reduced, with only a small increase in fuel consumption.