云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

无约束平差与秩亏自由网平差在GPS数据处理中的比较

本文介绍了常规的无约束平差与近代的秩亏自由网平差,并用这两种方法对某城市的GPS监测网的测量数据进行处理,对各种方法解算的结果进行了对比分析,得出两种方法在精度、未知参数的改正数和基线向量的改正数上存在差异,并对其使用条件提出建议.     

Single Crystal to Single Crystal (SC‐to‐SC) Transformation from a Nonporous to Porous Metal–Organic Framework and Its Application Potential in Gas Adsorption and Suzuki Coupling Reaction through Postmodification

A new amino‐functionalized strontium–carboxylate‐based metal–organic framework (MOF) has been synthesized that undergoes single crystal to single crystal (SC‐to‐SC) transformation upon desolvation. Both structures have been characterized by single‐crystal X‐ray analysis. The desolvated structure shows an interesting 3D porous structure with pendent ?NH₂ groups inside the pore wall, whereas the solvated compound possesses a nonporous structure with DMF molecules on the metal centers. The amino group was postmodified through Schiff base condensation by pyridine‐2‐carboxaldehyde and palladium was anchored on that site. The modified framework has been utilized for the Suzuki cross‐coupling reaction. The compound shows high activity towards the C?C cross‐coupling reaction with good yields and turnover frequencies. Gas adsorption studies showed that the desolvated compound had permanent porosity and was microporous in nature with a BET surface area of 2052 m² g^?1. The material also possesses good CO₂ (8 wt %) and H₂ (1.87 wt %) adsorption capabilities.     

新趋势下促进河南产业融合发展的总体思路和对策建议

产业融合是在全球经济一体化、高新技术层出不穷迅猛发展的背景下,出现的一种新的发展模式和产业组织形式。推进河南产业融合发展,促进虚拟经济与实体经济深度融合,是培育河南经济新的增长点、提升河南产业竞争力的重大举措。本文给出了新趋势下促进河南产业融合发展的总体思路和对策建议。对丰富产业融合相关理论、为政府提供相应的决策建议有一定的意义。     

Lipase‐Supported Metal–Organic Framework Bioreactor Catalyzes Warfarin Synthesis

A green and sustainable strategy synthesizes clinical medicine warfarin anticoagulant by using lipase‐supported metal–organic framework (MOF) bioreactors (see scheme). These findings may be beneficial for future studies in the industrial production of chemical, pharmaceutical, and agrochemical precursors.     

Comprehensive Profiling by Non-targeted Stable Isotope Tracing Capillary Electrophoresis-Mass Spectrometry: A New Tool Complementing Metabolomic Analyses of Polar Metabolites

Mass spectrometry (MS) driven metabolomics is a frequently used tool in various areas of life sciences; however, the analysis of polar metabolites is less commonly included. In general, metabolomic analyses lead to the detection of the total amount of all covered metabolites. This is currently a major limitation with respect to metabolites showing high turnover rates, but no changes in their concentration. Such metabolites and pathways could be crucial metabolic nodes (e.g., potential drug targets in cancer metabolism). A stable-isotope tracing capillary electrophoresis–mass spectrometry (CE-MS) metabolomic approach was developed to cover both polar metabolites and isotopologues in a non-targeted way. An in-house developed software enables high throughput processing of complex multidimensional data. The practicability is demonstrated analyzing [U-¹³C]-glucose exposed prostate cancer and non-cancer cells. This CE-MS-driven analytical strategy complements polar metabolite profiles through isotopologue labeling patterns, thereby improving not only the metabolomic coverage, but also the understanding of metabolism.     

Metabolic profiles of dioscin in rats revealed by ultra‐performance liquid chromatography quadrupole time‐of‐flight mass spectrometry

Dioscin (DIS), one of the most abundant bioactive steroidal saponins in Dioscorea sp., is used as a complementary medicine to treat coronary disease and angina pectoris in China. Although the pharmacological activities and pharmacokinetics of DIS have been well demonstrated, information regarding the final metabolic fates is very limited. This study investigated the in vivo metabolic profiles of DIS after oral administration by ultra‐performance liquid chromatography quadrupole time‐of‐flight mass spectrometry method. The structures of the metabolites were identified and tentatively characterized by means of comparing the molecular mass, retention time and fragmentation pattern of the analytes with those of the parent compound. A total of eight metabolites, including seven phase I and one phase II metabolites, were detected and tentatively identified for the first time. Oxidation, deglycosylation and glucuronidation were found to be the major metabolic processes of the compound in rats. In addition, a possible metabolic pathway on the biotransformation of DIS in vivo was proposed. This study provides valuable and new information on the metabolism of DIS, which will be helpful for further understanding its mechanism of action. Copyright © 2015 John Wiley & Sons, Ltd.     

基于语料库的中国理工科大学生英语口语手势的使用研究

以中国理工科大学生为研究对象,运用语料库分析法和统计工具,对英语口语中使用手势的情况进行了研究,探讨在口语中手势的使用特点及形成原因。研究发现,英语水平越高的学生越多使用辅助言语表达的手势,水平较低的学生使用适配性手势时持续时间更长;不同性别学生的手势使用情况无显著差异。     

Norbornene derivatives from a metal‐free,strain‐promoted cycloaddition reaction: New building blocks for ring‐opening metathesis polymerization reactions

The preparation of new ring opening metathesis polymerization (ROMP) monomers using a 1,3‐dipolar cycloaddition between aryl azides and norbornadiene is described. Various norbornenetriazolines, obtained through a solvent‐and catalyst‐free reaction, can subsequently be incorporated into polymer backbones through ROMP reactions. Furthermore, thermal decomposition of the triazoline moiety can allow for further polymer functionalization. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 2357–2362