With the progress of DNA computing, DNA-based cryptography becomes an emerging interdisciplinary research field. In this paper, we present a novel DNA cryptography that takes advantage of DNA self-assembled structure....
With the progress of DNA computing, DNA-based cryptography becomes an emerging interdisciplinary research field. In this paper, we present a novel DNA cryptography that takes advantage of DNA self-assembled structure. Making use of the toehold strands recognition and strand displacement, the bit-wise exclusive-or (XOR) operation is carried out to fulfill the information encryption and decryption in the form of a one-time-pad. The security of this system mainly comes from the physical isolation and specificity of DNA molecules. The system is constructed by using complex DNA self-assembly, in which technique of fluorescent detection is utilized to implement the signal processing. In the proposed DNA cryptography, the XOR operation at each bit is carried out individually, thus the encryption and decryption process could be conducted in a massive, parallel way. This work may demonstrate that DNA cryptography has the great potential applications in the field of information security.
In this paper we consider an NP - hard hybrid flow shop problem with machine setups and cycle-time minimization. The above issue is an important generalization of a flow-shop problem with minimization of a cycle time,...
详细信息
In this paper we consider an NP - hard hybrid flow shop problem with machine setups and cycle-time minimization. The above issue is an important generalization of a flow-shop problem with minimization of a cycle time, and it stays in a direct relationship with a flexible job shop problem. In the hybrid problem task operations are performed by machines arranged in slots, i.e., a set of machines with the same functional properties. In this work we presented a graph model, properties of the problem and methods of determining approximate value of the optimal cycle duration. The above mentioned concepts have been used in the construction of tabu search algorithm. Computational experiments were conducted on well-known in literature examples, which confirmed high efficiency of the algorithm.
One of the primary assumption in the PLGrid Plus project proposal was expanding support for complex in-silico experiments. However, detailed analysis of scientific dataworkflows clearly shows that a data management so...
详细信息
Communication locality is an important characteristic of parallel applications. A great deal of research shows that utilizing the characteristic will favor most applications. Aiming at communication locality, we prese...
详细信息
Communication locality is an important characteristic of parallel applications. A great deal of research shows that utilizing the characteristic will favor most applications. Aiming at communication locality, we present a hierarchical direct network topology to accelerate neighbor communication. Combining mesh topology and complete graph topology, it can be used to optimize local communication and build large-scale network with low radix routers. Analyzing the characteristic of hierarchical topology, we find the presented topology has high cost performance and excellent expandability. We also design two minimum path routing algorithms and compare them with Mesh, Dragonfly and PERCS topologies. The results show the saturated throughput of hierarchical topology is nearly 40% with uniform random trace and 70% with local communication model of 4K nodes. That indicates high scalability for applications with local communication and cost efficiency for uniform random trace.
This paper proposes a distributed proportional plus damping (P+d) control algorithm to solve the leader-follower problem in which a network of heterogeneous robots, modeled in the operational space, has to be regulate...
This paper proposes a distributed proportional plus damping (P+d) control algorithm to solve the leader-follower problem in which a network of heterogeneous robots, modeled in the operational space, has to be regulated at a given constant leader pose (position and orientation). The leader pose is only available to a certain set of followers. A singularity-free representation, unit-quaternions, is used to describe the robots orientation and the network is represented by an undirected and connected interconnection graph. Furthermore, it is shown that the controller is robust to interconnection variable time-delays. Experiments, with a network of two 6-Degrees-of-Freedom (DoF) robots, are presented to illustrate the performance of the proposed scheme.
An equivalent transfer function representation (TFR) is introduced to study the state-feedback/observer (SFO) topologies of control systems. This approach is used to explain why an observer can radically reduce even l...
详细信息
ISBN:
(纸本)9781479959020
An equivalent transfer function representation (TFR) is introduced to study the state-feedback/observer (SFO) topologies of control systems. This approach is used to explain why an observer can radically reduce even large model errors. Then the same principle is combined with Youla-parameterization (YP) introducing a new class of regulators.
Surgical robotic systems have to deliver a high quality of safety, since they deal with human lives. Their safety specifications must ensure the absence of risks for the patient and the operating room staff. To respec...
详细信息
ISBN:
(纸本)9781479947287
Surgical robotic systems have to deliver a high quality of safety, since they deal with human lives. Their safety specifications must ensure the absence of risks for the patient and the operating room staff. To respect the modular nature of a surgical system, we propose a contract based verification approach for safety. We introduce a case study based on a typical surgical robotic operation scenario and model its components by using hybrid automata. We exploit the theory of parallel composition of contracts to verify properties on each component and prove that the property of the overall system can be obtained by composition.
In this paper, we propose the labeled multi-Bernoulli filter which explicitly estimates target tracks and provides a more accurate approximation of the multi-object Bayes update than the multi-Bernoulli filter. In par...
详细信息
In this paper, we propose the labeled multi-Bernoulli filter which explicitly estimates target tracks and provides a more accurate approximation of the multi-object Bayes update than the multi-Bernoulli filter. In particular, the labeled multi-Bernoulli filter is not prone to the biased cardinality estimate of the multi-Bernoulli filter. The utilization of the class of labeled random finite sets naturally incorporates the estimation of a targets identity or label. Compared to the δ-generalized labeled multi-Bernoulli filter, the labeled multi-Bernoulli filter is an efficient approximation which obtains almost the same accuracy at significantly lower computational cost. The performance of the labeled multi-Bernoulli filter is compared to the multi-Bernoulli filter using simulated data. Further, the real-time capability of the filter is illustrated using real-world sensor data of our experimental vehicle.
In order to build a tram-train transport system, it is necessary to have a rail vehicle capable of running off both 3300Vdc railway electric overhead lines and 600Vdc tramway overhead lines. One of the solutions would...
详细信息
ISBN:
(纸本)9781479947485
In order to build a tram-train transport system, it is necessary to have a rail vehicle capable of running off both 3300Vdc railway electric overhead lines and 600Vdc tramway overhead lines. One of the solutions would be to build a high voltage reducing converter. This article presents a design of a resonance converter with a toroidal transformer and discusses results of laboratory tests carried out on this device. Given the input voltage level of 3300Vdc, the authors have decided to use a configuration comprising a half-bridge with a series resonant circuit on the transformer primary side. As operation in the resonant mode makes it possible to increase operating frequency of the system, the size and weight of the transformer can be reduced. The primary function of the converter is to provide power to the (inverter-based) drive system in a dual system tram-train vehicle capable of running at both 3000Vdc and 600Vdc. For this purpose a special transformer has been designed and built, incorporating a nanocrystal toroidal core, with active power of 120kW. The article also presents results of efficiency measurements on the resonance converter.
In wireless ad hoc networks, it is difficult to share the information on neighbor devices in a distributed manner. Therefore, efficient neighbor discovery algorithms should be devised for self-organization in wireless...
详细信息
ISBN:
(纸本)9781479944811
In wireless ad hoc networks, it is difficult to share the information on neighbor devices in a distributed manner. Therefore, efficient neighbor discovery algorithms should be devised for self-organization in wireless ad hoc networks. In this paper, we propose a probabilistic neighbor discovery (PND) algorithm, which aims at reducing the neighbor discovery time by adjusting the transmission probability of advertisement messages through the muiltiplicative-increase/multiplicative-decrease (MIMD) policy. To further improve PND, we consider the collision detection (CD) capability in which a device can distinguish between successful reception and collision of advertisement messages. Simulation results show that the transmission probabilities of PND and PND with CD converge on the optimal value quickly although the number of devices is unknown. As a result, PND and PND with CD can reduce the neighbor discovery time by 15.6% and 57.0%, respectively, compared with the ALOHA-like neighbor discovery algorithm.
暂无评论