On the existence of a minimum integer representation for?weighted voting systems

A basic problem in the theory of simple games and other fields is to study whether a simple game (Boolean function) is weighted (linearly separable). A second related problem consists in studying whether a weighted game has a minimum integer realization. In this paper we simultaneously analyze both problems by using linear programming. For less than 9 voters, we find that there are 154 weighted games without minimum integer realization, but all of them have minimum normalized realization. Isbell in 1958 was the first to find a weighted game without a minimum normalized realization, he needed to consider 12 voters to construct a game with such a property. The main result of this work proves the existence of weighted games with this property with less than 12 voters. This research was partially supported by Grant MTM 2006-06064 of “Ministerio de Ciencia y Tecnología y el Fondo Europeo de Desarrollo Regional” and SGRC 2005-00651 of “Generalitat de Catalunya”, and by the Spanish “Ministerio de Ciencia y Tecnología” programmes ALINEX (TIN2005-05446 and TIN2006-11345).     

一种正六边形检测方法的研究

提出了一种基于几何特征的正六边形检测方法。在简述Hough变换原理和正六边形特点的基础上,把正六边形的检测分解成直线和圆的检测,以及线段长度和直线夹角的计算。利用检测到的直线,在图像平面内建立直线方程,依据直线方程,计算相邻两条直线的夹角和交点,求出每条边的长度,同时检测6个交点是否均匀分布在同一圆周上。在螺栓头部正六边形检测实验中,角度测量误差为0.38%,边长测量误差为0.85%。结果表明,该方法是有效的,能准确地检测出图像中的正六边形。     

基于时空切片轨迹分析的复杂人体运动跟踪

时空切片方法是一种有效的时空分析方法。然而,现有的算法仅讨论处理近似直线的简单轨迹情况,不能满足实际存在复杂曲线轨迹的处理要求。针对这一问题,本文提出一种实时的时空切片复杂轨迹分析方法来实现人体运动跟踪。首先在视频不同高度处提取水平时空切片,在各切片中分别使用高斯背景模型检测人体轨迹;然后拼合不同高度切片中的人体轨迹,在拼合后的轨迹上使用Hough变换计算人体对应的轨迹方程;最后根据轨迹方程和轨迹检测结果,确定人体的当前坐标、宽和高等信息。 实验表明,相对于传统跟踪方法,该方法降低了跟踪的轨迹误差,满足实时性跟踪要求,且在人体短时遮挡情况下仍然能够实现有效的人体跟踪。      

基于DC-net的会议室电子选举方案

提出了一种新的适用于小规模选举活动的电子选举方案,其最大特点是能够提供无条件的完美选票秘密性保障。方案具有自计票功能,能够实现公平性和可验证性。敌手对选举结果的破坏等同于解离散对数问题。该方案建立在DC-net匿名广播协议基础之上,其安全性不依赖于任何信任中心,但需假定任意投票者之间存在秘密信道。     

A NOVEL MULTILINEAR PREDICTOR FOR FAST VISUAL TRACKING

This letter presents a novel prediction scheme employed for fast visual tracking. The proposed multilinear predictor is formulated as a higher order tensor, instead of the existing vector representations. This predictor is based on emploing the Canonical/Parallel factors (CP) decomposition to decompose a tensor as a sum of rank one tensors. In that way, the proposed scheme efficiently retains the underlying structural information of the input data, while reduces at the same time the compu-tational complexity by employing separable filter operations applied at different directions. The effi-ciency of the proposed scheme is demonstrated in the conducted experiments.     

单目智能车道偏离预警系统

车道偏离预警系统是继安全气囊之后的汽车安全辅助系统,该系统主要任务是采用基于机器视觉的方法提取车道线并进行预警决策。文章利用TMS320DM642视频处理器作为中央处理器,设计出基于DM642的车道偏离预警系统硬件架构,算法方面对图像进行灰度化、二值化和边缘提取做预处理,然后设置感兴趣区域(ROI),利用基于相位编组的改进Hough变换(RHT)进行车道线检测,根据车道偏离预警条件进行预警决策,当车辆在驾驶员非意识时偏离车道线的情况下实施报警。试验结果证明,本系统能够提前2.5s进行车道偏离的预警工作,并能够排除路面标记的影响,满足车道偏离预警系统实时、鲁棒的性能要求。     

直升机防撞系统的电力线检测方法

使用防撞系统探测电力线,对低能见度条件下直升机的低空飞行安全至关重要。通过理论分析,介绍了电力线的布拉格散射特征。在静态条件下,利用毫米波收发系统对电力线的散射特性进行了试验验证。在运动条件下进行运动补偿,将电力线的布拉格散射回波和输电铁塔的强回波峰进行图像累积,并利用霍夫变换进行电力线提取。试验结果可清晰地检测到电力线,证明了处理模型和方法的正确性。     

雷达杂波抑制的新方法研究

为了从杂波中检测出目标,提出了抑制杂波的一种新方法——速度滤波与Hough变换的结合应用。文中根据2种方法各自的优缺点,将雷达扫描的不同区域采用不同的方法处理,并与"滑窗"检测法并用,有效的检测出直线运动的目标,达到高效率杂波抑制的效果。通过多次试验研究,得出速度滤波法对虚警率和漏警率的影响,同时给出了结合Hough变换后,对虚警率和漏警率的影响,从而验证了此方法的有效性。此方法算法简单,计算量小,杂波抑制效果很好。     

一种改进的RGB Hough车牌校正定位算法

车牌的定位对车牌识别的成功率起到决定性作用。为了通过校正倾斜的车牌提高车牌在倾斜情况下字符识别的准确率,针对小型车蓝底白字的车牌提出了一种基于RGB色彩空间与Hough变换的车牌校正定位算法。对无倾斜情况的车牌可以直接定位,对于存在明显倾斜的车牌可以实现倾斜校正并定位。对车牌无倾斜情况的定位准确率为93%,倾斜车牌的定位准确率为88%。     

AOI技术中Mark点定位算法的研究

提出了一种新的检测圆心的方法,可有效识别圆形Mark并准确计算其在PCB板中的位置.该方法中,首先将摄像机采集到的图像灰度化,利用Otsu算法计算阈值并将图像二值化,提取轮廓后用改进的Hough变换计算圆心的位置.实验结果表明,该算法具有定位精确快速,抗噪性能良好等优点.