Protecting Memories against Soft Errors: The Case for Customizable Error Correction Codes

As technology scales, radiation induced soft errors create more complex error patterns in memories with a single particle corrupting several bits. This poses a challenge to the Error Correction Codes (ECCs) traditionally used to protect memories that can correct only single bit errors. During the last decade, a number of codes have been developed to correct the emerging error patterns, focusing initially on double adjacent errors and later on three bit burst errors. However, as the memory cells get smaller and smaller, the error patterns created by radiation will continue to change and thus new codes will be needed. In addition, the memory layout and the technology used may also make some patterns more likely than others. For example, in some memories, there maybe elements that separate blocks of bits in a word, making errors that affect two blocks less likely. Finally, for a given memory, depending on the data stored, some error patterns may be more critical than others. For example, if numbers are stored in the memory, in most cases, errors on the more significant bits have a larger impact. Therefore, for a given memory and application, to achieve optimal protection, we would like to have a code that corrects a given set of patterns. This is not possible today as there is a limited number of code choices available in terms of correctable error patterns and word lengths. However, most of the codes used to protect memories are linear block codes that have a regular structure and which design can be automated. In this paper, we propose the automation of error correction code design for memory protection. To that end, we introduce a software tool that given a word length and the error patterns that need to be corrected, produces a linear block code described by its parity check matrix and also the bit placement. The benefits of this automated design approach are illustrated with several case studies. Finally, the tool is made available so that designers can easily produce custom error correction codes for their specific needs.Jiaqiang Li and Liyi Xiao would like to acknowledge the support of the Fundamental Research Funds for the Central Universities (Grant No. HIT.KISTP.201404), Harbin science and innovation research special fund (2015RAXXJ003), and Special found for development of Shenzhen strategic emerging industries (JCYJ20150625142543456). Pedro Reviriego would like to acknowledge the support of the TEXEO project TEC2016-80339-R funded by the Spanish Ministry of Economy and Competitivity and of the Madrid Community research project TAPIR-CM Grant No. P2018/TCS-4496

Measurement of solid–liquid mixing quality by using a uniform design method based on image analysis

Solid–liquid mixing has been a common industrial process operation. The measurement of solid–liquid mixing quality can help improve the efficiency of related industrial processes, but there is still a lack of an intuitive, accurate, and simple measurement method. As an important indicator to evaluate the solid–liquid mixing quality, the degree of solid suspension and the uniformity of solid distribution are directly related to mass transfer and reaction efficiency. Therefore, it is necessary to study the solid suspension and distribution in a solid–liquid system. In this work, the solid suspension and distribution of a solid–liquid system composed of glass beads–water stirred by the impeller are studied experimentally via digital image processing combined with statistical analysis. Specifically, images of solid–liquid mixing are first obtained using a camera and digitally processed. The area ratio of the solid in the image is proposed to reflect the degree of solid suspension, and the modified L2-star discrepancy (MD) is then used to quantify the uniformity of the solid distribution. Then, the solid–liquid mixing quality can be characterized by combining the area ratio and solid distribution. The feasibility of this method was proved by qualitative analysis of the solid–liquid mixing state and comparison with known studies. In addition, the effects of various stirring factors on the solid distribution were studied and discussed by using the proposed method. The results show that the method proposed in this paper can measure the quality of the solid–liquid mixing state more directly and is effective and accurate. Furthermore, it was used to find the best experimental parameters in this work. This method is also simpler and cheaper than many other methods. It is of great significance to improve the efficiency of chemical and metallurgical and other industrial processes

A Study of Pulsation properties of 57 Non-Blazhko effect ab-type RR Lyrae stars with homogeneous metallicities from the LAMOST-Kepler/K2 survey

