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

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

Mathematical Arguments in Context

Except in very poor mathematical contexts, mathematical arguments do not stand in isolation of other mathematical arguments. Rather, they form trains of formal and informal arguments, adding up to interconnected theorems, theories and eventually entire fields. This paper critically comments on some common views on the relation between formal and informal mathematical arguments, most particularly applications of Toulmin’s argumentation model, and launches a number of alternative ideas of presentation inviting the contextualization of pieces of mathematical reasoning within encompassing bodies of explicit and implicit, formal and informal background knowledge.     

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

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

Hemoglobin causes both endothelium-dependent and endothelium-independent contraction of the pig coronary arteries, independently of an inhibition of EDRF effects

Hemoglobin is widely used as an inhibitor of EDRF effects. Hemoglobin contracts pig coronary arteries in vitro. However, during this contraction, effects of substance P and bradykinin which act via the EDRF are not inhibited. This means that the hemoglobin contraction is not caused by inhibition of the EDRF. This contraction is caused by a substance released from the endothelium, and by eicosano?ds released from the smooth muscles.     

外加驱动下深度缓变矩形槽中非传播表面孤波

用多重尺度微扰技术导出了外加驱动下深度缓慢变化矩形槽中流体表面波所满足的方程,是含有缓变系数的非线性Schrodinger方程;并求出了特定情况下的非传播表面孤立波解。当深度不变且不考虑外加驱动和粘滞性时,结果与Larraza和Putterman理论的结果一致。     

Genetic linkage studies suggest that Alzheimer's disease is not a single homogeneous disorder. FAD Collaborative Study Group

Alzheimer's disease, a fatal neurodegenerative disorder of unknown aetiology, is usually considered to be a single disorder because of the general uniformity of the disease phenotype. Two recent genetic linkage studies revealed co-segregation of familial Alzheimer disease with the D21S1/S11 and D21S16 loci on chromosome 21. But two other studies, one of predominantly multiplex kindreds with a late age-of-onset, the other of a cadre of kindreds with a unique Volga German ethnic origin, found absence of linkage at least to D21S1/S11. So far it has not been possible to discern whether these conflicting reports reflect aetiological heterogeneity, differences in methods of pedigree selection, effects of confounding variables in the analysis (for example, diagnostic errors, assortative matings), or true non-replication. To resolve this issue, we have now examined the inheritance of five polymorphic DNA markers from the proximal long arm of chromosome 21 in a large unselected series of pedigrees with familial Alzheimer's disease. Our data suggest that Alzheimer's disease is not a single entity, but rather results from genetic defects on chromosome 21 and from other genetic or nongenetic factors.     

Homogeneous interferon-inducing 22K factor is related to endogenous pyrogen and interleukin-1

In vitro stimulation of mononuclear cells from human peripheral blood with mitogens causes the release of factors (monokines and lymphokines) which possess distinct biological activities. One such factor, termed 22K, can induce production of human beta-interferon (HuIFN-beta) in cultured human fibroblasts, thereby rendering these cells resistant to virus infection. Here we report the complete purification and partial sequencing (39 N-terminal amino acids) of this factor, whose relative molecular mass was estimated by SDS-polyacrylamide gel electrophoresis to be 17,000 (17K). In addition to an antiviral effect, the pure protein exhibits several other biological activities. Most significantly, intravenous (i.v.) injection of the factor in rabbits caused fever and granulopenia at doses of 0.1-1 microgram per kg, effects which we attribute to a monokine called endogenous pyrogen (EP). In vitro, the protein was scored as positive in a LAF (lymphocyte-activating factor) assay at 0.1-1 ng ml-1. LAF and EP are considered to be members of one family of monokines, called interleukin-1 (IL-1). For this reason, and also because the amino-acid sequence of the 22K factor is at least partially homologous to a complementary DNA-derived IL-1 sequence, we postulate that the 22K factor also belongs to the IL-1 family.     

Synaptic connectivity of a local circuit neurone in lateral geniculate nucleus of the cat

Although receptive fields of relay cells in the lateral geniculate nucleus of the cat nearly match those of their retinal afferents, only 10-20% of the synapses on these cells derive from the retina and are excitatory. Many more (30-40%) are inhibitory and largely control the gating of retinogeniculate transmission. These inhibitory synapses derive chiefly from two cell types: intrinsic local circuit neurones and cells in the adjacent perigeniculate nucleus. It has been difficult to study the functional organization of these inhibitory pathways; most efforts have relied on indirect approaches. Here we describe the use of direct techniques to study a local circuit neurone by iontophoresing horseradish peroxidase (HRP) into it, which completely labels the soma and processes of cells for subsequent light- and electron microscopic analysis. Although the response properties of the labelled cell are virtually indistinguishable from those of many relay cells, its morphology is typical of 'class 3' neurones (see Fig. 1 legend), which are widely believed to be interneurones (but see ref. 12). Here, we refer to the cell as a 'local circuit neurone', which allows for the possibility of a projection axon, rather than as an 'interneurone', a term that commonly excludes a projection axon. We find that the labelled cell has a myelinated axon, but that the axon loses its myelin within 50 microns of the soma and has not yet been traced further. The dendrites of the labelled cell possess presynaptic terminals that act as intrinsic sources of inhibition on geniculate relay cells. We also characterize other morphological aspects of this inhibitory circuitry.