An SPH-based mass transfer model for simulating hydraulic characteristics and mass transfer process of dammed rivers

Engineering with Computers - Aerated flow characterized by complex mass transfer processes with multiple hydraulic properties is a common enviro-hydraulics phenomenon, which have a variety of...     

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...     

Hollow Pd/MOF Nanosphere with Double Shells as Multifunctional Catalyst for Hydrogenation Reaction

A new type of hollow nanostructure featured double metal‐organic frameworks shells with metal nanoparticles (MNPs) is designed and fabricated by the methods of ship in a bottle and bottle around the ship. The nanostructure material, hereinafter denoted as Void@HKUST‐1/Pd@ZIF‐8, is confirmed by the analyses of photograph, transmission electron microscopy, scanning electron microscopy, powder X‐ray diffraction, inductively coupled plasma, and N₂ sorption. It possesses various multifunctionally structural characteristics such as hollow cavity which can improve mass transfer, the adjacent of the inner HKUST‐1 shell to the void which enables the matrix of the shell to host and well disperse MNPs, and an outer ZIF‐8 shell which acts as protective layer against the leaching of MNPs and a sieve to guarantee molecular‐size selectivity. This makes the material eligible candidates for the heterogeneous catalyst. As a proof of concept, the liquid‐phase hydrogenation of olefins with different molecular sizes as a model reaction is employed. It demonstrates the efficient catalytic activity and size‐selectivity of Void@HKUST‐1/Pd@ZIF‐8.     

钢卷尺全自动检测装置视觉技术与系统

钢卷尺全自动检测装置由5m长的高稳定性大理石平台、加载装置、自动卷送带装置、精确的自动对焦机器视觉系统以及计算机控制系统等组成。本文将对自动对焦机器视觉系统进行详细介绍。     

Large capacitance and fast polarization response of thin electrolyte dielectrics by spin coating for two-dimensional MoS2 devices

Nano Research - A spin-coating method was applied to obtain thinner and smoother PEO/LiClO4 polymer electrolyte films (EFs) with a lower level of crystallization than those obtained using a...     

Autonomous topological modeling of a home environment and topological localization using a sonar grid map

This paper presents a method of autonomous topological modeling and localization in a home environment using only low-cost sonar sensors. The topological model is extracted from a grid map using cell decomposition and normalized graph cut. The autonomous topological modeling involves the incremental extraction of a subregion without predefining the number of subregions. A method of topological localization based on this topological model is proposed wherein a current local grid map is compared with the original grid map. The localization is accomplished by obtaining a node probability from a relative motion model and rotational invariant grid-map matching. The proposed method extracts a well-structured topological model of the environment, and the localization provides reliable node probability even when presented with sparse and uncertain sonar data. Experimental results demonstrate the performance of the proposed topological modeling and localization in a real home environment.     

动态相位调整技术在FPGA中的设计与实现

提出一种基于FPGA的动态相位调整实现方案。在高速数据传输接口中,由于数据窗缩小以及传输路径不一致,造成数据和时钟信号在FPGA的接收端发生位偏移和字偏移。动态相位调整技术根据当前各数据线物理状态,对各信号线动态进行去偏移操作,克服了静态相位调整中参数不可再调的缺点,使接口不断适应外部环境的变化,从而保证数据的可靠传输。     

Efficiently Testing Sparse <Emphasis Type="Italic">GF</Emphasis>(2) Polynomials

We give the first algorithm that is both query-efficient and time-efficient for testing whether an unknown function f:{0,1} ⁿ →{−1,1} is an s-sparse GF(2) polynomial versus ε-far from every such polynomial. Our algorithm makes poly(s,1/ε) black-box queries to f and runs in time n⋅poly(s,1/ε). The only previous algorithm for this testing problem (Diakonikolas et al. in Proceedings of the 48th Annual Symposium on Foundations of Computer Science, FOCS, pp. 549–558, 2007) used poly(s,1/ε) queries, but had running time exponential in s and super-polynomial in 1/ε.     

On the ambiguation of Polish notation

In this paper we study an alternative way of treating Polish notation. Instead of proving unique reading for a well-behaved set of terms, we interpret any string of the alphabet in a monoid that extends, in a specifiable sense, the given algebra of functions.     

Research and Implementation of Task Management Model in Product Development Process Management

The implementation of product development process management (PDPM) is an effective means of developing products with higher quality in shorter lead time. It is argued in this paper that product, data, person and activity are basic factors in PDPM With detailed analysis of these basic factors and their relations in product developmed process, all product development activities are considered as tasks and the management of product development process is regarded as the management of task execution A task decomposition based product development model is proposed with methods of constructing task relation matrix from layer model and constraint model resulted from task decomposition. An algorithm for constructing directed task graph is given and is used in the management of tasks. Finally, the usage and limitation of the proposed PDPM model is given with further work proposed.