动态环境中的WIFI指纹自适应室内定位算法

针对传统的基于WIFI信号的室内定位方法难以有效解决环境动态变化对RSSI值的影响问题,本文设计并实现了一种基于WIFI射频信号强度指纹的室内定位系统。在该系统中,通过采用一种基于用户使用状况与布置定位参考点的方法来动态更新系统的WIFI指纹数据库,从而有效降低了在实际使用过程中用户手持手机的方向、用户的身体遮挡以及使用环境的动态变化对RSSI值所带来的影响。实验结果表明,本文设计并实现的定位系统比传统定位系统更稳定、易维护,同时也具有更高的定位精度和自适应性。     

语音技术在矿山运输车辆中的应用研究

在露天矿山运输车辆智慧化过程中,为使司机的工作更加便捷和安全,文章提出一种将语音技术应用于矿山运输车辆司机室及地面指挥中心的方案。其包含基于阵列麦克风语音降噪、语音唤醒、语音识别和语音合成等功能;并依托车辆显示器平台及地面服务器平台,开发了语音交互组件、语音播报组件,实现了矿卡车辆驾驶员关键词识别和危险情况紧急播报。实验室及矿山现场测试结果显示,采用该方案后,驾驶室回声抑制前后满足20 dB的抑制效果,声谱图底噪可控制在200～300 sample内,满足后续对音频质量的识别需求;在正常车载环境下,拾音距离为80 cm,模型识别准确率大于85%,实时率小于500 ms,验证了其语音降噪、语音识别和语音合成功能及性能均满足矿山运输车辆技术要求,表明语音技术的应用提升了司机工作中与车辆设备交互的便捷性及危险状况预警的及时性。     

社会诊断的一种三值系统模型

提出了系统级社会诊断的一种三值PMC模型,定义了一类可诊断系统,给出了其特征,特别研究了同一谎证集合L可诊断系统。研究了系统社会诊断的三大特点,并指出目前研究的现状及未来的研究方向。     

基于PDA的知识库与数据库集成和通用推理算法

由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究,如将基于关系数据库的管理系统扩充为演绎推理等,但是这些处理都较复杂,如带回溯的搜索就很难在PDA上实现。因此,针对PDA的容量和处理能力,为了一体化地管理数据和知识,把农业专家系统中的推理机制放到数据和知识的集成环境中,使推理过程靠近数据,减少由于规则处理和数据分离造成的接口开销,本文研究将知识库与数据库集成,以便在PDA上处理演绎推理,并与文提出的综合知识表示和综合推理策略结合起来,提出了基于PDA的通用推理算法。     

部分四值逻辑中保二元正则可离关系非最小覆盖的剔除

为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完 备集之间的相似关系理论,对部分四位逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员.     

结合距离变换与边缘梯度的分水岭血细胞分割

目的 针对医学图像中细胞提取和粘连细胞分割问题,提出一种结合距离变换利用边缘梯度的分水岭血细胞显微图像分割方法。方法 首先,通过距离变换由细胞二值图生成距离地形图,取其局部极值点或点集作为前景标记,进行第1次距离分水岭变换;接着将第一步骤所得的分水岭脊线作为背景区域的标记,前景标记不变,视梯度幅度图为地形图,再一次进行梯度分水岭变换,得到细胞分割结果。两次分水岭变换前,均采用强制极小值的方法修改地形图,来控制地形图只在选取的标记处存在局部极小值。结果 该方法由距离图提取前景标记,将距离分水岭变换所得的脊线作为梯度分水岭变换的背景标记,能有效地分离粘连目标。相比于基于距离图分水岭变换,本文方法不过多依赖二值图像信息,保留了基于梯度图像的分水岭变换边缘定位准确的优点,又解决了其无法分割粘连目标和过分割的问题。结论 经多幅临床细胞图像分割实验验证,该方法可以实现图像中细胞的提取以及粘连细胞的自动分割,满足医学图像分割的要求。     

部分K值逻辑中正则可离函数集的一些结果

根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。     

关于部分四值逻辑中保2元正则可离关系的分类

根据部分多值逻辑的完备性理论,定出部分四值逻辑中保2元正则可离关系,并按照准完备集之间的相似关系概念,对所定出的关系进行分类。     

微博数据通用抓取算法

目前常用的网络爬虫和基于微博API抓取数据的算法很难满足舆情系统对微博数据的需求。为此,提出一种模拟浏览器登录微博抓取网页数据的算法,以方便地获取任意微博用户网页上的所有数据。通过微博用户之间的关系构建用户网络,并通过该网络发现新用户。为获取微博上有质量的数据,建立一个完整的数学模型,根据用户的发帖数、发帖频率、粉丝数、转发数、评论数等因素来计算用户影响力,以影响力为主要因子构建优先队列,使得影响力越大的用户数据采集频率越高,同时计算时间间隔以兼顾非活跃用户的数据获取。实验结果表明,该算法具有通用性强、完全无需人工干预、获取信息的质量高、速度快等优点。     

正则可离关系之最小覆盖成员的判定结果

根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。