流体中悬浮微粒的运动

本文研究了流体中悬浮微粒的运动特征,以揭示产生悬浮的物理机制,追溯形成悬浮的动力根源.利用所得结论对一些自然现象进行了必要的解释,并指出了悬浮这一动力学特点的应用价值和研究价值.     

英语教学中的听力训练

人类学习语言的历史规律是先有口语,其次才有书面语,所以我们应视“听的能力”为语言学习的“首席代表”.听力在外语学习全面发展中起着极其重要的“桥梁”作用(只有在“听懂”的前提下,才能继而发展“说、写、译”等基础训练).然而,在现实教学中,对经过初高中六年外语学习的本科生而言,他们听的能力大大低于其它各项,这一现象曾一度引起外语教学专家的极度焦虑与关注,也是目前教学中应予以重视的问题.本文就如何提高外语听力及训练技巧给予探讨,希望能扎实提高学生的实际英语能力,避免应试教学.     

锁相放大器在光纤陀螺信号检测中的应用

讨论了光纤陀螺信号检测的基本原理,分析了锁相放大器参数选择对测试结果的影响。在干涉型去偏光纤陀螺系统中应用锁相放大器进行信号检测,可使系统阈值达到0.1deg/h,零漂达到0.4deg/h.     

某型空空导弹控制舱检测设备设计

对某型空空导弹控制舱检测设备进行了总体设计。采用8031单片机,提出各类参数的检测方案,并对系统采取了抗干扰措施。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。     

通信系统接入的智能控制

针对通信系统在传统接入控制上的一些缺点,提出了模糊神经网络接入控制方法。首先,简单介绍了通信系统的接入控制原理,指出了传统接入控制的缺点;其次,描述了模糊神经网络模型,并在此基础上对网络进行优化;最后,同传统的接入控制方法进行比较。     

模糊格中的有补元

模糊格概括了模糊集理论的运算规律,随着计算机等学科的发展,越来越需要对该学科进行完善。有补元是模糊格中的一种特殊元素;首先,给出了有补元在模糊格中的四个重要性质;第二,给出了有补元与模糊格分明元的关系定理;第三,通过有补元,建立了模糊格“分支”的两个刻划定理。