An efficient quantum search engine on unsorted database

We consider the problem of finding one or more desired items out of an unsorted database. Patel has shown that if the database permits quantum queries, then mere digitization is sufficient for efficient search for one desired item. The algorithm, called factorized quantum search algorithm, presented by him can locate the desired item in an unsorted database using O( $log_4N$ ) queries to factorized oracles. But the algorithm requires that all the attribute values must be distinct from each other. In this paper, we discuss how to make a database satisfy the requirements, and present a quantum search engine based on the algorithm. Our goal is achieved by introducing auxiliary files for the attribute values that are not distinct, and converting every complex query request into a sequence of calls to factorized quantum search algorithm. The query complexity of our algorithm is O( $log_4N$ ) for most cases.     

光学薄膜元器件外观特性机器视觉检测系统

本系统利用工业级摄像头及开发包的机器视觉功能与计算软件编程控制技术相结合,通过与输入控制系统中的标准膜片模板外观品质进行对比,实现高速高效、准确识别检测光学薄膜器件中滤光片的外观缺陷。可在生产线上根据外观品质标准模板中设定的类别进行自动分类装盒。     

UDP协议在视频图像传输中的扩展与应用

根据UDP协议的特点,结合视频网络传输的要求对其进行扩展,给UDP数据包定义了一个8个字节的包头结构,用来加载数据包的序列号、时戳等信息。在发送端对传榆进行平滑处理,控制数据包大小和时戳间隔,减小了图像抖动的发生。应用给出了一种在Delphi下实现的视频数据打包流程,能够满足多种网络平台上的视频传输的要求。     

Truth-Telling Reservations

We present a mechanism for reservations of bursty resources that is both truthful and robust. It consists of option contracts whose pricing structure induces users to reveal the true likelihoods that they will purchase a given resource. Users are also allowed to adjust their options as their likelihood changes. This scheme helps users save cost and the providers to plan ahead so as to reduce the risk of under-utilization and overbooking. The mechanism extracts revenue similar to that of a monopoly provider practicing temporal pricing discrimination with a user population whose preference distribution is known in advance.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

使用HTTP Tunneling技术实现穿透网络防火墙的通信

近年来,防火墙在网络中得到了广泛的应用.它能够比较有效地防范病毒与黑客的攻击,保护网络的安全.但是也带来了一些不利影响,使一些需要进行网络通信的应用软件系统不能正常工作.介绍一个解决方案,并且重点介绍通过HTTP Tunneling技术使用基于文本的HTTP协议传送二进制数据的方法.     

基于ASP.NET的水稻分子育种信息平台管理系统

为实现水稻生物学数据的共享、交流和利用,基于ASP.NET,结合国内外水稻分子育种研究的现状和需求,构建了水稻分子育种信息平台.系统平台设计了基因库、QTL库和Ontology等多个子库和模块,并针对生物学数据的特点,采用B/S架构,运用存储过程和分页技术等多重手段,实施了客户端和服务器端双重安全屏障.对系统的实现技术、实现方案和优化设计等进行了详细的讨论和阐述.     

Editorial: Machine Learning and Intelligent Communications (MLICOM 2018)

Mobile Networks and Applications -     

Infrared target tracking based on proximal robust principal component analysis method

Applied Intelligence - Infrared target tracking plays an important role in both civil and military fields. The main challenges in designing a robust and high-precision tracker for infrared...     

Data-driven physical law learning model for chaotic robot dynamics prediction

Applied Intelligence - A robot control system is a multivariable, nonlinear automatic control system, as well as a dynamic coupling system. To address the difficult problem of data prediction under...