协议工程的形式描述技术

本文讨论适应于协议工程的形式描述技术。文中以一个通信系统为例子,论述和分析了Petri网、LOTOS、关系表示法、Z表示法,以及面向对象Z等形式描述技术的形式描述风格及其特征。     

成为硬通货是人民币国际化的前提

人民币国际化是近几年热议的一个话题。然而,人民币迄今还不是硬通货,人民币国际化这件好事还要多"磨"些日子。硬通货本指国际信用较好、币值稳定、汇价呈坚挺状态的货币,但长期以来却被当作美元、欧元、日元等主要发达经济体货币的代名词,而建立在显示出长期活力的世界第二大经济体     

采用广义线性局部交互协议的二阶多智能体网络一致性

多智能体系统的主要研究目的在于探索由个体之间的相互作用所产生的群体协调现象的内在机制和原理。该文设计出一种广义局部线性交互协议,对固定有向网络拓扑条件下的二阶多智能体网络系统的一致性行为进行了深入研究,得到了一个能保证多智能体网络达到一致的充分必要条件。并且,还确定了多智能体网络系统在达到一致时,最终的收敛状态由协议的线性增益、有向网络拓扑和所有智能体的初始值位移状态共同决定。最后,采用5个智能体组成的网络拓扑进行数值仿真,阐释了理论分析结果。     

有效的多协议攻击自动化检测系统

针对当前计算机网络中多个安全协议并行运行时可能出现的多协议攻击问题,提出了一个多协议攻击自动化检测系统(ADMA)。该系统由协议搜索子系统和攻击确认子系统两部分组成,其中协议搜索子系统根据多协议攻击中目标协议与辅助协议加密消息类型一致性条件,自动化搜索可能对目标协议构成威胁的候选辅助协议。攻击确认子系统通过改进的SAT模型检测方法,自动化确认目标协议与候选辅助协议是否存在多协议攻击。试验结果表明,ADMA系统能够实现多协议攻击自动化检测,并且检测中发现了新的多协议攻击。     

微气体螺旋槽推力轴承-转子系统非线性动力学分析

基于分子气体膜润滑模型探讨微气体螺旋槽推力轴承中的稀薄效应,将广义雷诺方程与运动学方程在时域内耦合并采用直接数值模拟方法联立求解,获得了任意时刻微转子的瞬态位移和速度响应,考察了气体稀薄效应以及不同螺旋槽结构参数对微气体螺旋槽推力轴承-转子系统非线性动力学行为的影响,并得到不同转速对应的轴向扰动临界值.结果表明:考虑稀薄效应时微轴承-转子系统显示出更好的稳定性;转速增加,轴向扰动临界值降低;能提高微轴承承载力的最佳螺旋槽结构参数,并不利于提高微系统的稳定性.     

基于可信度的簇间多跳LEACH算法

通过分析低功耗自适应集簇分层型协议(LEACH)和基于可信度的低功耗自适应集簇分层型协议(TE-LEACH)算法的不足,提出一种基于可信度的簇间多跳低功耗自适应集簇分层型协议(TEM-LEACH)算法.该算法既考虑簇头节点传输数据的可信度,又引入网关节点构建路由主干网,保证数据经过最少的跳数传输到基站,有效地延长无线传感器网络生存时间,增加了LEACH算法的适用范围.     

专用短程通信协议一致性测试平台设计与分析

为实现对专用短程通信协议进行自动化协议一致性测试,设计实现了一种以TTCN-3语言为工具的专用短程通信协议一致性测试平台,并使用有限状态机的模型对部分协议测试套进行了设计开发和测试验证.通过实际的测试和对结果的分析,证明该测试平台可以正确的实现协议一致性测试,验证了专用短程通信协议一致性测试的可行性.该平台为后续专用短程通信协议一致性测试系统的建立和完善提供了必要的技术基础和保证.     

二阶非自治(q,p)-Laplace方程周期解的存在性

研究了二阶非自治(q,p)-Laplace方程周期解的存在性问题.利用临界点理论,得到了一些新的结果,改进了二阶(q,p)-Laplace方程一些已有成果.     

无线传感器网络路由协议GEAR的研究与改进

在无线传感器网络（WSN）中,节点的能量非常有限,且不易补充,因此其路由协议的设计要以降低节点能量消耗,延长整体网络生命周期为主要目标。本文从均衡网络负载延长网络生命周期的角度出发,提出基于多路径的GEAR协议——BMP-GEAR协议。在NS2下仿真结果表明,BMP-GEAR协议相比GEAR协议能够延长网络生命周期。     

IEC61850变电站间隔层IED的建模与分析

IEC61850为变电站建立了分层的体系结构,目的是实现设备的互操作性和互换性。IED是变电站系统的核心元件,其中间隔层IED更是重中之重。文章以在变电站间隔层实现符合IEC61850标准的IED为目标,对其功能进行分析,根据抽象通信服务接口(ACSI)建模方法,分析建模的一般步骤,举例对间隔层IED建模,阐述ACSI和特殊报文规范(MMS)之间的映射关系,指出支持间隔层IED通信的外部技术支撑,为遵循IEC61850产品的研发提供参考。