知识库维护过程中检查其协调性的有效方法

本文首先描述了知识库维护过程中的协调性问题，然后给出了扩充逻辑程序设计的框架，在此框架下，每个逻辑程序等价于一个知识库．为了检查知识库的协调性，本文为知识库中的推理规则构造了正支持集和负支持集，并给出了一些定义；基于这些概念和定义，提出了知识库维护过程中检查知识库协调性的一种有效方法，并证明了相关的定理；基于此方法，实现了一个算法ＣＨＩＭＥ，并给出了用ＣＨＩＭＥ分析一些知识库的实验结果．本文还提到一些相关的工作，最后给出结论.     

基于GIS的山地平整三维定量分析技术与应用——以福建长汀河梁开发为例

综合运用GIS、CAD等专业软件及相关分析模块,建立了一种山地平整三维定量分析技术。该技术首先运用整体法试算趋近,确定山地设计标高,实现了填挖方的平衡;然后,引入地形特征线方法划分梯台来进行规划设计;最后,结合实证区对多方案进行成本核算与比选,并提出了推荐方案的分片分步实施步骤。本文研究表明：该方法简化了传统计算方式,改变了方格网、三角网式人为划分进行多梯台平整的方法,使规划分析决策更为科学,有效地提高了项目实施的可行性,为今后山区城市山地平整开发提供新的方法与实践借鉴。     

代码注释自动生成方法综述

在软件的开发和维护过程中,与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题,但手工编写代码注释对开发人员来说费时费力,且注释质量难以保证,因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点,对该问题进行了系统综述.主要将已有的自动生成方法细分为3类:...     

鄂坪水电站长期优化调度研究

针对鄂坪水电站的长期优化调度问题,建立了考虑保证出力发电量最大和不考虑保证出力发电量最大两种求解模型,用动态规划法进行了计算,并对两种模型下的发电量、水位过程和出力过程进行了比较分析。     

一种快速有效的多模态函数寻优方法

为了解决多模态函数优化问题中全局搜索和局部优化的矛盾，本文提出一种模仿社会分工现象的双群体遗传算法，该算法用一个群体搜索，另一个群体优化，仿真结果表明：和现有方法相比，该算法不仅不会陷入局部极小点，而且收敛速度极快，是一种多模态函数寻优的有效方法。     

改进Mask R-CNN模型的海洋锋检测

目的 海洋锋的高效检测对海洋生态环境变化、渔业资源评估、渔情预报及台风路径预测等具有重要意义。海洋锋具有边界信息不明显且多变的弱边缘性,传统基于梯度阈值法及边缘检测的海洋锋检测方法,存在阈值选择不固定、判定指标不一致导致检测精度较低的问题。针对上述问题,基于Mask R-CNN（region convolutional neural network）提出一种改进的海洋锋自动检测方法。方法 兼顾考虑海洋锋的小数据量及弱边缘性,首先对数据扩增,并基于不同算法对海表温度（sea surface temperatures,SST）遥感影像进行增强;其次,基于迁移学习的思想采用COCO（common objects in context）数据集对网络模型进行初始化;同时,对Mask R-CNN中残差神经网络（residual neural network,ResNet）和特征金字塔模型（feature pyramid network,FPN）分别进行改进,在充分利用低层特征高分辨率和高层特征的高语义信息的基础上,对多个尺度的融合特征图分别进行目标预测,提升海洋锋的检测精度。结果 为验证本文方法的有效性,从训练数据和实验模型上分别设计多组对比实验。实验结果表明,相比常用的Mask R-CNN和YOLOv3（you only look once）神经网络,本文方法对SST梯度影像数据集上的海洋锋检测效果最好,海洋锋的定位准确率（intersection over union,IoU）及检测平均精度均值（mean average precision,mAP）达0.85以上。此外,通过对比分析实验结果发现,本文方法对强海洋锋的检测效果明显优于弱海洋锋。结论 本文根据专家经验设立合理的海洋锋检测标准,更好地考虑了海洋锋的弱边缘性。通过设计多组对比实验,验证了本文方法对海洋锋的高精度检测效果。     

点云模型的谱聚类分割

为了实现点云模型的有意义分割,提出一种基于谱聚类的分割算法.首先用图G表示点云模型,将分割问题转化为图切割问题;然后根据归一化的非对称Laplacian矩阵构造谱聚类空间;最后通过移除掉多余的特征向量,在一个更低维的空间中找到了分割问题的松弛解.文中还给出了该算法相关定理的证明,并通过实验验证了算法的正确性和有效性.     

BUCBAT自适应动态电源管理策略

结合电池放电特性,提出一种自适应超时动态电源管理策略BUCBAT。基于电池放电过程中电压逐渐降低的特性,BUCBAT根据电池放电电压的大小动态调整超时阙值;采用两块电池以特定频率轮流供电,充分利用电池放电电压的自恢复特性。实验结果表明,与超时策略相比,BUCBAT动态电源管理策略在兼顾系统QoS性能的同时,能够合理地管理系统功耗,从而延长系统的可持续工作时间。     

基于T-S模糊模型的高炉喷煤规则挖掘

高炉炼铁是一个动态的、多变量和非线性的复杂过程控制系统。由于焦炭短缺,价格昂贵,喷吹煤粉代替部分焦炭就成了高炉冶炼继续生存并与其他炼铁方法竞争的重要技术。因为缺乏对高炉的认识,炉长只能根据长期生产实践进行决策和操作。有时忽略了过程工艺指标与各工艺参数之间的影响关系,使得能源和资源消耗处于一种"盲目"的状态。为此,需要通过寻求高炉冶炼喷煤规则实现降低焦比减少资源消耗。以高炉生产历史数据为样本,结合高炉工艺机理分析,运用数据驱动建模技术建立起高炉喷煤T-S模糊模型,从成功的历史记录中寻找出具有准确性和科学性的高炉冶炼喷煤操作模式,建立起操作模式与生产经济指标和能耗之间的关系,达到指导实际生产操作、实现节能降耗的目的。     

控向金字塔颜色传递

提出了一个基于控向金字塔的颜色传递算法,其基本思想是在目标图像和源图像对应的子带信息中分别实现统计信息的传递．统计信息包含各子带信息的均值、方差、偏度系数和峰度系数．为了避免通道交叉,目标图像和源图像的RGB像素信息首先被变换至与分量无关的laβ颜色空间．然后对变换后的各分量分别进行控向金字塔分解,并在倒塌金字塔时实现统计信息的传递．作为灵活的图像变换结构,控向金字塔允许对需传递的子带进行选择,从而可以获得多种不同的结果。