Effect of gums on viability and β‐galactosidase activity of Lactobacillus spp. in milk drink during refrigerated storage

The viability and β‐galactosidase activity of four Lactobacillus strains in milk drink containing gums during 28 days of refrigerated storage at 4 °C were assessed. The population of Lactobacillus rhamnosus GGB101 and Lactobacillus rhamnosus GGB103 were maintained, whereas the population of Lactobacillus reuteri DSM20016 and Lactobacillus reuteri SD2112 significantly decreased. The recommended level of 6 log CFU g^?1 was exceeded for all tested trains throughout storage. The highest viable number of Lactobacillus rhamnosus GGB103 (8.76 ± 0.03 log CFU mL^?1) was obtained in the product containing carrageenan–maltodextrin. The addition of guar–locust bean–carrageenan led to 20‐fold increase in the level of β‐galactosidase activity for L. rhamnosus GGB101 (1208 ± 2.12 Miller units mL^?1) compared to the control (61 ± 2.83 Miller units mL^?1). Our results suggested that gums could be added to milk to improve viability and enhance β‐galactosidase activity of Lactobacillus.     

ACE2, the Receptor that Enables Infection by SARS-CoV-2: Biochemistry,Structure, Allostery and Evaluation of the Potential Development of ACE2 Modulators

Angiotensin converting enzyme 2 (ACE2) is the human receptor that interacts with the spike protein of coronaviruses, including the one that produced the 2020 coronavirus pandemic (COVID-19). Thus, ACE2 is a potential target for drugs that disrupt the interaction of human cells with SARS-CoV-2 to abolish infection. There is also interest in drugs that inhibit or activate ACE2, that is, for cardiovascular disorders or colitis. Compounds binding at alternative sites could allosterically affect the interaction with the spike protein. Herein, we review biochemical, chemical biology, and structural information on ACE2, including the recent cryoEM structures of full-length ACE2. We conclude that ACE2 is very dynamic and that allosteric drugs could be developed to target ACE2. At the time of the 2020 pandemic, we suggest that available ACE2 inhibitors or activators in advanced development should be tested for their ability to allosterically displace the interaction between ACE2 and the spike protein.     

Vertical cyclic loading response of geosynthetic-encased stone column in soft clay

Dynamic responses of the geosynthetic-encased stone column (GESC) supported embankment under traffic loads have become a hot topic. This study investigates the responses of GESC improved ground under vertical cyclic loading. A series of laboratory tests in a designed model test tank have been carried out with different loading parameters (varied loading amplitudes and frequencies), different column dimensions (varied encasement lengths and column diameters). In the tests, the soil-column stress distribution, accumulated settlement of loading plate, excess pore water pressure in the surrounding soil and lateral bulging of the stone column are monitored. Experimental results indicate that the vertical stress on the stone column increases with the increment of encasement length, and decreases with the increment of column diameter, loading amplitude and loading frequency. The increasing stress on the surrounding soil leads to a greater accumulated settlement of the loading plate and excess pore water pressure, while the increasing stress on the column leads to larger lateral bulging of the column. Excess pore water pressure dissipates effectively through vertical and horizontal drainage channels provided by the stone column and the sand bed. The geosynthetic encasement prevents the clay from obstructing the drainage channel by filtration and guarantees the drainage effect.     

（S）-噻吗洛尔半水合物的合成及表征

为了开发β受体阻断剂新药（S）-噻吗洛尔半水合物，采用3-吗啉-4-氯-1，2，5-噻二唑为起始原料，经水解反应得到中间体1（3-吗啉-4-羟基-1，2，5-噻二唑）。中间体1与R-环氧氯丙烷发生醚化反应，经后处理及重结晶得到中间体2 {（R）-4-［4-（环氧乙烷-2-基甲氧基）-1，2，5-噻二唑-3-基］吗啉}。中间体2经胺化反应、马来酸成盐及重结晶得到（S）-马来酸噻吗洛尔。（S）-马来酸噻吗洛尔经游离、纯水转晶得到符合药典标准的（S）-噻吗洛尔半水合物，总收率14.05%且e.e.值为99.66%。最终成品经IR、1H-NMR、13C-NMR、MS、TGA、DSC表征，并优化各步反应条件。结果表明:以三乙胺为醚化反应缚酸剂75 ℃反应最佳；以乙醇为胺化反应溶剂46 ℃反应16 h最佳；S-噻吗洛尔的转晶拆分以水作溶剂，比传统不对称合成工艺安全稳定，操作简单，适合工业化生产。     

Effects of SO2 on selective catalytic reduction of NO with NH3 over a TiO2 photocatalyst

The effect of SO₂ gas was investigated on the activity of the photo-assisted selective catalytic reduction of nitrogen monoxide (NO) with ammonia (NH₃) over a TiO₂ photocatalyst in the presence of excess oxygen (photo-SCR). The introduction of SO₂ (300 ppm) greatly decreased the activity of the photo-SCR at 373 K. The increment of the reaction temperature enhanced the resistance to SO₂ gas, and at 553 K the conversion of NO was stable for at least 300 min of the reaction. X-ray diffraction, FTIR spectroscopy, thermogravimetry and differential thermal analysis, x-ray photoelectron spectroscopy (XPS), elemental analysis and N₂ adsorption measurement revealed that the ammonium sulfate species were generated after the reaction. There was a strong negative correlation between the deposition amount of the ammonium sulfate species and the specific surface area. Based on the above relationship, we concluded that the deposition of the ammonium sulfate species decreased the specific surface area by plugging the pore structure of the catalyst, and the decrease of the specific surface area resulted in the deactivation of the catalyst.     

TCBR-HMM: An HMM-based text classifier with a CBR system

This paper presents an innovative solution to model distributed adaptive systems in biomedical environments. We present an original TCBR-HMM (Text Case Based Reasoning-Hidden Markov Model) for biomedical text classification based on document content. The main goal is to propose a more effective classifier than current methods in this environment where the model needs to be adapted to new documents in an iterative learning frame. To demonstrate its achievement, we include a set of experiments, which have been performed on OSHUMED corpus. Our classifier is compared with Naive Bayes and SVM techniques, commonly used in text classification tasks. The results suggest that the TCBR-HMM Model is indeed more suitable for document classification. The model is empirically and statistically comparable to the SVM classifier and outperforms it in terms of time efficiency.     

不同晶相结构ZrO2负载铜基催化剂用于二乙醇胺脱氢反应

通过制备不同晶相结构〔单斜相(m-ZrO_2)、四方相(t-ZrO_2)和无定型(a-ZrO_2)〕ZrO_2载体,再通过沉积沉淀法制得Cu/m-ZrO_2、Cu/t-ZrO_2和Cu/a-ZrO_2催化剂,分别用于催化二乙醇胺脱氢合成亚氨基二乙酸反应。采用XRD、氮气物理吸附脱附、XPS、H_2-TPR、CO_2-TPD对催化剂的结构进行了表征。结果表明,Cu/m-ZrO_2催化剂界面更加有利于Cu~+/Cu~0稳定存在,具有更多的碱性位点,且抗氧化性较好。在二乙醇胺脱氢反应中,Cu/m-ZrO_2催化剂性能最好,反应时间为2.5 h,亚氨基二乙酸收率为97.64%。     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.