Verifying Data Constraint Equivalence in FinTech Systems

Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are created redundantly during the development cycle, slowing down the FinTech systems and causing unnecessary alerts. We present EqDAC, an efficient decision procedure to determine the data constraint equivalence. We first propose the symbolic representation for semantic encoding and then introduce two light-weighted analyses to refute and prove the equivalence, respectively, which are proved to achieve in polynomial time. We evaluate EqDAC upon 30,801 data constraints in a FinTech system. It is shown that EqDAC detects 11,538 equivalent data constraints in three hours. It also supports efficient equivalence searching with an average time cost of 1.22 seconds, enabling the system to check new data constraints upon submission.Comment: 14 pages, 11 figures, accepted by ICSE 202

Synthesizing Conjunctive Queries for Code Search

This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language description, Squid analyzes the relations derived from the examples by a Datalog-based program analyzer and synthesizes a conjunctive query expressing the search intent. The synthesized query can be further used to search for desired grammatical constructs in the editor. To achieve high efficiency, we prune the huge search space by removing unnecessary relations and enumerating query candidates via refinement. We also introduce two quantitative metrics for query prioritization to select the queries from multiple candidates, yielding desired queries for code search. We have evaluated Squid on over thirty code search tasks. It is shown that Squid successfully synthesizes the conjunctive queries for all the tasks, taking only 2.56 seconds on average

The Effect of Reverse Strain on Microstructure and Strengthening of Copper Fabricated by Severe Plastic Deformation of Torsion Process

The unidirectional single torsion process of commercially pure copper was followed by different number of reverse turns of torsion deformation. The effect of reverse strain on the material refinement and hardening was investigated. It is found that the grain refinement is significantly blocked in the reverse torsion strain in comparison with that only suffered in monotonic torsion strain. The strengthening slightly decreases with the torsional direction change. This phenomenon is interpreted in terms of the average dislocation density. A qualitative assumption is proposed to explain the retarded phenomenon of material refinement and hardening in the reverse torsion process. The reverse strain maybe improves the uniformity and stress-strain equilibrium of severe plastic deformation induced material.DOI: http://dx.doi.org/10.5755/j01.ms.24.3.18414</p

3D Single Object Tracking with Multi-View Unsupervised Center Uncertainty Learning

Center point localization is a major factor affecting the performance of 3D single object tracking. Point clouds themselves are a set of discrete points on the local surface of an object, and there is also a lot of noise in the labeling. Therefore, directly regressing the center coordinates is not very reasonable. Existing methods usually use volumetric-based, point-based, and view-based methods, with a relatively single modality. In addition, the sampling strategies commonly used usually result in the loss of object information, and holistic and detailed information is beneficial for object localization. To address these challenges, we propose a novel Multi-view unsupervised center Uncertainty 3D single object Tracker (MUT). MUT models the potential uncertainty of center coordinates localization using an unsupervised manner, allowing the model to learn the true distribution. By projecting point clouds, MUT can obtain multi-view depth map features, realize efficient knowledge transfer from 2D to 3D, and provide another modality information for the tracker. We also propose a former attraction probability sampling strategy that preserves object information. By using both holistic and detailed descriptors of point clouds, the tracker can have a more comprehensive understanding of the tracking environment. Experimental results show that the proposed MUT network outperforms the baseline models on the KITTI dataset by 0.8% and 0.6% in precision and success rate, respectively, and on the NuScenes dataset by 1.4%, and 6.1% in precision and success rate, respectively. The code is made available at https://github.com/abchears/MUT.git

Effect of Saccharomyces cerevisiae Y-8 on the Quality and Flavor of Fermented Sausages

In order to improve the quality and flavor of fermented sausages, the effects of mixtures of Saccharomyces cerevisiae Y-8 and Lactiplantibacillus plantarum Z43 in different proportions on the physical and chemical properties, volatile flavor compounds and fatty acids of fermented sausages were explored. The volatile flavor compounds and fatty acids were determined by gas chromatography-ion mobility spectrometry (GC-IMS) and gas chromatography-mass spectrometry (GC-MS), respectively. The results showed that the addition of S. cerevisiae Y-8 promoted the production of esters and alcohols, reduced the acetic acid content, increased the final pH and the relative content of oleic acid, and rapidly reduced the number of enterobacteria in fermented sausages. Based on variable importance in the projection (VIP > 1) values obtained from the model established using orthogonal partial least squares discriminant analysis (OPLS-DA), 17 differential volatile flavor compounds were identified, which could effectively distinguish among all fermented sausage samples. Fermented sausage inoculated with L. plantarum Z43 and S. cerevisiae Y-8 in a ratio of 20:1 (the inoculum amount of L. plantarum Z43 was 107 CFU/g) had the highest overall sensory evaluation score and chrominance value, and its hardness was significantly higher than that of the other groups (P < 0.05). In addition, its content of 3-hydroxy-2-butanone was apparently higher than those of the other three groups. Inoculation with S. cerevisiae Y-8 could impart fermented sausages with high alcoholic and estery aromas, effectively eliminate the sour taste, and improve the quality and safety of fermented sausages. This finding can provide a reference for the application of S. cerevisiae in fermented meat products

