江苏省自然科学基金(BK20130070)
- 作品数：12 被引量：42H指数：3
- 相关作者：印敏冯径梁妙元沈晔刘西川更多>>
- 相关机构：解放军理工大学江苏省省级机关管理干部学院中国人民解放军96631部队更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术天文地球电子电信文化科学更多>>
- 微波雨衰特性在降雨测量中的应用被引量：3
- 2015年
- 利用微波链路雨衰测量值反演雨强是一种新型降雨测量方法,可以依托全球广泛分布的微波通信链路获取丰富的气象观测资料。本文在分析微波雨衰特性的基础上,首次进行了15~20GHz频段链路测量降雨的试验研究。试验设计了距离6km的视距微波通信链路,选择降雨前临界时间段内接收电平的均值作为雨衰计算的基准值,通过实际接收电平与基准接收电平的雨衰减差值反演计算实际降雨量。试验结果表明,降水强度为2~70mm/h时,该频段微波雨衰值变化显著,完全可以进行更精确空间尺度局部降水的实时测量,通过雨衰减值反演计算的降雨量值与雨滴谱仪的实际测量值有较好的相关性,分析了试验中的误差及误差产生的原因,为下一步在正演模型等方面的深入研究指明了方向。
- 印敏姜世泰高太长刘西川梁妙元戈书睿曹承堃
- 关键词：降水测量
- 项目研究式与研讨式教学方法的结合实践探索被引量：3
- 2013年
- 文章针对“大气遥测技术”的课程特点，提出在教学中引入项目研究式与研讨式教学方法相结合的观点并进行了教学实践。实践中对教学内容进行了“分模块梳理”，按照“借鉴学习——归纳总结——自主设计——动手实践”的思路，在教学中引入“分层次研讨”的教学方法，鼓励学生广泛参与学习和研究。文章介绍了教学改革实践的主要内容，分析了该教学方法取得良好教学效果的原因，对于在其他课程中推广该教学方法有借鉴意义。
- 印敏梁妙元冯径
- 关键词：研讨式教学教学方法改革
- 与OA集成的企业档案管理系统研究与实现被引量：9
- 2014年
- 随着科学技术的发展和人类需求的进一步提升,档案管理系统在功能、可靠性上需要不断的完善。本文结合当前信息技术发展的最新成果适应用户动态变化需求,在档案管理系统研发上,采用基于消息服务的应用集成技术,以企业办公自动化(Office Automation,OA)系统与档案管理系统相集成为应用背景,提供可靠性、轻量级和可扩展的软件架构,并能够与第三方产品及开源软件之间实现无缝对接互动,更好地支持SOA架构的"可复用性"和"整合性"。
- 金光明袁定莲沈晔熊鑫立崔恒香冯径
- 关键词：档案管理办公自动化可扩展性分层架构
- 面向大数据的物化视图选择算法被引量：3
- 2017年
- 使用适当的算法选取视图集进行物化,可以使数据库取得更高的查询效率。从经典的物化视图模型出发,分析比较了不同物化视图选择算法的优缺点,指出传统算法难以解决大数据背景下海量高维度数据的物化视图选择问题,归纳了在云计算并行环境下解决物化视图选择问题研究的进展,提出了支持数据立方体物化视图选择算法的改进思路。
- 付岩冯径钱越英
- 关键词：物化视图数据立方体大数据云计算
- 应急情况下最少转发节点的传感器网络组播路由树算法被引量：1
- 2017年
- 在抢险救灾等应急情况下,传感器网络的节点能量更为有限。为减少无用转发的能量消耗,利用无线信道的广播特性,根据广播子树删除思想,提出一种基于最短路由树、具有最少转发节点的组播路由树生成算法。对该算法进了证明和详细分析,并针对实际需要,给出使用范围更广泛的分布式实现方法。仿真分析说明,算法的分布式实现方法可减少ODMRP的转发节点数,大大降低数据发送次数,接收成员节点较多时尤为明显。最少转发节点的组播路由树的网络总开销最小,是延长网络生存时间的有效方法。
- 印敏沈晔蒋磊冯径
- 关键词：传感器网络节省能量应急
- 临近空间飞行器在海洋监测及预报中的应用被引量：1
- 2014年
- 分析了临近空间飞行器的主要特点,及深远海环境预报保障的现实问题,对临近空间飞行器在未来海洋监测及预报中的应用进行了初步的设想,为推广这一新技术在海洋预报中的应用提出了思路。
- 印敏冯径梁妙元唐尧
- 关键词：海洋监测海洋预报临近空间飞行器
- 基于PXI总线和SCPI程控的某型雷达通频带测试系统设计被引量：3
- 2014年
- 文章主要研究了基于PXI总线和SCPI命令的雷达通频带测试系统,该测试系统由虚拟仪器库、性能测试模块、仪器程控模块、性能测试流程管理模块、测试结果分析模块5个部分组成;文章详细描述了测试系统的软硬件组成,并对测试的数据进行处理分析,提出了改进雷达通频带测试结果的具体算法,该算法能有效的滤除测试结果中的飞点,在对中心频率为28.5MHz、通频带为1.5MHz的雷达通频带性能测试中取得理想效果;基于本系统,能实现雷达通频带性能测试的自动化,降低对操作人员的依赖程度,并能极大地减少测试时间、提高测试的精度。
- 梁妙元印敏赵继勇刘志华
- 关键词：PXI程控
- B+树索引机制的研究及优化被引量：8
- 2017年
- 当数据庞杂时,B+树索引在查找效率和空间利用率方面还存在不足。针对该问题提出一种改进的B+树结构,首先通过调整叶子节点与非叶子节点的数量关系,以降低树的深度;然后优化原插入算法,在分裂节点前进行平衡处理(BP),以提高树的空间利用率。经实验,改进后的B+树与传统B+树相比,在查找效率和空间利用率上分别提高了10%和6%,证明对B+树的改进具有可行性。
- 施恩顾大权冯径赵章明
- 关键词：数据库索引B+树
- 微波链路测量降水研究综述被引量：7
- 2015年
- 利用微波链路测量降水是降水测量的最新技术,具有作用于近地面大气、时空分辨率高等优势。文章总结了微波链路测量降水方法的发展现状和技术难点,结合微波通信的实际应用,分析了频段的选择依据、雨衰减量的精确测量和正演模型的精确建模需要考虑的因素,指出降水起始时间的准确识别和区域化反演算法是解决该方法实用化问题的关键技术,为利用微波链路测量降水的进一步研究提供了借鉴。
- 印敏高太长刘西川姜世泰宋堃孙梯全梁妙元
- 关键词：降水测量
- 文件比较算法fcomp在Isabelle/HOL中的验证被引量：1
- 2017年
- 基于机器定理证明的形式验证技术不受状态空间限制,是保证软件正确性、避免因潜在软件缺陷带来严重损失的重要方法.文件比较算法(file comparison algorithm)是一类成员众多,应用极为广泛,跨越生物信息学、情报检索、网络安全等多个应用领域的基础算法.在交互式定理证明器Isabelle/HOL中对Miller和Myers在1985年提出的基于行的文件比较算法fcomp做了形式化,改正了算法关于边界变量迭代的一个小错误,证明了改正后算法的可终止性和正确性;对算法时间复杂性做了完全形式化的分析,印证了算法的非形式化分析结论,为今后更多文件比较算法的形式验证提供了可供借鉴的经验.
- 宋丽华王海涛季晓君张兴元
