最新刊期
卷 46 ， 期 10 ， 2018
- 摘要：In this paper, by using Camberra fuzzy distance on fuzzy set, we propose the notions of Camberra-distance, Camberra-similarity degree between two formulas and Camberra-truth degree of one formula in multiple-valued Lukasiewicz logic system, and discuss the properties of Camberra-similarity degree and Camberra-truth degree, prove that the Camberra-truth degree of formula φ is equal to the sum of Camberra-truth degrees of some incompatible formulas. And then, based on Camberra-truth degree, we study some properties of Lukasiewicz logic metric space, prove that there is no isolated point, and arbitrarily sphere neighbourhood is an inconsistent theory in three valued Lukasiewicz logic metric space and so on. Which provides a new method for expand the grade reasoning on formula set F(S).关键词：quantitative logic;camberra fuzzy distance;approximate reasoning;consistent theory355|490|4更新时间：2025-07-16
- 摘要：In the process of SDN multi-controller load balancing, controller selecting is rigid and switch migration is conflicting. This paper proposes a controller load balancing mechanism based on distributed policy, which is divided into three phases. Firstly, through collecting network information periodically, distributed migration decision domains are structured according to controller load conditions. Then the switches are migrated according to selecting probability. By balancing three costs included data collection, switch migration and state synchronization, the target controllers are determined. Finally, this mechanism sets the migration countdown to complete the switch migration and controller role conversion. Results show that, compared with the existing load balancing mechanism, this method could reduce the total network communication overhead, flow establishment time is shortened 0.14s averagely, controller resource utilization has been increased by 21.7%.关键词：software defined network;controller;load balancing;switch migration;distributed policy291|269|5更新时间：2025-07-16
- 摘要：In order to solve the routing problem of mobile IOT (IOV), based on our analyzing the details about motion characteristics of the vehicle and the reasons that cause links down, we set up link model of the duration time and using the duration time as key parameter to design the new routing method. Q-Learning as a kind of heuristic machine learning strategy is able to dynamically adjust the routing path through interaction with the surrounding environment. So a kind of new routing algorithm with adaptivity for mobile IOT based on Q-learning has been presented in this paper. It distributes the learning task into each vehicle node and maintains the reliable routing path by continuously exchanging the beacon information with the neighbor nodes. With the NS-2 simulator, the performance of the algorithm is tested. The results show that it has better performances on delivery, end-to-end delay and average hops in many mobile applications.关键词：machine learning;mobile IOT;Topology;dynamic;routing400|492|8更新时间：2025-07-16
- 摘要：According to the practical co-existence scenario of one-hop LoS (Line-of-Sight) and relay cooperation transmission of cellular network, the high spectrum efficiency schemes of cellular network were designed with multiple stream service simultaneously for shared channel resources. In order to solve the inter-stream interference problem of the proposed schemes, the linear and non-linear minimum mean square error (MMSE) successive interference cancellation adaptive receiver was designed through addressing the received overhearing interference as the useful information. Moreover, the base station (BS) adopted the asymptotic optimal superposition coding scheme in high SNR to equalize the two information streams, whereas, the relay station (RS) obtained the global optimization solution through semi-definite relaxation method and random optimization and achieved the optimal relay beamforming matrix under the subject of two information streams sum-rate maximization with finite power constraint via dichotomy of structured solutions. Finally, simulations and analysis verified the effectiveness of the proposed schemes and the correctness of the theoretical derivations.关键词：interference overhearing;LoS transmission;relay cooperation105|161|0更新时间：2025-07-16
- 摘要：To achieve consistent update in software defined network, a consistent update algorithm which combines segment routing, two-phase commit and node scheduling mechanism is proposed in this work. The algorithm first leverages segment routing mechanism, which attempts to splice the final path with existing paths. According to whether the final path can be spliced by the existing paths, the algorithm divides flows into either segmentable flows or flows that are not segmentable. For the segmentable flow, segment routing mechanism can encapsulate the final path information into the packet header so that packets can be forwarded immediately along the final path. For the flows not segmentable, the algorithm calculates the longest consistent update sequences for them, and updates nodes in accordance with these sequences. Finally, the algorithm uses the two-phase commit mechanism to complete the update of the remaining nodes. We verified its performance by experiments and the outcome illustrates that our algorithm not only requires less additional ternary content addressable memory resources but also has better performance stability and applicability than prior techniques.关键词：consistent update;segment routing;OpenFlow161|237|1更新时间：2025-07-16
- 摘要：The phase information of the recorded measurements is lost in the coded diffraction imaging system. However, the phase contains most of structural information about the image. How to reconstruct the original image from measurements without phase information is a crucial problem faced by the phase retrieval algorithms. The optimal parameters of the Gaussian mixture model (GMM) are trained by the expectation maximization (EM) algorithm. An image patch can be represented optimally by one of the components in the GMM model. Based on this fact, a PR optimization problem which fuses the statistical properties of GMM and the data fidelity term is formulated. Moreover, the accelerated proximal gradient method is utilized to solve this problem. The experimental results show that the proposed method can achieve high-quality image at the case of few coded diffraction patterns and high noise levels.关键词：phase retrieval;coded diffraction pattern;Gaussian mixture model;accelerated proximal gradient197|258|0更新时间：2025-07-16
- 摘要：Circular trace transform (CTT) is proposed to extract the texture features that are more suitable for describing images containing circular or arc-shaped texture than the ones extracted by Trace Transform. CTT consists of tracing an image with circles around which certain functionals of the image function are calculated. The functional results on the circular trace are mapped to the space generated by three parameters such as radius, length and angle. With functional integral in the results, the image quadruple texture features can be generated. Different circular trace transformations can be obtained by using different compositions of functionals and the quadruple features by CTT can represent different texture properties and deeper intrinsic information of images. It shows better performance on recognizing images with circular or arc-shaped texture in Coil-20 and Brodatz database. In the case of fewer training samples, the recognition capability of the features is obviously improved.关键词：image recognition;texture analysis;feature extraction;circular trace transform;trace transform198|214|1更新时间：2025-07-16
-
A Deep Convolutional Neural Network Based Speech Enhancement Approach Incorporating Phase Estimation
摘要：In the speech enhancement of the time-frequency domain, both the amplitude estimation and the phase estimation are the important factors that affect speech enhancement performance. In order to incorporate the phase estimation into the speech enhancement approaches based on deep learning, the real and imaginary part of the short-time Fourier transform (STFT) of noisy speech are treated as two channels and fed into the deep convolutional neural network (DCNN) in this paper. By establishing a multi-task learning model which simultaneously estimates the real and imaginary part of the STFT of clean speech, the synchronous estimation of the amplitude and phase is achieved. Experimental results show that compared with the approaches only considering the amplitude estimation, the proposed approach has better noise suppression ability, and improves speech enhancement performance significantly under the condition of low SNR.关键词：speech enhancement;phase estimation;amplitude estimation;deep convolutional neural network2|4|4更新时间：2025-07-16 - 摘要：HE (Histogram Equalization) is a fundamental method in the field of image enhancement, the research and improvement about which is very significant. First, this paper analyzes the disadvantages of the classical HE algorithm and summarizes five kinds of image enhancement techniques based on HE. Then, two kinds of improved methods are proposed aiming at the disadvantages of the classical HE algorithm, the techniques of the peak clipping and the edge information fusion are introduced. Finally, underexposure and overexposure images are selected to verify the algorithms' properties, the standard of efficient image objective quality assessment is selected to evaluate the experimental results. The assessment of image subjective and objective quality shows the algorithms this paper proposes have the characteristics of better results, less input parameters and so on.关键词：image enhancement;histogram equalization;sub-histogram equalization;maximum value searching;peak clipping dynamically;edge sharpening;Information fusion2|3|27更新时间：2025-07-16
- 摘要：To improve the generalization of deep convolutional neural networks (CNN), we proposed a discriminatively orthogonal feature generation method. By regularizing nonnegative outputs, orthogonal degree and correlation degree were optimized simultaneously, which helps to generate discriminatively orthogonal and sparse features. To adjust sparse degree for controlling network capacity, the technique of auto-adjusting regularization coefficient was proposed. To improve computational efficiency, a stochastically 2-class discriminatively orthogonal feature generation rule was further designed. Subsequently, a comparative experiment was conducted on handwritten digit set MNIST. In this experiment, the sparsity adjustment property of our method was verified. By means of deconvolution technique for visualization, it was further found that our method has a good property of focusing on local discriminant areas. Finally, our method was applied to Alzheimer's Disease MRI image analysis. The experimental results showed that our method outperforms some other representative methods and locates the importantly discriminant brain regions successfully.关键词：deep convolutional neural networks;discriminatively orthogonal feature generation;brain image analysis;nuclear magnetic resonance4|4|2更新时间：2025-07-16
- 摘要：3D image registration (IR) aims to map one image to another image of a same scene, widely used in medical diagnosis and other applications. The existing methods mostly use feature to registration and have specific constraint condition which have many problems such as time-consuming, strong random in feature extraction and not flexible under constraint condition. For those problems, an intensity-based method for non-feature 3D rigid IR is proposed in this paper. The method uses Taylor expansion and the least squares (LS) to directly get the transformation parameters and has advantage of high processing speed with less processed data. It is shown by numerous experiments that the proposed IR method has high accuracy and only uses very small proportion data to process.关键词：3D image registration;image transformation;Taylor expansion2|3|3更新时间：2025-07-16
- 摘要：Ciphertext-Policy Attribute-Based Encryption (CP-ABE) is similar to role-based access control, which provides flexible and fine-grained access control for cloud storage systems. However, in most of existing CP-ABE schemes, the ciphertext length is positively related to the complexity of the access structure. And the attribute level user revocation is an important challenge because the system attributes are shared by multiple users at the same time. To solve this problem, this paper presents an CP-ABE scheme that supports the attribute level user revocation and constant-size ciphertext. The attribute group key for each user in the scheme is different, so this scheme can effectively resist collusion attacks between the revoked users and the existing users. To reduce the computational burden of the attribute authority and the data owner, the amount of computation required for the attribute revocation process is outsourced to the data service manager. At the same time, the scheme adopts the AND-Gate strategy supporting multi-valued attributes and wildcards, and the ciphertext length is constant. The scheme is proved selectively secure based on Decisional q-Bilinear Diffie-Hellman Exponent (q-BDHE) assumption. Finally, the functionality and efficiency of the proposed scheme are analyzed and verified. The experimental results show that the proposed scheme can safely implement attribute level user revocation. At the same time, the proposed scheme has some advantages in terms of function and computational efficiency. It is suitable for practical application.关键词：attribute-based encryption;attribute revocation;collusion attacks;constant-size ciphertext2|4|4更新时间：2025-07-16
- 摘要：Since traditional compressive sensing reconstruction algorithms have lower reconstruction quality and longer running time, a fast reconstruction algorithm based on separable dictionary training is proposed. Firstly, we choose one class of images as training set and construct their models of generalized low-rank matrix approximation. Then, the alternating direction method is used to solve the model, and we can obtain separable dictionaries. Finally, the separable dictionaries are applied to image reconstruction and realize fast reconstruction of image by simple linear operation. The experimental results show that the proposed algorithm has a better reconstruction performance for training set images compared to traditional reconstruction algorithms. In addition, for other types of images, our algorithm has a good reconstruction quality and a lower reconstruction time.关键词：compressive sensing;generalized low-rank matrix approximation;separable dictionary training;fast reconstruction2|3|0更新时间：2025-07-16
- 摘要：Fully homomorphic encryption can be used to solve privacy concerns for data over cloud, while large parameters and low efficiency are the universal issues for present schemes. To oppose mainstream attacks, an identity-based public key scheme over NTRU lattice with smaller parameters, higher security level, and without additional security assumptions is put forward. Take advantage of the approximate eigenvector technique, an efficient fully homomorphic encryption transformation method is raised. And by combining the two skills above, an efficient identity-based fully homomorphic encryption scheme is proposed. Compared with existing schemes, the schemes is fully identity-based without evaluation key, and has smaller keys and ciphertext sizes, leading to higher transmission and computational efficiency.关键词：fully homomorphic encryption;identity-based encryption;learning with errors over rings;number theory research unit (NTRU) lattice;approximate eigenvector2|3|2更新时间：2025-07-16
- 摘要：Most of the current Mutual Authentication and Key Agreement (MAKA) protocols fail to provide effective revocation mechanism and suffer from some new attacks, such as Ephemeral Secret Leakage (ESL) attack and Registration Center Disclosure Registration Information (RCDRI) attack. On the other hand, a large number of MAKA protocols are based on a Registration Center (RC), which is undoubtedly a challenge to RC efficiency and stability. Based on Self-Certified Public Key (SCPK), this paper proposes a MAKA protocol for multi-server environments with multi-registration centers. It is able to resist the new attacks and has efficient dynamic revocation mechanism. Based on the Diffie-Hellman assumption, the security proof of the proposed protocol is given in the random oracle model. Because the protocol does not involve bilinear pairings of operations, it has a great advantage in the implementation efficiency over the relevant schemes.关键词：multi-server environment;multi-registration center;ephemeral secret leakage attack;registration center disclosure information attack;self-certified public key;dynamic revocation2|3|2更新时间：2025-07-16
- 摘要：The existing network data plane could not support the evolution and innovation of network functions, thus the new data plane technology for user-programmability is developing rapidly. For the huge amount of hardware resource costs and the lack of responsible resource optimization, a resource cost model combining parser, match table, and action processor is built, and the corresponding resource optimization methods like type field combination, match field offset combination and "field-to-word" mapping are proposed. The NetFPGA-based experimental results show that the proposed mechanism can reduce hardware resource cost by 38% compared to existing mechanisms.关键词：network dataplane;programmable;hardware structure;resource optimization2|3|0更新时间：2025-07-16
-
Hybrid Grey Wolf Optimizer with Artificial Bee Colony and Its Application to Clustering Optimization
摘要：Grey Wolf Optimizer (GWO) and Artificial Bee Colony (ABC) are two popular and efficient intelligent optimization algorithms. GWO has some features such as strong exploitation but weak exploration. ABC has other ones such as strong global search ability but slow convergence. In order to realize their complementary advantages, a hybrid GWO with ABC (HGWOA) was proposed. Firstly, a static greedy algorithm was used to replace the dynamic greedy algorithm in the employed bee phase to enhance the exploration ability, and a new search method was created to make up for the lost convergence quality. Secondly, the scout bee phase which affects the convergence speed was removed, and an opposition learning strategy was embedded into the employed bee phase to keep the algorithm from falling into the local optima. Finally, in order to balance the exploration ability of the employed bee phase, GWO was added to the onlooker bee phase to strengthen the exploitation and improve the optimization efficiency. Experimental results on many function and clustering optimization problems show that compared with state-of-the-art methods, HGWOA has better optimization performance and stronger universality and it can solve clustering optimization problems more efficiently.关键词：intelligent optimization algorithm;grey wolf optimizer;artificial bee colony algorithm;hybrid optimization algorithm;clustering optimization3|3|7更新时间：2025-07-16 - 摘要：The purpose of the present study is to reduce the high Peak-to-Average Power Ratio (PAPR) in Digital Beam-Forming (DBF). We propose a method based on conformal transformation and compressive sensing (CS). We make a sparse array manifold, following that sampling the DBF signal compressively. Then we clip and filter the sampled signal in the analytic domain which is gotten through the conformal transformation. Reconstructing the previous signal could be accomplished through CS. Compared with the former ways, the test experiment results show that by the presented method, the operation speed is faster; the out-band noise and the in-band jamming are much lower.关键词：digital beam-forming (DBF);conformal transformation;clipping and filtering;peak-to-average power ratio (PAPR) reduction2|3|7更新时间：2025-07-16
- 摘要：For PAPR reduction in OFDM systems, active constellation extension (ACE) technique is attractive for practical implementation without any loss of data rate and quality. However, we observe it cannot achieve the maximal high power amplifiers (HPA) energy efficiency when the target is minimum PAPR. In this work, optimal complementary cumulative distribution function (OCCDF) evaluation metric is derived to integrally predict HPA quantitative distortions of each signal level and its probability distribution. To this distributing purpose, an iterative ACE algorithm is proposed to achieve the minimal input power back off (IBO) with maximal HPA efficiency suited OFDM signals for a modulation error ratio (MER) limited. It finally gives the performance results: The OFDM system with OCCDF PAPR reduction is shown to offer a 3.15dB IBO improvement than the system without PAPR reduction, which is 0.05 dB slightly inferior to the single carrier system.关键词：OCCDF (optimal complementary cumulative distribution function);PAPR (peak-to-average power ratio) reduction;maximal HPA (high power amplifiers) energy efficiency;ACE (active constellation extension)3|3|1更新时间：2025-07-16
- 摘要：Reverse engineering can automatically collect the path information which has been leaked in program run-time, and then reveal the internal logics of programs. To mitigate path information leaking, this paper proposes a novel path obfuscator to combat state-of-art reverse engineering by using random forest. The difficulty of reversing the obfuscated branch is equivalent to extracting rules from random forests. Since random forests can be regarded as black-box and the categorizing process has high similarity with the behavior of path branch, so the specially trained random forest can realize the functionality of path branch. The proposed obfuscator had been deployed on six programs from SPECint-2006 benchmarks. The experimental results show that our method has significantly increased the computational cost of reverse engineering, and the introduced overhead is acceptable.关键词：code obfuscation;reverse engineering;random forest2|3|4更新时间：2025-07-16
- 摘要：For the current operation risk of active radar which encounter frequently under the complicated electromagnetic environment, based on the Maximum Likelihood Estimation (MLE), a novel optimal locating algorithm which make a data fusion combining the active detection of radar and the passive interception of electronic reconnaissance is proposed in this paper. This new algorithm also aims at the common problem of the low accuracy in the passive location, and it can increase the location accuracy effectively. The result of the Monte Carlo simulation demonstrates the effectiveness of the proposed algorithm, by which can attain CRLB boundary when SNR is appropriate.关键词：active and passive radar co-location;Information fusion;MLE;theoretical precision boundary178|308|0更新时间：2025-07-16
- 摘要：For the problem that the existing multisensor Probability Hypothesis Density (PHD) filters have limitations such as sensor order dependence or high computational requirements, a multisensor cardinalized probability hypothesis density (CPHD) filter with Gaussian mixture implementation based on Divide-conquer and Greedy algorithm is proposed in this paper. Especially the divide-conquer algorithm make the computation complex fall to O(ns) from O(ns), compared with the brute analysis algorithm, where s is the number of sensors and n is the number of observations of each sensor. In addition, the details of the implement of the multi-sensor CPHD filter are expressed in this paper. Finally, simulation results show that the algorithm proposed is not affected by the processing order, the proposed divide-conquer and greedy two-stage algorithm is equivalent to the tracking performance of the brute analysis, but the operation time greatly reduced, all of this improve the feasibility of implementation and application of multi-sensor CPHD filter.关键词：multi-target tracking;cardinalized probability hypothesis density;divide-conquer algorithm;greedy algorithm178|168|2更新时间：2025-07-16
- 摘要：Multiple-paths paralleled "Source-Coupling Path" frequency domain model was proposed for conducted interference modeling and prediction in power converters. The modeling approach of noise source spectrum and coupling path transfer function was studied. In the proposed model, the spectrum of noise source and transfer function of coupling path were extracted to calculate noise spectrum in frequency domain. The proposed modeling method is simple and not limited to specific circuit structure, which could act as general frequency domain modeling approach for conducted interference modeling and prediction in power converters. Specific sample was used to illustrate the modeling procedure of the multiple paths frequency domain model, which verified its guidance for conducted interference modeling, prediction and suppression in power converters.关键词：electromagnetic compatibility;conducted interference;frequency modeling;noise suppressing;spectrum analysis;lumped model102|169|2更新时间：2025-07-16
- 摘要：SEU is one of the important causes for the microprocessor in which the exception occurs in space environment. SEU not only causes single-bit error, but does lead to a number of multi-bit errors, along with the reduction of the IC feature size. It is a great challenge that we find a way to effectively cope with the multi-bit error. This paper proposes a fault-tolerant method which backs up the pipeline registers based on cycle granularity, the dual modular redundancy is applied in this method. The pipeline registers on the two pipelines are compared through the comparators to detect the error and the pipeline registers are backed up based on cycle granularity. It takes two cycles to restore the error pipeline when the error is detected. The write buffer is set in the entrance to the data cache and register file to avoid dirty data flowing out of the pipeline. And we can ensure the data is correct through delay write. This paper implements the fault-tolerant method based on SPARC V8 processor and tests in the simulation environment. The simulation results shows that the CPU clock speed of the hardened processor in which the proposed fault-tolerant method is applied can increase 70% at most and the fault-tolerance of the SEU, SET and MBU is implemented with the limited area overhead.关键词：SEU;MBU;fault tolerance;back-up;write-buffer;pipeline hardened130|142|0更新时间：2025-07-16
- 摘要：Considering the transistors distribution in a SRAM and the relative positions of two adjacent SRAMs, the mechanism of multiple upsets in 65nm twin-well CMOS SRAM internal nodes and the impact factors of multiple cell upset induced by parasitic bipolar effect are investigated through 3D TCAD device simulation. It is found that multiple upsets in SRAM internal nodes result from the competition of p+-drains in the n-well. The competition depends on the parasitic bipolar effect which is related to the distance between p+-source and n-well contact, as well as the electric potential difference between p+-drain and n-well. PNP parasitic bipolar transistors play an important role in nanometric twin-well CMOS SRAM. Although reducing the distance between SRAM and n-well contact can weaken parasitic bipolar effect, ions with special incident angles or high linear energy transfers can also trigger the parasitic bipolar effect in adjacent SRAM and induce multiple cell upset.关键词：parasitic bipolar transistor effect;multiple cell upset;nanometric SRAM127|159|1更新时间：2025-07-16
- 摘要：With the rapid progress of precision medical technology, the segmentation of lesion regions in PET/CT images has played an important role in the development of medical plans. PET/CT combines two advanced imaging technologies organically: PET (functional metabolic imaging) and CT (anatomical structure imaging), which is an important progress in image diagnostics. Combined with the segmentation methods, this paper describes the characteristics of PET/CT images, the analysis of the current methods and the clinical application. Finally, the paper elaborates the development trend of PET/CT image segmentation technology.关键词：precision medical;PET/CT image;segmentation method;clinical application302|445|1更新时间：2025-07-16
- 摘要：The integrated circuits used in aerospace can be influenced by space radiation effects, leading to some problems such as transient disturbance, data upset, performance degradation, functional failure or even destructive damage. The variety and complexity of these problems increases as the feature size of devices scales down to less than 100 nm (called as "nano-scale" in this paper). Single event effect has become a main reliability factor for space-used ICs, and brought about much challenge to radiation hardness assurance and radiation hardening. Taking nano-scale ICs as the research object, combined with recent technology progress, this paper introduces the research achievements in single event effect and hardening techniques of 65 nm ICs, including the proposed time-domain testing and analyzing method, radiation hardening techniques for single event multi-node upsets and single event transients.关键词：integrated circuit;nano-scale;single event effect;radiation hardening213|249|5更新时间：2025-07-16
- 摘要：Local binary patterns have been widely used in texture images classification. However, conventional LBP methods focus on the distribution of LBP values and ignore the spatial contextual information between LBP patterns. In this paper, a texture images classification method based on two-dimensional Local Binary Pattern (2DLBP) is proposed. The proposed method introduces a sliding window to count the weighted occurrence number of LBP pairs on the feature map of rotation invariant uniform LBP. The radius of LBP is also changed to obtain the multi-resolution 2DLBP features. At last, texture images are classified using the methods of the support vector machine (SVM). Theoretical validation shows that the proposed method is a generalized framework, and can be integrated with other LBP variants to derive a new feature extraction method. Experimental results show that, compared with the conventional LBP, the variants of LBP, and some state of the art texture classification methods, the proposed method achieves acceptable performance in texture images classification.关键词：local binary pattern;texture images;contextual information;texture image classification434|362|2更新时间：2025-07-16
- 摘要：MPTCP, as an extension of the TCP, is proposed to support using multiple addresses for multipath transmission. However, focusing on the collaboration of multiple interfaces inner one terminal, the original MPTCP protocol is difficult to realize collaboration among multiple sources. Smart Identifier Network (SINET) is a new architecture for the future Internet, the core idea of which is to maximize network utilization through a large scale of component collaborations. In this paper, we extend the current uni-source MPTCP to the multi-sources MPTCP, and propose an SINET based multi-source collaborative transmission solution. Specially, we introduce the multiple sub-source collaboration methods and details the models and the core workflow. Simulation results show that the proposed mechanism can improve the utilization ratio of congestion windows from 51% to 96%, hence improves network utilization and throughput greatly.关键词：SINET;Multi-source collaborative transmission;TCP inflexibility;MPTCP132|208|2更新时间：2025-07-16
- 摘要：The existing real-world or simulated fault injection methods cannot meet the requirements of reliability verification of nanoscale microprocessors for space applications, since they may introduce problems such as high cost, poor flexibility, poor observability, and low accuracy. This paper proposes a hardware/software cooperated fault injection scheme based on backplane, the time and positions of fault are generated in software, and injected into hardware design at register transfer level. Further, a multi-bit fault model focuses on radiation-induced soft error is proposed for register and memory. Experimental results show that the proposed software and hardware co-designed fault injection platform provides a high automation, randomicity and non-intrusion reliability evaluation method for fault-tolerant processor design.关键词：fault-tolerant;fault injection;software-hardware co-design;single event upset;microprocessor;RTL226|175|2更新时间：2025-07-16
- 摘要：The received satellite signal will be converted into digital Intermediate Frequency (IF) signal after the radio frequency front-end processing. As one of the crucial parts in IF signal processing, the accurate phase tracking can ensure the precise satellite signal decoding, distance ranging, and positioning. Based on this, this paper proposes a Phase Locked Loop (PLL) based phase tracking algorithm for QPSK modulated satellite signals. Specifically, the algorithm uses multiple orthogonal carriers and arc-tangent based phase detector to obtain accurate phase difference information, which finally forms a closed loop to lock the carrier phase for the tracking. Experimental results show that the multiple heterogeneous carrier is able to achieve fast phase locking. In addition, compared with the conventional Costas loop and Matsuo loop, the time cost for reaching steady state of our system is reduced by 20% and 24%, while the corresponding steady-state variance is reduced by 21% and 32% respectively.关键词：satellite;QPSK modulation;phase tracking;phase locked loop;multiple orthogonal carrier129|214|0更新时间：2025-07-16
- 摘要：An effective LET of incident ions measurement method based on charge collection test technique is proposed. Firstly, the relationship between effective LET and amount of collected charge caused by incident ions in semiconductor devices analyzed, and according to the relationship the effective LET measurement method is raised. Then a semiconductor device charge collection test system is established and the effective LET test method is verified utilizing PN junction and SRAM. Finally, the effective LET in a semiconductor device that has abnormal Single Event Upset cross-section data is measured and find the reason for the abnormal data.关键词：single event effect;charge collection;effective LET;SRAM265|191|0更新时间：2025-07-16
- 摘要：Private processes are the basis for building a collaborative business process, and its correctness has a direct impact on the business collaboration implementation. To this end, we propose an approach of step-by-step refinement to build a private process. First, we define a private process and abstract its control flow into four basic blocks, i.e., sequential block, concurrent block, selection block, and iteration block. Then, we propose corresponding refinement rules for the four basic blocks, and a private process construction method is proposed based on these refinement rules. Finally, we theoretically prove that the private process established by the present approach has the characteristics of workflow network and is correct. We model the supply chain in collaborative manufacturing and compare the present approach with the existing methods. The results show that the present method can more effectively model the private process with respect to the existing typical work.关键词：private process;basic block;refinement rule;interface consistency;correctness3|4|0更新时间：2025-07-16
- Technical support is provided by Beijing Founder electronics co., LTD 京ICP备09064830号-19
京公网安备11010802024621 - It is recommended to read the content of this site in Chrome&IE9+. Please switch to extreme mode in browser 360.
- Cookies We use cookies to help provide and enhance our service and tailor content. By continuing, you agree to the use of cookies.
0