Homogeneous metallicities and continuous high-precision light curves play key roles in studying the pulsation properties of RR Lyrae stars. By cross-matching with LAMOST DR6, we have determined 7 and 50 Non-Blazhko RRab stars in the Kepler and K2 fields, respectively, who have homogeneous metallicities determined from low-resolution spectra of the LAMOST-Kepler/K2 project. The Fourier Decomposition method is applied to the light curves of these stars provided by the Kepler space based telescope to determine the fundamental pulsation periods and the pulsation parameters. The calculated amplitude ratios of R21, R31 and the phase differences of {\phi}21, {\phi}31 are consistent with the parameters of the RRab stars in both the Globular Clusters and the Large Magellanic Cloud. We find a linear relationship between the phase differences {\phi}21 and {\phi}31, which is in good agreement with the results in previous literature. As far as the amplitude, we find that the amplitude of primary frequency A1 and the total amplitude Atot follow either a cubic or linear relationship. For the rise time RT, we do not find its relevance with the period of the fundamental pulsation mode P1, or Atot and {\phi}21. However, it might follow a linear relationship with R31. Based on the homogeneous metallicities, we have derived a new calibration formula for the relationship of period-{\phi}31-[Fe/H], which agrees well with the previous studies

Traffic-Aware Multi-Camera Tracking of Vehicles Based on ReID and Camera Link Model

Multi-target multi-camera tracking (MTMCT), i.e., tracking multiple targets across multiple cameras, is a crucial technique for smart city applications. In this paper, we propose an effective and reliable MTMCT framework for vehicles, which consists of a traffic-aware single camera tracking (TSCT) algorithm, a trajectory-based camera link model (CLM) for vehicle re-identification (ReID), and a hierarchical clustering algorithm to obtain the cross camera vehicle trajectories. First, the TSCT, which jointly considers vehicle appearance, geometric features, and some common traffic scenarios, is proposed to track the vehicles in each camera separately. Second, the trajectory-based CLM is adopted to facilitate the relationship between each pair of adjacently connected cameras and add spatio-temporal constraints for the subsequent vehicle ReID with temporal attention. Third, the hierarchical clustering algorithm is used to merge the vehicle trajectories among all the cameras to obtain the final MTMCT results. Our proposed MTMCT is evaluated on the CityFlow dataset and achieves a new state-of-the-art performance with IDF1 of 74.93%.Comment: Accepted by ACM International Conference on Multimedia 202

An Efficient ZK Compiler from SIMD Circuits to General Circuits

We propose a generic compiler that can convert any zero-knowledge proof for SIMD circuits to general circuits efficiently, and an extension that can preserve the space complexity of the proof systems. Our compiler can immediately produce new results improving upon state of the art. -By plugging in our compiler to Antman, an interactive sublinear-communication protocol, we improve the overall communication complexity for generalcircuits from $\mathcal{O}(C^{3/4})$ to $\mathcal{O}(C^{1/2})$. Our implementation shows that for a circuit of size $2^{27}$, it achieves up to $83.6\times$ improvement on communication compared to the state-of-the-art implementation. Its end-to-end running time is at least $70\%$ faster in a $10$Mbps network. -Using recent results on compressed $\Sigma$-protocol theory, we obtain a discrete-log-based constant-round zero-knowledge argument with $\mathcal{O}(C^{1/2})$ communication and common random string length, improving over the state of the art that has linear-size common random string and requires heavier computation. -We improve the communication of a designated $n$-verifier zero-knowledge proof from $\mathcal{O}(nC/B+n^2B^2)$ to $\mathcal{O}(nC/B+n^2)$. To demonstrate the scalability of our compilers, we were able to extract a commit-and-prove SIMD ZK from Ligero and cast it in our framework. We also give one instantiation derived from LegoSNARK, demonstrating that the idea of CP-SNARK also fits in our methodology

Change in household fuels dominates the decrease in PM_(2.5) exposure and premature mortality in China in 2005–2015

