OSPF路由选择协议研究

OSPF是新型的路由选择协议,被广泛应用于大型网络之中.从阐述OSPF的结构模型入手,分析了OSPF在一个区中的工作机制,以及各区之间路由信息的交换.     

WXH-11x微机线路保护屏并入监控系统

对该装置的输出软件进行部分改造，增加了通讯功能，研制了上位微机与其通讯的规约软件，从而构成主从关系两级分布式电力系统微机继电保护监控系统。     

过程控制计算机中文监控软件的设计与实现

提出了一种适用于石油、化工、冶金和电力等实际工业过程参数的监视与控制的计算机中文监控软件，并对其系统组成、功能的实现和关键技术等问题进行了阐述．     

改进的强隐式格式及其在三维Euler与N-S方程中的应用

将 Ｓｔｏｎｅ强隐式格式由单个方程推广到方程组，并用于三维高速可压缩流的 Ｅｕｌｅｒ和Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程组的数值计算。为较好地捕捉激波、提高激波的分辨率，对离散后方程右端项的数值通量进行了改进，采用了ＮＮＤ格式的数值通量。典型三维算例表明，本格式具有高效率、高分辨率的特点，流场与实验数据较接近。     

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

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

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

用改进过的激光拉曼光谱仪测定气相反应过程中产生的瞬态中间体(英文)

改进激光拉曼光谱仪的样品池为石英玻璃制作的连续流动的气体，样品室，用紫外光束射入样品室来激活气体在垂直于紫外光束和探测激光束的方向来探测被瞬态中间体散射的拉曼散射光；交流（A·C）放电电极对以适当的间隙装在上述样品室上；由激光拉曼光谱仪记录下的拉曼散射光谱频移图上，根据待测物的特征频率，辨认和确定气相反应过程中所产生的瞬态中间体。这为光物理、光化学、等离子体化学等提供可靠的、直接的探测方法。     

改进混和遗传算法优化城市给水系统调度模型

以给水调度系统的能源费用为目标函数，在给出24h用水量预报、供水泵站的机组配置、水库初始和最终水位、电费价格和给水管网的水力学约束条件下，通过引入改进混合遗传算法优化方法对该系统模型进行优化调度，以追求能量费用最小的运行状态．同时，该模型还给出了泵站运行时水泵机组的优化组合．通过算例证明了该模型方法的有效性．     

一致性测试中的时间约束及测试用例生成算法

针对协议测试理论中的时间约束问题，从不同的一致性测试方法出发对协议测试中的时间参数做了严格的约束，同时给出了基于等待、协调和同步时间的严格约束下的测试用例生成算法．在控制流测试中，先生成引导序列，然后按照测试拓扑环境设置和事件约束对引导序列、测试序列的时间进行约束设置．在数据流测试中，等待时间只需按照需求描述和约束来设定．对边界网关协议进行测试的结果表明，所提算法能适应不同的网络拓扑环境，其生成的测试用例在测试中能够有效降低测试代价．     

基于改进多粒子群算法的电力系统无功优化

将改进的多粒子群算法应用于电力系统无功优化问题的求解，克服了传统粒子群算法收敛精度不高、易陷入局部最优的缺点．该优化方法对原粒子群算法进行了如下改进：通过增强粒子群间的协同作用、引入惯性因子以及扰动的策略，来平衡集中强化搜索和分散多样化搜索过程．对IEEE6节点和IEEE30节点系统分别进行无功优化计算，并与传统粒子群算法进行了比较，结果表明，该算法求得的有功损耗较原状态降低了近1／5，且电压合格率为100％，具有较强的全局搜索能力和较高的收敛精度，是求解无功优化的有效方法．