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...     

Simultaneous anti-windup synthesis for linear systems subject to actuator saturation

A synthesis method for global stability and performance of input constrained linear systems, which uses a linear outputfeedback controller and a static anti-windup compensator is investigated. Different from the traditional two-step anti-windup design procedure, the proposed method synthesizes all controller parameters simultaneously. Sufficient conditions for global stability and minimizing the induced L2 gain are formulated and solved as a linear matrix inequalities(LMIs) optimization problem, which also provides an opportunity to search for a better performance tradeoff between the linear controller and the anti-windup compensator.The well-posedness of the close-loop system is also guaranteed.Simulation results show the effectiveness of the proposed method.     

安徽省地区专业化的度量

利用樊福卓构造的地区专业化综合指数,结合1998—2012年度安徽省17个主要城市15个产业对安徽省地区近年来的专业化程度进行度量,分析安徽省的地区专业化特征,为安徽省产业布局提供新的理论思路。     

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.     

Notch Effect and Frequency Compensation of Dual-Sensor OBC Data in Shallow Water

Reverberation is significant in shallow water and produces obvious notches in OBC spec-tra. It also degrades the quality of sections and increases the difficulty of processing and interpretation. This ...     

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.