最新刊期

    36 11 2008
    • Fast Algorithms for 4-qubit Reversible Logic Circuits Synthesis

      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.  
      关键词:4-qubit;reversible logic synthesis;shortest coding;topological compression;quantum computing   
      2
      |
      1500
      |
      12
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114878830 false
      更新时间:2025-07-16
    • ZHANG Xiong-ming, LU Huan-zhang, CHENG Li-zhi
      Vol. 36, Issue 11, Pages: 2090-2095(2008)
      摘要: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.  
      关键词:multi-channel filterbank;generic tree-structured multi-channel filterbank;memory scalability   
      2
      |
      632
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114874716 false
      更新时间:2025-07-16
    • LI Ken-li, ZHOU Xu, XU Jin
      Vol. 36, Issue 11, Pages: 2096-2101(2008)
      摘要: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   
      4
      |
      1268
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 116364116 false
      更新时间:2025-07-16
    • Real-Time Concurrency Control Protocol of Guaranteeing Temporal Consistency

      XIAO Ying-yuan, LIU Yun-sheng
      Vol. 36, Issue 11, Pages: 2102-2106(2008)
      摘要: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   
      2
      |
      1068
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114874505 false
      更新时间:2025-07-16
    • ZHOU Hong-wei, ZHANG Min-xuan
      Vol. 36, Issue 11, Pages: 2107-2112(2008)
      摘要: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.  
      关键词:instruction;cache;power;architecture   
      2
      |
      1213
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114874186 false
      更新时间:2025-07-16
    • LUO Yan-hong, ZHANG Hua-guang, ZHANG Qin-ling
      Vol. 36, Issue 11, Pages: 2113-2119(2008)
      摘要: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.  
      关键词:dead-zone;compensator;Lyapunov theory;uniform ultimate boundedness   
      2
      |
      1054
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114873435 false
      更新时间:2025-07-16
    • MA Wei, ZHU Qing-bao
      Vol. 36, Issue 11, Pages: 2120-2124(2008)
      摘要: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   
      2
      |
      677
      |
      18
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114878500 false
      更新时间:2025-07-16
    • Generating All Pseudo-Intents with Minimal Generators of Formal Concept

      YANG Bin, XU Bao-wen, XU Lei
      Vol. 36, Issue 11, Pages: 2125-2131(2008)
      摘要: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.  
      关键词:formal concept analysis;pseudo-intent;concept Intent;minimal generator   
      2
      |
      697
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114879185 false
      更新时间:2025-07-16
    • A Model of Cerebellum for Control of Human Upright Balance

      ZHANG Shao-bai, RUAN Xiao-gang, CHENG Xie-feng, FENG Zhi-quan
      Vol. 36, Issue 11, Pages: 2132-2138(2008)
      摘要: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.  
      关键词:cerebellar model;upright balance;realistic balance control;simulation   
      2
      |
      679
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114876986 false
      更新时间:2025-07-16
    • 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).  
      关键词:electron backscatter diffraction (EBSD);micro-sized stress;GaN epitaxial layer   
      5
      |
      1311
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114877699 false
      更新时间:2025-07-16
    • Resisting Sybil Attacks with Cards-Shuffling Scheme

      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.  
      关键词:Sybil attack;cards-shuffling scheme;peer-to-peer network;distributed hash table (DHT)   
      2
      |
      817
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114876753 false
      更新时间:2025-07-16
    • QU Hui-ming, CHEN Qian
      Vol. 36, Issue 11, Pages: 2150-2153(2008)
      摘要: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.  
      关键词:infrared imaging;infrared focal panel arrays (IRFPA);nonuniformity model;binary nonlinear   
      2
      |
      1442
      |
      10
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114878047 false
      更新时间:2025-07-16
    • LI Bo, YAO Chun-lian, LI Wei, ZHENG Jin
      Vol. 36, Issue 11, Pages: 2154-2159(2008)
      摘要: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.  
      关键词:motion object;background maintenance;video surveillance;threshold   
      4
      |
      793
      |
      7
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114878241 false
      更新时间:2025-07-16
    • 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.  
      关键词:vector curve data;reversible compression;minimum error margin;self-adaptation;mathematic expression   
      2
      |
      683
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114873953 false
      更新时间:2025-07-16
    • AI Ling-mei, WANG Jue
      Vol. 36, Issue 11, Pages: 2165-2170(2008)
      摘要: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.  
      关键词:tremor recognition;bispectrum;diagonal slices;support vector machine   
      2
      |
      1189
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114877554 false
      更新时间:2025-07-16
    • QI Xing-yun, DOU Qiang, CHEN Yong-ran, QIAN Yue, YANG Wei, DOU Wen-hua
      Vol. 36, Issue 11, Pages: 2171-2177(2008)
      摘要: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.  
      关键词:optical interconnect networks;bufferless;livelock freedom routing;deadlock freedom routing;network performance   
      2
      |
      979
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114876554 false
      更新时间:2025-07-16
    • WANG Xiao-min, HE Ji-zhou, WANG Jian-hui
      Vol. 36, Issue 11, Pages: 2178-2182(2008)
      摘要: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   
      2
      |
      639
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114874918 false
      更新时间:2025-07-16
    • QIU Ying, ZHONG Chong-quan
      Vol. 36, Issue 11, Pages: 2183-2189(2008)
      摘要: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   
      2
      |
      2236
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114879385 false
      更新时间:2025-07-16
    • LI Jun, WANG Guo-jun
      Vol. 36, Issue 11, Pages: 2190-2194(2008)
      摘要: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   
      1
      |
      646
      |
      8
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114876075 false
      更新时间:2025-07-16
    • ZHAO Ji-yin, XU Yan-lei, JIAO Yu-bin
      Vol. 36, Issue 11, Pages: 2195-2199(2008)
      摘要: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.  
      关键词:image edge detection;order morphology transform;structure element;fast arithmetic   
      2
      |
      1303
      |
      11
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114882290 false
      更新时间:2025-07-16
    • Precisely Detecting Buffer Overflow Vulnerabilities

      WANG Lei, LI Ji, LI Bo-yang
      Vol. 36, Issue 11, Pages: 2200-2204(2008)
      摘要: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.  
      关键词:buffer overflow;security vulnerabilities;model checking;static analysis   
      2
      |
      1774
      |
      3
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114875644 false
      更新时间:2025-07-16
    • A Noninterference Model Based on Actions for Nondeterministic Systems

      SI Tian-ge, TAN Zhi-yong, LIU Duo, DAI Yi-qi
      Vol. 36, Issue 11, Pages: 2205-2209(2008)
      摘要: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   
      2
      |
      903
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114875870 false
      更新时间:2025-07-16
    • 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.  
      关键词:artificial immunity;danger theory;dendritic cells;differentiation model;signal fusion   
      4
      |
      1204
      |
      5
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114879520 false
      更新时间:2025-07-16
    • 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.  
      关键词:Cohen-Grossberg neural networks;time varying delay;robust stability;linear matrix inequality (LMI)   
      2
      |
      875
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114882000 false
      更新时间:2025-07-16
    • LI Zuo-yong, WANG Jia-yang, GUO Chun
      Vol. 36, Issue 11, Pages: 2224-2228(2008)
      摘要: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.  
      关键词:BP network;particle swarm optimization;optimization;weight adjustment;simulation   
      3
      |
      2331
      |
      26
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114878663 false
      更新时间:2025-07-16
    • LIU Bai-long, ZHANG Ru-bo, SHI Chang-ting
      Vol. 36, Issue 11, Pages: 2229-2233(2008)
      摘要: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.  
      关键词:swarm intelligence;clustering;annular sorting behavior;stability analysis   
      2
      |
      634
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114881831 false
      更新时间:2025-07-16
    • LAI Ming-che, WANG Zhi-ying, DAI Kui, GAO Lei
      Vol. 36, Issue 11, Pages: 2234-2238(2008)
      摘要: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%.  
      关键词:code compression;compression ratio;transfer triggered architecture;simulator   
      2
      |
      473
      |
      3
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114876281 false
      更新时间:2025-07-16
    • 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   
      2
      |
      817
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 116364289 false
      更新时间:2025-07-16
    • WEN Rui-mei
      Vol. 36, Issue 11, Pages: 2243-2246(2008)
      摘要: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   
      2
      |
      887
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114881736 false
      更新时间:2025-07-16
    • A Medical Image Registration Algorithm Based on Revised Hausdorff Distance

      WANG An-na, ZHANG Xin-hua, GU Zhao-wei, PAN Bo
      Vol. 36, Issue 11, Pages: 2247-2250(2008)
      摘要: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.  
      关键词:image registration;HD measure;Bayesian consistency criterion   
      3
      |
      676
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114881571 false
      更新时间:2025-07-16
    • A Switching Bandgap Voltage Reference Circuit with Offset Cancellation

      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.  
      关键词:bandgap reference;switched capacitor;auto-zero;offset cancellation   
      3
      |
      1486
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114880919 false
      更新时间:2025-07-16
    • An Fair and Efficient TCP Performance Adjustment Mechanism for EPON

      ZHANG Jin-yu, LIU Li, LIANG Man-gui
      Vol. 36, Issue 11, Pages: 2256-2261(2008)
      摘要: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)   
      2
      |
      753
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114881259 false
      更新时间:2025-07-16
    • A Study on the Combined Analysis Model of Security Protocols

      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.  
        
      2
      |
      680
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114879732 false
      更新时间:2025-07-16
    • 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   
      4
      |
      758
      |
      8
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 114875224 false
      更新时间:2025-07-16
    0