Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts

Higher-order representations of objects such as programs, proofs, formulas, and types have become important to many symbolic computation tasks. Systems that support such representations usually depend on the implementation of an intensional view of the terms of some variant of the typed lambda calculus. New notations have been proposed for the lambda calculus that provide an excellent basis for realizing such implementations. There are, however, several choices in the actual deployment of these notations the practical consequences of which are not currently well understood. We attempt to develop such an understanding here by examining the impact on performance of different combinations of the features afforded by such notations. Among the facets examined are the treatment of bound variables, eagerness and laziness in substitution and reduction, the ability to merge different structure traversals into one, and the virtues of annotations on terms that indicate their dependence on variables bound by external abstractions. We complement qualitative assessments with experiments conducted by executing programs in a language that supports an intensional view of lambda terms while varying relevant aspects of the implementation of the language. Our study provides insights into the preferred approaches to representing and reducing lambda terms and also exposes characteristics of computations that have a somewhat unanticipated effect on performance.     

Firmware-Level Latency Analysis on a Gigabit Network

Gigabit networks are equipped with increasingly intelligent network interface cards, and the firmware running in the cards does various tasks related to end-to-end communication. For an accurate performance evaluation of gigabit networks, it is very important to characterize and quantify the firmware. However, the firmware has been neglected in the latency analyzes of network protocols.This paper presents an in-depth latency analysis of Myrinet. Our findings include that the major bottleneck is the network interface card itself. This is true especially for so-called lightweight user-level protocols (such as BPI of Myrinet) designed for high-speed communication. Although BPI is very lean and efficient in the host, its sending throughput becomes similar to UDP. This result is very unexpected and surprising. Through firmware-level measurements, we identify that the cause of bottleneck is the DMA performance.     

BAX is involved in regulating follicular growth, but is dispensable for follicle atresia in adult mouse ovaries

Mammalian females are endowed with a finite number of primordial follicles at birth or shortly thereafter. Immediately following the formation of the primordial follicle pool, cohorts of these follicles are recruited to begin growth, and this recruitment continues until the primordial follicle population is depleted. Once recruited, a follicle will either grow and ovulate or undergo atresia. Follicle atresia results from the apoptotic death of follicular cells. Members of the BCL-2 family of proteins are important regulators of apoptosis in most cells including in the ovary. Here, we tested the hypothesis that the proapoptotic BAX is an important regulator of follicle survival. We used a variety of histological and biochemical techniques to investigate the impact of Bax deletion on follicle growth and death. We observed that the Bax deletion results in delayed vaginal opening and altered follicular growth. Young adult Bax-deficient ovaries contained increased numbers of primordial follicles and a trend towards reduced numbers of growing follicles. Bax deficiency led to a reduction in average litter size, and also a reduction in the number of oocytes ovulated in response to exogenous gonadotropins. In contrast, Bax deficiency did not alter follicle atresia. In conclusion, BAX appears to be an important regulator of follicle growth, but is dispensable for follicle atresia in mice.     

Flow modeling and simulation for vacuum assisted resin transfer molding process with the equivalent permeability method

Vacuum assisted resin transfer molding (VARTM) offers numerous advantages over traditional resin transfer molding, such as lower tooling costs, shorter mold filling time and better scalability for large structures. In the VARTM process, complete filling of the mold with adequate wet-out of the fibrous preform has a critical impact on the process efficiency and product quality. Simulation is a powerful tool for understanding the resin flow in the VARTM process. However, conventional three-dimensional Control Volume/Finite Element Method (CV/FEM) based simulation models often require extensive computations, and their application to process modeling of large part fabrication is limited. This paper introduces a new approach to model the flow in the VARTM process based on the concept of equivalent permeability to significantly reduce computation time for VARTM flow simulation of large parts. The equivalent permeability model of high permeable medium (HPM) proposed in the study can significantly increase convergence efficiency of simulation by properly adjusting the aspect ratio of HPM elements. The equivalent permeability model of flow channel can simplify the computational model of the CV/FEM simulation for VARTM processes. This new modeling technique was validated by the results from conventional 3D computational methods and experiments. The model was further validated with a case study of an automobile hood component fabrication. The flow simulation results of the equivalent permeability models were in agreement with those from experiments. The results indicate that the computational time required by this new approach was greatly reduced compared to that by the conventional 3D CV/FEM simulation model, while maintaining the accuracy, of filling time and flow pattern. This approach makes the flow simulation of large VARTM parts with 3D CV/FEM method computationally feasible and may help broaden the application base of the process simulation. Polym. Compos. 25:146–164, 2004. © 2004 Society of Plastics Engineers.