REPOFUSE: Repository-Level Code Completion with Fused Dual Context

The success of language models in code assistance has spurred the proposal of repository-level code completion as a means to enhance prediction accuracy, utilizing the context from the entire codebase. However, this amplified context can inadvertently increase inference latency, potentially undermining the developer experience and deterring tool adoption - a challenge we termed the Context-Latency Conundrum. This paper introduces REPOFUSE, a pioneering solution designed to enhance repository-level code completion without the latency trade-off. REPOFUSE uniquely fuses two types of context: the analogy context, rooted in code analogies, and the rationale context, which encompasses in-depth semantic relationships. We propose a novel rank truncated generation (RTG) technique that efficiently condenses these contexts into prompts with restricted size. This enables REPOFUSE to deliver precise code completions while maintaining inference efficiency. Through testing with the CrossCodeEval suite, REPOFUSE has demonstrated a significant leap over existing models, achieving a 40.90% to 59.75% increase in exact match (EM) accuracy for code completions and a 26.8% enhancement in inference speed. Beyond experimental validation, REPOFUSE has been integrated into the workflow of a large enterprise, where it actively supports various coding tasks

Identification and characterization of a ribose 2′-O-methyltransferase encoded by the ronivirus branch of Nidovirales.

Peer reviewe

SCUBA2 High Redshift Bright Quasar Survey: Far-infrared Properties and Weak-line Features

We present a submillimetre continuum survey ('SCUBA2 High rEdshift bRight quasaR surveY', hereafter SHERRY) of 54 high redshift quasars at $5.6<z<6.9$ with quasar bolometric luminosities in a range of (0.2$-$$5)\times10^{14}\,L_{\odot}$, using the Submillimetre Common-User Bolometer Array-2 (SCUBA2) on the James Clerk Maxwell Telescope. About 30% (16/54) of the sources are detected with a typical 850$\mu$m rms sensitivity of 1.2 $\rm mJy\,beam^{-1}$ ($S\rm _{\nu,850\,\mu m} = 4$-5 mJy, at $>3.5\sigma$). The new SHERRY detections indicate far-infrared (FIR) luminosities of $\rm 3.5\times10^{12}$ to $\rm 1.4\times10^{13}$ $L_{\odot}$, implying extreme star formation rates of 90 to 1060 $M_{\odot}$ yr$^{-1}$ in the quasar host galaxies. Compared with $z =$ 2$-$5 samples, the FIR luminous quasars ($L_{\rm FIR} > 10^{13}\,L_{\odot}$) are more rare at $z \sim 6$. The optical/near-infrared (NIR) spectra of these objects show 11% (6/54) of the sources have weak Ly$\alpha$, emission line features, which may relate to different sub-phases of the central active galactic nuclei (AGNs). Our SCUBA2 survey confirms the trend reported in the literature that quasars with submillimeter detections tend to have weaker ultraviolet (UV) emission lines compared to quasars with nondetections. The connection between weak UV quasar line emission and bright dust continuum emission powered by massive star formation may suggest an early phase of AGN-galaxy evolution, in which the broad line region is starting to develop slowly or is shielded from the central ionization source, and has unusual properties such as weak line features or bright FIR emission.Comment: 28 pages, 10 figures, published in Ap

Dimerization of FIR upon FUSE DNA binding suggests a mechanism of c-myc inhibition

c-myc is essential for cell homeostasis and growth but lethal if improperly regulated. Transcription of this oncogene is governed by the counterbalancing forces of two proteins on TFIIH—the FUSE binding protein (FBP) and the FBP-interacting repressor (FIR). FBP and FIR recognize single-stranded DNA upstream of the P1 promoter, known as FUSE, and influence transcription by oppositely regulating TFIIH at the promoter site. Size exclusion chromatography coupled with light scattering reveals that an FIR dimer binds one molecule of single-stranded DNA. The crystal structure confirms that FIR binds FUSE as a dimer, and only the N-terminal RRM domain participates in nucleic acid recognition. Site-directed mutations of conserved residues in the first RRM domain reduce FIR's affinity for FUSE, while analogous mutations in the second RRM domain either destabilize the protein or have no effect on DNA binding. Oppositely oriented DNA on parallel binding sites of the FIR dimer results in spooling of a single strand of bound DNA, and suggests a mechanism for c-myc transcriptional control

High-throughput study of the effect of indium on the microstructure and properties of copper alloy

In this work, the high throughput sample of Cu-xIn (x = 0–5 wt.%) alloy was prepared by the spark plasma sintering. The effects of In content on the microstructure and properties of Cu alloys were investigated using advanced characterization. The results show that the concentration of In element linearly distributes in Cu alloy after annealing treatment at 450 °C. Most In elements exist in the Cu matrix as the solid solution atoms. Some In elements are precipitated at the grain boundaries as Cu9In4 particles when the In content is higher. The hardness of the alloy increases, while the conductivity decreases with the increase of In content, which is due to the hindrance of the movement of dislocations and electrons by solid solution atoms, grain boundaries, and Cu9In4 particles. The investigation of high throughput samples can provide data support for high strength and high conductivity Cu alloys