拔贡水电站改扩建工程二期施工导流围堰优化施工

文章阐述了拔贡水电站改扩建工程二期施工导流围堰施工优化方案,结合工程实际情况及特点,合理布置,采取有效措施,顺利完成了二期施工导流围堰施工,为二期基坑开挖创造了良好前提条件。     

Self-emergence of a common lexicon by evolution in teams of autonomous agents

In multi-agent systems, the study of language and communication is an active field of research. In this paper we present the application of evolutionary strategies to the self-emergence of a common lexicon in a population of agents. By modeling the vocabulary or lexicon of each agent as an association matrix or look-up table that maps the meanings (i.e. the objects encountered by the agents or the states of the environment itself) into symbols or signals we check whether it is possible for the population to converge in an autonomous, decentralized way to a common lexicon, so that the communication efficiency of the entire population is optimal. We have conducted several experiments aimed at testing whether it is possible to converge with evolutionary strategies to an optimal Saussurean communication system. We have organized our experiments alongside two main lines: first, we have investigated the effect of the population size on the convergence results. Second, and foremost, we have also investigated the effect of the lexicon size on the convergence results. To analyze the convergence of the population of agents we have defined the population's consensus when all the agents (i.e. 100% of the population) share the same association matrix or lexicon. As a general conclusion we have shown that evolutionary strategies are powerful enough optimizers to guarantee the convergence to lexicon consensus in a population of autonomous agents.     

Array automata and operations on array languages

Array automata acting on scenes (two dimensional tapes) are defined. The set of scenes accepted by array automata are proved to be equivalent to the set of arrays generated by array grammars. Certain operators like substitution, homomorphic replication and insertion are extended to sets of arrays. These operators yield interesting classes of pictures.     

Smooth Shape‐Aware Functions with Controlled Extrema

Functions that optimize Laplacian‐based energies have become popular in geometry processing, e.g. for shape deformation, smoothing, multiscale kernel construction and interpolation. Minimizers of Dirichlet energies, or solutions of Laplace equations, are harmonic functions that enjoy the maximum principle, ensuring no spurious local extrema in the interior of the solved domain occur. However, these functions are only C⁰ at the constrained points, which often causes smoothness problems. For this reason, many applications optimize higher‐order Laplacian energies such as biharmonic or triharmonic. Their minimizers exhibit increasing orders of continuity but lose the maximum principle and show oscillations. In this work, we identify characteristic artifacts caused by spurious local extrema, and provide a framework for minimizing quadratic energies on manifolds while constraining the solution to obey the maximum principle in the solved region. Our framework allows the user to specify locations and values of desired local maxima and minima, while preventing any other local extrema. We demonstrate our method on the smoothness energies corresponding to popular polyharmonic functions and show its usefulness for fast handle‐based shape deformation, controllable color diffusion, and topologically‐constrained data smoothing.     

Applications of thermal image and extension theory to biometric personal recognition

In this paper, a new scheme is proposed to design a biometric personal recognition system. First, this paper used the thermal image of the hand by using infrared camera to build the sensor module of the recognition system; the extraction features include the length of palmar midpoint to each finger, palmar profile, finger length and finger width. The thermal image presented in this paper was detects infrared energy and converts it into an electronic signal. Then a new recognition method based on the extension is proposed to perform the core of the personal recognition system. The experimental results confirmed that proposed recognition system has a very high recognition rates, therefore, this paper verification using thermal image of the hand to identity recognition was feasible.     

基于旋转扩展和稀疏表示的鲁棒遥感图像目标识别

针对含有残缺图像的遥感图像目标识别问题,提出一种基于旋转扩展和稀疏表示的目标识别方法.首先对训练集进行旋转扩展,使得测试图像能近似用训练集稀疏表示,然后通过求解一个l1范数最小化问题得到测试图像相对于训练集的一个稀疏表示,进而根据不同类对应的稀疏表示对测试图像的近似程度进行识别.与代表性的方法进行比较,实验结果与分析表明,该方法识别率优于已有方法,对残缺图像的识别有较好的鲁棒性,且在小样本、低采样率情况下也能保持较好的识别性能.     

浅析受贿罪讯问中的逻辑错误

犯罪嫌疑人的供述是认定受贿罪的“证据之王”,而讯问中逻辑错误的常见、多发,却严重削弱了其证明力,给反贪工作造成不必要的损失。为此,侦查人员在讯问中必须杜绝预期理由、混淆论题、不正当的复杂问语、推不出、论题含混等逻辑错误。     

A Monadic Semantics for Core Curry

We give a deterministic, big-step operational semantics for the essential core of the Curry language, including higher-order functions, call-by-need evaluation, non-determinism, narrowing, and residuation. The semantics is structured in modular monadic style, and is presented in the form of an executable interpreter written in Haskell. It uses monadic formulations of state, non-determinism, and resumption-based concurrency.