行波：数学推理的元极导航

本书是《剑桥理论计算科学专论》丛书的第56卷。自从20世纪50年代起，自动化理论证明成为一个活跃的研究领域。在该领域中的研究人员开始着手处理类似人类的自动化推理。在20世纪60年代和70年代，人们对自动化理论证明的兴趣增加了，这是由于理论进展的驱动。例如归纳的开发以及对程序验证的兴趣增加。     

Breeding movements and reproductive activities of porcupine in the Great Basin Desert

I assessed movements of North American porcupines ( Erethizon dorsatum ) in the Great Basin of northwestern Nevada in relation to reproductive activities during the late summer and fall periods of 1991 and 1992. Porcupines exhibit a mate-defense polygynous mating system and I hypothesized that (1) competitively dominant males would have larger home ranges than both subordinate males and adult females, and (2) variation in home range size among adult male porcupines would be positively correlated with reproductive success. Results indicated that dominant male porcupines ranged over larger areas (average 95% minimum convex polygon home range = 20.7 ha) than subordinate males (average 95% MCP home range = 2.9 ha) and adult females (average 95% MCP home range = 8.2 ha). Analyses of movements in relation to body size and energetic requirements revealed that home ranges of dominant male porcupines were larger than predicted based on body size (approximately 10.2 ha). Breeding period home ranges of dominant male porcupines encompassed portions of the home ranges of 3 to 10 adult females, and indices of reproductive success based on observations of mate-guarding behaviors suggested a strong positive relationship between home range sizes of male porcupines and mating success. Together these data suggested that larger home ranges among dominant males were related to increased mating opportunities and not increased metabolic requirements associated with larger male body sizes. In the study area, however, female porcupines congregated around small, patchily distributed riparian areas, and dominant males with relatively small home ranges encompassing riparian areas may have gained mating access to multiple females. Finally, analyses of overlap among core home ranges (60% MCP) of adult male and adult female porcupines suggested that both sexes maintained relatively exclusive core home range areas, with males exhibiting significantly less range overlap with other males ( ￣x = 9.4%) than females with other females ( ￣x = 27.1%). It is possible that the small, patchily distributed riparian areas in this desertlike area were such a limited resource that females were unable to maintain exclusive use of their home range areas.     

Understanding science through its history: a response to Newman

The paper is a response to William Newman’s rebuttal of a critique of his account of the origins of modern chemistry by Alan Chalmers. A way in which the nature of science can be illuminated by history of science is identified and an account of how this can be achieved in the context of a study of the work of Boyle defended in the face of Newman’s criticism. Texts from the writings of Boyle that are cited by Newman as posing problems for Chalmers’ thesis are interpreted as in fact supporting it.     

梳冬夜蛾和白边切夜蛾卵抗寒性研究

对梳冬夜蛾和白边切夜蛾卵的过冷却点、结冰点和不同低温强度及持续时间等指标的冷冻处理测定结果:梳冬夜蛾卵过冷却点为-18.76±4.09℃,结冰点为-17.7±5.02℃;白边切夜蛾卵的相应指标分别为-8.13±3.17℃和-7.15±3.09℃。两种蛾卵在一定的低温条件下,处理时间愈长,卵孵化率愈低;随着低温强度加大,卵孵化率明显降低。     

Juvenile hormone titre and regulation in the cockroach Diploptera punctata

Titres of juvenile hormone (JH) have been determined in both hemolymph and whole body extracts of female Diploptera punctata during the first gonotrophic cycle using a method employing gas chromatography/mass spectrometry for qualitative and quantitative analysis. JH III is the sole JH found in both adult and last instar D. punctata. Maximum values of approximately 1500 ng/ml (approximately 6 microM) were observed at the middle of the gonotrophic cycle, when basal oocyte growth rate was greatest. Changes in rates of JH release in vitro by corpora allata paralleled closely the changes in JH titre, suggesting that biosynthesis is a major regulator of titre. JH levels per animal were calculated from observed JH titres, and at certain time points in the gonotrophic cycle JH obtained from analysis of whole bodies were significantly greater than those predicted from hemolymph titres. These results suggest the existence of a nonhemolymph JH pool in D. punctata. Decay in JH titre after allatectomy of 5 day females has also been studied. Following a rapid initial decline, the rate of decay slowed appreciably 4 h post-operation. Thus, use of a first-order rate constant to estimate half-life of JH significantly underestimated the longevity of the hormone. The apparent persistence of JH following allatectomy may be due to the existence of a nonhemolymph JH pool.     

Application of Teleonic Principles in the Search for Systemic Causes of Accidents in Anesthesia

Safety of patients in anesthesia has always been one of the major concerns of the anesthetist. It is clear from studies of safety in general that many accidents and critical incidents occur as the result of latent systemic failures to which a great number of factors contribute (Reason, 1990). An ideal way to approach this problem would be within a systemic framework, such as teleonics, developed by Járos and his co-workers (Cloete, 1999; Járos and Cloete, 1987, 1993). In this framework the events and procedures in anesthesia are considered to be part of a very complex network of process systems (teleons). It is postulated that teleonic uncertainty (telentropy) in this complex network is a factor that might lead to accidents. In a previous paper presented to the World Congress at Toronto in 2000, the principles of teleonics were described in a mathematico symbolic way (Horváth et al., 2000). This paper contains selected examples of application of these principles to the identification of possible systemic causes of accidents in anesthesia.     

Construction of heteroduplex DNA and in vitro model for functional analysis of mismatch repair

Functional deficiency of mismatch repair (MMR) system is one of the mechanisms of tumorigenesis. With the development of the investigation and the requirement from the clinical diagnosis and treatment it is necessary to build up a method to evaluate the functional status of the whole MMR system in the concerned tumors. The original ssDNA and dsDNA from wild type (wt) bacteriophage M13mp2 and its three derivates with mutation points in the     

Developing Reflective Practice in Information Systems Development: Further Progress on the Gestation of an Evaluative Framework

It is argued in this paper that evaluative activities in relation to systems development have traditionally focussed on the financial worth of the product. This approach has excluded the appraisal of important issues such as the process for building the product, the performance of the systems development team, the methods used and the organisational impact of the implemented System. In response to the traditional approach, which is skewed towards quantification techniques, a three stage framework is proposed. The three stages are iterative. The first being concerned with establishing an appropriate focus and resolution level for the evaluation, the second uses a control model to identify relevant outputs, appropriate sensors and comparators and performance criteria. The third is about selecting more sophisticated paradigms for assessing processes and their outputs. It is contended that although the specific focus of this paper is systems development, the framework could be used in any organisational context where products and services are developed and produced.