Speeding Up the GVW Algorithm via a Substituting Method

Journal of Systems Science and Complexity - The GVW algorithm is an efficient signature-based algorithm for computing Gröbner bases. In this paper, the authors consider the implementation of...     

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

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

Aristotle Said “Happiness is a State of Activity” — Predicting Mood Through Body Sensing with Smartwatches

We measure and predict states of Activation and Happiness using a body sensing application connected to smartwatches. Through the sensors of commercially available smartwatches we collect individual mood states and correlate them with body sensing data such as acceleration, heart rate, light level data, and location, through the GPS sensor built into the smartphone connected to the smartwatch. We polled users on the smartwatch for seven weeks four times per day asking for their mood state. We found that both Happiness and Activation are negatively correlated with heart beats and with the levels of light. People tend to be happier when they are moving more intensely and are feeling less activated during weekends. We also found that people with a lower Conscientiousness and Neuroticism and higher Agreeableness tend to be happy more frequently. In addition, more Activation can be predicted by lower Openness to experience and higher Agreeableness and Conscientiousness. Lastly, we find that tracking people’s geographical coordinates might play an important role in predicting Happiness and Activation. The methodology we propose is a first step towards building an automated mood tracking system, to be used for better teamwork and in combination with social network analysis studies.     

Early SIV and HIV infection promotes the LILRB2/MHC-I inhibitory axis in cDCs

Classical dendritic cells (cDCs) play a pivotal role in the early events that tip the immune response toward persistence or viral control. In vitro studies indicate that HIV infection induces the dysregulation of cDCs through binding of the LILRB2 inhibitory receptor to its MHC-I ligands and the strength of this interaction was proposed to drive disease progression. However, the dynamics of the LILRB2/MHC-I inhibitory axis in cDCs during early immune responses against HIV are yet unknown. Here, we show that early HIV-1 infection induces a strong and simultaneous increase of LILRB2 and MHC-I expression on the surface of blood cDCs. We further characterized the early dynamics of LILRB2 and MHC-I expression by showing that SIVmac251 infection of macaques promotes coordinated up-regulation of LILRB2 and MHC-I on cDCs and monocytes/macrophages, from blood and lymph nodes. Orientation towards the LILRB2/MHC-I inhibitory axis starts from the first days of infection and is transiently induced in the entire cDC population in acute phase. Analysis of the factors involved indicates that HIV-1 replication, TLR7/8 triggering, and treatment by IL-10 or type I IFNs increase LILRB2 expression. Finally, enhancement of the LILRB2/MHC-I inhibitory axis is specific to HIV-1 and SIVmac251 infections, as expression of LILRB2 on cDCs decreased in naturally controlled chikungunya virus infection of macaques. Altogether, our data reveal a unique up-regulation of LILRB2 and its MHC-I ligands on cDCs in the early phase of SIV/HIV infection, which may account for immune dysregulation at a critical stage of the anti-viral response.     

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

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

EVOKE: A Value-Driven Concept Selection Method for Early System Design

The development of new technologically advanced products requires the contribution from a range of skills and disciplines, which are often difficult to find within a single company or organization. Requirements establishment practices in Systems Engineering (SE), while ensuring coordination of activities and tasks across the supply network, fall short when it comes to facilitate knowledge sharing and negotiation during early system design. Empirical observations show that when system-level requirements are not available or not mature enough, engineers dealing with the development of long lead-time sub-systems tend to target local optima, rather than opening up the design space. This phenomenon causes design teams to generate solutions that do not embody the best possible configuration for the overall system. The aim of this paper is to show how methodologies for value-driven design may address this issue, facilitating early stage design iterations and the resolution of early stage design trade-offs. The paper describes how such methodologies may help gathering and dispatching relevant knowledge about the ‘design intent’ of a system to the cross-functional engineering teams, so to facilitate a more concurrent process for requirement elicitation in SE. The paper also describes EVOKE (Early Value Oriented design exploration with KnowledgE maturity), a concept selection method that allows benchmarking design options at sub-system level on the base of value-related information communicated by the system integrators. The use of EVOKE is exemplified in an industrial case study related to the design of an aero-engine component. EVOKE’s ability to raise awareness on the value contribution of early stage design concepts in the SE process has been further verified with industrial practitioners in ad-hoc design episodes.     

The expansion of GPCR transactivation-dependent signalling to include serine/threonine kinase receptors represents a new cell signalling frontier

G protein-coupled receptor (GPCR) signalling is mediated through transactivation-independent signalling pathways or the transactivation of protein tyrosine kinase receptors and the recently reported activation of the serine/threonine kinase receptors, most notably the transforming growth factor-β receptor family. Since the original observation of GPCR transactivation of protein tyrosine kinase receptors, there has been considerable work on the mechanism of transactivation and several pathways are prominent. These pathways include the “triple membrane bypass” pathway and the generation of reactive oxygen species. The recent recognition of GPCR transactivation of serine/threonine kinase receptors enormously broadens the GPCR signalling paradigm. It may be predicted that the transactivation of serine/threonine kinase receptors would have mechanistic similarities with transactivation of tyrosine kinase pathways; however, initial studies suggest that these two transactivation pathways are mechanistically distinct. Important questions are the relative importance of tyrosine and serine/threonine transactivation pathways, the contribution of transactivation to overall GPCR signalling, mechanisms of transactivation and the range of cell types in which this phenomenon occurs. The ultimate significance of transactivation-dependent signalling remains to be defined but it appears to be prominent and if so will represent a new cell signalling frontier.     

对高职数控专业毕业综合实训的探讨

本文探讨了数控技术专业毕业综合实训的改革思路，提出按职业资格标准强化技能培训，使学生在毕业前获得数控机床操作职业资格证书，切实提高学生的职业素质与就业竞争能力。     

现代教学媒体及其应用的探讨

教学媒体是现代教育技术的重要组成部分，它是人类社会发展的成果之一，文章对各类现代教学媒体进行了探讨。     

工业用PET及PA纤维模量-应变曲线的分析

通过拉伸试验数据得到应力—应变曲线和模量-应变曲线可以更全面地反映纤维的力学性能。PET及PA的模量—应变曲线都是明显的双峰曲线。结合拉伸过程中PET纤维内部结构的变化解释PET纤维的特征模量—应变曲线，并讨论如何提高持续使用应变范围的模量问题。PET模量—应变曲线上的第一个模量峰为初始模量，标志着无定形区缠结网的破坏；无定形区蜷曲大分子伸直时模量较低，导致出现模量低谷；由于伸直的缚结大分子模量较高，出现了第二个模量峰。