Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

Visceral Obesity and Its Shared Role in Cancer and Cardiovascular Disease: A Scoping Review of the Pathophysiology and Pharmacological Treatments

The association between obesity, cancer and cardiovascular disease (CVD) has been demonstrated in animal and epidemiological studies. However, the specific role of visceral obesity on cancer and CVD remains unclear. Visceral adipose tissue (VAT) is a complex and metabolically active tissue, that can produce different adipokines and hormones, responsible for endocrine-metabolic comorbidities. This review explores the potential mechanisms related to VAT that may also be involved in cancer and CVD. In addition, we discuss the shared pharmacological treatments which may reduce the risk of both diseases. This review highlights that chronic inflammation, molecular aspects, metabolic syndrome, secretion of hormones and adiponectin associated to VAT may have synergistic effects and should be further studied in relation to cancer and CVD. Reductions in abdominal and visceral adiposity improve insulin sensitivity, lipid profile and cytokines, which consequently reduce the risk of CVD and some cancers. Several medications have shown to reduce visceral and/or subcutaneous fat. Further research is needed to investigate the pathophysiological mechanisms by which visceral obesity may cause both cancer and CVD. The role of visceral fat in cancer and CVD is an important area to advance. Public health policies to increase public awareness about VAT’s role and ways to manage or prevent it are needed.     

液压支架让缩性能试验特性分析与探讨

分析研究国家标准中液压支架让缩性能试验的技术要求,设计开发让缩性能试验系统,以双伸缩立柱液压支架为研究对象进行让缩性能试验分析与研究,为让缩性能试验的开展提供了试验条件,为液压支架国标的实施提供基础。     

Color preferences for different topics in connection to personal characteristics

Studies on color preferences are dependent on the topic and the relationships with personal characteristics, particularly personality, but these are seldom studied in one population. Therefore a questionnaire was collected from 1095 Dutch people asking for color preferences about different topics and relating them to personal characteristics. Color preferences regarding different topics show different patterns and significant differences were found between gender, age, education and personality such as being technical, being emotional or being a team player. Also, different colors were mentioned when asked for colors that stimulate to be quiet, energetic, and able to focus or creative. Probably, due to unconsciousness of contexts, many people had no color preference, a result that in the literature seldom is mentioned. Blue was the overall favorite color; however, most males chose for blue (25%) while most females had no color preference (18%). Black was the overall favorite color for clothing, mainly chosen by females (40%), while males primarily chose blue (27%). For building interiors subjects preferred white. For moods, subjects preferred white for being quiet or being able to focus, red for being energetic and had no color preference for being creative. It is concluded that color preferences are dependent upon the topic, and personal characteristics. The findings are important for architects, interior designers, fashion designers and product designers to have a basic idea of preferred colors for different objects by different types of people. © 2013 Wiley Periodicals, Inc. Col Res Appl, 40, 62–71, 2015     

PET的紫外老化性能及机理研究

采用力学、紫外-可见光分析和热失质等测试手段研究了PET改性料的紫外老化性能及老化机理。结果表明:复合助剂的加入能显著提升体系的力学性能保持率,进而提升其紫外老化寿命,提升的幅度随复合助剂中耐紫外剂含量的增加而显著增加。DSC分析表明,随着复合助剂的引入和老化的进行,改性料结晶度增加。文中进一步讨论了PET改性料的紫外老化机理。紫外-可见光分析表明,紫外老化能产生醌类和双醌类物质,进而提升PET改性料的紫外吸收度。     

K4,4,p的点可区别的IE-全染色(p≥1008)

该文利用色集事先分配法、构造染色法、反证法探讨了完全三部图K_4,4,p (p≥1008)的点可区别IE-全染色问题，确定了K_4,4,p (p≥1008)的点可区别IE-全染色数。     

Microenvironment and related genes predict outcomes of patients with cervical cancer: evidence from TCGA and bioinformatic analysis

Cervical cancer (CESC) is one of the most common cancers and affects the female genital tract. Consistent HPV infection status has been determined to be a vital cause of tumorigenesis. HPV infection may induce changes to the immune system and limit the host’s immune response. Immunotherapy is therefore essential to improving the overall survival of both locally advanced and recurrent CESC patients. Using 304 relevant samples from TCGA, we assessed immune cell function in CESC patients to better understand the status of both tumor micro-environment cells and immune cells in CESC. Functional enrichment analysis, pathway enrichment analysis, and PPI network construction were performed to explore the differentially expressed genes (DEGs). The analysis identified 425 DEGs, which included 295 up-regulated genes and 130 down-regulated genes. We established that upregulation of CCL5 was correlated with significantly better survival, meaning that CCL5 expression could serve as a novel prognostic biomarker for CESC patients. We further focused on CCL5 as a hub gene in CESC, as it had significant correlations with increased numbers of several types of immune cells. Cell-type fractions of M1 macrophages were significantly higher in the high-immune-scores group, which was associated with better overall survival. Finally, we concluded that CCL5 is a promising prognostic biomarker for CESC, as well as a novel chemotherapeutic target.     

网络安全等级保护测评中测评结论的度量方法优化

文章分析了网络安全等级保护2.0时期国家标准的新变化对等级测评结论可能产生的影响,并用实际案例和数据论述了以往描述的基于测评指标和基于测评对象的定量分析方法存在的局限性。根据网络安全等级保护国家标准结构和内容的新特点,结合新的等级测评结论表述方法,文章提出了调整和优化定量计算产生等级测评结论的思路,给出了缺陷扣分的原理和缺陷扣分的定量计算方法,并比较了各种定量计算方法在计算结果上的差异,提出了适合新标准的测评结论定量计算公式。     

京津冀协同发展下的河北省技术技能人才培养对策研究

京津冀协同发展战略是我国当前重点推进的国家顶层战略,河北省作为京津产业转移对接的重要基地,在产业升级、爬坡过坎中面临重要的战略任务。破解困境的突破点在于技术技能人才的培养和使用。在京津冀协同发展背景下,亟待我省政府和职业院校尤其是高等职业院校,适应经济新常态,大力推进现代职教改革,培养我省转型升级需要的高素质技术技能人才,为服务国家战略提供技术技能支撑。