摘要:This paper proposes a hardware fault localization approach,MDCI,which is based on multi-granularity dynamic control flow invariants.The approach first extracts high confidence dynamic control flow invariants in different granularity.It then checks gradually and iteratively in multi-granularity whether the dynamic control flow invariants are accessible,and localizes the code scope related to hardware faults.The experimental result shows that MDCI can localize the code scope related to hardware faults with high accuracy by checking only a few of control flow program points.
关键词:multi-granularity;dynamic control flow invariants;hardware faults;fault localization
摘要:In order to solve general L1 projection problems,this paper proposes Alternating Split Bregman L1 projection algorithm.The convergence of the iteration scheme is analyzed and proved.The algorithm can solve a very broad class of L1-projection problems.Total variation projection as an example,using the proposed algorithm,we can get faster convergence rate and better result of image restoration.Numerical results show that our algorithm is better than state of the art TV projection method (Dual projection algorithm) to solve denoising,deconvolution and inpainting problems.
摘要:With the development of semiconductor technology,more and more functional modules are integrated on a chip.The on-chip-bus Arbitration architecture has become bottlenecks in the improvement of chip performance,as modules are connected through the bus.The degradation of chip performance due to the contention for bus resources can be relieved by optimizing the design of the on-chip-bus arbiter,so this paper presents a game theory-based on-chip-bus arbitration mechanism which solves the bus contention problem by using game theory.Moreover,we build a general model to solve the problem with restriction of the performance of system on chip.Finally,we test the algorithm through simulation and hardware platform designed by us.Results show that the command processing speed using game theory arbitration is 236% faster than the one using FP (Fixed-Priority) algorithm and 53% faster than the one using RR (Round Robin) algorithm.
摘要:A simple and novel band-pass filter have two transmission zeros was structured based on the analysis of the prototype bandpass filter equivalent circuit of the type and characteristics and use of T-equivalent circuit model and the combination of the two capacitive coupling between Input and output ports.An effective solution to a Low K of multi-chip module (MCM) integrated bandpass filter performance and space.A bandwidth of 260MHz,the center frequency of 1.61 GHz band-pass filter was designed and measured by used of Low Temperature Co-fired Ceramic (LTCC) technology.The simulated results are compared with the measured data,and good agreement is reported,the overall area of 3.2mm×2.4mm×0.6mm,insertion loss 0.71dB,VSWR1.2.
关键词:low temperature co-fired ceramic;bandpass filter;multi-chip module;low K;transmission zero
摘要:Path compression techniques are efficient on-demand routing optimizing techniques for mobile Ad Hoc networks.This paper analyzed the principles and characteristics of path compression algorithms and proposed dynamic model for the analysis of path compression.This model took the mobility and expansibility of Ad Hoc networks into account and was efficient to analyze or evaluate path compression algorithms.The quantitative relationship and probability expression for pivotal compression events were given based on the model.The simulation results of SHORT and PCA show that it is a correct and efficient dynamic model for path compression.Finally,some suggestions and applications about the model were proposed.
关键词:communication technology;Ad Hoc networks;path compression;dynamic model1
摘要:When wireless sensor network used in complex indoor environment,great propagation loss will be caused and difficult to optimize routing adaptively when environment changed.Based on these problems,we presented a protocol- Weight coefficient Adaptive based Indoor Energy load-balanced Routing (WAIER).WAIER formulate the routing setup process as the typical multiple attribute decision making process,use objective with subjective weight coefficient method and entropy weight coefficient method to adjust the weight coefficient.Nodes can choose an optimal node to relay the data by comprehensive consideration of the weight coefficient,the propagation loss and the energy of its neighbor nodes.Simulation results show that the WAIER make weight coefficient adaptive dynamically,lead to an appropriate allocation of the data.When used in indoor environment,sensor network could obtain a much more even energy distribution,accordingly the lifetime of the sensor network will be prolonged.
关键词:Wireless sensor networks;adaptive;entropy;energy balance;multiple attribute decision making
摘要:Considering the failure of key node and poor load balance in the process of traditional grid resource discovery,this paper proposes an approach to the grid resource discovery by P2P technology.We presented an enhanced chord(Echord) protocol by modifying the chord's succeed function and finger table so as to improve the discovery efficiency of DHT-based Peer-to-Peer framework.According to the feature of the Echord,all grid nodes are organized into ring topology.The grid resources are described as the RDF form and the resource information are released to different grid nodes.We presented the resource discovery algorithm based on Echord protocol.Theoretical analysis and simulations indicate that the proposed approach can improve average query length,message broadcast performance and random query success ratio in the process of grid resource discovery.
摘要:Information security is essential in open networks,and trust management model is fundamental for information security.In this paper,the description of trust is given newly with fuzzy set theory in open network environment .The conceptions of linguistic variable and fuzz logic are introduced into subjective trust management for the fuzzy nature of subjective trust,and the inference to the trust transmission has been carried.A formal trust metric is given,the reasoning mechanisms of trust vectors are given,and a subjective trust management model is provided. According to the dynamic character of trust,a new model of trust renewal is provided,which is based on the degree of approximation In fuzzy theory,and which do more better in preventing the malicious recommendation.
摘要:Multi-attribute resource discovery in structured Peer-to-Peer (P2P) networks is still an open problem.Recently,a novel and more efficient multi-attribute resource discovery approach than traditional ways — P2P-based Intelligent Resource Discovery (PIRD) has been proposed.However,PIRD may be inefficient under network churns.To address this issue,in this paper,a gossip-based PIRD (G-PIRD) is proposed.G-PIRD employs a gossip algorithm to learn the estimated value of network size and dynamically publishes resource indexes to keep a great efficiency of resource discovery.Meanwhile,a load balancing scheme based on bounded LSH (B-LSH) is proposed to deal with the problem of potential load imbalancing of G-PIRD.Extensive experiments show that G-PIRD can adapt well to the changes of network size to maintain high query efficiency and the proposed load balancing scheme can greatly reduce the maximum number of indexes per node with the slight loss of query efficiency.
摘要:By using the analysis idea and methods of complex network,we adopted a normalized Laplace matrix and a K-mean clustering method to detect multiple communities in a gene regulatory network (GRN).At the same time,gene-gene interactions both inside a community and among communities were also described.In addition,in order to reflect the actual gene-gene interaction process and to improve the modeling precision of GRN,a time-series spectrum analysis method was used to estimate delay of gene expression before the process of community detecting.Experimental results of the cell cycle-regulated genes of yeast show that the proposed construction method of GRN not only can reflect the actual gene-gene interaction process much exactly but also can provide details about the gene regulator model.
摘要:An agent based design approach for Internetware has been proposed in the paper.This approach extends the traditional design approach for multi-agent systems,which includes analyse,design,implementation and deployment for Internetware.This approach builds a general trust model to describe the trust relationship among the software entities of the Internetware.The trust value can vary dramatically through flexible feedback strategies of trust evaluation.Using finite state machine,this approach can also model the normal behaviors and failure behaviors of the software entities and describe the models by dynamic description logic (DDL).Internetware is running,failures can be diagnosed through system observation and DDL reasoning machine.A detailed case is introduced.
关键词:Internetware;agent based design process for Internetware (ABDPI);trust model;failure diagnose;dynamic description logic
摘要:Considering on judicial forensic requirements and the characteristic of network packets,a network dynamic forensic model is proposed,which architecture and related rules are described.An algorithm based two-dimensional linked list and multi-queue which is used to cache network data in high speed network is designed.The effectiveness of the algorithm is analyzed and tested.The algorithm resolves key problem in the above model and ensures the integrality of network session which is saved.Finally,a network forensic system is designed by plug-in,which is extensible and support second development.
摘要:For safe path planning of mobile robot in unknown environment,a method is proposed based on improved neural network and simulated annealing algorithm.Neural network is built to describe the working space of the mobile robot,which connection weights are optimized by the back propagation(BP) learning algorithm to study the structural features and information representation of the environment.Simulated annealing (SA) algorithm by using the combination of detectors to reduce the search area is adopted to get the best negative gradient direction of cost function.A strategy of back strategy and "virtual target" is introduced to deal with the problem of local minimum,which often occurs in local path planning.The result of the simulation experiment proves the effectiveness and feasibility of the proposed approach.
摘要:Sparsity is a remarkable character of Synthetic Aperture Radar (SAR) image and its dimension of storage is high,so the recognition of SAR image is very difficult.In order to solve the problem,an algorithm of SAR image recognition based on sparse manifold learning is proposed.Firstly the image was enhanced in order to preserve the edge information of the objective;The second step was determining the least number of points which can get the integrate low-dimensional manifold by the spectrum of the sample covariance matrix;then utilized kernel extending of Laplacian Embedding(LE) to get the low-dimensional coordinates of the out-of-sample,at last SAR images were recognized by Kernel-based Nonlinear Representor (KNR).Experimental results on MSTAR show its feasibility and superiority by comparing with other methods.
摘要:Lung cancer lesions detection has been an important and difficult work.A computer-aided detection (CAD) scheme for detecting lung nodules is proposed in three-dimensional CT images in this paper.The lung parenchyma is segmented from the CT data using adaptive threshold method etc.Pulmonary vascular is the main disturbance for nodules detection,building an active contour model to segment and remove pulmonary vascular accurately in the lung region.Suspicious nodules are detected and omitted renal vascular is filtered using a selective shape filter,which is based on the eigenvalues of a Hessian Matrix.Nodule features are extracted and rule-based classifier is used to distinguish true or false positive nodules.Experiment results indicate that this scheme can help physician improve the diagnosis efficiency.
关键词:computer-aided detection;lung parenchyma segmentation;lung vascular segmentation;lung nodule detection;active contour model
摘要:Multi-path transmission,using several paths between the source and the destination,will cause packet reordering and present some problems about load balancing while achieving high bandwidth utilization.This paper proposes a traffic splitting algorithm based on nonius.We define the nonius as the deference between the transmission delay of the current path and the time between two successive packets.As a baseline of the delay,the nonius prevents the flow from packet reordering.The nonius can slide dynamically because of different path or the different time between two successive packets.The packet can be transmitted among as many paths as possible because the nonius slides dynamically;as a result,the load balancing can be achieved.The simulation results show that the proposed algorithm gains a prominent improvement in load balancing over previous algorithms,while without reordering is ensured.
摘要:In order to reduce the influence of the jitter of hard real-time task caused by scheduling to the stability and reliability of device-level operation system,a model with preemption segment threshold -RJPS is presented.According to the effect on jitter and latency brought by threshold and the analysis of the scheduling on this model,minimum threshold assigned algorithms are designed,which are applied for fixed-priority scheduling and fixed-priority scheduling separately.It is shown by simulation experiment that the threshold segmentation scheduling model can effectively reduce the IO jitter of tasks caused by scheduler in the typical scheduling algorithm.
关键词:threshold segmentation model;jitter control;scheduling latency;embedded real-time system
摘要:The process that the quantum reversible circuit realizes the information transformation can be demonstrated by unitary matrix.Matrix can better reflect the quantum state evolution and the physical properties of the quantum computation.Elementary Matrix transformation based algorithm for 4-qubit reversible circuits synthesis is proposed in this paper.The algorithm skillfully uses the matrix representation and transformation of the quantum circuit and the circuit rules of the adjacent matrix to construct any 4-qubit circuit given permutation with lower cost.
摘要:A kind of fast approximate reasoning method in hierarchical DSmT is proposed.This method is only fit for the case that there are only singleton focal elements with assignments in hyper-power set.These focal elements in hyper-power set are forced to group through bintree or tritree technologies.At the same time,the assignments of focal elements in these different groups corresponding to each source are added up respectively,in order to realize the mapping from the refined hyper-power set to the coarsened one.And then,two sources with the coarsened hyper-power set are combined together according to DSmC(Classical DSm combination rule) and PCR5(Proportional conflict redistribution No.5).The fused results from different groups will be saved as the connecting weights between father and children nodes.And then,all assignments of focal elements in different groups will be normalized respectively.Tree depth is set,in order to decide the iterative times in hierarchical system.Finally,by comparing new method with old one from different views,the superiority of new one over old one is testified well.
关键词:approximate reasoning;Information fusion;hierarchical;Dezert-Smarandache Theory (DSmT)
摘要:Secure two-party vector dominance statistic problem is a problem generalized from the millionaires’ problem,which can be used by two party to get the number of ai>bi without leaking further information.A secure two-party vector dominance statistic protocol in semi-honest model is presented based on the additive homomorphic encryption.The correctness,security and complexity of the protocol are analyzed.A secure components sum of two vectors ranking protocol is proposed based on the dominance statistic protocol and the ranking protocol is also applied in the secure minimum spanning trees algorithm.
关键词:secure two-party computation;secure two-party vector dominance statistic problem;secure components sum of two vectors ranking protocol;secure minimum spanning trees algorithm
摘要:Steganalysis of spread spectrum image steganography is an important aspect in the domain of information hiding research.An image statistical distribution model based on high-order Markov chain was proposed.By a comparison on the effect of n-order Markov chain achieved by several general image scanning methods,Hilbert scanning method was used to construct the proposed model.After that,a n-order statistic security measure for digital image steganography based on the model was proposed,and that it is bounded was proved.Finally,after the effect of spread spectrum steganography on empirical matrix of the proposed model was studied,image statistical features which based on the proposed model were extracted,and several common spread spectrum steganography algorithms were analyzed using support vector machine.Experiment shows the active effects of steganalysis of spread spectrum image steganography based on the proposed model is obvious,furthermore,the steganalysis accuracy is improved as the model order increased.
摘要:Scalability is a key factor of weighing up high performance parallel system. However,conventional scalabilities research is mainly focused on homogeneous high performance parallel system,heterogeneous parallel is relatively small. The paper which based on heterogeneous parallel system,is sorted computing task to single task model,meta task pool model and fork-join task queue model,and given their definition,their scalability condition on advancing heterogeneous matching matrix. Finally,sample analysis have verified the analytical results and confirmed that the proposed scalability works well in high performance heterogeneous parallel system.
摘要:This paper interprets the Internet of Things (IoT) definitions and gives our understanding for the IoT concept in terms of "Sensor network of Things",and describes the global developments and international strategic plans towards this technology in US,Europe,Japan and China.Key technologies are further discussed in detail,with a focus on Identification Technology,Architecture Technology,Communication and Network,Search and Discovery Service,Data Processing,Security and Privacy,Standardization and Governance.Some advice are given for China IoT Construction within three aspects:national,industrial and academic Dimensions.The paper aims to provide reference for the research and development of China IoT.
关键词:Internet of Things (IoT);identification;architecture;security and privacy;standardization;governance
摘要:In Peer-to-Peer (P2P) networks,peers' features such as heterogeneity,anonymity and autonomy lead to some security problems,such as forging,slandering and collective cheating,which affect the quality of service a lot.A trust model METrust in P2P networks based on the recommendation is proposed,each peer in the network has a unique credibility of recommendation,two trust parameters for updating the credibility of recommendation are introduced,namely updating range and updating strength.The trust model METrust proposes an algorithm to update the credibility of recommendation;a peer selects recommendation peers whose evaluation criteria are similar,evaluation criteria of peers are determined through the AHP method(Analytic Hierarchy Process).Simulations show that,the trust model METrust can identify malicious peers,and improve the quality of service in P2P networks effectively.
摘要:Unstructured P2P networks are widely used and popular due to their small maintenance overhead.However these systems suffer from the significant network overhead on flooding-based search.This paper proposes a Semantic and Location-aware based Unstructured P2P network (SLUP) taking advantage of the heterogeneous characters of nodes to cluster the nodes according to similar shared resources and physical distance.SLUP can not only alleviate the topology mismatch problem between the P2P overlay networks and the physical network,but also construct the relationship between resources and topology to increase the chances of finding the matching resources.Furthermore,semantic-based search algorithm is presented.Comparing the search performance in various overlay networks,simulation experiments show that SLUP and semantic-based search algorithm can significantly shorten the latency of the searching process and reduce the searching overhead.
摘要:An approach for estimating the non-line changing of the leakage power and the speed of the dual threshold domino OR gates with increasing fan-in based on Wavelet Neural Networks is proposed.Sine all of the average estimating errors are less than 5%,the estimating system has high precision.The reasons for the estimating errors are the changing ratio of the different power in the total power and the effect of capacitor match.At last,through Monte Carlo analysis,the availability of the estimating system under process variation is tested and concludes:With process variation,the estimating system is applicable to leakage power estimation with low fin-in and delay estimation with high fin-in.
关键词:wavelet neural networks;dual threshold domino OR gate;delay;leakage power;Monte Carlo analysis
摘要:A new method of WLS (weighted least square) estimation-based time-voltage QRS area extraction by dual-lead has been put forward in this paper.Based on the point inside the QRS complexes,the WLS estimations and linear measurements of linear segments from this point have been calculated backward and forward.Based on these parameters,a basic linear segment has been checked out.On the basis of this basic linear segment,the onset and offset of the QRS complex are determined by the hypothesis testing.This method applied to another lead and the final onset and offset have been determined.Therefore the time-voltage QRS area has been extracted.The method has been successfully applied to all 105 records of QT database from MIT-BIH database;it has reached the precision of 97.5% on the 3623 QRSs marked by one group of cardiologists and 98.0% on the 404 QRSs marked by another group of cardiologists.It has made a foundation for real-time and automatic computer- diagnosis of ECG without man-machine alternation.
摘要:We put forward a new URL choosing method and an incremental refreshing model based on HotRank algorithm.Using this method,the adaptive incremental refreshing model for hot news recommendation system is developed.A new topic detection and topic based hot news recommendation algorithm is proposed combining LDA and Affinity Propagation(AP).This research supports the development of hot news recommendation system ,which is an important part of Haitianyuan knowledge service platform.
摘要:A cooperating localization algorithm is proposed.Environmental information is obtained with the help of neighbor beacon interaction and node's location could be obtained based on invalid beacon filtration as well as the signal strength detection.Furthermore,in collaboration with a variety of localization methods,node with higher localization accuracy becomes beacon.Simulation results demonstrate that this algorithm performs well on localization accuracy as well as success rate compared with the weighted RSSI and APIT algorithm.
关键词:Wireless sensor networks;localization;path loss index;success rate of localization
摘要:To deal with the sensor scheduling in continual object tracking of low earth orbit constellation,a method based on optimal search of information decision tree is proposed.The myopic information increment is extended to non-myopic one.The information decision tree is established and the pruning technology is utilized to search the best branch.The simulation results indicate that the excessive scheduling and lower tracking precision of myopic scheduling have been reduced effectively;The introduction of pruning technology has reduced the computation burden greatly.
摘要:Research on hierarchy of large-scale software macro-topology plays an important role in comprehension and control of software Architecture structure.In this paper,we find that the large-scale software hierarchical structures are flat and relative stable based on a large number of statistics data on coreness of open source software structures,and argue the rationality of analyzing the large-scale software structure hierarchy using the means of k-core.On this basis,we use a version of Eclipse 3.4.2 as empirical analysis,divide it into layers,and analyze the internal and external connected relation,then argue the topology characteristics of the high-layer regions and low-layer regions.Finally,we use several versions of Eclipse as empirical analysis to study the evolution of highest layer form some aspects as network scale,degree distribution,and small-world characteristic.
摘要:The dynamically evolving coordination architecture was specially designed according to the relative positions between robots,on the basis of which an active cooperative mechanism using decision theory was proposed,so that the robots were able to select their action actively during the localization process and get more useful information to improve their localization speed and precision.The co-evolution based adaptive particle filter was used to make the robots track the multi-hypothesis of their own positions and their partners' positions stably,which was of great importance for making proper decision in active localization.Experiments were carried out to prove the efficiency and stability of the proposed method.
关键词:robot localization;particle filters;co-evolution;multi-robot system
摘要:A Load Balancing-Supported ID assignment method is the foundation to implement and maintain DHT overlays,realized constant degree DHTs usually use simple pure centralized or distributed ID management strategies,which cannot resolve the contradiction between cost of maintaining topologies' information and topologies' balance.Analyzing the universal tree structures in the topologies,an ID Assignment method RFIDAM based on the internal structure Routing Forest is proposed,which regularly aggregates local balancing information to guide new nodes' joining for overall balance.The experimental results show,with low maintenance and routing message overhead,the system's loading balance is efficiently ensured with the length of IDs differ by at most 2.
摘要:This paper proposes a joint source-channel coding scheme for transmission of aerial remote sensing image.After the image has been wavelet transformed,the wavelet trees are divided into independently decodable groups to produce multiple descriptions,and coefficients in the low-low band are repeated by two descriptions due to their significance.Each description is compressed separately by a modified set partitioning in hierarchical trees (SPIHT) encoder and unequally protected.To meet realtime performance,a fast rate-allocation algorithm is proposed.Experiment results show that our system achieves robust image transmission over Rician frequency-selective fading channels with low complexity.
关键词:remote sensing image transmission;set partitioning in hierarchical trees (SPIHT);multiple description;unequal error protection;channel model
摘要:Hue nonconstancy of CIELAB color space affects the result of gamut mapping and the accuracy of color difference evaluation seriously.To solve this problem,a hue-constancy corrected method was proposed and a new color space tLAB was constructed,which was used to replace CIELAB during color management.Based on Munsell color space,the hue nonconstancy of CIELAB was analyzed firstly.Then the hue in CIELAB was corrected according to Munsell renotation Data,and the tLAB color space was created which was hue constant.Meanwhile,3D look up table(3D-LUT) was utilized to characterize the non-linear relationship between CIELAB and tLAB;an implementation scheme for color management with a low spatio-temporal cost was presented.Finally,the results of gamut mapping in tLAB color space and a new color difference evaluation were presented.Experiments show that the results of gamut mapping in the new tLAB space gain an advantage over the traditional ones.In addition,the color management using tLAB color space has real time performance and universality.
关键词:color management;gamut mapping;3D-LUT;hue constancy;munsell space
摘要:When the multiresolutional analysis method is applied to reduce the number of particles in particle filter,it may cause the drop of filtering accuracy.Aiming at this problem,a size control-based multiresolutional particle filter is proposed.The method predicts the possible enlarging of error by observing the quasi-measurement error probability density,and then increases the size of sample set when the filtering is becoming unsteady by quasi-Monte Carlo sampling or multiplying the original particle set to avoid the possible divergence.The simulation results show that the algorithm maintains the estimation performance of particle filter,meantime also reduces the number of particles and improves the computation efficiency.
关键词:particle filter;multiresolutional analysis;wavelet transform;quasi measurement error;quasi-Monte Carlo sampling
摘要:For the biped walking on the rough surface,the stability control algorithm is proposed.It consists of a walking pattern generation and a sensory feedback control algorithm.The PIPM (Passive Inverted Pendulum Model) is developed for the gait generation.The generated waling pattern enables the biped robot to have a more natural and efficient walking.The online feedback controller is developed to deal with the unevenness of the environments and the unknown disturbances.The controller consists of a body attitude control,a desired zero moment point (ZMP) control and a nonlinear landing control.The flexibility of the biped robot harms to the stability and control effect so badly that it makes the feedback control yield negative effects to the walking stability.Therefore,the influence of the biped robot's flexibility is considered into the design of the walking control.Finally,the walking experiment for the biped robot walking on the uneven surface confirms the effectiveness of the proposed algorithm.
关键词:biped robot;gait generation;PIPM;walking control
摘要:Based on the investigation of Feedback shift registers with carry operation (FCSR) and F-FCSR-Hv2 key stream generator which was a hardware candidate for eSTREAM,we present a generator named Combined F-FCSR.The random property of Combined F-FCSR is as good as F-FCSR and the key stream sequence passes the test of NIST’s suit STS.By means of simple nonlinear operation,the Combined F-FCSR can resist the Hell-Johansson attack based on the fact that the main register of FCSR automat is linearly shifted at some special situations.
关键词:feedback shift registers with carry operation;fitered generator;key-stream generator;psedo-randomness
摘要:As a data-intensive computing environment,data grids require not only high performance computing resources,but also timely high speed access to the data resources,which are needed at the computational resources.The performance of the storage accesses is key to the performance of data grids platforms.The paper presents the idea of dynamic storage hierarchy appropriate for the data grid environment,and puts forward an approach of its construction by grid locality aggregation.The paper also explores the dynamic K-clustering feature of the approach,tests and analyzes the performance of the dynamic storage hierarchy.Experiment results show the explicit improvement of the overall grid tasks handle based on the dynamic storage hierarchy.
摘要:Algebraic attack is used to study cryptosystems by solving equations.To lower the degrees of the equations is an important method to reduce the complexity to solve them.Annihilators is introduced to reach this aim,but there is not an efficient way to find the annihilators of a boolean function up to now.The article presents a kind of algorithm to work out the space of the annihilators of a given boolean function.We can find a basis of the annihilators set by the former two algorithms.Using the third algorithm,we can find the annihilators with lowest degree.The complexity is concerned with the number of monomials in the boolean function,and it is greatly reduced than that of the algorithms before in most cases for stream ciphers.We will present a toy example at the end of the article to show how the third algorithm works.
摘要:Performance bounds for uncertain systems can be calculated by stochastic network calculus.In practice,interval mathematics can also deal with uncertainty.We construct the interval extension of wide-sense increasing functions,and study its properties by idempotent interval mathematics.For uncertain flows and servers,we can define arrival and service curve by convolution of function intervals,based on these two notions,we develop a new kind of network calculus which can be used to calculated performance bounds represented by intervals.Applications of interval network calculus are also given.
摘要:Wire bonding experiments were performed in a lab test-bed.Vibration behavior of bonder transducer and bonding pressure were monitored by Laser Doppler Vibrometer.For assessing wire bond quality,the bond lift-off microstructures were observed by scanning electron microscope as a post-effect evaluating for bonding process.Wavelet decomposing,combined with statistics-based data processing,was utilized to explore the details of bonding process.A macroscopical equivalent model for bonding area is developed based on the velocity vs.pressure phase portraits.The basic understanding on wire bonding can be used for identifying wire bonding dynamics and optimizing the machine set-ups.
摘要:A statistical steganalysis algorithm is proposed based on the correlation analysis and magnitude evaluation of wavelet coefficients.Firstly,the local regularity of wavelet coefficients correlation is quantitatively analyzed.Secondly,wavelet coefficient magnitudes of the selected regular local areas are evaluated adaptively,using both the inter-scale and intra-scale statistical correlations of the natural image wavelet coefficients.Finally,stego-images are distinguished from cover-images by means of analyzing the statistical property of the prediction errors.The proposed method proved to be highly effective for the wavelet domain steganography.
摘要:Based on the probability distribution model of fault replacement of (s,Q),an optimal replenishment cycle algorithm targeted to minimize the replenishment cycle utility and an optimal ordering cycle algorithm targeted to minimize the ordering cycle utility are introduced,they not only keep the saving expense merit and the improving availability merit in (s,Q),but also overcome the disadvantages of lacking of adjusting ability to overstocking of capital losses,device deprecation losses,the shortage loss and the surplus maintenance losses.The simulation result verifies our mechanism merits well.
关键词:spare part;optimized;utility;inventory control method