LI Zhi-qiang, CHEN Han-wu, XU Bao-wen, XIAO Fang-ying, XUE Xi-ling
Vol. 36, Issue 11, Pages: 2081-2089(2008)
摘要:Synthesis of quantum reversible logic circuits means to automatically construct desired quantum reversible logic circuit with minimal quantum cost.We present a novel and efficient algorithm which can construct almost all optimal 4-qubit reversible logic circuits with various types of gates and minimum length cost based on constructing the shortest coding and the specific topological compression, whose lossless compression ratios of the space of n-qubit circuits is near2×n!.We firstly have created all 3120218828 optimal 4-qubit circuits whose length is less than 9 for the Controlled-Not gate, NOT gate and Toffoli gate library, and our method can achieve 16 steps through cascading created circuits.Our algorithm can not only synthesizes all the 4-qubit benchmark circuits, but also runs extremely fast.
摘要:By reformulating the multi-channel filterbank as single-in single-out linear periodically time-varying system,a memory-scalable implementation of generic tree-structured filterbanks (GTSFB) is presented that produces exactly the same subband coefficients as the global implementation of GTSFBs.Both the forward and inverse transforms of the proposed approach have low-memory requirements unrelated to the signal length.Additionally,the majority of the memory budget can be distributed freely between the forward and inverse transforms,which is highly desirable for the applications where the memory asymmetry exists between the analysis/synthesis systems.
摘要:The DNA volume which increases in a pure exponentially with the scale of the problem has become the bottleneck problem.So how to decrease the volume in DNA computers is of a great significance in the research of DNA computing.For the objective to decrease the DNA volume of the 3-colorable problem,an improved DNA computing model basing on the biological operations in the Adleman-Lipton model and the solution space of stickers in the sticker-based model is introduced.Furthermore,a new DNA algorithm where new algorithms of Vertex Shader,Sparse Parallel Searcher and Dense Parallel Searcher are developed to solve the 3-colorable problem.The proposed algorithm can solve the 3-colorable problem by using the O(2n) shorter DNA strands on the condition of not varying the time complexity,as compared by far the best molecular algorithm for it in which O(3n) DNA strands is used.
关键词:DNA-based supercomputing;3-colorable problem;pruning strategy;NP-complete problem
摘要:A real-time control system usually requires maintaining a large amount of temporal data objects,which are logic descriptions for the fluctuant physical environment in the real world.These temporal data objects are accessed by application transactions to generate the ultimate control actions.In the actual applications,real-time control systems require not only ensuring transactions finished in the specified time limits,but also guaranteeing temporal consistency of data objects accessed by transactions.The traditional real-time concurrency control protocols stress on meeting transaction deadlines,while ignore the requirement to temporal consistency of data objects access by transactions.This paper first gives the formal definitions of temporal consistency about data and transaction.On the basis of them,a novel real-time concurrency control protocol called TCHP-2PL (Temporal Consistency High Priority two Phase Lock) is presented.TCHP-2PL can guarantee temporal consistency.In order to obtain the better real-time performance,an enhanced TCHP-2PL called STCHP-2PL is proposed by introducing the concept of similarity.Performance tests show that STCHP-2PL can still ensure the very well real-time performance under circumstances of ensuring temporal consistency.
关键词:deadline;temporal consistency;real-time concurrency control;real-time control system
摘要:As feature size shrinks and the frequency increases,power dissipation has become the main restriction on micro-processor design.The traditional power controlling policies for instruction cache (I-Cache) are used for reducing the dynamic access power or the leakage power respectively.Two improved power controlling policy are proposed to reduce the dynamic and leakage power at the same time more efficiently.One is called "Multi-Way Way Prediction (MWWP) policy with a Two Prediction-ports Way Predictor (TPWP)" that is proposed for the case of keeping the original level of the front-end pipeline stages.The other is called "Phased cache with On-demand Wakeup Prediction,(POWP) policy" that is proposed for the case of allowing new stage is inserted into original front-end pipeline.The research results show that:compared with traditional power controlling policies,proposed policies have the better power efficiency.They can reduce the power of whole processor more efficiently with less performance degradation.
摘要:This paper proposes a novel neural network controller design scheme for a class of affine nonlinear system with unknown actuator dead-zone.First a neural network is introduced to estimate the partial unknown nonlinear dynamic,and then another static network is constructed as a novel compensator to overcome the unknown nonsymmetric dead-zone behavior of the actuator based on the implicit function theorem.Lyapunov theory is used to present the smooth control law and prove the uniform ultimate boundedness of the close-loop tracking error and the networks weights.Furthermore,the tracking error is able to converge to a small neighborhood around zero by adjusting the design parameters.The control scheme proposed in this paper is able to track any smooth desired trajectory steadily on line,and numerical simulation shows its effectiveness and feasibility.
摘要:Using ant colony algorithm to solve function optimization problems has some disadvantages such as easily plunging into a local minimum,slow convergence speed and so on.Therefore, a new fast continuous ant colony optimization algorithm is presented according to the latest research achievements of ant's behavior, which is carried out by scout ants and foraging ants cooperating with each other to search the best solution for solving function optimization problems. In our algorithm, chaotic sequence is first introduced to determine the initial position of the scout ants, then the scout ants start global rapid search in large visual field.In order to achieve better performance,it needs to evaluate solutions in each step and each generation and mark pheromones of the optimal solution in this generation.Thus foraging ants are attracted around the optimal solution during this generation to search in small step.Through this initialization method and mutual cooperation between the two kinds of ants,it could not only improve the optimization accuracy,but improve convergence speed greatly.The computer simulation experiments show that the algorithm has high search efficiency and rapid convergence speed.The results are quite satisfactory.
关键词:function optimization;continuous ant colony optimization;chaotic sequence;scout ants;foraging ants
摘要:Pseudo-intent is one of the significant notions of formal concept analysis.Pseudo-intents of formal contexts have gained interest in recent years,since this notion is helpful for finding minimal representations of implicational theories.In order to obtain all pseudo-intents from a given formal context,the existing approaches need to examine all combinations of attributes,which are not intents of formal concepts.However,the number of attribute combinations can be exponential in the number of attributes,which may easily leads to the explosion of search space.To address this problem,this paper provides characterizations of pseudo-intents from the point of view of minimal generators of concept intents.The necessary and sufficient conditions of pseudo-intents are derived.Based on these results,an algorithm,called GPI,is designed to generate all pseudo-intents from a formal context.The efficiency of the algorithm is analyzed and several optimizations are presented.The algorithm computes pseudo-intents starting from minimal generators of concept intents and is helpful to reduce the search space of non-intents.Thus it improves the computational efficiency of pseudo-intents.Theory analysis and experimental results show the feasibility and effectiveness of the algorithm.
摘要:The paper presents a model of cerebellum with long-loop force feedback and gains scheduling so as to demonstrate the control of human upright balance.The model consists mostly of two parts,i.e.cerebrum and cerebellum.The cerebellar component of the controller is represented by two sets of gains that provide linear scaling of same-joint and interjoint long-loop stretch responses between ankle,knee and kip.Whereas the cerebral component of the model composes a single set of same-joint liner force feedback gains.The paper,however,proposes that the cerebellum switches control gain sets as a function of sensing human body kinematics state.By means of simulation,the model illustrates that stabilized hybrid long-loop feedback with scheduling of linear gains may afford realistic balance control in the absence of explicit internal dynamics models and suggests that the cerebellum and cerebral cortex may contribute to the balance control via such mechanism.
WANG Jun-zhong, JI Yuan, TIAN Yan-bao, NIU Nan-hui, XU Chen, HAN Jun, GUO Xia, SHEN Guang-di
Vol. 36, Issue 11, Pages: 2139-2143(2008)
摘要:The elastic strain field in a GaN/sapphire structure was measured via electron backscatter diffraction (EBSD).Image quality and small misorientation of EBSD Kikuchi patterns as strain sensitive parameters were applied to evaluate the distortion and the rotation of crystal lattices in GaN-buffer-sapphire structure,as well as to display micro-sized elastic strain field.The influence region of the elastic strain in GaN/sapphire structure is about 200×700 nm.The diffraction intensities of Kikuchi patterns were extracted and the strained/unstrained regions in GaN epitaxial structure were recognized by using the fast Fourier transform (FFT).
NIE Xiao-wen, LU Xian-liang, TANG Hui, ZHAO Zhi-jun, LI Yu-jun
Vol. 36, Issue 11, Pages: 2144-2149(2008)
摘要:The Cards-Shuffling scheme solves the Sybil attack in distributed hash table (DHT) theoretically.To overcome cheats of the enemy,a distributed authentication system which constructed by trusted nodes is proposed.The joining nodes are authenticated by the trusted nodes to ensure that the sign and identifiers of the nodes can not be fabricated.Tickets recording the joining process of Cards-Shuffling scheme are also introduced to verify the nodes so that the accumulation of expired identifiers is impossible.The performance of the algorithm proposed by the paper is determined by the number of tickets to be stored.Both the analysis and simulation confirm that there won’t be a great number of tickets to be stored,which guarantees the feasibility of the algorithm.
摘要:Nonuniformity correction is the key issue for the image quality improvement of infrared focal panel arrays imaging.But the nonuniformity correction precision is difficult to improve based on existing monadic linear theoretical model.Infrared focal panel array photoelectric response mechanism and its imaging process were analyzed.The main influence factors for infrared sensor response and its nonuniformity were deduced.A binary nonlinear nonuniformity theoretical model for infrared imaging was present for the first time.Experimental test results were given.Test and statistic analysis results show that the model give reasonable prediction of the responsive curve for infrared focal panel arrays sensor in wider infrared scene radiation and surrounding temperature range.Furthermore,this model reveals comprehensive influence factors of IRFPA response and nonuniformity differ from the existing monadic linear theoretical model.
摘要:Motion object detection is the basis of intelligent video surveillance;the speed and the detection accuracy of the existing algorithms need to be improved.By analyzing the luminance change between adjacent frames,this paper presents threshold calculation method based on the third central moments of frame difference,and proposes an anti-noise background maintenance model and finally we combine the ideas of background subtraction with frame difference algorithm to detect motion object.Furthermore,morphological post-processing method is introduced to reduce noise and improve detection precision.Experiments on standard sequences and outdoor/indoor sequences,the algorithm has the advantage of high-speed,anti-noise and it can detect the obstacle motion object.
ZHANG Rong-sheng, LI Li, WEI Xue-feng, LI Na, ZHANG Sheng-ling
Vol. 36, Issue 11, Pages: 2160-2164(2008)
摘要:The B-spline curve-fitting algorithm is widely used in reversible compression of vector curve data and its mathematic expression.But the error evaluation of the present algorithms mostly aims at the coordinate axes with same scale unit;it was helpless for the engineering drawing whose coordinate scale units were different.So we proposed a spline-curve fitting algorithm with parametric variable of sequence number,self-adaptive,whose least error is not more than one pixel.At the first,in algorithm,a few curve nodes was chosen from vector curve data by the approximately equal arc length,and the fitting curve was obtained by profit or loss correction that the error limit of the nodes was 0.001.Then,all raster points of the fitting curve were gone through,and their 3×3 neighborhood were examined whether raster point or raster image curve point is among them.If there was,it satisfied the error margin of one pixel.Contrarily,the distinctive mark was made on this curve segment between nodes and the next curve segment was gone on checking.For the marked curve segments,the error margin of one pixel was satisfies by means of increasing one curve node or shifting node order-numbers.The test results show that proposing algorithm is more exact and convenient.
摘要:With respect to three kinds of familiar tremor,including essential tremor,parkinsonism disease tremor and physiological tremor,which are subjected to frequent clinical misdiagnosis,a new recognition approach for tremor based on bispectrum analysis and support vector machine is proposed in this paper.At first,the acceleration signals of hand tremor from voluntary subjects were recorded and were tested by Hinich method respectively,we found that the signals possess the properties of non-gaussian and non-linearity.Then the features of diagonal slice of bispectrum which adapts to process non-gaussian and non-linearity signals of hand tremor accelerating signals were extracted.Finally,multiclassification support vector machine algorithm of "one against one" and "one against rest" are adopted to carry out recognition of three types tremor.Cross-validation test results show that the mean correct rate of classification with "one against one" algorithm is better than that of "one against rest",its correct rate of classification can be readod at 93.13%,and provides a new a assistant approach to classify tremor for clinical neurosurgeon.
摘要:Most of the revealed optical interconnect networks within the high performance computers require either the buffering and O-E-O conversion of the data packets or the pre-assigning of the optical path from the source to destination,which to a certain extent influence the performance metrics such as latency and throughput.Aiming at the limitation mentioned above,a novel Bufferless Optical Interconnection Network (BOIN) for high performance computer is brought forward.Together with the data link protocol,deadlock freedom and livelock freedom routing algorithms,the upper bound of the data transmission latency in BOIN are also presented.The simulation is based on the comparison of BOIN and the other two similar networks.The results show that BOIN has the advantage over the rest that can deliver high throughput at low latency,which can well satisfy the need of high performance computing systems.
摘要:To the electron heat engine and refrigerator system which consist of two different electron reservoir,the density of net electron flow was calculated as the distribution function of energy in different electron reservoirs in spherical polar coordinates based on Fermi-Dirac statistical distribution in this paper.Moreover,the corresponding heat flow was obtained.Next,the several performance parameters of electron heat engine and refrigerator were derived.The performance characteristic curves were plotted by numerically analysis.Then the methods for improving performance of the system are obtained.
关键词:Fermi-Dirac distribution;the density of electron flow;electron heat engines or refrigerators;efficiency;coefficient of performance
摘要:A current feedback control method for regulating output voltage among multiple outputs of buck current-fed push-pull converter is presented in this paper.The new control method which can be equivalent with changing factor weighted voltage-mode control method,switch the feedback sampling point from outputs of converter to the input of transformer primary side and compensate the feedback loop with inductor current to achieve the balanced regulation of multiple output voltages.New control method simplifies the feedback loop structure as well as optimizes load regulation of output voltage among multiple outputs in the converter.All the major conduction losses are incorporated in analysis.Finally,the validity of the control method is verified by simulation and experiment results.
关键词:current-fed push-pull converter;average large-signal model;multiple-output;current feedback control method
摘要:By means of truth degrees of formulas,the present paper puts forward a new concept of sustentation degree among formulas in n-valued-R0 propositional logic.A new kind solving mechanism based on the idea of sustentation degree for problems of generalized modus ponens,as well as collective generalized modus ponens are introduced,existence theorems of solutions are proved.This work further lays a logical foundation for Triple-I methods of fuzzy reasoning both syntactically and semantically.The graded method presented in this paper makes the algorithmic realization of solution procedure possible and serves as a guideline for the graded reasoning about knowledge.
关键词:generalized modus ponens(GMP) problem;collective generalized modus ponens (CGMP) problem;truth degree;sustentation degree
摘要:The image edge detection is important tools of image processing and the results decide the later processes.Therefore,precise and fast edge detection is required for image analysis,evaluation and recognition techniques.According to this,this paper proposes a fast arithmetic of edge detection based on the order morphology,which can achieves the image edge fast and precisely,especially to the large-size images.By simulation,the arithmetic is proved a fast and precise method.
摘要:Buffer overflow(BO)vulnerability is one of the most crucial threats to the security of software system,and a method using model checking was proposed to precisely detect potential BO vulnerabilities in source code.This method converts detecting BO vulnerabilities to verifying the reachability of certain position in programs by static analysis.Then model checking was used to do the verification job.Based on GCC and Blast,a prototype system to precisely detect BO vulnerabilities was developed for this method.At last,wu-ftpd,minicom and CoreHTTP was checked by the prototype system,which not only detected those known BO vulnerabilities but also some unknown BO vulnerabilities.
摘要:A noninterference model based on actions for nondeterministic systems was developed to enforce information confidentiality.With redefined noninterference relationship on system actions,information flows depend on actions of both initiators and observers,and can be stopped by allowing actions of initiators and denying the following ones of observers.To show usability of new noninterference relationship and model,an example multilevel security system was designed and a new method was provided to excluding covert channels.
关键词:computer network security;noninterference model;access control
NI Jian-cheng, LI Zhi-shu, SUN Ji-rong, ZHOU Li-ping
Vol. 36, Issue 11, Pages: 2210-2215(2008)
摘要:The most one critical component in innate immune system is dentritic cell (DC),which differentiation mechanism is also the key to initiate and control adaptive immune response correctly.Firstly,based on describing biological principles of DCs differentiation,the information processing procedure for DCs is abstracted.Secondly,laying the foundation of illustrating four-category behavioral signals such as danger-associate molecular patterns et al.,and informational fusion procedure,agents including immature,fully mature and semi-mature DCs are defined,and detailed mathematical differentiation model are formulized and deducted.Lastly,several relations between quantity and lifecycle of different Agent category are proved.Simulation testing results demonstrate that DCs differentiation mechanism has theoretical significance and practical value on computer security besides decreasing false positive rate as well as achieving homeostasis for intrusion detection systems.
WANG Zhan-shan, ZHANG Hua-guang, YU Wen, ZHANG Qing-Ling
Vol. 36, Issue 11, Pages: 2220-2223(2008)
摘要:Robust stability problem for Cohen-Grossberg neural networks with time varying delay is investigated.Using linear matrix inequality technique,some new sufficient conditions guaranteeing the uniqueness and global robust stability of the equilibrium point of Cohen- Grossberg neural networks with time varying delay are derived,which are independent of the magnitude of time varying delay and amplification functions.Compared with some existing results,these new criteria are not conservative and are convenient to check.An example is used to show the effectiveness of the obtained results.
摘要:A new method to adjust weights of BP network was proposed based on particle swarm optimization.The new model was based on the weight adjustments of error back propagation of BP algorithm and the weight modification using particle swarm optimization (PSO).The model can not only overcome the limitations both the slow convergence and the local extreme values by basic BP algorithm,but also improve the learning ability and generalization ability with a higher precision.The new model was used in simulation test of four typical complex functions,results of which were analysed and compared with that of basic BP algorithm,BP network optimized based on genetic algorithm (GA-BP) and traditional BP network of signal forward propagation based on particle swarm optimization.Results show the performances of new PSO-BP model are superior to that of other 3 kinds of optimized BP network models,especially in generalization ability.
摘要:Swarm intelligence which emerges from interactions of simple individuals can be used to solve many problems.Through considering the similarity between the sorting behavior and the aggregation in ant colony,the stability analysis of annular sorting is conducted by extending the aggregation model.It is proved by the Lyapunove stability theory that the objects with the same type will be collected in some range,and the annular structure will be building stably.Finally annular sorting structure is implemented by the simulation experiments.
摘要:Towards the code size problem of Transfer Triggered Architecture(TTA),an efficient technique for code compression is presented.The template scheme is improved to efficiently eliminate the redundant empty transfer slots and invalid immediate encodings.Then,based on the spatial locality of data transports,a vertical dictionary-based program compression method is presented to further reduce the compression ratio.A one-cycle decompression engine is described for real-time decoupling decompression with little hardware cost.The experiment shows that this technique achieves the compression ratio of nearly 37.2%.The total area of the processor core and the local instruction memory could be reduced by about 29% and power consumption by nearly 23% respectively,with the extra execution overhead of nearly 4%.
ZHAO Xiao-gang, WANG Hai-wei, XIE Chang-sheng, LI Bo
Vol. 36, Issue 11, Pages: 2239-2242(2008)
摘要:The paper analyzes the reason of track shape error and the phenomenon of radial error propagation.Next the paper discusses in detail the effect of separating magnetic head to self-servowriting process.It shows the change of skew angel of the head will affect the radial error propagation procedure.In the end a new weighted correction signal method is proposed in the paper.The method has good containment effect which is proved in theory and in simulation test when reference signal changes.
关键词:self-servowriting;radial error;error propagation;separating magnetic head;skew angel of magnetic head
摘要:A new automatic backwashing method for water filters with multiparallel connection and high flux was proposed.First,four variables,i.e.concentrated water flux,shunt water flux,pollution index of source water and the number of multiparallel filters,for automatic back wash were assumed and through the controller above mentioned data were obtained by on-line inspection.The through the treatment of software mathematic model the jamming condition of the filters was detected and a backwashing signal was given to open the back washing value and carry out back wash. Finally,back wash was ended and the controller automatically switched to run.The proposed detection method is simple and reliable,do not require manometer,switches precisely and decreases the switch number of back washing,assures the stability of intermediate product water quality,the life time of equipments and saves energy and water.The controller was consisted of a single chip Micyoco and a software mathematic model was built.
关键词:high flux water filters;time backwashing;automatic backwashing;difference pressure backwashing;constant volume backwashing
摘要:Aim at the inconsistency between precision and computing complication because of using traditional Hausdorff Distance (HD) in medical image registration,we proposed a new Revised HD measure which introduces non-linear Bayesian consistency criterion function for the first time to get the higher registration precision and the strong ability to reject noise.The experimental results demonstrate that the proposed algorithm overcomes the registration faults which were brought by the isolated nodes and the noise using traditional HD and good registration performances are obtained.
CHEN Fu-ji, LAI Xin-quan, LI Yu-shan, LI Xian-rui, LI Yan-ming
Vol. 36, Issue 11, Pages: 2251-2255(2008)
摘要:A bandgap reference circuit based on switched capacitor is presented in this paper.It uses cleverly equivalent resistor of capacitor and switch to reach a low quiescent current and a well temperature coefficient.And the technology of auto-zero is used to overcome the offset disadvantage of linear reference and cancel the offset voltage of amplifier.So the offset precision of output voltage can be improved.The circuit was designed and implemented in 0.5 μ m CMOS technology.The temperature coefficient is around 29ppm/℃,while the reference voltage variation is only 0.4mv with a 20mv input offset voltage.
摘要:We put forward a utility algorithm on fairness metrics for EPON.By building an ACK compression and decompression mechanism based on ACK-specialized packet,we reduce the ACK interference of upstream ONU on downstream ones,the fairness between ONUs is not only ensured,but also the bandwidth efficiency is increased.By presenting a utility classifier,we improve the fairness among parallel user traffics while keeping the expansibility of priority mechanism.By introducing a delay-fairness scheduling mechanism,we reduce the delay unfairness among a ONU priorities when the bandwidth is not reduced.
关键词:ethernet-based passive optical network (EPON);transport control protocol(TCP);fairness;service level agreement(SLA)
XIE Hong-bo, WU Yuan-cheng, LIU Yi-jing, ZHOU Ming-tian
Vol. 36, Issue 11, Pages: 2262-2267(2008)
摘要:In the current study on the formal analysis of security protocols,it is desiderated to formally define more security properties and to build a uniform framework to analysis and verify them.In this paper,a unified formal method for defining the security property is presented.The knowledge derivation is used to overcome the inherent limitation in the process calculus for the lack of data structures.Based on this,a generic combined model is proposed for the formal analysis of security protocols,which can be used as a unified framework.The validity of this model is proved by a case study.Some future directions are also pointed out.
MENG Qing-hao, LAN Shao-ying, YAO Zhen-jing, LI Gen-wang
Vol. 36, Issue 11, Pages: 2268-2273(2008)
摘要:The crosstalk between transducers can seriously restrict the accuracy of ultrasonic ranging system.To eliminate ultrasonic crosstalk,the Chaotic Pulse Position Modulation(CPPM)is used to construct the short triggering sequence for each ultrasonic transducer.The correlation analysis is applied to identify the echo sequence.The crosstalk sources are analyzed.The relation between pulse’s duty cycle and energy of harmonic components are deduced.To obtain the optimal correlation performance,the genetic algorithm is adopted to optimize the duration between pulses modulated by Logistic chaotic mapping.The proposed method is validated on a DC-DC fired electrostatic ultrasonic ranging system.The results demonstrate that the CPPM can be used to eliminate the crosstalk of the real-time ultrasonic ranging system provided that the duration between pulses is adjusted properly.
关键词:ultrasonic transducer;ultrasonic crosstalk;chaotic pulse position modulation;correlation analysis