Robustness of decentralized knowledge systems: a grammar-theoretic view

This paper introduces the formal framework of grammar systems to handle a practical and important property of decentralized rule-based knowledge systems. The property is called robustness. In our framework, a rule-based system is robust when some rules can be removed from it and yet its critical functionality remains unchanged. As a theoretical framework for study robustness of decentralized rule-based systems we use grammar systems. We prove within that framework that the question whether a knowledge system is robust or not is undecidable. In contrast, we prove with the same framework that whether or not a component is ever enabled, or whether or not a component working in a special—so called maximal—mode blocks the further functioningof a systems when enabled, are decidable. Some open problems are also formulated.     

相对定位估计的修正克拉美罗界

为定量地比较无线传感器网络中相对定位系统的时间同步误差对TOA机制与TDOA机制定位估计性能的影响,分析了同步误差的组成,将同步误差计入观测模型,在此观测模型下修正了TOA机制与TOA/RSS混合机制CRB,并在相同的参考节点布局下分别与TDOA机制和TDOA/RSS混合机制的CRB做比较.新的观测模型表明,在观测方程中,发送端时钟误差同时也是未知量;TOA机制可解出该未知量,用于消除同步误差;而TDOA机制牺牲一个观测量用以消除发送端时钟误差,降低了系统时间同步要求,也即消除了一个未知量.理论证明及仿真结果均表明,在等量的同步误差和相同的参考节点布局下TOA机制与TDOA机制CRB相等以及TOA/RSS与TDOA/RSS混合机制CRB相等,而RSS机制分别与TOA机制、TDOA机制的混合,提高了TOA机制、TDOA机制在近距离定位时的性能.     

一种改进的卫星空时DOA矩阵算法

提出一种改进的基于信号空时特征结构的高分辨二维波达方向(DOA)估计方法——时空DOA矩阵方法。该方法在保持原时空DOA矩阵方法无需二维谱峰搜索和参数配对等优点的基础上,通过构造X轴上的平移不变子阵列,产生2个DOA矩阵,利用这2个DOA矩阵的角度兼并曲线的差异,解决了原时空DOA矩阵方法的角度兼并问题。由于2个子阵可以重复利用阵元,该方法基本无冗余阵元和孔径损失。仿真结果证明了该方法的有效性。     

基于码率优化分配的感兴趣区域编码算法

提出一种基于码率优化分配的感兴趣区域(ROI)编码算法,根据码率优化分配的原理,在压缩后率失真优化理论基础上,通过感兴趣因子对ROI有贡献的码块进行失真估计的缩放,为ROI码块分配较多的码率,以提高ROI在编码时的优先权。实验结果表明该算法实现了低码率时ROI的优先编码,同时保持一定的背景效果。     

基于P2P的MMOG兴趣域内多播改进算法

针对SCRIBE在解决基于P2P的巨量多玩家网络游戏兴趣域内多播时,产生的多播效率低、游戏状态数据同步性差问题,提出一种SCRIBE改进多播算法,该算法考虑P2P网络中终端节点在带宽和计算能力上的异构性,同时保证同一组中节点具有共同的兴趣。仿真结果表明,该算法能够在较大程度上减小消息冗余和降低多播延迟,提高游戏状态数据的同步性。     

基于城市交通监控大数据的工作位置推理方法

基于时空数据的用户位置推理在产品推荐、精确营销、交通调度及城市规划等实际应用中有着重要的作用,然而,基于城市交通监控数据的位置推理问题尚未被探索,因此,提出了一种面向稀疏摄像头交通监控数据的工作位置推理方法。首先,收集了路网、兴趣点（POI）等城市交通外围数据,并通过路网匹配的预处理方式获取到了一个含有摄像头、POI等丰富语义信息的真实路网;其次,通过聚类车辆轨迹中所提取的起点-终点（O-D）对来获得车辆重要的停留区域,即候选工作区域;之后,利用所提的in/out访问时间模式的约束,从多个候选区域中匹配出最大可能的工作区域;最后,利用所获取的路网信息和路网周中POI的分布信息提取出车辆的可达POI集合,从而进一步缩小车主的工作位置范围。在一个省会城市真实的交通监控数据集上的综合实验评估和案例分析验证了所提方法的有效性。     

基于麦克风阵列的室内三维声源定位优化算法

针对基于相位变换加权的可控响应功率(Steered Response Power-PHAse Transform,SRP-PHAT)定位算法精度高但实时性差的问题,本文引入基于到达时间差(Time Difference Of Arrival,TDOA)的定位算法以提高实时性,提出一种基于TDOA和搜索空间聚类(Search Space Clustering,SSC)优化的SRP-PHAT的组合算法?搜索空间收缩聚类算法.该算法先利用TDOA定位算法经过离群值校正后得到声源在方向角和径向距离上的估计范围,之后根据估计声源范围进行搜索区域收缩,最后利用SRP-PHAT-SSC算法在收缩区域内进行细粒度(5 cm)的空间搜索计算,得到估计声源的三维坐标.本文采用五元麦克风阵列,利用虚源法模拟室内声场,通过Matlab对声源进行了三维定位仿真.实验结果表明,改进后的算法与基于SRP-PHAT的全网格搜索(Full Grid Search,FGS)算法和SSC算法相比,在三维定位上的实时性和鲁棒性都得到了提高.     

Fluvial Landscapes, Catchment Administration and Land-use Planning: experience based on two rivers in Spain

The differences between urban, rural and fluvial landscapes pose challenges for land-use planning. In particular, the stable character of urban settlements and cultural landscapes contrasts with the instability of fluvial ones. In Spain, the administration of fluvial landscapes, via the main legal instrument (the Hydraulic Public Domain) and land-use plans, is conducted on the basis of administrative boundaries which cut across hydrological units. The characteristics and dynamics of fluvial landscapes (in particular two Spanish rivers) are studied and it is argued that land uses established within them should be compatible with their characteristics and dynamics. In order to implement this objective, two new concepts are proposed for adoption by the river agencies and for incorporation in local land-use plans—the Area of Fluvial Freedom and the Area of Flooding.     

无规则分布多站时差定位方法研究

提出了一种在难以获得TDOA测量值误差的先验信息时多基站无规则分布下的时差定位方法——多站组合定位方法。通过将基站分组,利用每组基站的定位结果情况,分为无模糊解、模糊解、无解三类进行处理,计算每类中每组基站的TDOA计算值与TDOA测量值之间的残差为其加权系数,采用不同类的数据组合方法,最终得到定位结果。仿真实验验证了该方法的有效性。