方旺盛
- 作品数:78 被引量:171H指数:7
- 供职机构:江西理工大学信息工程学院更多>>
- 发文基金:国家自然科学基金江西省教育厅科学技术研究项目江西省自然科学基金更多>>
- 相关领域:自动化与计算机技术电子电信经济管理电气工程更多>>
- 基于子句活跃度和复杂度的多元动态演绎算法及应用
- 2023年
- 一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。
- 林玲瑜曹锋易见兵方旺盛李俊吴贯锋
- 关键词:一阶逻辑定理证明
- 狭长直隧道环境中WSN的RSSI加权质心定位算法被引量:7
- 2014年
- 采用无线传感器网络技术对井下人员和车辆进行准确定位是矿井作业安全保障的重要技术手段,但因井下巷道的空间半封闭特征和无线信号在巷道内传输的多径衰落等原因,使得传统平面和三维定位算法不能完全适用于井下巷道中的移动节点定位。针对这一问题,提出了一种改进的基于RSSI加权质心定位算法,该算法在巷道内节点分布模型的基础上,充分考虑巷道内无线传感器网络节点的异构性和移动性,将异构节点最大通信半径引入到权值的分配上,修正了权值。仿真实验表明,与普通的加权质心算法相比,提高了定位精度,且更适用于井下巷道、公路与铁路隧道。
- 方旺盛高银
- 关键词:加权质心算法
- 多媒体应用系统的开发
- 1998年
- 详细介绍了利用VB5.0专业版或企业版中的多媒体控件开发多媒体应用系统的方法及注意事项,并给出了一个在VB5.0下开发的电业管理多媒体系统的应用实例。
- 方旺盛
- 关键词:控件多媒体应用系统
- 节点密度加权及距离修正的粒子群优化定位算法被引量:1
- 2020年
- 为了充分利用无线传感器网络(WSNs)的拓扑结构来提高节点定位精度,提出一种基于节点密度加权的RDD算法。网络先计算出所有节点的密度加权值,利用节点通信半径乘以节点密度因子求出邻居节点之间的距离;为了减小累积误差,节点之间为两跳时,选取节点之间共有节点数最多的路径作为最优路径并求出节点之间的距离;节点之间为多跳时,采用迭代累加的方式求出节点之间的距离,再利用信标节点对距离进行修正,采用改进的粒子群算法来优化定位。实验仿真表明:本文提出的算法相对于改进的DV-Hop算法以及改进的RND算法定位精度有一定的提高。
- 方旺盛汪洲吴伟伟胡中栋
- 关键词:无线传感器网络粒子群优化
- 电力系统电费计算子系统数据库优化问题的研究
- 2004年
- 阐述了几条与电费计算速度有关的因素,即采用对大表分区存储、三层结构分布式计算和Oracle的包等,实现对电费计算速度的优化。
- 方蕾方旺盛郑剑
- 关键词:ORACLE分布式计算三层结构
- 分区域的树型多链的无线传感器网络路由算法被引量:1
- 2022年
- 针对PEGASIS算法形成的链路太长、维护成本太高,COSEN算法形成的链路存在交叉链、数据逆传递等缺陷,文中提出分区域的树型多链的无线传感器网络路由算法。该算法首先根据数据的相关性将全网区域分成若干个长条状的区域,在每个区域中节点根据它们之间的距离和角度连接成一条链,若有交叉链,删除交叉链中较长的那条链。成链过程中会产生孤立节点,若是分区域内的孤立节点,则根据它们之间的距离和角度及支链中的节点数连接到链中;若是区域外的节点,寻找已经成链的最近节点连接到链中,形成分区域的树型多链结构。最后各分链的链头以单跳和多跳相结合的方式与sink节点通信。仿真结果表明,文中算法可有效避免长链的形成,能够节省全网节点能耗,减小数据传输时延,延长无线传感器网络的生命周期。
- 方旺盛彭美平胡中栋
- 关键词:路由算法分区域
- 基于井下异构无线传感器网络DV-Hop定位算法的改进被引量:3
- 2014年
- 为了满足矿井安全生产和监测需要,针对井下巷道特殊环境和异构无线传感器网络特点而提出一种改进DV-Hop定位精度的解决方案。该方案考虑了井下节点分布不均匀和平均跳距之间的偏差度对定位精度的影响,在选取跳数和平均跳距的过程中均引入了一个筛选因子,从而得到更加精确的平均跳数和平均跳距,以达到提高定位精度目的。仿真结果表明:该方案能有效提高DV-Hop算法定位精度,更加适合井下弯曲复杂场景的定位。
- 方旺盛吴胜宝
- 关键词:井下巷道异构无线传感器网络
- 混沌粒子群算法在矩阵秩RSSI算法中的研究被引量:3
- 2016年
- 为了解决RSSI算法中矩阵的冗余度并且延长整个无线传感器网络的生命周期,在RSSI算法的基础上提出了一种基于矩阵秩的混沌粒子群的RSSI算法。由于无线传感器网络中的节点的内存和能源的有限性,故引入了混沌粒子寻优的算法和矩阵秩的概念来解决这方面缺陷,并通过迭代得到最佳节点坐标。仿真结果表明,基于矩阵秩的混沌粒子群的RSSI算法不仅具有良好的定位精度,并且节约了节点内存和能源。
- 方旺盛刘晓鑫
- 关键词:无线传感器网络混沌粒子群算法矩阵秩
- 基于整数小波变换的大容量彩色水印嵌入技术被引量:2
- 2011年
- 结合整数小波变换无舍入误差、完全可逆的优点,提出了一种将彩色水印图像嵌入到彩色载体图像的水印算法,水印信息先嵌入到低频系数中,如有剩余再嵌入到高频系数中,而嵌入公式根据系数所处的频带不同而不同,最后从理论上对算法进行了性能分析.实验结果表明:该算法具有透明性好、嵌入容量大,嵌入效率高等特点,并且对常见的攻击具有鲁棒性.
- 方旺盛李玉南张蓉吴璐璐
- 关键词:彩色水印整数小波变换EMD算法
- 分区和能耗均衡的LEACH路由改进算法被引量:8
- 2019年
- 为提高无线传感器网络的生存周期,提出一种基于能耗均衡和分区优化的LEACH路由协议改进算法。根据节点与汇聚节点间的距离进行分区,不同分区内的传感器节点采用不同的簇头选举阈值公式,通过引入距离因子和剩余能量因子改进簇头选举的阈值公式。仿真结果表明,无论汇聚节点是在传感器节点的部署区域还是远离部署区域,改进后的算法可有效减少无线传感器网络能量消耗,延长网络的生命周期。
- 方旺盛陈朕浩胡中栋
- 关键词:LEACH路由协议簇头选举阈值