一种WEB服务发现与匹配方法

随着电子商务在互联网的飞速发展,Web服务近年来备受关注。企业可以在互联网上提供自己的服务业务,并且可以动态地将各个服务提供新的增值服务。然而问题在于所需的服务如何被发现。提出了Web服务的发现和匹配机制,给出一个匹配树算法来衡量发现与服务连接,以评估服务的重要性。     

基于抽象和组合方法的网络协议验证

由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根据所需验证的LTL性质,建立各个通信主体的Kripke结构,再对该Kripke结构进行抽象;然后组合抽象模型;最后运用Spin对组合抽象模型进行检验。为验证该方法的有效性,对NSPK协议进行了检测,结果表明,该方法所需的状态空间向量长度、搜索深度、存贮和遍历的状态数都有明显减少,有利于缓解状态爆炸问题。     

长输管道施工技术现状和展望

为适应石油工业发展的形势,作者根据我国长输管道施工技术的现状,认为只要在钢材、制管、下向焊、自动焊、黄夹克、定向钻、斜拉索、大型油罐、加热炉等几个主要项目上,扎扎实实地一个个解决问题,我国的长输管道工业在短时期内,一定能赶上世界先进水平。     

输出平均功率达200W的板状激光器

脉冲运转的“之”字形Nd:YAG板状激光器,在工作频率为50pps时,最高输出激光平均功率达230W。由于采用了“之”字形光路,使热畸变得到补偿,输出激光束的发散角得到改善,一般为3×4mrad。     

基于金刚石NV色心的带状线芯片微波场成像

为了满足集成微波器件进行高分辨率微波近场测量的需求,本论文提出了一种基于金刚石氮空位（Nitrogen-Vacancy,NV）色心的微波近场成像技术.该技术可用于查找芯片等集成微波器件的干扰源和信号串扰.此微波近场成像方法采用金刚石NV色心颗粒作为场传感器,其中金刚石颗粒固定在锥形光纤的末端.由于塞曼效应,NV色心的光探测磁共振（Optical Detection Magnetic Resonance,ODMR）谱在外部静磁场环境中会分裂成为8个峰,通过测量共振峰频点的Rabi振荡谱,能够得到Rabi频率,接着通过2.8MHz/Gauss换算得出该处的微波场强度,最后通过将所测得所有数据点进行二维图像处理即可得到所测芯片和集成微波器件的表面微波场近场图像.     

基于时间帧的处理器PFair调度改进算法

为了解决PFair算法进行交互任务调度时,由于忽略了不同阶段的周期性任务而导致多个线程之间任务的迁移问题以及空间和时间的浪费问题,提出了基于时间帧的处理器PFair调度改进算法。该算法基于周期性任务系统的特点,引入时间帧控制和改变本地周期性任务调度来限制任务迁移,从而实现对PFair算法的改进。为了评估算法的迁移开销和公平性,通过实验对普通PFair算法及本文所提出的改进算法ERfair进行对比实验,结果表明,改进算法ERfair能够通过时间帧内调度和分区控制大大降低任务在不同处理器间的迁移次数。基于时间帧的处理器PFair调度改进算法在保证公平性的同时,提高了系统的效率,应用于多核处理器上的任务调度是可行的、有效的。     

T-形磁通集聚器磁场放大特性及影响因素研究

针对微型磁传感器对弱磁场测量灵敏度低的问题,利用软磁材料对外磁场的集聚放大作用来提高磁测系统的灵敏度。重点针对T-形磁通集聚器的轴向磁场放大特性及影响因素进行了分析,并设计了相应的磁通集聚器并进行试验测试。试验表明所设计的T-形磁通集聚器具有很好的磁场线性放大作用,可用于提高弱磁场的测量精度。磁力线在磁通集聚结构内部流动的过程中发生了磁通泄漏现象;T-形磁通集聚器对外部磁场放大了约21倍;磁通集聚器的相对磁导率及空气间隙与外部磁场的放大倍数都呈非线性的关系,结构的长宽之比与外部磁场的放大倍数呈单调递增关系,结构厚度对其几乎没有影响。该研究结果能够为磁通集聚器结构设计及优化方面提供一定的参考价值。     

基于蚁群算法优化SA的WMN路由设计与仿真

针对现有的无线网状网(WMN)路由协议在实际无线信道环境下性能降低的问题,提出了一种基于蚁群模拟退火(ASA)算法的WMN的路由算法.该算法吸收了蚁群算法的适应性、鲁棒性及本质上并行性的优点,并利用模拟退火(SA)算法调整路由的搜索方向,使蚁群算法的早熟现象和收敛速度得到了改善.对该算法进行仿真研究,结果表明:该算法在数据包的转发率、端到端延时数据丢失率和归一化路由开销等方面要比常规路由协议优秀很多,大大提高了系统的可靠性、鲁棒性,增强了通信网络的自适应能力.该算法用于WMN路由协议是可行的、有效的.     

认知无线电网络中基于公平性的功率控制方案

针对现有非合作功率控制博弈算法中存在用户“远近性公平”问题,在主次用户共享频谱的认知无线电上行链路中,给出一种基于代价函数的高效和公平的功率控制博弈算法。在该博弈模型中,代价函数的设定依据次用户接收端信号质量需满足次用户的服务质量要求。改进后的效用函数能够同时兼顾认知无线电系统的总吞吐量和次用户获取资源的公平性,并利用超模理论证明了该模型存在纳什均衡,然后得到求解发射功率纳什均衡解的迭代过程。仿真结果表明,相比已有的研究,该算法不仅能提高认知系统的吞吐量,还能降低发射功率,改善系统效用,而且兼顾了远近用户吞吐量的公平性。