王峰
- 作品数：7 被引量：12H指数：3
- 供职机构：郑州大学信息工程学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术交通运输工程电气工程更多>>
- NSSK协议的串空间模型及分析被引量：3
- 2007年
- 本文介绍了串空间模型中的基本概念和定理,并首次利用串空间理论,从机密性和认证性两个方面,对改进的NSSK协议进行了分析。分析结果表明改进的NSSK协议是安全的。
- 周清雷王峰赵东明
- 关键词：安全协议串空间
- 公路平面图制图系统的坐标转换被引量：1
- 2005年
- 在利用 Auto CAD绘制公路平面图的过程中 ,依据桩号和距中线距离直接绘图能够提高绘图速度和准确性。基于 VBA语言设计了一种新算法 ,实现了用户坐标系 (UCS)与以中线为参照的相对坐标系 (midline relative coordinate system,MRCS)之间的坐标转换。最后给出了两个典型应用实例。
- 王峰周振红秦红艳
- 关键词：用户坐标系典型应用平面图公路桩号
- 基于GIS与VBA的公路CAD技术应用研究
- 研究公路CAD技术旨在使公路设计以科学发展观为指导，坚持以人为本，走资源节约型交通发展之路，当今信息化时代里，新一代公路的理念要求公路规划、设计的效率、质量与科学性进一步提高，这就需要利用计算机技术、电子信息技术等高新技...
- 王峰
- 关键词：公路CAD地理信息系统AUTOCADVBA
- 文献传递
- 基于认证测试的一种安全协议一致性分析方法被引量：3
- 2007年
- 认证测试技术是串空间(strand space)理论的进一步发展,不仅用于认证协议的安全性分析而且还用于指导认证协议的设计。但在分析安全协议为何不正确以及如何改进方面,与其他的形式化验证方法一样,也不能提供更深入有效的分析。本文提出了参数一致性矩阵的概念并运用参数一致性矩阵对协议的一致性进行分析,说明了协议失败的原因并给出改进的方向。分析过程的形式化有利于协议分析自动化工具的实现。
- 周清雷王峰赵东明
- 关键词：安全协议串空间模型一致性
- 单极天线的计算机仿真设计被引量：2
- 2007年
- aa输入阻抗,在PML边界条件采用指数差分的形式,减少了误差,与文献比较,获得比较好的结果。
- 王峰邹澎
- 关键词：MATLAB时域有限差分算法单极子天线输入阻抗
- 基于matlab技术实现频谱分析仪测量阻抗被引量：3
- 2006年
- 本文介绍了在matlab的基础上实现用频谱分析仪测量阻抗的原理和算法,用matlab编程实现算法,并对该测量方法进行了验证,实现了阻抗测量。
- 王峰邹澎
- 关键词：MATLAB频谱分析仪阻抗测量相关函数
- 扩展AutoCAD中VBA的功能被引量：1
- 2005年
- 从两个方面对AutoCAD内嵌VBA的功能进行扩展。图形绘制方面,通过两种方式借助绘图功能全面AutoLisp语言:由VBA的SendCommand函数调用AutoLisjp函数;通过封装了VBA和Au-toLisp的接口的VLAX类使用AutoLisp语句。软件开发方面,采用VBA调用Delphi创建的DLL的方式,借助功能强大的Delphi开发工具。
- 王峰周振红秦红艳
- 关键词：VBAAUTOCADAUTOLISPDELPHI
