-
郑君杰
-
-
- 所属机构:解放军理工大学
- 所在地区:江苏省 南京市
- 研究方向:自动化与计算机技术
- 发文基金:江苏省自然科学基金
相关作者
- 叶松
- 作品数：116被引量：295H指数：9
- 供职机构：国防科技大学
- 研究主题：探头 流速仪 检定 无人机 小波变换
- 刘凤
- 作品数：40被引量：46H指数：4
- 供职机构：解放军理工大学
- 研究主题：测量方法 海冰厚度 传输数据 浮体 飞行器表面
- 王晓蕾
- 作品数：137被引量：345H指数：10
- 供职机构：国防科技大学
- 研究主题：探头 检定 自动气象站 露点仪 虚拟仪器
- 李军
- 作品数：22被引量：23H指数：3
- 供职机构：解放军理工大学
- 研究主题：实践教学 测量方法 海冰厚度 传输数据 潮汐
- 陈振涛
- 作品数：30被引量：25H指数：4
- 供职机构：解放军理工大学
- 研究主题：探头 浮体 投掷 传输数据 潮汐
- 气象传感器网络系统架构与体系结构研究被引量：4
- 2014年
- 传感器网络将在气象观测领域发挥越来越重要的作用。针对地面气象观测的现实需求,提出了气象传感器网络的概念,构建了气象传感器网络的应用场景,完成了其需求分析与系统架构设计,深入分析了气象传感器网络可采用的通信手段。在陆上传感器网络体系结构的基础上,结合气象传感器网络的特点,设计了气象传感器网络的体系结构,将其结构划分为物理层、数据链路层和网络层。对该体系结构各层的功能进行了深入分析,最后对气象传感器网络的应用前景进行了展望。
- 马金钢朱晓林李延斌郑君杰
- 关键词：系统架构体系结构
- 用于空投的海洋探测器壳体结构
- 用于空投的海洋探测器壳体结构，包括内层壳体和可拆分的外层壳体，探测器设于内层壳体内，外层壳体内的一端设有膨胀发生装置，以推动内层壳体在外层壳体内滑动。通过在通信测量仓中设置膨胀结构，膨胀时产生的密封气柱可将位于浮体内部的...
- 刘凤陈振涛叶松郑君杰王晓蕾焦冰陈晓颖翁兴国尧怡陇周树道慕新仓
- 文献传递
- 可信网络关键问题研究被引量：7
- 2010年
- 传统的网络安全技术已经不能满足网络发展的需要,提供系统的安全可信的服务已经成为网络发展的新趋势。介绍了可信计算与可信网络的基本概念,指出了可信网络需要解决的关键技术,提出了一种可信网络构建方案。
- 郑君杰戴洁汪晋李军
- 关键词：可信计算可信网络体系结构网络安全
- 波/潮测试检定系统装置及其应用
- 波/潮测试检定系统装置及其应用，包括核心测控系统和关键辅助机构。核心测控系统由动力系统和测控系统组成；关键辅助机构分为曳引、承载平台和隔离辅助机构。测控系统用于系统的监测和控制，与动力系统相互协作，借助曳引辅助机构拖动承...
- 尧怡陇叶松王晓蕾丁晓唐焦冰李军翁兴国陈振涛强学民郑君杰
- 文献传递
- 利用流星余迹通信系统传输海洋数据设计
- 目前海洋数据远距离的传输主要依靠卫星和短波。流星余迹通信因为其优越的性能,在海洋数据传输领域将具备不可替代的优势。本文提出了利用流星余迹通信系统传输海洋数据的设计。
- 周延年叶松郑君杰王晓蕾
- 关键词：流星余迹通信海洋环境监测数据传输
- 文献传递
- 一种设计Fail-Stop协议的新方法被引量：1
- 2008年
- 如何设计出满足安全需求的安全协议是一项非常重要的课题,目前尚无有效的方法。Fail-Stop协议在遭遇干扰其正常运行的主动攻击时完全停止。本文提出了一种设计Fail-Stop协议的新方法,分析了这种方法的正确性;分析了SSL协议早期版本的安全缺陷,并使用本方法对其进行了改进。
- 李军郑君杰
- 关键词：安全协议SSL
- 一种远海机动潮汐水位监测装置
- 本实用新型涉及一种远海机动潮汐水位监测装置，监测装置由筒状主浮体（1）和筒状锚体（2）组成，筒状主浮体（1）具备体积自动膨胀和竖直漂浮能力，在有限的外部尺寸约束下，其内部能够承载筒状锚体（2）；筒状锚体（2）内包含监测盒...
- 叶松张龙刘凤李军陈振涛丁晓唐焦冰郑君杰陈贺鹏
- 文献传递
- 基于符号模型检测的安全协议验证
- 模型检测技术在安全协议验证领域取得了很大成果，但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问题。使用符号模型检测工具SMV对NSPK协议进行了建模，对其安全性质进行了断言语言CTL描述并提交系统...
- 王政郑君杰
- 关键词：安全协议符号模型检测安全漏洞
- 基于纹理与分形理论的气象卫星云图目标物识别被引量：24
- 2005年
- 气象卫星云图上的目标物进行识别具有重大的实际意义。本文利用计算机图像处理和模式识别技术,结合分形理论对卫星云图上常见的三种云和晴空进行了纹理特征提取,设计神经网络进行了识别实验,结果证明这种方法是有效的。
- 郑君杰黄峰张韧董兆俊
- 关键词：神经网络纹理图象处理分形
- 基于符号模型检测的安全协议验证
- :模型检测技术在安全协议验证领域取得了很大成果,但是存在状态空间爆炸问题。已经提出的小系统理论从理论上有效地解决了这个问题。使用符号模型检测工具SMV对NSPK协议进行了建模,对其安全性质进行了断言语言CTL描述并提交系...
- 王政郑君杰
- 关键词：安全协议符号模型检测
