金仙力
- 作品数：21 被引量：75H指数：5
- 供职机构：南京邮电大学计算机学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- Web2.0下大学生学习模式研究
- 2012年
- 分析了大学生自主学习的4个阶段。利用研究型学习方法和Web2.0思想,建立基于Web2.0的大学生研究型学习模式,并以"高级语言程序设计"课程为例,对模型进行了详细的阐述。
- 许棣华冯小明吴敏朱旻如金仙力俞琼
- 关键词：WEB2研究型学习
- SCTP数据传输过程的技术研究
- 2003年
- 流控制传输协议(SCTP)是IETF新近提出的一种传输协议,用于在基于IP的网络上传输PSTN信令。本文详细研究了SCTP数据传输过程,特别是SCTP四路握手,并进一步展望了SCTP的发展前景。
- 邵雯娟金仙力马严
- 关键词：SCTP数据传输数据交换流控制传输协议
- 基于改进CHAN的超宽带定位误差校正算法被引量：5
- 2018年
- 短距离无线通信是构建物联网的重要技术之一,其中超宽带技术被认为是未来短距离无线通信的主流技术。如今,室内定位已经成为超宽带技术一个重要的应用领域。在基于到达时间差的定位误差校正算法中,CHAN算法具有在LOS环境下精度较高和计算复杂度较低等优点。在室内环境中,由于地形复杂和遮挡物增多,非视距问题使CHAN算法的定位精度明显下降。为了实现高精度的实时室内定位,提出一种基于残差加权和CHAN算法的误差校正算法。该算法的重点是通过CHAN算法初步计算出移动台位置的中间估计结果,并建立残差函数来衡量中间结果的准确程度,通过残差加权的方式优化CHAN算法在非视距环境中的性能。在不同噪声水平下进行了对比实验,结果表明该算法与CHAN算法相比对超宽带定位的NLOS误差有显著的抑制作用,改善了定位的性能。
- 金仙力赵道明
- 关键词：超宽带CHAN算法
- 基于OCL的服务构件特征语义描述模型被引量：4
- 2007年
- 构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性.
- 金仙力马华东
- 关键词：对象约束语言
- 一种基于ODE的服务组合自动化部署方案
- 通过对Apache ODE结构以及部署、执行BPEL.流程的原理分析，提出一种Apache ODE引擎环境下服务组合的自动化部署方案.实例测试结果表明了该方案的可行性与有效性.
- 金仙力杨庚
- 关键词：WEB服务组合分布式网络业务流程执行语言自动化部署
- 基于遗传算法的多目标路径优化算法的研究被引量：17
- 2018年
- 物流行业在发展过程中存在着许多制约因素,比如车辆路由问题(VRP)等。VRP的目标是以一个最小的成本服务于一系列服务点。对此,提出一种基于遗传算法的路径优化算法,用以解决服务点有序且带时间约束条件的车辆路由问题。首先,根据问题建立相应的模型,并将遗传算法运用到问题求解当中;然后,通过添加算子调节等操作来改进遗传算法,增加了算法的适用范围,加快了算法的收敛速度,提高了算法的效率;最后,将算法应用于实际生活当中,并与传统的遗传算法进行对比。结果表明,改进后的算法收敛速度更快、效率更高,能够有效地解决服务点有序且带时间约束条件的车辆路由问题。
- 金仙力李金刚
- 关键词：物流车辆路由问题遗传算法
- 基于引导滤波和自适应容差的图像去雾算法被引量：16
- 2020年
- 针对暗通道算法在对天空区域去雾存在失真的问题,提出一种基于引导滤波和自适应容差机制的图像去雾算法。首先,计算出不同尺寸窗口的拟合透射率图;然后,通过引导滤波对透射率进行细化处理,再利用自适应容差机制对天空区域的透射率进行修正;最后,将复原图像从RGB空间转换到HSV空间,对图像的亮度和对比度进行色彩补偿。实验结果表明,所提算法复原图像具有较高的清晰度,在处理天空等明亮区域时也能取得较好的去雾效果。
- 金仙力张威刘林峰
- 关键词：图像去雾透射率
- 基于UPPAAL的RFID定位系统准确性验证被引量：1
- 2016年
- 随着移动通信和移动定位技术的快速发展,极大地推动了移动目标定位系统的发展。对于移动目标实时定位需求的与日俱增,人们更加注重移动目标实时定位的准确性和可靠性。介绍了时间自动机理论,并分析了基于RFID技术的移动定位处理流程。采用时间自动机模型对移动定位系统进行形式化分析,分别对定位系统的四个核心模块—标签、阅读器、数据库和处理器进行建模。为了验证定位系统的可靠性,通过构建各个模块中的动作行为状态,判定不同行为状态之间的转换是否满足时间约束条件。采用模型检测工具UPPAAL对建模后的定位系统进行活性验证和安全性验证分析。实验结果表明:所设计的定位模型不存在死锁问题,满足系统的安全性并能确保移动目标的精确定位。
- 金仙力陈楚娇
- 关键词：时间自动机UPPAAL
- Android平台上的实时图像采集与远程存储系统设计被引量：4
- 2012年
- 提出一种基于Android平台的实时图像采集与图像的远程存储方案。首先介绍Android平台,阐述Android系统下捕捉图像的架构和编程接口,调用方法和实现方法;然后讨论Android系统所采集的图像数据的本地存储和远程存储两种保存方式,以及上传图像到远程服务器的方法,最后利用上述方法开发了一套基于Android平台上的实时图像采集与远程存储系统。
- 金仙力陈晶晶
- 关键词：ANDROID图像采集图像传输图像存储
- 光缆表面缺陷视觉在线高速检测算法研究被引量：8
- 2019年
- 随着光缆应用需求增加在保证产量前提下针对光缆表面缺陷人工检测效率低、漏检率高的问题本文提出一种基于机器视觉在线高速检测算法方案为了达到高速和精确的要求将在线检测分为实时与准实时的多线程并行处理在实时处理中采集图像经图像增强和去噪的预处理同时运用改进的边缘检测算法进行光缆边界搜索通过统计过程控制法来进行缺陷预判产生可疑图像准实时处理则是对可疑图像进行强、弱边缘检测重点是采用改进的双向微分算法对弱边缘缺陷分割研究最后采用分水岭分割算法实现整体缺陷区域分割通过仿真以及在光缆生产线上实验测试达到最高4m/s的检测速度满足多型号光缆检测能够检测出表皮破损、划痕等常见缺陷为高速线缆生产线自动化提供质量监控手段。
- 吉咸阳徐宁杨庚刘逢清金仙力
- 关键词：视觉检测
