Automatic construction of explicit R matrices for the one-parameter families of irreducible typical highest weight (0(m)vertical bar alpha(n)) representations of U-q[gl(m vertical bar n)]

We detail the automatic construction of R matrices corresponding to (the tensor products of) the (O-m\alpha(n)) families of highest-weight representations of the quantum superalgebras Uq[gl(m\n)]. These representations are irreducible, contain a free complex parameter a, and are 2(mn)-dimensional. Our R matrices are actually (sparse) rank 4 tensors, containing a total of 2(4mn) components, each of which is in general an algebraic expression in the two complex variables q and a. Although the constructions are straightforward, we describe them in full here, to fill a perceived gap in the literature. As the algorithms are generally impracticable for manual calculation, we have implemented the entire process in MATHEMATICA; illustrating our results with U-q [gl(3\1)]. (C) 2002 Published by Elsevier Science B.V.

Thunderstorms - their importance in wind engineering (a case for the next generation wind tunnel)

This paper attempts a state-of-the-art summary of research into thunderstorm wind fields from an engineering perspective. The characteristics of thunderstorms and the two extreme wind events-tornadoes and downbursts-spawn by thunderstorms are described. The significant differences from traditional boundary layer flows are highlighted. The importance of thunderstorm gusts in the worldwide database of extreme wind events is established. Physical simulations of tornadoes and downbursts are described and discussed leading to the recommendation that Wind Engineering needs to focus more resources on the fundamental issue - What is the flow structure in the strongest winds? © 2002 Published by Elsevier Science Ltd.

Spontaneous generation and survival of blood dendritic cells in mononuclear cell culture without exogenous cytokines

Studies on purified blood dendritic cells (DCs) are hampered by poor viability in tissue culture. We, therefore, attempted to study some of the interactions/relationships between DCs and other blood cells by culturing unseparated peripheral blood mononuclear cell (PBMC) preparations in vitro. Flow cytometric techniques were used to undertake a phenotypic and functional analysis of DCs within the cultured PBMC population. We discovered that both the CD11c(+) and CD11c(-) CD123(hi) DC subsets maintained their viability throughout the 3-day culture period, without the addition of exogenous cytokines. This viability was accompanied by progressive up-regulation of the surface costimulatory (CD40, CD80, CD86) and activation (CMRF-44, CMRF-56, CD83) molecules. The survival and apparent production of DCs in PBMC culture (without exogenous cytokines) and that of sorted DCs (with cytokines) were evaluated and compared by using TruCOUNT analysis. Absolute DC counts increased (for CD123hi and CD11c+ subsets) after overnight culture of PBMCs. Single-cell lineage depletion experiments demonstrated the rapid and spontaneous emergence of new in vitro generated DCs from CD14(+)/CD16(+) PBMC radioresistant precursors, additional to the preexisting ex vivo DC population. Unlike monocyte-derived DCs, blood DCs increased dextran uptake with culture and activation. Finally, DCs obtained after culture of PBMCs for 3 days were as effective as freshly isolated DCs in stimulating an allogeneic mixed leukocyte reaction. (C) 2002 by The American Society of Hematology.

Parallel simulation system for earthquake generation: Fault analysis modules and parallel coupling analysis

Solid earth simulations have recently been developed to address issues such as natural disasters, global environmental destruction and the conservation of natural resources. The simulation of solid earth phenomena involves the analysis of complex structures including strata, faults, and heterogeneous material properties. Simulation of the generation and cycle of earthquakes is particularly important, but such simulations require the analysis of complex fault dynamics. GeoFEM is a parallel finite-element analysis system intended for solid earth field phenomena problems. This paper describes recent development in the GeoFEM project for the simulation of earthquake generation and cycles.

Generation of CTL responses using Kunjin replicon RNA

The Kunjin replicon was used to express a polytope that consisted of seven hepatitis C virus cytotoxic T lymphocyte epitopes and one influenza cytotoxic T lymphocyte epitope for vaccination studies. The self-replicating nature of, and expression from, the ribonucleic acid was confirmed in vitro . Initial vaccinations with one dose of Kun-Poly ribonucleic acid showed that an influenza-specific cytotoxic T lymphocyte response was elicited more efficiently by intradermal inoculation compared with intramuscular delivery. Two micrograms of ribonucleic acid delivered in the ear pinnae of mice was sufficient to elicit a detectable cytotoxic T lymphocyte response 10 days post-vaccination. Further vaccination studies showed that four of the seven hepatitis C virus cytotoxic T lymphocyte epitopes were able to elicit weak cytotoxic T lymphocyte responses whereas the influenza epitope was able to elicit strong, specific cytotoxic T lymphocyte responses following three doses of Kun-Poly ribonucleic acid. These studies vindicate the use of the Kunjin replicon as a vector to deliver encoded proteins for the development of cell-mediated immune responses.

