Yin Zhixiang

Pulsed microwave-driven argon plasma jet with distinctive plume patterns resonantly excited by surface plasmon polaritons*

Atmospheric lower-power pulsed microwave argon cold plasma jets are obtained by using coaxial transmission line resonators in ambient air. The plasma jet plumes are generated at the end of a metal wire placed in the middle of the dielectric tubes. The electromagnetic model analyses and simulation results suggest that the discharges are excited resonantly by the enhanced electric field of surface plasmon polaritons. Moreover, for conquering the defect of atmospheric argon filamentation discharges excited by 2.45-GHz of continued microwave, the distinctive patterns of the plasma jet plumes can be maintained by applying different gas flow rates of argon gas, frequencies of pulsed modulator, duty cycles of pulsed microwave, peak values of input microwave power, and even by using different materials of dielectric tubes. In addition, the emission spectrum, the plume temperature, and other plasma parameters are measured, which shows that the proposed pulsed microwave plasma jets can be adjusted for plasma biomedical applications.

Numerical Simulation on the Production Mechanism of Surface-Wave Plasmas Sustained along a Metal Rod

For interpreting the production mechanism of surface-wave plasmas sustained along a metal rod, electromagnetic simulation on the electromagnetic field distributions and particle-in-cell/Monte Carlo collision (PIC/MCC) simulation of the ionization process are present. The results show that the enhanced electric field of surface plasmon polaritons (SPPs) can be excited in the ion sheath layer between the negative-voltage metal rod and the surface-wave plasmas, which is responsible for maintaining the plasma discharge. Moreover, the spatio-temporal evolutions of plasma density and electric fields are simulated by the PIC/MCC model. It is further suggested that the expanded ion sheath layer can extend the length of plasma domain by increasing the plasma absorbed energy from SPPs.

Towards Reliable Simulation of Bounded Fan-in Boolean Circuits using Molecular Beacon

A fundamental concept in computer science is that of the universal Turing machine which is an abstract definition of a general purpose computer. It has also been shown that any computer which is able to simulate Boolean circuits of any complexity is such a general purpose computer. However, few studies have devoted to DNA computer of this kind. Molecular beacon is a hairpin-formed oligonucleotide probe, which can report the presence of target sequence in solution with higher specificity compared with linear probe. It is particularly useful when single base discrimination is desired in the process of hybridization underlying DNA computing. In this paper, molecular beacon is utilized to simulate logical AND and OR gates. Then we present simulating an instance of bounded fan-in Boolean circuit comprising of these gates in time proportional to the depth of the circuit. The purpose of this paper is to explore the possibility of reliably simulating Boolean circuits using molecular beacon

Algorithm of graph isomorphism with three dimensional DNA graph structures

An algorithm for solving the graph isomorphism problem with 3-D DNA structures is proposed in this paper. The k-armed branched junction molecules are used to code k-degree vertices. Double stranded molecules are used to code edges. Then the molecules are mixed in a tube to be ligated. The result can be detected by gel electrophoresis. The time complexity of the algorithm is O(n 2), where n is the number of vertices of the graph. Supported by the National Natural Science Foundation of China (Grant Nos. 60373089 and 30370356)

Molecular Beacon-Based DNA Computing Model for Maximum Independent Set Problem

Maximum independent set problem is the core issue in NP-complete problems, many problems can be transformed into the maximum independent set problems to solve, so design a good algorithm for solving the problem is very necessary. Molecular beacon is a hairpin-shaped fluorescent probe, which can hybridize with target sequence that is complement to its loop sequence. The specificity of molecular beacon is as high as single base mismatch detection. In this paper, molecular beacon is as for probe, to separation and detection all of the independent sets, finally by observing the fluorescence to determine whether or not the solution is existence. At the same time, in the establishment of the initial data pool, only one type of DNA molecules was synthesized. In the calculation process, the model does not require the restriction enzyme digestion, gel electrophoresis etc.. These steps may avoid possible computational errors and data loss; at the same time, the algorithm also has easy code and reading solution.

Design of PID Controller Based on DNA Computing

The biological Deoxyribonucleic acid (DNA) strand is found to be a promising computing unit. DNA computing is attracted as one method which gives us suitable answers for optimization problems. Proportional Integral Derivative (PID) control schemes have been widely used in industrial fields. Since the PID parameters have a great influence on the stability and performance of the control system, many approaches have been proposed to determine them. In this article, we propose double helix structured DNA algorithms to design the type of PID controller and optimize the PID parameters. The structure of DNA computing is provided. It is applied into the optimal design of PID controller system. A computer simulation shows that we can get satisfactory results with the proposed method.

A Study about the Mapping of Process- Processor based on Petri Nets

In the design and analysis of discrete event systems, the validation of their models is often addressed via simulation. Petri nets have been applied widely. Lookahead computation is a good method that improves the distributed simulation performance of Timed Transition Petri Nets (TTPN). The approach is based on a part of optimism computed on the prediction time each logical process can determine for its advancement. Timed Petri nets meet these requirements, and use the lookahead to analyze the TTPN model for finding the concurrency and blocking structure, thereby making certain the logical process (LP). Based on the specialties of lookahead, the lookahead was applied in parallel simulation, and acquire the sufficient condition about the TTPN model existing concurrency. According to the condition, parallel program can be partitioned into several logical processes, and the partition algorithm that can decide quickly the mapping project on the mapping process-processor is presented.

Design of Vehicle Black Box based on Dual-core System and µC/OS-II

A design of vehicle traveling data recorder is presented, in which the microcontroller S3C2410 and TMS320DM642 are adopted. The real-time operating system μC/OS-II is transplanted to manage various task modules, reliability and readability are improved, too.

Research on interference suppression of embedded measurement and control system

Researchers in the embedded system development and application field always care whether an embedded measurement and control system can work reliably or not. Interference is analyzed, and interference suppression measures are presented in detail. It is useful to researchers.

Study and Design of Vehicle Black Box Hardware System Based on ARM and DSP

A design of vehicle traveling data recorder is presented, in which the microcontroller S3C2410 and TMS320DM642 are adopted. Assembly language is used to develop programs. The experiment show the system is effective and safe.