移动代理完整性协议形式化分析方法研究

 本文给出了移动代理协议数据完整性属性的定义,指出了采用传统认证性属性来分析移动代理数据完整性属性的不足,从而给出了移动代理完整性证明的两个形式化规约:数据完整性规约和序列完整性规约.在此基础上,针对典型协议实例进行CPS建模,并采用阶函数的方法证明了其完整性,验证了完整性规约的正确性和有效性.     

WCDMA R99与R4协议分析及运营商选择策略

介绍了第3代移动通信WCDMA(宽带码分多址)核心网技术协议标准的发展进程,并对R99与R4协议在网络结构、承载网、信令网、组网模式等方面的差异进行了比较和分析,提出了WCDMA核心网络建设建议。     

基于NURBS的自由曲面精确拟合方法研究

提出了一类卷曲模型的NURBS曲面建模新方法。借助提出的截面轮廓设计技术,构造了点云数据的系列截面轮廓线,并以蒙皮操作为基础得到了能反映点云基本几何特征的基面。应用参数校正技术,给出了一种合理且比较有效的基面参数化方法,并由此用加权最小二乘算法实现了基于迭代的NURBS曲面的精确拟合。实际的算例结果验证了方法的实用性及精确性,非常适于模具型腔建模。     

基于UG模具型芯零件的5轴数控加工

以模具型芯零件高效率、高质量数控编程为目标,采用UG CAM模块铣削加工的加工类型,及优化的数控加工工艺对零件进行数控加工编程,并应用自定义的后处理文件生成了相应数控系统的数控代码,实验结果表明该零件的加工质量达到了预期的加工要求。     

双因子模型在黄土高填方路基沉降预测中的研究分析

选取黄土土质的高填方路基工程为研究对象,在建立沉降预测模型过程中同时考虑填土时间、填土高度双因子对沉降的影响。将常用的时间函数模型和高度函数模型进行组合对比发现,对于压实度为0. 93～0. 95的黄土高填方工程,时间函数采用双曲线函数、高度函数采用线性函数时双因子拟合函数的最大复杂相关系数R~2为0. 931,但是由于精度不能满足工程实际需求。经过对时间函数的a_H进行调整得到了适合黄土高填方路基预测的模型,R~2为0. 938,拟合度较高,且精度满足要求。该新型模型既可用于对单一点在填方高度确定情况下的预测,也可用于多点在时间跨度上的预测。     

vsocket:一种基于RDMA的兼容标准套接字加速方法

为了兼容Linux标准套接字，同时利用RDMA提高使用套接字的程序的性能，提出在上层应用与底层RDMA之间搭建一个中间件——Viscore Socket adaptor(简称vsocket);通过拦截socket API,将上层应用通过套接字收发的数据流无缝转接到RDMA承载上。vsocket绕过管理收发缓冲区的内核，针对TCP和UDP分别实现了用户空间的内存管理机制，使用RC类型的RDMA网络支持TCP加速，使用UD类型的RDMA网络支持UDP加速，并重用Linux UDP来辅助其路由。实验结果表明vsocket能够保证Linux标准套接字接口的兼容性，提升网络性能，摆脱Linux内核网络协议栈的限制，改善收发数据的延迟与带宽。     

500 kV变电站自动化系统改造经验

0 引言 国内500 kV变电站成功实现自动化系统的大多以新站和新设备为基础,而国家电力公司南方公司平果超高压局500 kV变电站则是在原有监控系统的改造中实现自动化系统,其软件采用电力自动化研究院研制的EC2000,保留原有数据采集GR90,新增控制部分采用GR90系列,在以太网上实现计算机控制操作,原ABB公司常规控制为备用运行,并实现自动无功调压.     

3种浸渍酶对蛇龙珠葡萄酒香气影响的比较

香气是葡萄酒的重要感官成分,它来自于葡萄浆果、酿造和陈酿各阶段.葡萄酒酿造过程中添加浸渍酶有助于葡萄中香气前体物的浸出,增加葡萄酒的芳香潜能.本研究采用顶空固相微革取(HS-SPME)技术提取香气物质,气相色谱与质谱联用(GC-MS)技术定性定量分析香气物质,比较了FCE、Vinozym G和Ex-colour 3种浸渍酶对蛇龙珠葡萄酒香气物质的影响.结果显示,3种浸渍酶处理的蛇龙珠葡萄酒中主要香气成分相似,但含量有所差异.添加Vinozym G浸渍酶处理的酒中酯类、酸类、醇类、萜烯类、酮类、苯环衍生物类等各类香气物质总量均达到最高,对萜烯类香气物质的浸促作用尤为显著;表明VinozymG浸渍酶更有利于增强蛇龙珠葡萄酒的芳香潜力.     

用椭圆偏置法计算线切割直纹面加工的电极丝中心轨迹

提出了直纹面线切割加工中用椭圆偏置法计算电极丝中心轨迹的方法,并用仿真实例验证了该方法的有效性。