Knowledge-based system on optimum design of liquid retaining structures with genetic algorithms

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.

A coupled knowledge-based expert system for design of liquid-retaining structures

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Generation of aldehyde-derived protein modifications in ethanol-exposed heart

Background: Although excessive ethanol consumption is known to lead to a variety of adverse effects in the heart, the molecular mechanisms of such effects have remained poorly defined. We hypothesized that posttranslational covalent binding of reactive molecular species to proteins occurs in the heart in response to acute ethanol exposure. Methods: The generation of protein adducts with several aldehydic species was examined by using monospecific antibodies against adducts with malondialdehyde (MDA), acetaldehyde (AA), MDA-AA hybrids, and hydroxyethyl radicals. Specimens of heart tissue were obtained from rats after intraperitoneal injections with alcohol (75 mmol/kg body weight) with or without pretreatment with cyanamide (0.05 mmol/kg body weight), an aldehyde dehydrogenase inhibitor. Results: The amounts of MDA and unreduced AA adducts were found to be significantly increased in the heart of the rats treated with ethanol, cyanamide, or both, whereas no other adducts were detected in statistically significant quantities. Immunohistochemical studies for characterization of adduct distribution revealed sarcolemmal adducts of both MDA and AA in the rats treated with ethanol and cyanamide in addition to intracellular adducts, which were also present in the group treated with ethanol alone. Conclusions: These findings support the role of enhanced lipid peroxidation and the generation of protein-aldehyde condensates in vivo as a result of excessive ethanol intake. These findings may have implications in the molecular mechanisms of cardiac dysfunction in alcoholics.

A practical framework for the generation and selection of strategic plans of action, The relevance of timeframe considerations and a systems thinking approach

The paper proposes a methodology especially focused on the generation of strategic plans of action, emphasizing the relevance of having a structured timeframe classification for the actions. The methodology explicitly recognizes the relevance of long-term goals as strategic drivers, which must insure that the complex system is capable to effectively respond to changes in the environment. In addition, the methodology employs engineering systems techniques in order to understand the inner working of the system and to build up alternative plans of action. Due to these different aspects, the proposed approach features higher flexibility compared to traditional methods. The validity and effectiveness of the methodology has been demonstrated by analyzing an airline company composed by 5 subsystems with the aim of defining a plan of action for the next 5 years, which can either: improve efficiency, redefine mission or increase revenues.

Automatic prebent customized prosthesis for pectus excavatum minimally invasive surgery correction

Pectus excavatum is the most common deformity of the thorax. A minimally invasive surgical correction is commonly carried out to remodel the anterior chest wall by using an intrathoracic convex prosthesis in the substernal position. The process of prosthesis modeling and bending still remains an area of improvement. The authors developed a new system, i3DExcavatum, which can automatically model and bend the bar preoperatively based on a thoracic CT scan. This article presents a comparison between automatic and manual bending. The i3DExcavatum was used to personalize prostheses for 41 patients who underwent pectus excavatum surgical correction between 2007 and 2012. Regarding the anatomical variations, the soft-tissue thicknesses external to the ribs show that both symmetric and asymmetric patients always have asymmetric variations, by comparing the patients’ sides. It highlighted that the prosthesis bar should be modeled according to each patient’s rib positions and dimensions. The average differences between the skin and costal line curvature lengths were 84 ± 4 mm and 96 ± 11 mm, for male and female patients, respectively. On the other hand, the i3DExcavatum ensured a smooth curvature of the surgical prosthesis and was capable of predicting and simulating a virtual shape and size of the bar for asymmetric and symmetric patients. In conclusion, the i3DExcavatum allows preoperative personalization according to the thoracic morphology of each patient. It reduces surgery time and minimizes the margin error introduced by the manually bent bar, which only uses a template that copies the chest wall curvature.

Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.