董军
- 作品数：15 被引量：31H指数：3
- 供职机构：黑龙江科技学院计算机与信息工程学院更多>>
- 发文基金：黑龙江省教育厅科学技术研究项目黑龙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术矿业工程电子电信理学更多>>
- 循环码在煤矿通讯设备中的应用被引量：1
- 2011年
- 针对强干扰的矿井环境,无法满足安全稳定地传输数据,提出了基于循环码的数据传输算法。该算法不仅可以纠正通讯中的突发错误,而且可以提高系统的实时性。该算法具有较强的抗噪声干扰能力,解决了系统在强干扰环境下的通讯问题,提高了矿井通讯设备的数据传输的可靠性。
- 付喜辉丁文龙董军
- 关键词：循环码纠错编码
- 基于串空间模型安全协议形式化分析方法的研究被引量：7
- 2008年
- 从串空间模型理论入手,提出了三种典型的串空间形式化方法(基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法),并对每一种方法的证明步骤及优缺点进行了分析。在此基础上,应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点,能更好地保证安全协议形式化分析的准确性。
- 董军杨秀娟赵艳芹
- 关键词：串空间安全协议
- 基于遗传算法度约束的最小生成树问题的研究被引量：2
- 2005年
- 探讨了如何将遗传算法应用于度约束的最小生成树问题,并给出了相应的算法.实验结果表明,这种用遗传算法解决度约束的最小生成树问题是有效的.
- 董军关凤岩吕宗宝
- 关键词：度约束最小生成树遗传算法
- 一种基于硬件自校正技术的新型甲烷传感器被引量：2
- 2010年
- 环境温度的改变和传感器工作温度的漂移严重影响KJ类传感器的检测精度、稳定性以及重复性。本文采用新型的甲烷测试敏感元件,并采用硬件自校正技术,通过控制传感器内导通时间,使传感器工作在稳定的绝对温度下,从而抑制温度变化对传感器的干扰,提高该类传感器的工作稳定性。通过对含有CH_4气体检测的大量实验表明:该方法完全能够抑制环境温度变化对传感器的干扰,提高传感器性能。
- 吕宗宝董军汝洪芳
- 关键词：CH4气体传感器自校正MCU
- 基于小波变换的图像压缩方法研究被引量：1
- 2008年
- 图像压缩是用最少的数据量来表示尽可能多的原图像信息的一个过程.利用原始图像在经小波分解后,能量大部分聚集到低频子图,所以使不同分辨率级能量分布不均匀,从而提高了图像压缩的效率和重建图像的质量.实验证明,小波变换是一种有效的图像压缩方法.
- 赵艳芹王国权车向前董军
- 关键词：小波变换图像压缩多分辨率分析
- 安全协议形式化验证方法的研究
- 安全协议也称密码协议，是建立在密码体制基础上的高互通的消息交换协议，它运行在计算机通信网或分布式系统中，其目的是在网络环境中提供各种安全服务。安全协议是构建安全网络环境的基石，它的正确性对于网络安全极其关键。然而由于安全...
- 董军
- 关键词：安全协议串空间模型密码协议网络安全
- 文献传递
- 第二代小波变换在矿井监测系统图像压缩中的应用
- 2008年
- 实现煤矿井下图像的实时压缩是矿井监测系统急需解决的难题之一。目前国内外使用的压缩技术都没有达到真正性能最佳。本文基于第二代小波变换研究了适合于煤矿井下图像实时压缩的方法。研究结果表明,利用第二代小波变换实现煤矿井下图像压缩有较好的性能。
- 董军王国权
- 关键词：第二代小波变换图像压缩矿井
- 基于反向最近邻算法煤矿井下移动对象查询被引量：1
- 2011年
- 煤矿井下突发安全事故后,科学判断出救助点周围人员的分布是制定救援方案的关键。本文将反向最近邻的查询算法加以改进,用于查询救助点周围井下人员的分布情况,为实施最有效的救援提供依据。实验表明该算法适用于井下无线传感器网络中的移动对象的反向最近邻查询。
- 董军杨秀娟吕宗宝
- 关键词：反向最近邻无线传感器网络
- 安全协议的形式化验证技术研究
- 2007年
- 对安全协议形式化验证方法所应用的技术进行了研究,总结了当前安全协议的各种形式化验证方法的特点,指出今后一段时期内安全协议形式化验证技术的研究方向.
- 赵艳芹董军
- 关键词：安全协议形式化方法定理证明
- 3-正则Halin图的可区别数
- 2009年
- 根据3-正则Halin图的Hamilton性,结合其顶点间距离的关系,通过适当地选取顶点进行着色后得证了4和6阶以上3-正则Halin图G的可区别数分别为3和2.
- 高志军李懿董军
- 关键词：图论可区别数HALIN图图着色自同构群