To tackle the severe fine particle (PM_(2.5)) pollution in China, the government has implemented stringent control policies mainly on power plants, industry, and transportation since 2005, but estimates of the effectiveness of the policy and the temporal trends in health impacts are subject to large uncertainties. By adopting an integrated approach that combines chemical transport simulation, ambient/household exposure evaluation, and health-impact assessment, we find that the integrated population-weighted exposure to PM_(2.5) (IPWE) decreased by 47% (95% confidence interval, 37–55%) from 2005 [180 (146–219) μg/m^3] to 2015 [96 (83–111) μg/m^3]. Unexpectedly, 90% (86–93%) of such reduction is attributed to reduced household solid-fuel use, primarily resulting from rapid urbanization and improved incomes rather than specific control policies. The IPWE due to household fuels for both cooking and heating decreased, but the impact of cooking is significantly larger. The reduced household-related IPWE is estimated to avoid 0.40 (0.25–0.57) million premature deaths annually, accounting for 33% of the PM_(2.5)-induced mortality in 2015. The IPWE would be further reduced by 63% (57–68%) if the remaining household solid fuels were replaced by clean fuels, which would avoid an additional 0.51 (0.40–0.64) million premature deaths. Such a transition to clean fuels, especially for heating, requires technology innovation and policy support to overcome the barriers of high cost of distribution systems, as is recently being attempted in the Beijing–Tianjin–Hebei area. We suggest that household-fuel use be more highly prioritized in national control policies, considering its effects on PM_(2.5) exposures

Optical Coherence Tomography Angiography Reveals Distinct Retinal Structural and Microvascular Abnormalities in Cerebrovascular Disease.

Cerebrovascular disease (CeVD) is one of the leading global causes of death and severe disability. To date, retinal microangiopathy has become a reflection of cerebral microangiopathy, mirroring the vascular pathological modifications in vivo. To evaluate the retinal structure and microvasculature in patients with CeVD, we conducted a cross-sectional study in Zhongshan Ophthalmic Center and Department of Neurology of Third Affiliated Hospital, Sun Yat-sen University using optical coherence tomography angiography (OCTA). CeVD patients (n = 121; 238 eyes) and healthy controls (n = 44; 57 eyes) were included in the analysis. The CeVD group showed significant thinning of the peripapillary retinal nerve fiber layer (pRNFL) thickness in the temporal and nasal quadrants, and thinning of the macular ganglion cell-inner plexiform layer (GC-IPL) in the inferior quadrant, while macular microvasculature reduction was prominent in all nine quadrants. There were significant correlations between OCTA parameters, visual acuity, and transcranial doppler parameters in the CeVD group. The specific structural parameters combining microvasculature indices showed the best diagnostic accuracies (AUC = 0.918) to discriminate CeVD group from healthy controls. To conclude, we proved that OCTA reveals specific patterns of retinal structural changes and extensive macular microvascular changes in CeVD. Additionally, these retinal abnormalities could prove useful disease biomarkers in the management of individuals at high risk of debilitating complications from a cerebrovascular event

Comparison of macular structural and vascular changes in neuromyelitis optica spectrum disorder and primary open angle glaucoma: a cross-sectional study.

AIMS: To compare macular structure and vasculature between neuromyelitis optica spectrum disorder (NMOSD) and primary open angle glaucoma (POAG) using optical coherence tomography angiography. METHODS: NMOSD patients (n=124) with/without a history of optic neuritis (ON) (NMO+ON: 113 eyes; NMO-ON: 95 eyes), glaucomatous patients (n=102) with early/advanced glaucoma (G-E: 74 eyes; G-A: 50 eyes) and healthy controls (n=62; 90 eyes) were imaged. The main outcome measures were macular ganglion cell-inner plexiform layer (GC-IPL) thickness, vessel density (VD) and perfusion density (PD) in the superficial capillary plexus, and diagnostic capabilities of the parameters as calculated by area under the curve (AUC). RESULTS: Significant losses in GC-IPL, VD and PD were detected in both patients with NMOSD and POAG. With matched losses in the peripapillary retinal nerve fibre layer, NMOSD group showed significant thinning of GC-IPL in the nasal-superior quadrant, whereas in POAG group, significant thinning was observed in the inferior and temporal-inferior quadrants. GC-IPL thinning was more prominent in the superior, nasal-superior and nasal-inferior quadrants in NMO+ON eyes. In G-A eyes, significant GC-IPL thinning was seen in the temporal-inferior quadrant. The specific structural parameters combining VD and foveal avascular zone (FAZ) indices showed the best diagnostic accuracies. The FAZ area in eyes with NMOSD was significantly smaller than the eyes of healthy controls and POAG. CONCLUSION: NMOSD and POAG have specific patterns of macular structural and vascular changes associated with pathophysiology. Our results indicate that FAZ could be a sensitive biomarker of macular changes in NMOSD