最新刊期

    40 5 2012
    • A Minimal Boundary Thermal Analysis Method for Stacked 3D IC

      YU Hui, WU Hao, CHEN Geng-sheng, TONG Jia-rong
      Vol. 40, Issue 5, Pages: 865-870(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.001
      摘要:Current thermal analysis tools can only efficiently handle 3D integrated circuits with simple structure.To deal with more complicated stacked 3D integrated circuits,more complex,and error-prone boundary conditions need to be set up.In this paper,we propose simple,yet efficient method,called minimal boundary method, to handle the complicated boundary conditions by transforming the 3D stacked structure to a structure with simple boundary (thus for easy boundary condition set up).To boost the thermal analysis via iterative conjugate gradient method,we construct a novel preconditioner,which consists of the thermal conductor matrices of the building blocks of the stacked 3D structure as its diagonal blocks.Experimental results show that by using finite element method along with the proposed minimal boundary pre-processing,we can obtain accurate thermal analysis results.The proposed preconditioner can reduce the 90% iterations in the conjugate gradient method.  
      关键词:thermal analysis;the finite element method;3D IC;the minimal boundary   
      2
      |
      2
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714231 false
      更新时间:2025-07-16
    • Secure Multi-Party Comparing Protocol and Its Applications

      LIU Wen, WANG Yong-bin
      Vol. 40, Issue 5, Pages: 871-876(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.002
      摘要:The secure multi-party comparing problem is generalized from the millionaires'problem,which is used to get whether the multi-party's secret inputs are all equal and if not,the number of users whose inputs are same as an indicated user's.Based on the F function and semantic addition homomorphic encryption,a protocol of secure multi-party comparing is proposed.The correctness,security and efficiency of the protocol are analyzed.This protocol can be used in many aspects of secure multi-party computation.  
      关键词:secure multi-party computation;secure multi-party comparing problem;addition homomorphic encryption   
      2
      |
      2
      |
      16
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713241 false
      更新时间:2025-07-16
    • Compact Multi-Coupon Schemes with Concurrent Security

      LIU Xin, XU Qiu-liang
      Vol. 40, Issue 5, Pages: 877-882(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.003
      摘要:The disadvantage of previous multi-coupon schemes is the lack of efficient protocol in which users can decide the maximal number of redemption according to their demands.And another deficiency is that they cannot remain secure in the concurrent case.This article remedied these obstacles by providing two improved systems with concurrent security.The first scheme was obtained by extending the underlying scheme of Blanton with the proof of two committed values and the Sigma-compiler for two round concurrent zero-knowledge argument.The second scheme (i.e.,the strengthened version of the first one) achieved more efficient security reduction by incorporating the straight-line extraction paradigm and removed random oracles by using the non-interactive zero-knowledge argument from homomorphic encryption.Compared with the other strongly unsplittable schemes,the first scheme has better communicational efficiency and the second one does not rely on the random oracle model.  
      关键词:e-cash;multi-coupon;non-interactive zero-knowledge;concurrent security;the registered public-key model   
      2
      |
      2
      |
      1
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714163 false
      更新时间:2025-07-16
    • A Personalized Privacy Anonymous Method Based on Inverse Clustering

      WANG Bo, YANG Jing
      Vol. 40, Issue 5, Pages: 883-890(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.004
      摘要:For achieving the different privacy preservation requirements of each individual,this paper presents a personalized extension l-diversity privacy anonymous model orienting individuals.This model proposes an extension l-diversity principle based on the traditional l-diversity,and realizes the requirement of personalized protection of relationship between individual and sensitive value by setting up guarding attributes on sensitive attributes.In the meantime,this paper also proposes a personalized extension l-diversity inverse clustering algorithm (PELI-clustering) to implement the privacy anonymous model presented in this paper.The experiments show that the proposed algorithm in this paper not only meets the requirements of personalized service,but also produces similar information loss to the traditional clustering-based l-diversity algorithm with less time cost,which achieves more effective privacy preservation.  
      关键词:privacy anonymity;personalized;inverse clustering;l-diversity;guarding attribute   
      2
      |
      2
      |
      18
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714004 false
      更新时间:2025-07-16
    • A Software Watermarking Algorithm Based on Threads Relation

      XU Jin-chao, ZENG Guo-sun
      Vol. 40, Issue 5, Pages: 891-896(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.005
      摘要:The existed thread-based software watermarking algorithm can only hide a small amount of information and have low efficiency.Aimed to this status,this paper proposes a new software watermarking algorithm based on the relationship between threads.The main idea is to control the interactive relationship between threads which hides software watermarking by modifying the program's source code.This paper gives a formal definition of the concepts such as relation and relation matrix,and a detailed description of the software watermark embedding and extraction process.We also analyze the date rate and fidelity of the algorithm.Various kinds of attacks used in the experiment,results indicate this algorithm has high resistance.  
      关键词:digital copyright;dynamic software watermarking;threads relation;watermarking algorithm   
      2
      |
      3
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713573 false
      更新时间:2025-07-16
    • DU Zhen-bin, SONG Yi-bin
      Vol. 40, Issue 5, Pages: 897-900(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.006
      摘要:A fuzzy approximation-based adaptive tracking control scheme is proposed for a class of multiinput-multioutput (MIMO) nonlinear systems with multiple time delays.Fuzzy T-S model-based adaptive time-delay fuzzy logic systems are developed to approximate the unknown nonlinear time delay functions.Thus,the modeling to nonlinear systems is implemented.The update laws for parameters of the fuzzy logic systems are derived by the tracking error.H compensator is designed to eliminate fuzzy approximation errors and external disturbances.Based on Lyapunov stability theorem,the proposed control scheme can guarantee the stability of the closed loop systems and obtain anticipant H tracking performance as well.Simulation results of the manipulator demonstrate the effectiveness of the control scheme.  
      关键词:multiinput-multioutput (MIMO);nonlinear systems;time delays;fuzzy logic systems;tracking control   
      3
      |
      3
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715676 false
      更新时间:2025-07-16
    • WANG Gai-ge, GUO Li-hong, DUAN Hong, LIU Luo, WANG He-qi
      Vol. 40, Issue 5, Pages: 901-906(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.007
      摘要:Target threat assessment is the key issue in the collaborative multi-target attack.To improve the accuracy and usefulness of target threat assessment in the aerial combat,a target threat assessment model and algorithm based on Elman-AdaBoost strong predictor is proposed.Firstly,Elman-AdaBoost strong predictor is introduced;secondly,a target threat assessment model based on Elman-AdaBoost strong predictor is established;at last,an algorithm is described.There are 75 data sets culled for the simulation experiments,in which 60 sets are considered as training set,and the other 15 are testing sets.The number of hidden layer nodes of Elman network and weak predictors is selected L=7,11,14,18 and K=6,10,16,20 respectively for experiment and results show that,the prediction error for Elman-AdaBoost strong predictor algorithm is much smaller than the weak predictor and the error reaches the minimum when L=7 and K=6.The model and algorithm have good predictive ability,so it can quickly and accurately complete target threat assessment.  
      关键词:target threat assessment;model;algorithm;Elman-adaptive boosting   
      2
      |
      2
      |
      18
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714100 false
      更新时间:2025-07-16
    • FDOA Location Algorithm for Fixed Emitter with Moving Observer

      LIU Cong-feng, YANG Jie, WANG Feng-shuai
      Vol. 40, Issue 5, Pages: 907-910(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.008
      摘要:Based on the FDOA (frequency difference of arrival) location of the radiative source using moving observations,an FDOA location algorithm which solves the location of the target directly is proposed,which overcomes the difficulty in solving FDOA location algorithm.The proposed algorithm utilizes the polar coordinates to express the target coordinate relative to reference station,the algorithm uses the form of the FDOA location equation with skill,firstly,calculates the azimuth of the target,and then solves the radial range between the target and reference station,finally the equation with which the accurate location of the target can be determined directly is obtained.In this paper,an elaborate analysis of the algorithm is given,the ambiguity of azimuth and radial range as well as the solving method are discussed,simultaneously,simulation analysis shows that the theoretical analysis is correct,which provides the application of FDOA location algorithm with theoretical basis.  
      关键词:passive location;FDOA location;direct solution;GDOP analysis   
      2
      |
      3
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714280 false
      更新时间:2025-07-16
    • CHEN Hui-zhong, CHEN Yong-guang, JING Ning, CHEN Luo, WANG Jun
      Vol. 40, Issue 5, Pages: 911-919(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.009
      摘要:A feature descriptor called LIBFS is proposed for lunar remote sensing images based on the saliency regions and a parallel LIBFS generating algorithm is proposed facing the multi-cores processor architecture.The algorithm considers the location,scale,strength and distance relationship among different saliency regions in a lunar image.Several local LIBFS features are generated to describe the content of the image together.Theoretical analysis and experiments show that the LIBFS works well in invariance and similarity presentation,and the feature generating algorithm is of high parallel efficiency.  
      关键词:lunar remote sensing image;content-based image retrieval (CBIR);image feature   
      2
      |
      2
      |
      3
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715765 false
      更新时间:2025-07-16
    • LIAN Qiu-sheng, ZHANG Wei
      Vol. 40, Issue 5, Pages: 920-925(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.010
      摘要:At present,super-resolution algorithms based on sparse representation of image patches exploit single dictionary to represent the image patches,which can not reflect the differences of various image patches types.In this paper,a novel method based on sparse representation of classified image patches is proposed to overcome this disadvantage.In this method,image patches are firstly divided into smooth patches,different directional edge patches and irregular structure patches by local features.Then these classified patches are applied into training the corresponding high and low resolution dictionary pairs.During the reconstruction process,simple bicubic interpolation approach is used for smooth patches while edge and irregular structure patches are reconstructed from their corresponding dictionary pairs using orthogonal matching pursuit algorithm.Experiment results show that the proposed algorithm significantly improves the visual quality of the edges and has faster speed compared with other single dictionary methods.  
      关键词:super-resolution;sparse representation;patch classification;orthogonal matching pursuit   
      3
      |
      4
      |
      29
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714878 false
      更新时间:2025-07-16
    • ZHOU Jian-xiong, SHI Zhi-guang, HU Lei, FU Qiang
      Vol. 40, Issue 5, Pages: 926-934(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.011
      摘要:The high range resolution profiles (HRRP) of radar targets are always sparse and compressible,so it is possible to obtain the wideband scattering data by sparse and non-uniform samplings in the frequency domain and reconstruct the HRRPs by proper signal processing methods.This paper describes the mathematical model of one dimensional (1D) radar imaging,compares the imaging performance between sparse non-uniform samplings and uniform samplings from the aspect of parameter estimation,and proposes a scheme to select the non-uniform samplings with better imaging performance.Moreover,we apply both the parameter estimation method and the sparse reconstruction method to realize 1D imaging based on sparse and non-uniform frequency samplings.The anechoic chamber data are used to compare the performances of the two methods and to verify the advantages of the sparse and non-uniform frequency sampling scheme in reducing data amount and increasing range resolution.  
      关键词:radar targets;range profile;sparse microwave imaging;non-uniform sampling   
      2
      |
      4
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715444 false
      更新时间:2025-07-16
    • A New Fast Automatic Mosaic Method on Unmanned Aerial Vehicle Images

      LI Yan-shan, PEI Ji-hong, XIE Wei-xin, LI Liang-qun
      Vol. 40, Issue 5, Pages: 935-940(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.012
      摘要:The adjacent frames of the unmanned aerial vehicle images contain much overlap areas.These areas are the basis of the image mosaic,but also decrease the efficient of the mosaic.This paper proposed a fast and stable automatic mosaic method on unmanned aerial vehicle images.A new mosaic-oriented frame selection method by using the feature points which were found in the process of the mosaic to select the most feasible frames for mosaic was proposed; based on analysis of the movement model of the overlap areas in the images,a Kalman filter for predicting the search area of feature points was proposed to reduce the time-cost in the process of searching and matching features.And then,the detail steps of the algorithm were presented.The experimental results showed that the proposed algorithm can finish the seamless image mosaic with low time-cost.  
      关键词:unmanned aerial vehicle images;automatic mosaic;Kalman filter   
      2
      |
      3
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715284 false
      更新时间:2025-07-16
    • CHEN Li, WANG Zhong-xu, WANG Bo
      Vol. 40, Issue 5, Pages: 941-948(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.013
      摘要:A key step of filter design for optic-electric tracking system with intermittent observations is to design residual test algorithm,and test probability of residual test algorithm influence estimate performance of tracking filter directly.A new residual test algorithm based on posterior confidence is presented in order to improve test probability of traditional residual test algorithm.The new algorithm firstly adds a test threshold based on traditional residual test algorithm,and then the residuals between the two thresholds can be fuzzed by means of fuzzy membership function and the likelihood probability of residuals can be obtained,and combined with the prior detection information,the posterior confidence of detection data can be calculated.Therefore the detection situation of tracking system can be determined based on the calculated posterior confidence.Moreover,with intermittent observations,a target tracking filter of unbiased converted measurement is designed based on the proposed residual test algorithm,and the Cramer-Rao low bounds (CRLB) of tracking system is also presented under the statistic significance.Monte-Carlo simulation results show that,with intermittent observations,the estimate performance of the designed target tracking filter can be significantly improved compared with that of traditional ones,when detection probability of tracking system is low,and the Root Mean Square of estimate Error (RMSE) of the designed tracking filter is close to the average of CRLB of the tracking system.  
      关键词:optic-electric tracking systems;intermittent observations;residual test;posterior confidence;Cramer-Rao low bounds   
      2
      |
      4
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715621 false
      更新时间:2025-07-16
    • A Modified Parallel Wrapper Cell for Hierarchical SOCs Test

      DENG Li-bao, QIAO Li-yan, YU Yang, PENG Xi-yuan
      Vol. 40, Issue 5, Pages: 949-954(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.014
      摘要:Test wrapper,which to make IP cores in SOC measurable and controllable,is the key architecture,and its important part is wrapper cell. Traditional test wrapper has many shortcomings,such as parallel test,test secure and test power,when used in hierarchical SOCs. This paper presented a modified test wrapper design for embedded IP cores,which only inserted a CMOS transmission gate to the test wrapper cell to eliminate the precarious effect to IP cores,to make the IP cores dormancy. Experiments on an industry hierarchical SOCs show that the proposed test wrapper cell not only takes less area overhead and time delay,but also make test parallel,secure and fully,thus decreases the dynamic test power during scan shifting.  
      关键词:hierarchical SOCs;wrapper cell;parallel test;low power   
      2
      |
      2
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715367 false
      更新时间:2025-07-16
    • PCNN Model Automatic Parameters Determination and Its Modified Model

      DENG Xiang-yu, MA Yi-de
      Vol. 40, Issue 5, Pages: 955-964(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.015
      摘要:Pulse Coupled Neural Network (PCNN) model has been widely used in digital image processing,but most of the study and the improvement of the model are based on the external characteristic of PCNN,ignoring the shortage resulted from the discretization of the neuron firing time.For both the non-linking PCNN and coupled linking PCNN,this paper analyzed the firing mechanism of neurons from the point of PCNN iterative equations,and the modified formulas of the neuron firing time are proposed.The phenomenon that the mathematics coupled characteristic of model itself has an overwritten effect on its biological characteristics is revealed.On that basis,the method of eliminating the mathematics coupled characteristic is proposed and the automatic parameters determination of PCNN is implemented.Then,a new modified PCNN model is proposed,and it is used in image segmentation and a good result is obtained.  
      关键词:neuron firing mechanism;mathematics coupled characteristic;parameter adaptive determination;PCNN modified model   
      2
      |
      2
      |
      13
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715838 false
      更新时间:2025-07-16
    • LV Shi-lei, YU Shun-zheng
      Vol. 40, Issue 5, Pages: 965-970(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.016
      摘要:The elimination of redundant readers is a significant approach to optimize the performance of large-scale RFID systems.In this paper,an algorithm for redundant reader elimination (MRRE) is presented,which is based on the architecture of EPC network.The MRRE eliminates redundant readers using the tag information in the RFID middleware,without the "write-to-tag" operations.Simulation results reveal that,compared with the LEO+RRE,the MRRE can improve the detection rate of redundant readers by 6.27%~20.80% while the processed quantity of labels in RFID systems can be decreased by 4.50%~35.73%.Moreover,it can enhance the deployment rationality of RFID systems.  
      关键词:radio frequency identification (RFID);middleware;redundant readers   
      2
      |
      3
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713328 false
      更新时间:2025-07-16
    • WANG Wei, ZHANG Huan, FANG Fang, CHEN Tian, LIU Jun, LI Xin, ZOU Yi-wen
      Vol. 40, Issue 5, Pages: 971-976(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.017
      摘要:Three-dimensional (3D) chip is structured by vertically stacked multi-planar device layers,which is used by TSVs (Through Silicon Vias) for vertical interconnection between different layers,so it significantly reduces the wire length and increases chip integration density.However,Series of problems are brought by three-dimensional chips.for example,a single TSV occupies a relatively larger chip area in terms of the present feature size,and the immaturity of the alignment technique of the TSVs also lowers the yield of the chip,so the introduction of too many TSVs will increase the cost of chip manufacturing and testing.Vertical stacking makes the chip integration density and the power density in the same area increase a lot simultaneously,resulting heat doubles.For these problems,we propose a collaborative considered TSV and Thermal Floorplanning (2TF) algorithm,that the device power,interconnect power and the number of TSVs are simultaneously considered.The experimental results on the MCNC benchmark circuits have shown that the number of TSVs and the peak temperature of the chip have a greater improvement.  
      关键词:three-dimensional chip;floorplaning;through silicon via;thermal;interconnect power   
      2
      |
      2
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715509 false
      更新时间:2025-07-16
    • WANG Xiao-lin, GUO Bo, CHENG Zhi-jun
      Vol. 40, Issue 5, Pages: 977-982(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.018
      摘要:With respect to Wiener process-degradation products,a method which fused prior degradation information,life data information and current degradation data was proposed to assess their reliability.Firstly, on the basis of the prior degradation information and the life data information,parameters'prior distributions were established by EM method;secondly,by using Bayesian method,prior distributions could be updated to posterior distributions;then the reliability was evaluated based on the posterior distributions.The proposed method can update the reliability evaluation results whenever new degradation data is available,so it is suitable for real-time reliability assessment.Finally,the validity and practical value of this method is verified by an example,relating to reliability assessment of the metallized film capacitor.  
      关键词:real-time reliability assessment;Wiener process;expectation-maximization(EM) algorithm;Bayesian method;metallized film capacitor   
      2
      |
      2
      |
      17
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714610 false
      更新时间:2025-07-16
    • YAO Lei, CAI Jue-ping, LI Zan, ZHANG Hai-lin, WANG Shao-Li
      Vol. 40, Issue 5, Pages: 983-989(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.019
      摘要:To solve fault-tolerant problem in 2D-Mesh Network-on-Chip (NoC) with more than one fault node,a novel fault-tolerant routing algorithm without virtual channels is proposed on the basis of Zhang's algorithm.The algorithm use Built-in Self Test (BIST) mechanism to get fault nodes'location information.Then,by optimizing the fault-tolerant strategy,the traffic loads on the boundaries of fault region can be balanced and the transmission distance of the packets routing around the faults is shortened.Simulation results in 8×8 2D-Mesh NoC show that,as the change of fault block in position,the proposed algorithm can improve network injection rate by 1.2% to 4.8% compared to Chen's algorithm when the fault region is 2×2,network latency is 70 cycles.Moreover,with the increase in area of the fault region,proposed algorithm provides a better performance in reducing communication latency and increasing network throughput.  
      关键词:fault tolerance;network-on-chip(NoC);virtual channels;built-in self test(BIST)   
      3
      |
      2
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714999 false
      更新时间:2025-07-16
    • Adaptive Range-Spread Target Detectors for Compound-Gaussian Clutter

      JIAN Tao, SU Feng, HE You, PING Dian-fa, GU Xue-feng
      Vol. 40, Issue 5, Pages: 990-994(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.020
      摘要:Adaptive detection of range-spread target is addressed in compound-Gaussian clutter.Based on the secondary data,the adaptive modified scatterer density dependent (AMSDD) detector and the adaptive-dynamic-threshold (ADT) detector are designed,with the sample covariance matrix (SCM) or the recursive estimation (RE) matrix.The theoretical analyses of constant false alarm rate (CFAR) show that,the SCM-based detectors only hold the adaptiveness to the clutter covariance matrix structure (CCMS),while the RE-based detectors can ensure CFAR to both of CCMS and texture components.The performance assessment shows that,as for AMSDD and ADT,the RE-based detectors outperform the SCM-based ones,in terms of CFAR properties and detection performance.Moreover,the ADT based on RE performs robustly in the mismatch cases of the expected number of scatterers.  
      关键词:compound-Gaussian;adaptive detection;range-spread target;sample covariance matrix;covariance matrix estimate   
      2
      |
      2
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715102 false
      更新时间:2025-07-16
    • Heyting System and Its Representation by H-Spatilization

      WU Hong-bo, SHI Hui-jun
      Vol. 40, Issue 5, Pages: 995-999(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.021
      摘要:Steven Vickers has proposed the topological system in his work "Topology via Logic" by synthesizing the methods of topology and the theory of logics,which also is applied to study of computers theory.Firstly,with the help of the idea of topological systems and the properties enjoyed by Frame structure and Heyting algebras,the new algebras system-Heyting system is put forward that takes the Heyting algebras as its principal body;Secondly, the suitable method of H-continuous mapping connecting Heyting systems is established;Thirdly,the representation of H-spatialization of a Heyting system is given,and related properties are investigated.The research methods of Heyting algebras and the research contents of topological system are enriched with the work of this paper.  
      关键词:topological system;heyting system;H-continuous mapping;H-spatialization;category   
      2
      |
      2
      |
      14
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714469 false
      更新时间:2025-07-16
    • Local-World Weighted Topology Evolving Model for Wireless Sensor Networks

      ZHANG De-gan, DAI Wen-bo, NIU Qing-xiao
      Vol. 40, Issue 5, Pages: 1000-1004(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.022
      摘要:Many real networks included Wireless Sensor Networks (WSN) can be considered as scale-free weighted networks which reflect their existing forms and dynamic characteristics.Based on local-world theory,we propose an uneven clustering weighted evolving model of WSN in this paper.The definitions of edge weight and vertex strength take sensor energy,communication traffic and distance into consideration.Vertex strength drives the growth of topology and edge weight dynamically changes correspondingly.Experimental results demonstrate that WSN topology we obtain has the property of weighted networks:edge weight,vertex degree and strength follow a power law distribution.Related research work show that weighted WSN not only share the robustness and fault tolerance of weight-free networks,but also reduce the happening probability of successive node-breakdown,furthermore,enhance the synchronization of WSN.  
      关键词:wireless sensor networks;weighted networks;local world;dynamic evolving   
      2
      |
      2
      |
      13
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713701 false
      更新时间:2025-07-16
    • 3D Mesh Merging and Stitching with Large Overlaps

      ZOU Bei-ji, ZHOU Hao-yu, WANG Lei, LIANG Yi-xiong
      Vol. 40, Issue 5, Pages: 1005-1010(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.023
      摘要:Via merging vertices in the overlapping regions,mesh stitching with large overlaps was achieved to avoid the filling-hole operations and small triangles produced by clipping edges.Firstly,the overlapping regions were detected by oriented bounding box.With the method of moving least squares,the vertices in the overlapping regions were smoothed in order to reduce the noise produced by inaccurate alignment.Then,we merged the vertices with distance less than given tolerance and triangulated the remaining vertices with the constraint of common boundary edges.The final mesh was created by stitching the several meshes via the common boundary edges.Experiments show that this method can create merged mesh with good quality and the performance is acceptable in practice.  
      关键词:mesh stitching;mesh optimization;mesh reconstruction;moving least squares;oriented bounding box   
      3
      |
      4
      |
      4
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714364 false
      更新时间:2025-07-16
    • ZHANG Yan, GONG Dun-wei
      Vol. 40, Issue 5, Pages: 1011-1016(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.024
      摘要:A method of evolutionarily generating test data for path coverage based on automatic reduction of search space is presented in this study.First,the relation between the target path and the input variable is determined,and the divisible target path is divided into some sub-paths related to several elements of the input variable.Then,the elements corresponding to the traversed sub-path are fixed,and the range of crossover and mutation operations is reduced,therefore the original population searches for test data in a reduced space so that the efficiency of generating test data is improved.Finally,the proposed method is applied to generate test data for covering paths of a benchmark program,and compared with the traditional and random ones.The experimental results confirm that the proposed method is advantageous in the number of generations,time consumption and success rate.  
      关键词:software testing;path coverage;test data;genetic algorithms;space reduction   
      2
      |
      2
      |
      17
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713793 false
      更新时间:2025-07-16
    • NAN Guo-fang, CHEN Zhong-nan
      Vol. 40, Issue 5, Pages: 1017-1022(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.025
      摘要:Optimal deployment of sensor nodes in mobile sensor networks directly influences energy consumption of the network,surveillance ability of the monitoring area and network lifetime.The deployment problem is modeled as a multi-objective optimization model in terms of network coverage and energy consumption,a genetic algorithm based solution for sensor deployment is then proposed in a centralized manner.We evaluate our approach by applying it to a certain kind of initially central deployment model,and compare its performance with that of Vector based algorithm,Voronoi based algorithm and Boundary expansion with virtual force algorithm,and the simulation results show that the proposed algorithm achieves the maximum coverage,while guarantees network connectivity and the minimum energy consumption,which thereby prolongs the network lifetime.  
      关键词:sensor deployment;network coverage;multi-objective optimization;genetic algorithm   
      2
      |
      2
      |
      8
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714665 false
      更新时间:2025-07-16
    • IoT Technology and Application

      QIAN Zhi-hong, WANG Yi-jun
      Vol. 40, Issue 5, Pages: 1023-1029(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.026
      摘要:Based on analyzing IoT two basic concepts,architecture of IoT is proposed,which includes underlayer network distribution,convergence gateway access,inter-connected network integration and terminal user application.In the architecture,a protocol structure of IoT is given,which consists of network protocol layers,network control platform and application terminal platform,and the key technologies for IoT have been discussed concerning hardware and software.Six development conceptions of future IoT have been presented based on summarizing the existing problems of IoT in standards,technologies,security and application.  
      关键词:Internet of Things (IoT);architecture of IoT;protocol structure;development conception   
      13
      |
      2
      |
      63
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713931 false
      更新时间:2025-07-16
    • BIST Scheme of Parallel Folding Counters

      LIANG Hua-guo, LI Xin, CHEN Tian, WANG Wei, YI Mao-xiang
      Vol. 40, Issue 5, Pages: 1030-1033(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.027
      摘要:A new architecture of parallel folding counters is presented and a preferred BIST scheme of multiple scan chains is advised.Compared to international similar approaches,the proposed scheme needs less storage volume and shorter test application time,test application time is only as much as 0.265% of other similar scheme,and is compatible with traditional scan-based design flow.  
      关键词:built-in self-test (BIST);linear feedback shift registers (LFSR);parallel folding counters;multiple scan chains;test data compression   
      2
      |
      2
      |
      3
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713423 false
      更新时间:2025-07-16
    • The Scheme of Symplectic MRTD Using Propagation Technique

      WEI Min, WU Xian-liang, HUANG Zhi-xiang, LIAO Su-yin, WANG Hui
      Vol. 40, Issue 5, Pages: 1034-1038(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.028
      摘要:It is especially important to preserve some characters of the original system while numerical simulating three-dimensional time domain Maxwell's Equations.The Maxwell's equations are written as normal Hamilton equations using functional variation method.We discretize Maxwell's equations in the time direction using sympletic propagation technique and then evaluate the equations in the spatial direction with high-order nature of spatial multi-resolution approximations to construct symplectic Multi-Resolution Time Domain (S-MRTD) scheme.The stability and numerical dispersion analysis are also included.Numerical results are given to show the high efficiency and accuracy of the S-MRTD scheme.  
      关键词:propagation technique;symplectic multi-resolution time domain;stability;numerical dispersion   
      2
      |
      2
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113715185 false
      更新时间:2025-07-16
    • A Novel Design of QAM Whose Modulation Index is not the Nth Power of 2

      CHANG Cheng-wei, LIU Rong-ke, DUAN Rui-feng
      Vol. 40, Issue 5, Pages: 1039-1044(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.029
      摘要:This paper proposed a novel and universal Quadrature Amplitude Modulation (QAM) design whose modulation index is not the integral power of 2;it also realized the QAM modulation in a higher resolution of modulation index by mapping consecutive constellations into bit sequences.The novel QAM design can reduce the gap of the performance between different modulations and enrich the choices of QAM in adaptive modulation.This paper took 28QAM as an example to state the method of design,mainly including the design of a mapping rule which made the 28 constellation points mapped into bit sequences and simulate its performances.The BER curve of 28QAM is in the middle between 24QAM and 32QAM.  
      关键词:QAM;adaptive modulation;modulation index;mapping rule   
      2
      |
      2
      |
      0
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714820 false
      更新时间:2025-07-16
    • Qubits Reversible Logic Circuits Synthesis Based on Bisection Method

      YANG Zhong-ming, CHEN Han-wu, WANG Dong
      Vol. 40, Issue 5, Pages: 1045-1049(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.030
      摘要:In order to efficiently automatically construct quantum reversible logic circuits with low cost,a novel method for quantum circuit's synthesis is proposed.Through the line topology transformation and truth table permutation,it converts an n-qubit circuit synthesis problem into single quantum circuit synthesis using traditional recursive thought.Then directly generate relevant circuit.After optimization,the quantum reversible logic circuit is synthesized finally.All 3-qubit reversible logic circuits have been synthesized by this method.The average number of EGT gates is only 6.41,and the number is down to 5.22 after optimization.Experimental results show that the number of gates to construct reversible logic circuits is less than other methods.For any n-qubit binary logic function,the number of EGT gates is less than n2n-1.Meanwhile,it voids the exponential nature of the memory or run-time complexity,and is very simple to implement in classical computer.  
      关键词:reversible logic;circuit's synthesis;multi-qubits;bisection method;quantum computing   
      2
      |
      2
      |
      6
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113713508 false
      更新时间:2025-07-16
    • A Verifiable Rational Secret Sharing Scheme Based on Bilinear Pairing

      ZHANG En, CAI Yong-quan
      Vol. 40, Issue 5, Pages: 1050-1054(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.031
      摘要:To correct the problem that traditional secret sharing scheme can not take precautions against cheat,in this paper,we propose a rational secret sharing scheme.The proposed scheme based on bilinear pairing is verifiable and the participants'cheat can not work.The dealer doesn't need a secret share distribution.Therefore,the scheme greatly improves the efficiency of secret distribution.In addition,the trusted party is eliminated in the secret reconstruction phase.The gain of following the protocol is more than the gain of deviating,so rational player has an incentive to abide by the protocol.Finally,every player can obtain the secret fairly.Moreover,the scheme can withstand the conspiracy attack with at most m-1 players.By analysis,we find the scheme is secure and effective.  
      关键词:rational secret sharing;game theory;bilinear pairing;one-way function   
      2
      |
      2
      |
      10
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714544 false
      更新时间:2025-07-16
    • CHEN Nai-jin, JIANG Jian-hui, CHEN Xin, ZHOU Zhou, XU Ying
      Vol. 40, Issue 5, Pages: 1055-1066(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.032
      摘要:This paper presents an improved level based partitioning (ILBP) algorithm that considers sufficiently minimum execution delay and make good use of reconfigurable resources as soon as possible.ILBP can trace and adjust the node allocation process of level based partitioning (LBP) algorithm.ILBP can eliminate the disadvantage of LBP that can not update dynamically the ready list nodes for partitioning node selection.Experiment results show that the proposed ILBP algorithm can improve number of modules,execution delay and number of input-output edges crossing modules by comparing with LBP.By comparing with cluster based partitioning,enhanced static list,multi-objective temporal partitioning and level sensitive cluster based partitioning algorithms,the proposed algorithm can get the least execution delay,and it can also obtain the least average number of modules with increase of the area of reconfigurable processing unit.  
      关键词:reconfigurable computing;temporal partitioning;level-based partitioning;minimum execution delay;resource restraint   
      2
      |
      4
      |
      8
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714738 false
      更新时间:2025-07-16
    • The Aliasing Analysis and Resolution Calculation of Tilting Sampling System

      WANG Jing, XU Li-yan, XIA De-shen
      Vol. 40, Issue 5, Pages: 1067-1072(2012) DOI: 10.3969/j.issn.0372-2112.2012.05.033
      摘要:The tilting sampling which rotates the single array with a degree and reduces the sampling distance can get a better resolution with less hardware cost.This paper introduces titling model and the supertilting model sampling.Then the resolution under different sampling systems is discussed.Based on reciprocal cell in the frequency domain,the relation model of aliasing and tilting sampling is built.The effective resolution based optimal reciprocal cell is calculated to get the set of spectrum with less aliasing and noise.Experimental results indicate that tilting sampling mode with optimal reciprocal cell improves the resolution effectively.  
      关键词:tilting sampling;super-tilting sampling;optimal reciprocal cell;effective resolution   
      2
      |
      2
      |
      2
      <HTML>
      <L-PDF><Meta-XML>
      <引用本文> <批量引用> 113714953 false
      更新时间:2025-07-16
    0