Some paradigms for visualizing parallel execution of logic programs

This paper addresses the design of visual paradigms for observing the parallel execution of logic programs. First, an intuitive method is proposed for arriving at the design of a paradigm and its implementation as a tool for a given model of parallelism. This method is based on stepwise reñnement starting from the deñnition of basic notions such as events and observables and some precedence relationships among events which hold for the given model of parallelism. The method is then applied to several types of parallel execution models for logic programs (Orparallelism, Determinate Dependent And parallelism, Restricted and-parallelism) for which visualization paradigms are designed. Finally, VisAndOr, a tool which implements all of these paradigms is presented, together with a discussion of its usefulness through examples

Implementation of an event driven scheme for visualizing parallel execution of logic programs

This article presents in an informal way some early results on the design of a series of paradigms for visualization of the parallel execution of logic programs. The results presented here refer to the visualization of or-parallelism, as in MUSE and Aurora, deterministic dependent and-parallelism, as in Andorra-I, and independent and-parallelism as in &-Prolog. A tool has been implemented for this purpose and has been interfaced with these systems. Results are presented showing the visualization of executions from these systems and the usefulness of the resulting tool is briefly discussed

Boson peak, elasticity, and glass transition temperature in polymer glasses : Effects of the rigidity of chain bending

UTokyo FOCUS Press releases掲載「プラスチックの硬さに潜むシンプルな性質を世界で初めて明らかに。 ―高分子ガラスにおける分子振動の正体とは？― 」＜研究成果＞ URI: https://www.u-tokyo.ac.jp/focus/ja/press/z0109_00290.htm

Some effects of vasectomy on the reproductive system of the ram

The purpose of this study was to examine, the response of the male reproductive system of rams to the altered physiological status existing after vasectomy. Vasectomised rams were examined at different periods up to three years and nine months after the operation, with regard to the structure and functional state of their testes, epididymides, vasa deferentia, vesicular glands, prostate gland and bulbo-urethral glands. The ejaculate was studied for the presence, morphology and metabolic activity of spermatozoa, and the seminal plasma for its fructose concentration. The levels of androgens in the peripheral blood were determined by a radioimmunoassay. Intact rams were studied by similar methods in order to establish the normal status of reproductive function and the seasonal variations occurring in this species. The changes occurring in the testis after vasectomy were restricted to the seminiferous tubules, where spermatogenic activity was found to be both qualitatively and quantitatively affected. The interstitial (Leydig) cells were found to be functionally unchanged, as demonstrated by the similarity of androgen profiles in intact and vasectomised rams during the breeding and the non-breeding seasons. The epididymal changes were most marked in the region of the cauda epididymidis, where enlargement, multiple spermatocoeles and sometimes rupture of the serous covering were observed in vasectomised animals. Although evidence of increased sperm removal by phagocytosis was found, the epididymis was unable to cope successfully with excurrent duct blockage even when the testis was producing smaller numbers of spermatozoa than normal. Evidence was also obtained indicating interference with sperm maturation in the epididymis of some vasectomised rams. The ejaculates of vasectomised rams contained immotile spermatozoa fox well over one year after the operation. Although these spermatozoa were found to be structurally intact for up to three to six months, they were neither fertile nor metabolically active after two to four weeks in most cases. The storage site from which these spermatozoa are voided at ejaculation was located as being the glandular acini surrounding the lumen of the ampulla. The secretory activity of the glandular epithelium in the ampulla and vesicular gland was altered in some vasectomised animals, and this was reflected in the histological appearance of the cells and in the fructose concentration of the ejaculate. These animals had either increased or decreased secretory activity when compared with intact rams, although their androgen profiles were not significantly different from those of intact rams