A Formal Approach to Protocol Interoperability Testing

Porotocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products.In this paper,we proposed a formal approach to protocol interoperability testing based on the operational semantics of Concurrent TTCN.We define Concurrent TTCN‘s operational semantics by using Labeled Transition System,and describe the interoperability test execution and test verdict based on Concurrent TTCN.This approach is very helpful for the formation of formal interoperability testing theory and construction of general interoperability testing system.     

An invitation to Friendly Testing

1IntroductionSinceitspresentationin[1,2]TestingSemanticshasbeenwidelystudiedandusedasanaturalwaytodefineanobservationalbehaviorwithareasonablepowertodistinguishsemanticallydifferentprocesses.TestingSemanticsisdefinedbyobservingtheoperationalsemanticsofprocessesbymeansoftests.Testsarejustprocesseswhichmayexecuteanewactionwreportingsuccessofthetestapplication.Todefinetheapplicationofatesttoaprocesslweconsiderthedifferentcomputationsoftheexperimentalsystemwhichisobtainedbycomposinginparallelthe…     

An efficient technique for implementing an image-compression neural algorithm on concurrent multiprocessor architectures

The paper describes a parallel implementation of a neural algorithm performing vector quantization for very low bit-rate video compression on toroidal-mesh multiprocessor systems. The neural model considered is a plastic version of the Neural Gas algorithm, whose features are suitable for implementations on toroidal mesh topologies. The architecture adopted, and the data-allocation strategy, enhance the method's scaling properties and remarkable efficiency. The parallel approach is supported by a theoretical analysis of the efficiency of the overall structure. Experimental results on a significant testbed and the fit between predicted and measured values confirm the validity of the parallel approach.     

Electrostatic actuation as a self-testing method for silicon pressure sensors

The aim of this work is to investigate the possibility of using electrostatic forces to actuate the membrane of a pressure sensor in order to create self-testing features in the system. It is shown that the electrostatic pressure is small compared with the external pressure, unless large voltages or electrical charges are used. The interrelation between electrostatic forces and externally applied pressure is calculated for different electrical drive modes of the capacitor, in the case of a uniform membrane and for a MESA-type membrane.     

回转式空气预热器热点在线检测系统的研究

分析了回转式空气预热器的着火机理，并重点介绍了热点在线检测系统的工作原理、结构设计及试验结果。     

变电所二次设备微机全自动在线检测软件的研究

本文探讨了变电所二次设备微机全自动检测软件的总体结构方案，提出了一种模块化黑板式表格结构试验方法，成功地解决了因需检测的试验项目及元器件太多而有可能导致软件结构冗长的问题。该方案已用于我国自行研制并投入使用的电气化铁路变电所二次设备检测车中，取得了满意的效果。     

SPNH（改进型）抗高温降失水稳定剂的实验研究

着重介绍了一种新型抗高温降滤失稳定剂ＳＰＮＨ（改进型）及其室内实验情况。结果表明，ＳＰＮＨ（改进型）具有降失水、降粘作用，抗温能力强，抗盐性好，热稳定性好，成本低，其效果明显优于同类磺化系列处理剂。     

扭转机改造升级实践

介绍了ＮＮ—５０型扭转机改造的总体方案和实施过程，说明了光机电方案的优越性，指出了进一步改进的方法．     

电磁离合器性能微机测试系统

本文首先介绍用于电磁离合器性能试验的分布式微机测试系统的构成及其本性能，给出性能试验装置及下位机硬件，然后重点分析了电磁离合器起动法动力矩试验与结合功测量的软件实现，最后指出了在研究过程中解决的几个重要技术。     

车辆发动机活塞连杆微型多通道应力测试仪

本文设计了一种适用于车辆发动机活塞、连杆应力测试的微型多通道测试仪，它可以固定在发动机活塞体上进行应力测试，并可应用于温度等参数的测试