现场总线网络通信模型中的逻辑链路层

针对现场总线网络的实时应用特征，构造以ＬＡＮ为基础的ＦＣＳ网络通信模型，目的是研究ＬＬＣ子层中ＦＢＣＯＳ，ＦＢＣＬＳ，优先分配，ＲＴＶＣ和预约等时间约束，解决传统ＬＡＮ所无法解决的实时连接问题，保证其实时应用的可靠完成．结合上述目标构造了实时意义下面向链接、无链接、优先分配、虚电路和预约等老概念新方法，对其时间限定范围从简单最佳效果送取需求到一般限定性需求进行了模拟研究．结果不但实现了时限需求消息集的规划算法，而且保证了该需求被实时应用所满足     

离散幅度信号分析方法及其应用

研究离散幅度信号的分析方法。提出任意连续信号的二比特量化重构定理，建立了以信号量化精度作为尺度的多分辨率分析的概念，还分析了离散时间信号用二比特序列重构时的奇异点和求余效应。在实际信号处理应用中，用二比特量化重构定量，提供了一种有效的压缩编码方法，还利用量化精度多分辨率分析方法，实现了高速实时检测。理论和实验证明，提出的离散幅度信号分析方法是一种简单、有效的并行信号分析方法，尤为适于硬件实现。     

数字正切锁相环及在移动信道中的性能分析

分析了一种不规取样的数字正切锁相环在移动信道中的统计性能，并模拟计算了用ＤＴＬ解调ＭＤＰＳＫ时的误码率与信道参数之间的关系，得出一些有用的结论。     

FMS系统中的实时故障监测与系统评价

该文对FMS系统中的实时故障监测与系统评价进行研究。在考察静态故障树组成结构和运行环境及FMS的运行特征的基础之上、提出了FMS的一般实时故障树模型及其面向对象的知识表示与推理方法。该方法综合运用故障树授术、面向对象的节点描述及存贮和正．反向推理策略，达到了迅速、准确检测故障的要求。文末给出该系统的组成结构和实现方法，通过实际系统的试验运行，证明了该方法的有效性。     

非线性信道判决反馈递归神经网络自适应均衡器

针对存在严重符号间串扰及轻度非线性畸变的数字信道，提出了一种判决反馈递归神经网络为均衡器，它将传统的线性信道判决反馈结构巧妙地融入递归神经中，在自适应训练时用期待２信号代替判决反馈信号。     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

综合录井系统软件的开发

研制并开发了实时联机、实时监控和脱机处理一整套综合录井系统软件。该系统通过采集现场的模拟信号与数字信号，实时监测钻井参数和油气显示情况，经过对存储数据处理，实现对油气层的综合评价，简要介绍了整个系统的组成、软件的设计方法和各部分的功能，描述了脱机处理软件内容，并对部分脱机应用软件的功能进行了较为详细的说明。     

内存数据库系统的恢复技术

讨论内存数据库管理系统ＡＲＴｓ－ＭＭＤＢＳ的恢复机制，包括ＣＨＥＣＫＰＯＩＮＴ算法、重装算法和事务的提交处理算法。它们力图将数据库的恢复活动与事务处理并行，尽量不仿碍事务的处理，从而缩短了系统的响应时间，为满足实时事务的时限约束提供了有力支持。     

数字移动通信传播特性预测及信道模型的研究

阐述了数字无线移动信道的传播特性，讨论了数字无线移动通信的信道模型，介绍了数字无线移动信道传播特性的测试方法和实测数据，并提出了数字移动通信传播特性的预测模型．     

激光扫描测量系统扫描速度不均匀的实时校正

在激光扫描测试系统的研制过程中发现，扫描电机转速波动是导致测试精度难以提高的主要原因。在实验研究的基础上，通过分析扫描电机的转动特性，提出了一种实时补偿电机转速变化的有效方法，实际应用表明该方法不仅能使测量精度提高一个数量级，而且大大简化了系统的硬件结构。