张超
- 作品数：159 被引量：356H指数：11
- 供职机构：中国人民解放军信息工程大学更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金国家重点基础研究发展计划更多>>
- 相关领域：天文地球自动化与计算机技术理学航空宇航科学技术更多>>
- 基于一阶逻辑的安全协议攻击重构策略(英文)
- 针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,扩展了安全协议一阶逻辑模型,加入了攻击重构策略。最后,给出了具体的应用例子,对秘密性进行形式化验证,结果表明系统能够给出易于理解的攻击序列。
- 张超韩继红王亚弟朱玉娜赵娟范钰丹
- 关键词：安全协议
- 文献传递
- 时间计量理论及其发展
- 2022年
- 时间作为基本的物理量之一,在科学研究、国防与经济建设以及人们日常生活中发挥着重要作用。通过系统回顾时间计量系统的发展历程,详细阐述了各时期时间计量系统建立的理论基础与方法,研究了各种时间尺度的定义及具体实现,给出了各时间系统之间的转换关系,分析梳理了各自的优缺点,并对计时系统未来可能的发展方向作了展望。对于系统学习并深入理解时间计量理论发展历史与高精度时间计量数据处理与应用具有一定参考价值。
- 王若璞邓向瑞佟帅张超
- 关键词：计量学
- 基于TSpaces的并行计算环境
- 2010年
- 讨论TSpaces技术的通讯和同步机制,提出一种基于TSpaces的并行计算模型,设计基本并行函数。实验结果表明该并行计算环境的可行性、实用性。
- 李小强林琳张超
- 关键词：元组空间并行计算环境
- 卫星导航欺骗及检测(一):典型事件及欺骗技术发展被引量：3
- 2021年
- 简单论述了卫星导航欺骗式干扰与压制式干扰的区别,指出卫星导航欺骗式干扰更具有危害性。介绍了典型的导航欺骗攻击事件,论述了几次典型的导航欺骗攻击实验。从初级导航欺骗技术、中级导航欺骗技术和高级导航欺骗技术三个方面,详细阐述了卫星导航欺骗技术的发展。最后,探讨了卫星导航欺骗技术的发展方向。
- 张伦东张超高扬骏
- 关键词：卫星导航压制式干扰欺骗干扰
- 安全协议一阶逻辑模型中攻击重构的实现
- 2009年
- 针对安全协议一阶逻辑模型不能够给出易于理解的攻击序列的问题,对安全协议一阶逻辑模型进行扩展,对逻辑推理中的规则及合一化操作进行分类,给出操作置换规则,在此基础上开发能对攻击进行重构的协议验证原型系统。通过具体的应用例子对其秘密性进行形式化验证,结果表明系统能给出易于理解的攻击序列。
- 张超韩继红王亚弟朱玉娜陈欣辉
- 关键词：安全协议
- 有孔双层屏蔽腔体的宽频带屏蔽效能被引量：10
- 2008年
- 用扩展为可分析腔内高次模的传输线方法研究了有孔双层屏蔽腔体的屏蔽效能，该方法可以考虑腔内较宽的频带范围。计算了双层屏蔽腔内电场的屏蔽系数，与单层屏蔽腔内屏蔽系数的比较表明，采用双层屏蔽使得腔体的屏蔽效能大为提高。分析了双层屏蔽腔体孔缝耦合的共振效应、腔内的谐振。结果表明：满足共振效应成立条件时双层屏蔽腔内也发生共振现象，屏蔽效能在共振频率附近明显降低；在腔内的谐振点屏蔽系数出现极小值，此时屏蔽效果较差；在0．1～4．5GHz的范围内，屏蔽系数随着频率的增加总体上呈下降趋势。
- 宋航饶育萍张超周东方侯德亭
- 关键词：屏蔽效能孔缝
- 强跟踪自适应SRCKF的卫星姿态确定算法被引量：3
- 2018年
- 针对卫星星敏感器/陀螺姿态确定系统在空间中存在模型不确定性、状态突变和不良测量问题,该文提出了基于强跟踪自适应平方根容积卡尔曼滤波器(STSRCKF)的卫星姿态确定算法。在平方根容积卡尔曼滤波的基础上,通过引入渐消因子,解决了由于模型不确定和状态突变引起的精度下降、稳定性差和收敛慢的问题;通过增加异常检测和引入自适应因子,获得了应对不良测量的良好跟踪能力。通过仿真实验对算法进行了验证。
- 袁晓波张超詹银虎
- 关键词：鲁棒性
- 搜索地下空洞的重力反演技术与方法研究
- 地下空洞在民用和军用方面都有着非常显著的实用价值,因此对地下空洞进行搜索和探测具有十分重要的意义。相对于其他对地探测技术,重力探测技术不仅具有快速、经济、范围大等优点,而且在抗环境干扰和探测隐蔽性方面具有天然优势。随着重...
- 张超
- 关键词：正演计算反演算法搜索策略
- 水质的评价和预测模型被引量：1
- 2005年
- 本文首先考虑到水质类别的差异和相同类别水质在数量上的差异对综合评价的影响,构造"S"形的变权函数,对属于不同水质类别的同种污染指标进行"动态加权",建立基于逼近理想点排序法的评价模型和利用灰色关联度的分析方法,对长江水质状况做出了综合评价;其次,根据7个观测站的位置将干流分成8段,把每段河道内所有污染源都等效为一个段中央的连续稳定源,分别利用稳态条件下的一维水质模型及质量守恒定律,得出中间6段每个月的排污量,综合比较各河段一年多来的总排污量得到主要污染源的分布区域;然后,用每年不可饮用类水的百分比之和刻画水质状况,综合利用灰色GM(1,1)模型和时间序列分折方法,对变化趋势进行了预测;最后,建立不可饮用类水的百分比与长江水总流量和废水排放量的线性回归模型,计算在满足约束条件下排污量的极限值,用排污量的预测值减去极限值,得到未来10年的污水处理量。
- 张震张超张昊
- 关键词：时间序列分析
- 基于椭圆曲线离散对数问题的可否认认证方案被引量：2
- 2002年
- 可否认认证方案在现实生活中具有广泛的应用前景 。
- 黄秋生张超张亚娟
- 关键词：椭圆曲线离散对数问题PD电子投票系统电子商务
