卫星闪电定位校正

从卫星资料处理出发，分析了雷暴云在多通道卫星云图上的基本特征，提出了利用多通道数字化卫星云图判识雷暴云的方法。在判识出雷暴云的基础上，对其中心进行定位，并利用其定位结果，对闪电定位仪测得的闪电资料进行校正，以提高闪电定位仪的定位精度及卫星资料判别雷暴云的正确率。初步分析表明，利用卫星定位对闪电定位进行校正，对闪电资料的定位精主工有较大的提高，得到了较好的结果。     

利用GMS—5红外资料进行云的分类识别

利用GMS－5 3个红外通道（2个分裂窗区通道和1个水汽通道）的亮温资料，依据各种云不同的辐射特征对其进行分类，由此识别出积雨云（Cb）、浓积云（Cg）、卷云（Ci）、积云（Cu）、中云（Cm）、密云（Dense）等6种主要云类以及雾（Fog）和晴空区域。结合安徽寿县地面观测基准站1998年6、7月份的地面观测资料，对分类结果进行了检验，得到了较为令人满意的结果，准确率接近70％。     

列车自动控制系统的设计与实现

从列车自动控制技术系统的基本原理出发 ,设计了一种新的列车自动控制系统 ( ATC) .该系统由 3个子系统构成 :列车自动保护系统 ( ATP) ,列车自动运行系统 ( ATO) ,列车自动监控系统( ATS) .系统地阐述了 ATP ,ATO,ATS的功能及其特点 ,为列车自动控制技术的实现提供了一种切实可行的方案     

基于VRTX操作系统的列车总线节点的设计

在列车控制系统中 ,车载数据通信必须具有良好的实时性 .绞线式列车总线 (WTB)就是符合这一要求的一种专用现场总线 .为此介绍了列车通信网标准 (IEC6 1375— 1)中的WTB部分 ,以及WTB节点的硬件设计和软件设计 .在硬件设计中 ,论述了物理层和链路层的设计 .在软件设计中 ,阐述了本系统所用的实时操作系统平台———VRTXx86 /rm ,并且从状态机的角度分析了系统中的几个主要进程     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

到达场列车反向接入在车站改造中的应用

根据车站改造充分利用既有设备和节省投资的原则设计出到达场列车全部反向接入的方案,并就因全部反接而在驼峰咽喉处产生的交叉干扰进行了详细的讨论,最后提出用计算机辅助行车的方法实现进路自动设置的构思,说明了此方案在实际运用中的可行性.     

网格定位法在系统流程图活化中的应用

为了实现核电厂反应堆系统流程图的计算机化管理,通过在系统流程图上画出具有记忆功能的网格,利用网格位置和网格信息把系统流程图上的设备与设备库中的相应设备关联起来,解决了系统流程图的活化问题,即在系统流程图上用鼠标点击设备,弹出设备信息。这种网格定位的方法已经有效地应用在核电厂运行安全管理系统中,该系统采用先进的网络和数据库技术实现了对核电厂设备,系统流程图,运行事件等信息的综合管理,以先进的管理方式为核电厂管理人员提供一个便捷的信息平台和工具。而且,这种方法还可以应用到其它领域。     

基于QFD的网站用户需求分析

以最终用户满意为驱动力,基于质量功能展开原理,提出一种将网站用户需求转化为对网站各个环节的要求的多层次演绎分析方法,即网站用户需求展开,为将用户满意理念贯穿于网站的设计与管理之中提供了理论框架与操作方法。     

一类钴基化合物的分子场理论分析

根据两格点分子场理论，在考虑重稀土与钴的磁矩偏离反平行倾角的基础上，分析了钴基化合物RCo5(R=Y，Pr，Nd，Gd，Tb，Dy)的磁化与温度的关系，采用数值拟合的方法得到了描述3种磁作用的分子场系数n(CoCo)，n(RCo)和n(RR)，计算出了Tc，结果表明，RCo5中的磁作用主要由钴3d电子问的交换所决定。     

基于共振解调技术的工务来车探测报警仪的研制

针对铁路工务作业的来车识别问题，采用共振解调检测技术，设计了一种适用于铁路施工安全的工务来车探测报警仪。本仪器可以放置在施工现场，而不用另外设置防护区段，可有力保障在线施工人员的人身安全、测试结果表明，该仪器具有灵敏度高、可靠性好等特点，能更好地识别远程来车。