Search

The Boolean Satisfiability problem (SAT) is a prototypical NP-complete problem, which has been widely studied due to its significant importance in both theory and applications. Stochastic local search (SLS) algorithms are among the most efficient approximate methods available for solving certain types of SAT instances. The quantitative configuration checking (QCC) heuristic is an effective approach for improving SLS algorithms on solving the SAT problem, resulting in an efficient SLS solver for SAT named Swqcc. In this paper, we focus on combining the QCC heuristic with an aspiration mechanism, and then design a new heuristic called QCCA. On the top of Swqcc, we utilize the QCCA heuristic to develop a new SLS solver dubbed AspiSAT. Through extensive experiments, the results illustrate that, on random 3-SAT instances, the performance of AspiSAT is much better than that of Swqcc and Sparrow, which is an influential and efficient SLS solver for SAT. In addition, we further enhance the original clause weighting schemes employed in Swqcc and AspiSAT, and thus obtain two new SLS solvers called Ptwqcc and AspiPT, respectively. The eperimental results present that both Ptwqcc and AspiPT outperform Swqcc and AspiSAT on random 5-SAT instances, indicating that both QCC and QCCA heuristics are able to cooperate effectively with different clause weighting schemes.

Ice nucleation protein (INP) is frequently used as a surface anchor for protein display in gram-negative bacteria. Here, MalE and TorA signal peptides, and three charged polypeptides, 6×Lys, 6×Glu and 6×Asp, were anchored to the N-terminus of truncated INP (InaK-N) to improve its surface display efficiency for human Arginase1 (ARG1). Our results indicated that the TorA signal peptide increased the surface translocation of non-protein fused InaK-N and human ARG1 fused InaK-N (InaK-N/ARG1) by 80.7% and 122.4%, respectively. Comparably, the MalE signal peptide decreased the display efficiencies of both the non-protein fused InaK-N and InaK-N/ARG1. Our results also suggested that the 6×Lys polypeptide significantly increased the surface display efficiency of K6-InaK-N/ARG1 by almost 2-fold, while also practically abolishing the surface translocation of non-protein fused InaK-N, indicating the interesting roles of charged polypeptides in bacteria surface display systems. Cell surface-immobilized K6-InaK-N/ARG1 presented an arginase activity of 10.7 U/OD600 under the optimized conditions of 40°C, pH 10.0 and 1 mM Mn2+, which could convert more than 95% of L-Arginine (L-Arg) to L-Ornithine (L-Orn) in 16 hours. The engineered InaK-Ns expanded the INP surface display system, which aided in the surface immobilization of human ARG1 in E. coli cells.

We previously reported that oxidized low density lipoprotein (oxLDL) accelerated the calcification in aorta of rats and rat vascular smooth muscle cells (RVSMCs). However, the molecular mechanism underlying the acceleration remains poorly understood. The present study aimed to investigate the role of calpain-1, Ca2+-sensitive intracellular cysteine proteases, in the vascular calcification of rats treated with both high dose of vitamin D2 and high cholesterol diet. The results showed that calpain activity significantly increased in calcified aortic tissue of rats and RVSMCs treated with oxLDL. Specific calpain inhibitor I (CAI, 0.5mg/kg, intraperitoneal) inhibited the vascular calcification in rats with hypercholesterolemia accompanied by the increase in the level of extracellular inorganic pyrophosphate (PPi), the endogenous inhibitor of vascular calcification. In addition, CAI increased the content of adenosine triphosphate (ATP), decreased the activity, mRNA and protein expression of alkaline phosphatase (ALP) and reduced the production of superoxide anion in calcified aortic tissue. CAI also increased the activity of ATP synthase as well as protein expression of ATP5D, δ subunit of ATP synthase. In the in vitro study, suppression of calpain-1 using siRNA assay inhibited the calcium deposition, increased the levels of PPi and ATP, improved the activity of ATP synthase as well as protein expression of ATP5D in RVSMCs treated with oxLDL. Calpain-1 suppression also decreased the activity, mRNA and protein expression of ALP and reduced the mitochondrial ROS (Mito-ROS) production in RVSMCs. However, mito-TEMPO, the mitochondria-targeted ROS scavenger, reduced the calcium deposition, increased the PPi in culture medium, decreased the activity, mRNA and protein expression of ALP in RVSMCs treated with oxLDL. Taken together, the results suggested that calpain-1 activation plays critical role in vascular calcification caused by oxLDL, which might be mediated by PPi metabolism disorder. The results also implied that Mito-ROS might contribute to the PPi metabolism disorder through regulation of the activity and expression of ALP.