信息化陆战场多传感器系统可靠性模型

信息化陆战场上,多个传感平台(装备)综合集成为多传感器系统以实施信息收集与融合,故需要对其可靠性模型问题进行探讨。采用将战术任务转化为技术体系结构的方法,从系统及其组成部分的工作原理和功能关系出发,提出了多传感器系统的作战体系结构和功能体系结构,并在故障描述的基础上,建立了其可靠性框图与可靠性数学模型。对多传感器系统进行的可靠性预计与分配,表明该可靠性模型可以应用于可靠性研究、分析和设计中。     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

“变截面管中跨声速气流”一文引理的证明

本文对T·P·Liu教授关于“变截面管中跨声速气流”一文的关键性引理给出一个清楚的证明,以使这篇有影响的开创性论文更加完美。     

关于最大功原理的应用条件

本文从热力学第二定律的基本原理出发,概要地总结了论证“最大功原理”的方法,进而讨论了热力学中的一些基本问题。其基本思想是:分析热力学问题切不可忘了环境。由此得出了某些有意义的结论,澄清了在学习热力学过程中人们常产生的一些疑惑。     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

主蒸汽管道寿命评估方法的发展现状

综述了国内外迄今提出的关于主蒸汽管道在运行工况下寿命评估的主要方法与作者近年来提出的《蠕变相对变形量判废新准则》、《蠕变损伤强度判废新准则》和《蠕变微孔洞扩张损伤量判废标准》等最新成果。     

局域网的规划与INTERNET的连接技术

介绍了NETWARE局域网的规划方法、实施步骤,并简述了其与INTERNET实现连接的几种方法。     

智能材料与智能建筑结构

综述了智能材料与智能蛄构的研究与应用,着重论连了智能材料应用在建筑工程中彤成智能建筑结构,使建筑结构本身不仅具有承受荷戢的能力,而且还具有识别、分析、判断和驱动功能及自诊断、自适应和自修复功能。     

恶性肾肿瘤术前肾动脉栓塞术的应用

对２３例较大的肾肿瘤行肾动脉栓塞后,再行肾癌根治术,手术切除率１００％,认为此法可增加手术切除成功率,增加安全系数,减少术中癌栓转移。本文还对栓塞病例、栓塞材料、手术时机的选择以及并发症进行了讨论。