圆锥公差在图样上的标注方法

介绍了 GB/T 15754—1995 技术制图 圆锥的尺寸和公差注法》的主要内容——圆锥公差的三种注法。分析讨论了面轮廓度法、基本锥度法和公差锥度法的各种典型应用实例。     

等剖面圆形刚框的内力分布

经过分析，将等剖面圆形刚框常见的外载荷形式归结为5种基本形式，并建立各种基本载荷的局部坐标系与一个总体坐标系之间的联系，在总体坐标系下对受载复杂的框进行叠加求解，编制了一个C语言的计算程序，使计算等剖面圆形刚框的内力分布十分简便快捷。     

型号质量管理重在质量问题的预防

按照“预防为主，过程控制”，“零缺陷质量管理”和“质量管理重心前移”的主导思想和原则，我们应该努力改变“救火”为主、“后面使劲”的质量管理被动方式，形成“预防为主，早期投入”的积极管理模式。     

反导防御雷达与弹道导弹突防

给出了弹道导弹防御系统的基本构成和技术特点,重点介绍以多功能雷达为核心的弹道导弹防御系统对弹道导弹突防的威胁,分析了弹道导弹突防的原则、有效战术技术手段和实施条件.     

工程技术类课程的双语教学模式及实践

在阐述双语教学原则的基础上，将工程技术课程的双语教学分为三种基本模式，即辅助双语教学模式、混合双语教学模式和浸没双语教学模式，并分析了这三种教学模式的特点和适用场合。笔就这三种模式分别进行了实践性教学，并提出在工程技术课程的双语教学中采用分层次教育的设想。     

冗余设计技术在发射设备中的应用

发射设备作为进入发射流程的复杂机电液一体化产品,其单点故障环节影响火箭发射成败,通常采用冗余设计的方法来提高任务可靠度,确保发射过程安全可靠。文章介绍冗余设计的分类、级别、原则,针对进入发射流程的发射设备,从系统级、单机级、零部组件等方面介绍冗余设计技术在发射设备上的应用。     

集合论-泛逻辑悖论

对于一类 n(2≤n≤_n) 值逻辑可以给出一个一般形式的形式语言,通过一个六元组的模型,可以递归地定义出该形式语言中的公式的值.这构成了刻画这类逻辑的一个泛逻辑系统 UL ₁.在该系统中,可以定义出抽象否定、抽象蕴涵和抽象等值等联结词,它们分别是二值逻辑中的联结词否定、蕴涵和等值的一般化.利用这些联结词,可以给出Russell型造集谓词、Curry型造集谓词的一般形式.此外,还提出了一种新型造集谓词,这种造集谓词只包含等值联结词,而不涉及其它联结词.通过这3种造集谓词,利用该系统的逻辑工具,证明了在通常的有穷值逻辑、可数无穷值逻辑和不可数无穷值逻辑系统中,概括原则都将导致悖论.     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

模糊神经网络实现飞行数据的智能处理

利用模糊神经网络实现了根据飞行数据识别出飞行过程中所做的基本动作 ,推理过程使用了一种特殊的模糊规则 (fuzzyrule) ,权值学习采用负梯度下降 (Gradientdescentweightadaption)法。首先对每帧飞行数据进行特征检测(Featuredetect) ,将根据专家经验模糊处理得到的隶属度矢量作为模糊神经网络的输入 ,经过该网络决策 ,获得该帧数据的基本动作模式 ,由此 ,得到飞行过程中的基本动作。而实际的飞行动作就是由这些基本动作的组合而成 ,所以 ,实际上也就实现了飞行动作的自动识别。经大量实际飞行数据检验 ,该方法准确、有效。     

中德财务报告比较研究

本文从介绍形成德国独特会计模式的经济因素和社会因素入手，继而选取中德两家在纽约证交所上市公司的会计报告进行比较，目的在于揭示两国财务报告不同之处。