陈晨

作品数：11被引量：35H指数：2
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：安全协议项重写电离层形式化分析电离层TEC更多>>
发文领域：天文地球自动化与计算机技术经济管理农业科学更多>>
发文期刊：《武汉大学学报（信息科学版）》《测绘科学技术学报》《科学与信息化》《北京工业大学学报》更多>>
所获基金：国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
单频PPP中电离层延迟影响及改正效果分析
《测绘科学技术学报》2025年第1期8-14,共7页邱瑞瑾 冯哲煜 陈晨 景鑫 李建文 
国家自然科学基金项目(42174036)。
单频PPP存在无法组合多频点观测值来消除电离层误差的问题。为了分析并改正单频电离层延迟,将实测数据和仿真得到的包含预设电离层延迟的GPS双频观测值,分别基于单频非组合、双频非组合模型进行PPP解算。对比分析发现,电离层延迟对单频...
关键词：非差非组合PPP 单频 电离层约束 定位性能 Bernese软件 
对信息化指挥管理工作的问题分析与思考研究
《科学与信息化》2022年第8期175-177,共3页陈晨 
现阶段科学技术的发展迅猛,国家明确将“信息化水平大幅度提升”作为全面建设小康社会的其中一个目标,信息化为社会各行各业带来了革命性的变革,这些改变已经对指挥管理工作带来意义重大的影响。文章积极探索信息化指挥管理的规律和特点...
关键词：信息化 指挥管理工作 问题分析 思考研究 
单站区域电离层TEC建模及精度分析被引量：7
《武汉大学学报（信息科学版）》2022年第1期69-78,共10页李涌涛 赵昂 李建文 车通宇 潘林 陈晨 
国家自然科学基金(41904042)。
为了分析单站区域电离层总电子含量(total electron content, TEC)模型的适用范围和精度,基于2~15阶次球谐函数,分别建立了欧洲区域16个单站区域电离层TEC模型,生成了区域格网TEC,并与欧洲定轨中心(Center for Orbit Determination in E...
关键词：区域电离层 单站 总电子含量模型 球谐函数 
Linux Shell在电离层TEC格网数据提取和分析中的应用被引量：2
《全球定位系统》2019年第3期81-87,94,共8页李涌涛 李建文 顾晨钟 陈晨 张硕 车通宇 
电离层延迟误差是卫星导航和定位中不可忽略的重要误差,全球电离层总电子含量(TEC)格网数据因其将全球按规则的经纬度格网化,并给出了相应格网点的电离层TEC值,从而为用户使用提供了极大的便利.本文基于Linux Shell脚本编写简单、快速...
关键词：LINUX SHELL 电离层格网 TEC GIM GMT 数据提取 
基于PXIe总线架构的GPS导航信号模拟源设计及实现被引量：1
《全球定位系统》2019年第1期32-38,共7页刘德智 陈晨 李建文 潘林 张伦东 
国家自然科学基金(41674027)
卫星导航信号模拟源为用户终端设备的设计、验证、测试提供输入信号源,是用户终端设备研发和卫星导航信号系统验证的重要工具.早期的射频合成技术产生的信号的精度和通道一致性较差,随后的模拟中频合成技术存在通道间偏差的问题,而目前...
关键词：全球定位系统 导航信号 模拟源 PXI EXPRESS 数字基带合成 
基于项重写的形式化排序方法及应用
《通信学报》2011年第3期138-142,共5页陈晨 陈卫红 闫振天 祝跃飞 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z471)~~
构建一个基于项重写理论的向量序,该序具有替换、组合封闭等性质,在可实现性、规则调用次数和自动化实现等方面优于目前主要应用的几个形式化排序方法;并给出向量序在信息安全领域中的应用,即解决异或操作等价合一问题的实现算法,该算...
关键词：计算机理论 形式化 项重写 等价合一 
一种对MSR模型的新扩展被引量：1
《计算机工程》2010年第8期138-140,共3页陈晨 朱文也 陈卫红 刘楠 
国家"863"计划基金资助项目(2007AA01Z471)
作为安全协议形式化建模方法之一的多集重写(MSR)模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击。给出安全属性的描述,并用实例验...
关键词：多集重写模型 安全协议 非否认性 公平性 
基于项重写的安全电子交易形式化模型
《北京工业大学学报》2010年第5期664-668,共5页陈晨 刘楠 陈卫红 祝跃飞 
国家'八六三'计划资助项目(2007AA01Z471)
构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通...
关键词：电子交易 形式化 项重写 
TA4SP的认证性扩展
《计算机工程》2010年第2期144-146,共3页朱文也 祝跃飞 刘楠 陈晨 
国家"863"计划基金资助项目(2007AA01471)
认证性是安全协议检测的重要特性之一,但TA4SP自动协议证明器无法对安全协议的认证性进行检测。针对该问题,提出一种TA4SP的认证性检测方法。该方法基于对TA4SP设计原理的分析,采用分层认证思想,实现对其认证性的理论扩展,其结构清晰、...
关键词：TA4SP系统 项重写系统 树自动机 认证性 
基于树语言逼近的安全协议形式化分析被引量：1
《计算机科学》2010年第1期176-180,共5页刘楠 朱文也 祝跃飞 陈晨 
国家高技术研究发展计划(863)(2007AA01Z471)资助
利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动...
关键词：安全协议 项重写 树自动机 树语言 逼近 秘密性 认证性 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部