基于实时路况的交通信号灯智能管控方法

为解决城市严重的交通拥堵问题,提出一种基于实时路况的交通信号灯智能管控方法。实时检测交叉方向车辆,计算车道占用率,应用模糊控制理论优化信号灯切换频率,确保双向车道均衡使用。实验利用实测数据,结合模拟分析结果,针对早晚高峰以及中午等3个典型时段道路交通状况,与传统定时控制方法进行比较,比较结果表明,该方法能够有效地利用车道,增强交通通行能力,较传统的定时控制方式更具有适用性。     

核电站蒸汽发生器水位模糊预测控制

在核电站运行过程中,U形管蒸汽发生器的水位作为重要参数需维持在安全的范围内.U形管蒸汽发生器结构复杂、系统逆动态、大范围变工况下具有强非线性,尤其在低负荷下,采用常规控制难以取得良好效果.本文建立了蒸汽发生器水位模糊模型,提出了能够满足系统输入输出约束的基于模糊模型的准–最小–最大预测控制方法.为了减轻在线运算负担,通过线性矩阵不等式离线计算椭圆不变集合及其对应的反馈控制律,然后依据系统的状态,二等分搜索对应的椭圆不变集参数,将在线计算简化为一个简单的优化问题.针对水位设定值跟踪和负荷变化的仿真结果表明了本文所提出控制策略的有效性.     

两种面向推荐系统的数据压缩方法

今日头条的服务器每天都会产生规模庞大的训练数据,为方便进行训练,这些数据都具有特定的格式和分布特征。使用不同类型的通用压缩算法(字典类型及非字典类型)进行测试,发现单独任何一种算法都无法在满足业务需求(速率需求和CPU占比等)的同时获得较为可观的压缩比。针对今日头条的训练数据,提出了分段聚类压缩和Hash recoding压缩两种策略。实验结果表明,分段聚类压缩方式在更好地保证了压缩率的同时提高了压缩速率的目的;Hash recoding压缩方式则更好地达到了以少量压缩速率的损失换取更可观的压缩率的目的。分段聚类方式搭配Gzip压缩算法的组合能使压缩速率提高300%以上;Hash recoding方式匹配Snappy压缩算法能使压缩率缩小50%以上。根据实际需求,不论选择哪种策略,对于降低今日头条的运营成本,提升业务处理的效率,提供更好的用户体验,都有一定意义。     

Synthesis with rational environments

Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. The environment often consists of agents that have objectives of their own. Thus, it makes sense to soften the universal quantification on the behavior of the environment and take the objectives of its underlying agents into an account. Fisman et al. introduced rational synthesis: the problem of synthesis in the context of rational agents. The input to the problem consists of temporal logic formulas specifying the objectives of the system and the agents that constitute the environment, and a solution concept (e.g., Nash equilibrium). The output is a profile of strategies, for the system and the agents, such that the objective of the system is satisfied in the computation that is the outcome of the strategies, and the profile is stable according to the solution concept; that is, the agents that constitute the environment have no incentive to deviate from the strategies suggested to them. In this paper we continue to study rational synthesis. First, we suggest an alternative definition to rational synthesis, in which the agents are rational but not cooperative. We call such problem strong rational synthesis. In the strong rational synthesis setting, one cannot assume that the agents that constitute the environment take into account the strategies suggested to them. Accordingly, the output is a strategy for the system only, and the objective of the system has to be satisfied in all the compositions that are the outcome of a stable profile in which the system follows this strategy. We show that strong rational synthesis is 2ExpTime-complete, thus it is not more complex than traditional synthesis or rational synthesis. Second, we study a richer specification formalism, where the objectives of the system and the agents are not Boolean but quantitative. In this setting, the objective of the system and the agents is to maximize their outcome. The quantitative setting significantly extends the scope of rational synthesis, making the game-theoretic approach much more relevant. Finally, we enrich the setting to one that allows coalitions of agents that constitute the system or the environment.     

An efficient and noise resistive selective image encryption scheme for gray images based on chaotic maps and DNA complementary rules

