Petri网展开图法的分析和应用

Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。     

CSP和RSL应用于协议形式化描述的研究

文中用一种新的形式化描述语言RSL来描述网络协议，采用通信顺序进程CSP为模型。该模型基于进程代数，能用严密的代数演算方法验证协议性质，文中对CSP模型和RSL语言作了时间的扩充，并且给出了从CSP模型到RSL语言的转换步骤及规则，最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适应性。     

一种动态的协议一致性测试方法

目前常用的协议一致性测试的测试都是采用先生成固定的测试集 ,然后逐条执行这个测试集 .这种方法可能会造成执行效率不高和实际测试范围被缩小的问题 ,提出一种动态的协议一致性测试方法 ,以提高测试集的执行效率 ,同时从与协议实现无关的角度扩大协议的实际测试范围     

基于SIP的事件通知模型设计

SOAP协议提供一种新的RPC手段,有助于实现事件通知,在一定范围内能改善CORBA／DCOM技术的不足。文章分析了CORBA／DCOM的局限性,在该基础上提出了一个新的事件通知模型,并结合实例深入分析了如何运用SIP和SOAP构造事件通知系统。     

ISIS协议一致性测试系统的设计

论文针对ISIS协议的特点,介绍了一种协议一致性测试系统的设计方法。该方法的核心思想是基于虚拟测试体。运用该方法实现了基于多测试体、具有控制通道的测试系统,系统使用TCL作为测试例描述语言,具有很强的测试能力以及良好的灵活性和可扩展性。运用该系统成功对多个ISIS协议实现进行了测试,本文列举了测试实例和测试结果。     

长钢筋对焊接头无台座检验法

我们在施工某厂36米高的水塔时,需要加工36根37米长φ25的钢筋吊杆,备作提升预制钢筋混凝土水箱时使用。该吊杆采用对焊接长,要求检验钢筋对焊接头的受拉可靠性。按常规做法需要与该钢筋等长的冷拉台座或冷拉槽,当时这个工地远离公司基地,重新制作     

无线传感器网络实验平台的实现

详细阐述了基于无线传感器硬件搭建无线传感器网络实验平台并利用TinyOS进行传感器硬件通信验证的实现方案。     

基于P2P的SIP用户定位研究

针对利用P2P算法实现SIP用户定位的时延比较大的问题,提出了一种降低SIP用户定位时间的方法.利用底层网络的拓扑结构将P2P网络分层,SIP用户同时在自己所在的低层逻辑网络和整个P2P覆盖网上进行注册;查找用户时,在每一层上应用Chord算法并辅以常用被叫用户表.为了实现简单,所有P2P和SIP操作都由SIP消息完成.模拟表明,该方法能极大的减小查找用户的时间,进而大大缩短平均的会话建立时间.     

新的无向双环网络G(N;±1,±s)直径求解方法

提出新的无向双环网络G(N;±1,±s)的直径求解法——分步法,并得到一种新的直观图——螺旋环,研究了螺旋环的性质,给出无向双环网络的直径d(N;±1,±s)的显式公式,给出N,s都固定的直径算法。给出N固定,2≤s≤N?1这样一族无向双环网络的直径算法。利用VB6.0和SQL Server 2000来仿真2≤s≤N?1,找出了该族无向双环网络直径的分布特点:具有最大值、最小值和中间对称性;对任意N,有不少s使得G(N;±1,±s)紧优或几乎紧优。验证了Boesch和Wang等提出的无向双环网络G(N;±1,±S)的直径下界,给出了一个新的直径上界公式。     

基于SOA的移动校务通平台的研究

为解决教育与实践脱节、学校教育信息孤岛问题等导致了社会教育、学校教育和家庭教育不能有效的共同协作进行。提出一种基于SOA技术的高校手机校务通平台。该平台在深入分析校务通平台的内容和特征,建立了基于SOA的高校校务通平台的原型。最后,基于.NET平台,使用C#语言实现了各个功能模块,测试表明该平台可以有效应用于高校教育信息的交互。