"互教式"教学模式在表现难美性项目教学中的实验研究

运用对比实验法、访问调查法和观察法等研究方法,对“互教式”教学模式实证分析认为:“互教式”教学模式在突出师范性、增强学生角色意识、促进学生非智力因素发展和培养学生教育教学能力等方面明显优于传统的“传习式”教学模式。是一种适合师范体育专业表现难美性项目的教学模式。     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.     

分布式的网络性能管理专家系统模型

根据目前计算网络管理的需要，提出分布式和智能化的管理体系结构．建立了基于人工神经网络的网络性能管理专家系统的模型，并给出一个设计实例，在实例中重点介绍了数据传换和训练样本集的设计。     

碰撞诱导转动传能中的干涉势

理论模型基于一级含时波恩近似，只考虑长程相互作用势，在此基础上给出了原子与^1П态双原子分子体系的干涉势．     

网络侦听的检测和反检测技术分析

指出了对于网络侦听，近年来出现了很多的检测技术，但新一代的具有反检测能力的网络侦听也已经出现，介绍了网络侦听的检测，分析了目前的检测技术(anti—sniffer)以及反检测技术(anti—anti—sniffer)，提出了实现新一代检测技术sniffer(anti—anti—anti—sniffer)的思路和技术路线。     

反激式变换器的电磁干扰分析

应用频域分析方法，对给定输入、输出电压及输出电流，并工作于临界连续模式下的反激式变换器进行分析。着重分析了占空比变化对输入电流、输出电流、开关管压降及交变磁通谐波的影响，为在产品的设计阶段尽可能减小电磁干扰信号提供了理论依据。     

用于宽带取样示波器的Nose-to-nose校准技术

介绍一种宽带系统校准的新方法，对比几种传统的校准方法，这种称为nose—to-nose的校准方法是目前校准精度最高的一种．这项技术所基于的一个基本事实是：当示波器的取样电路对直流电压取样时，会产生一个极窄的脉冲到输入端，这个脉冲正比于系统的冲激响应，称为kick-out脉冲，这样将两台示波器的输入端对接就在第二台示波器上得到了含有两台示波器冲激响应的卷积输出，应用反卷积算法可以得到这两台示波器的冲激响应函数．     

本质主义与反本质主义

本质主义的源头不是亚里士多德的本质论而是科学主义分析哲学。本质主义的"科学性"是新实证主义的"科学性",而不是立足于现实和历史的科学精神。反本质主义不是源自维特根斯坦的后期思想,而是后现代主义以"反知性"否定传统形而上学之非理性主义思潮。批判理性的立场既以科学主义的本质主义为不取,又不苟同于非理性主义的反本质主义,以超越后现代主义。     

过流反时限保护的实时控制

对矿用高压配电装置中的过流反时限保护功能进行了分析,并针对实际应用中存在的问题提出了改进方案.     

反常原子

随着粒子物理学、激光光谱学与基于加速器的原子物理学的发展,在实验上已相继发现了里德伯原子、电子偶素与μ子素、μ子原子与强子原子,以及最近才产生的反氢原子等一系列的反常原子.通过对这些反常原子的理论与实验研究,极大地丰富了人类的知识宝库.本文综述了这些反常原子的产生(或发现)过程,它们所具有的独特性质、应用及其在科学上的重大意义.