DNA tile self-assembly is a promising paradigm for nanotechnology. Recently, many researches show that computation by DNA tile self-assembly maybe scalable. In this paper, we propose the algorithm for elliptic curve D...
详细信息
ISBN:
(纸本)9781424427246
DNA tile self-assembly is a promising paradigm for nanotechnology. Recently, many researches show that computation by DNA tile self-assembly maybe scalable. In this paper, we propose the algorithm for elliptic curve Diffie-Hellman key exchange based on DNA tile self-assembly. First we give the DNA tile self-assembly model to compute the scalar multiplication, then we can successfully implement the Diffie-Hellman key exchange over elliptic curve by extracting the result strand of the scalar multiplication.
In the process industry, there exist many systems which can be approximated by a Hammerstein model. Moreover, these systems are usually subjected to input magnitude constraints. In this paper, a multi-channel identifi...
详细信息
In the process industry, there exist many systems which can be approximated by a Hammerstein model. Moreover, these systems are usually subjected to input magnitude constraints. In this paper, a multi-channel identification algorithm (MCIA) is proposed, in which the coefficient parameters are identified by least squares estimation (LSE) together with a singular value decomposition (SVD) technique. Compared with traditional single-channel identification algorithms, the present method can enhance the approximation accuracy remarkably, and provide consistent estimates even in the presence of coloured output noises under relatively weak assumptions on the persistent excitation (PE) condition of the inputs. Then, to facilitate the following controller design, this MCIA is converted into a two stage single-channel identification algorithm (TS-SCIA), which preserves most of the advantages of MCIA. With this TS-SCIA as the inner model, a dual-mode non-linear model predictive control (NMPC) algorithm is developed. In detail, over a finite horizon, an optimal input profile found by solving a open-loop optimal control problem drives the non-linear system state into the terminal invariant set;afterwards a linear output-feedback controller steers the state to the origin asymptotically. In contrast to the traditional algorithms, the present method has a maximal stable region, a better steady-state performance and a lower computational complexity. Finally, simulation results on a heat exchanger are presented to show the efficiency of both the identification and the control algorithms.
For depth information estimation of microscope defocus image, a blur parameter model of defocus image based on Markov random field has been present. It converts problem of depth estimation into optimization problem. A...
详细信息
For depth information estimation of microscope defocus image, a blur parameter model of defocus image based on Markov random field has been present. It converts problem of depth estimation into optimization problem. An improved iterated conditional modes algorithm has been applied to complete optimization problem, which the select of initial point employed least squares estimate algorithm prevents that the result gets into local optimization. The experiments and simulations prove that the model and algorithm is efficiency.
We consider the problem of looking for small universal spiking neural P systems with exhaustive use of rules, which was formulated as an open problem by Gheorghe Paun in a survey paper. Here, spiking neural P systems ...
详细信息
We consider the problem of looking for small universal spiking neural P systems with exhaustive use of rules, which was formulated as an open problem by Gheorghe Paun in a survey paper. Here, spiking neural P systems are used in two versions: as devices computing functions and as devices generating sets of numbers, with two ways of encoding the result of a computation. As devices of computing functions, if we associate the result with the distance between the first two spikes emitted by the output neuron, we produce a universal computing spiking neural P system with exhaustive use of rules (without delay) having 125 neurons; if we introduce the usual way of defining the result of a computation in membrane systems to encode the result, namely, the number of spikes emitted during a computation, then a universal computing system (without delay) with 126 neurons is also obtained in the sense of the exhaustive use of rules. For spiking neural P systems used as generators of sets of numbers, we construct a universal system (without delay) by using 128 neurons under the first way of defining the computation result, and a system (without delay) by using 127 neurons under the second way of defining the computation result.
On visual tracking, a particle filter algorithm was presented to track a moving target under clutter environment which can deal with rotation, scale changes, variations in the light source and partial occlusions. So i...
详细信息
On visual tracking, a particle filter algorithm was presented to track a moving target under clutter environment which can deal with rotation, scale changes, variations in the light source and partial occlusions. So it can track the target with robustness. The proposed method was based on particle filter, integrated with color histogram in the measurement model, and the system model was second order autoregressive process. The algorithm took into account the latest observations and the tracked target can be rigid or non-rigid. Also the method can run in real-time. The experimental results confirm that the method is effective even when the monocular camera is moving and the target object is partially occluded in a clutter background.
This paper provided a mathematic model for Three Gorges-Gezhou dam co-scheduling problems, based on full analysis of Three Gorges-Gezhou dam's actual needs, to maximize the total throughput of Three Gorges-Gezhou ...
详细信息
This paper provided a mathematic model for Three Gorges-Gezhou dam co-scheduling problems, based on full analysis of Three Gorges-Gezhou dam's actual needs, to maximize the total throughput of Three Gorges-Gezhou dam, to maximize the utilization ratio of shiplock area and minimize the total navigation shiplock waiting time under eight constraint conditions. Then a scheduling algorithm based on GA was pointed out. The three gorges south lock, Gezhou dam lock, the three gorges north lock were optimization searched separately in the GA algorithm. The scheduling results of the three gorges south lock were taken as the origin of the whole plan period, and also were taken as the basis of the Gezhou dam scheduling together with the ship applied information. The scheduling results of Gezhou dam were regarded as the basis of the three gorges north lock scheduling together with the ship applied information, so repeated, until the optimal scheduling results were given, or the most iterative step was reached. The applied result shows that making a period plan of two dam five lock only needs 2 minutes, and the plan is quite effective according to practical application.
A transient, six-cylinder diesel engine model for cold test has been developed for analyzing the engine fault through the engine torque curve. The model is based on physically working cycle, thermodynamic theory and d...
详细信息
A transient, six-cylinder diesel engine model for cold test has been developed for analyzing the engine fault through the engine torque curve. The model is based on physically working cycle, thermodynamic theory and dynamics mechanism. The simulation of this model, implemented on Matlab/Simulink, can not only achieve engine faults detection before hot test, but also indicate different causes of engine faults, such as initial phase change, intake valve closing-time delay, and so on. It is shown that the diesel engine model for cold test proves its significance to improving cold test technology.
To control the mobile robot with the surrounding information is the essential method to realize the intelligence and automatic moving. The vision information is the most important way to perceive the environment for t...
详细信息
To control the mobile robot with the surrounding information is the essential method to realize the intelligence and automatic moving. The vision information is the most important way to perceive the environment for the mobile robot. This paper presents an essential camera calibration technique for mobile robot, which is based on Pioneer II experiment platform. The technique includes transformation of coordinates system for vision system, the model and principle of image formation, camera distortion calibration. Because of non-linear distortion of camera, algorithm with optimizing operators is presented to improve calibration precision. We verify the validity and feasibility of the algorithm through experiment.
Several neutrosophic combination rules based on the Dempster-Shafer theory (DST) and Dezert-Smarandache theory (DSmT) are presented in this study. The new information fusing approaches proposed the neutrosophic belief...
详细信息
A fuzzy logic controller (FLC) is designed to achieve course-keeping for mooring shifting system, which is the main system of non self-propelled vessels. Compared with manual operation, the automatic operation and mon...
详细信息
ISBN:
(纸本)9780769533056
A fuzzy logic controller (FLC) is designed to achieve course-keeping for mooring shifting system, which is the main system of non self-propelled vessels. Compared with manual operation, the automatic operation and monitoring system with the FLC can perform higher precision and efficiency. The particle swarm optimization (PSO) algorithm is introduced to optimize the proposed FLC parameters. A series of simulation studies have been undertaken to compare the performance of a basis FLC and PSO based FLC. The results demonstrate that the latter has the better controlling quality.
暂无评论