A novel image encryption algorithm in streaming mode is proposed which exhaustively employs an entire set of DNA complementary rules alongwith one dimensional chaotic maps. The proposed algorithm is highly efficient due to encrypting the subset of digital image which contains 92.125 % of information. DNA addition operation is carried out on this MSB part. The core idea of the proposed scheme is to scramble the whole image by means of piecewise linear chaotic map (PWLCM) followed by decomposition of image into most significant bits (MSB) and least significant bits (LSB). The logistic sequence is XORed with the decoded MSB and LSB parts separately and finally these two parts are combined to get the ciphered image. The parameters for PWLCM, logistic map and selection of different DNA rules for encoding and decoding of both parts of an image are derived from 128-bit MD5 hash of the plain image. Simulated experimental results in terms of quantitative and qualitative ways prove the encryption quality. Efficiency and robustness against different noises make the proposed cipher a good candidate for real time applications.     

3DStreaming: an open-source flexible framework for real-time 3D streaming services

The progress of three-dimensional 3D technologies, together with the wide diffusion of both Internet and broadband technologies, is paving the way to emerging live streaming services which have been conceived for delivering 3D video contents in real-time fashion to end users. Nowadays, the only available tools supporting stereoscopic 3D video services cannot be freely downloaded and require the adoption of owner stereoscopic players. Motivated by the lack of an effective solution, we developed a freeware and open source 3D live streaming framework, namely 3DStreaming. It provides stereoscopic 3D live streaming services over the Internet. In particular, it realizes a complete server implementation, offering the support for any transmission protocol and encoding scheme, as well as the full compatibility with any network architecture (i.e., LAN, MAN, Internet, and so on). At the same time, it allows users to use the preferable stereoscopic player and to render the video through any technique available for the chosen player. The overall performances of the proposed tool have been presented by testing its behavior in several network configurations (i.e., by varying network topology, coding technique, 3D representation format, and average encoding rate). All the measured metrics, which include the number of RTP segments that are transmitted and received, the frame loss ratio, and the PSNR, fully demonstrate the right behavior of the implemented tool in all the considered scenarios. We believe that, thanks to its high flexibility, this tool can be exploited by researchers working on stereoscopic-3D related issues to design, test, and evaluate novel and innovative algorithms, protocols, and network architectures.     

基于CCD技术的外观纸病检测系统

设计了CCD在线外观纸病检测系统,介绍了该系统的硬件组成情况和系统的工作原理、技术指标和软件设计,重点阐述了外观纸病检测系统中CCD技术的优势。     

基于北斗的高速摄像机时间同步器设计

为了满足民用飞机在飞行试验中高速摄像机对时间同步的需求,基于国产北斗卫星导航系统设计了具有精确输出IRIG-B(AC)码的时间同步器,用于机载高速摄像机的精确时间同步。以FPGA为核心,使用直接数字频率合成技术实现了IRIG-B(AC)码的产生。实验结果表明,该同步器时间同步精度满足要求,可以实现对高速摄像机进行时间同步的功能。     

Evolutionary variational inequality with long-term memory and applications to economic networks

The aim of this paper is to present the relation between an evolutionary variational inequality with long-term memory and Lagrange multipliers. More precisely, we study the oligopolistic market equilibrium problem in which the profit function depends also on previous events of the market by means of a long-term memory which takes into account the previous states of the equilibrium. Moreover, thanks to the variational formulation, we are able to show existence and regularity results for equilibrium solutions. Then, we apply the infinite dimensional duality theory through which we obtain the existence of Lagrange multipliers which are great utility in order to understand the behaviour of the market. Finally, an example is provided, which allows to analyse the influence of the long-term memory on the equilibrium solution.     

The Rise of Twitter in the Political Campaign: Searching for Intermedia Agenda‐Setting Effects in the Presidential Primary

Questions exist over the extent to which social media content may bypass, follow, or attract the attention of traditional media. This study sheds light on such dynamics by examining intermedia agenda‐setting effects among the Twitter feeds of the 2012 presidential primary candidates, Twitter feeds of the Republican and Democratic parties, and articles published in the nation's top newspapers. Daily issue frequencies within media were analyzed using time series analysis. A symbiotic relationship was found between agendas in Twitter posts and traditional news, with varying levels of intensity and differential time lags by issue. While traditional media follow candidates on certain topics, on others they are able to predict the political agenda on Twitter.