Land‐use dynamic discovery based on heterogeneous mobility sources

Nowadays, cities are the most relevant type of human settlement and their population has been endlessly growing for decades. At the same time, we are witnessing an explosion of digital data that capture many different aspects and details of city life. This allows detecting human mobility patterns in urban areas with more detail than ever before. In this context, based on the fusion of mobility data from different and heterogeneous sources, such as public transport, transport‐network connectivity and Online Social Networks, this study puts forward a novel approach to uncover the actual land use of a city. Unlike previous solutions, our work avoids a time‐invariant approach and it considers the temporal factor based on the assumption that urban areas are not used by citizens all the time in the same manner. We have tested our solution in two different cities showing high accuracy rates.     

基于多层局部信息融合的在线论坛用户心理危机识别

心理健康问题已经成为当今社会关注的焦点,它严重威胁着家庭和睦与社会稳定.有心理危机的用户经常通过特定的社区论坛或者社交媒体来求助或倾述,这为用户心理危机识别开辟了一个新的途径.论坛帖子长短不一,但判断心理危机的核心信息往往体现在局部内容上,基于此特点,本文构建了一个结合分层长短记忆网络和卷积神经网络的多层局部信息融合模型(Multi-layer Partial Information Fusion model,MPIF),利用论坛用户发布的帖子,检测用户的心理危机严重程度.模型的特点在于:1)利用预训练语言模型BERT对用户帖子中的句子进行向量化表示,充分考虑词语在不同语境中的不同含义表达;2)分别从词、短语、以及句子层面挖掘反映用户心理危机状态的信息,采用深度分层LSTM网络和注意力机制相结合的方式来获取待分类帖子中词语层面以及句子层面的局部信息,利用CNN网络中多种大小不同的卷积核来提取帖子中短语层面的局部信息;3)采用注意力机制和最大池化层,使得模型不仅能够有效地利用局部信息给出心理危机程度的判断,同时可以将这些局部信息展示给心理专家,辅助专家更快了解患者.基于CLPsych2019 Shared Task评测任务的实验结果显示,与评测时排名第一的模型相比,MPIF模型的官方评测指标All-F1值(自杀风险程度a,b,c,d 4个类别的F1值取平均)高出3.9%.经消融实验发现,去除LSTM词语层、CNN短语层、LSTM句子层,All-F1分别下降4%、4.3%、2.4%.     

矿用本质安全电源的基本要求和设计方法

结合新版国家标准GB3836.4—2010和安标国家矿用产品安全标志中心的相关要求,分析了矿用本质安全电源的技术性能,即电气隔离方法和限能电路的保护方式;根据矿用本质安全电源的技术指标,介绍了矿用本质安全电源的主要放电形式和设计要点,指出在设计本质安全电源时,需考虑最大输出电压、最大输出电流、最大外部电容、最大外部电感四个本质安全输出参数之间的关系,为了达到最大输出功率,可以尽量选择较低的最大输出电压。该文对矿用本质安全电源的设计有一定的参考价值。     

液压支架电液控制系统软件在线升级方案设计

针对现有液压支架间架控制器与端头控制器的软件升级需要技术人员在井下对控制器逐一拆装操作,且耗时长、效率低的问题,提出了一种液压支架电液控制系统软件在线升级方案,详细介绍了液压支架电液控制系统组成、代码存储空间变化及在线升级的相关程序流程,并给出了实验数据及分析。该方案实现了对间架控制器和端头控制器的远程在线升级,升级过程简单方便,且升级速度快。     

铁路信号电缆断线故障在线监测与定位方法研究

铁路信号电缆是保证列车安全运营的重要组成部分,其故障严重影响列车的安全运营;由于其经多个分线盒接线柱连接的敷设特点,存在中间接头过多,致使传统的电缆故障检测方法应用受到了极大的限制;为此,通过在电缆中间分线盒的备用芯线对接线柱中接入固定阻值的电阻,将备用芯线对形成闭合回路网络,然后在线监测其电阻阻值,利用回路阻值的变化来反映电缆状态,并以在线监测备用芯线对代替在用芯线对,进而在不影响正常列控信号传输的情况下实现了信号电缆的故障在线监测;经实际测试,有效地解决了铁路信号电缆断线故障的在线监测及定位。     

具有时变状态滞后2-D离散系统的稳定与镇定(英文)

针对一类由局部状态空间(LSS)Fornasini-Marchesini(FM)第二模型描述的,具有时变状态滞后的2-D离散系统,其中时变滞后项的上、下界均为正实数,研究了其稳定性和控制综合问题。首先,利用Lyapunov-Krasovski泛函方法,提出了系统的稳定性准则。再根据这一准则,分别设计状态反馈和动态输出反馈控制器保证系统的稳定性。状态反馈控制律和输出反馈矩阵可由线性矩阵不等式(LMI)求得。最后,通过数值算例说明所得结果的有效性。     

Gain‐scheduled dynamic output feedback control for discrete‐time LPV systems

This paper presents synthesis conditions for the design of gain‐scheduled dynamic output feedback controllers for discrete‐time linear parameter‐varying systems. The state‐space matrix representation of the plant and of the controller can have a homogeneous polynomial dependency of arbitrary degree on the scheduling parameter. As an immediate extension, conditions for the synthesis of a multiobjective ??_∞ and ??₂ gain‐scheduled dynamic feedback controller are also provided. The scheduling parameters vary inside a polytope and are assumed to be a priori unknown, but measured in real‐time. If bounds on the rate of parameter variation are known, they can be taken into account, providing less conservative results. The geometric properties of the uncertainty domain are exploited to derive finite sets of linear matrix inequalities based on the existence of a homogeneous polynomially parameter‐dependent Lyapunov function. An application of the control design to a realistic engineering problem illustrates the benefits of the proposed approach. Copyright © 2011 John Wiley & Sons, Ltd.     

从“超级网银”看我国PKI交叉认证体系建设

"超级网银"是我国第一个大规模跨CA的交叉认证平台,采用的是桥接交叉认证模式。不同的领域,应根据其自身特点,采用不同形式的交叉认证模型。最终的目的,是要在全国范围内建立一个交叉认证、相互融合又相互独立、相互协调的PKI整体体系,在这个过程中,国家和政府应发挥更加积极的作用。     

Delay‐dependent passivity and passification for uncertain Markovian jump systems with time‐varying delays

This paper deals with the problems of passivity analysis and passivity‐based controller design for Markovian jump systems with both time‐varying delays and norm‐bounded parametric uncertainties. Firstly, new delay‐dependent conditions for the considered system to be passive are obtained by using a mode‐dependent Lyapunov functional and by introducing some slack variables. These conditions are expressed by means of LMIs that are easy to check. It is shown through a numerical example that the obtained passivity conditions are less conservative than the existing ones in the literature. Secondly, the passification problem is investigated. On the basis of the obtained passivity conditions, dynamic output‐feedback controllers are designed, which ensure that the resulting closed‐loop system is passive. The effectiveness of the proposed design method is demonstrated by a numerical example. Copyright © 2011 John Wiley & Sons, Ltd.     

New results on robust output regulation of nonlinear systems with a nonlinear exosystem

The global robust output regulation problem for nonlinear plants subject to nonlinear exosystems has been a challenging problem and has not been well addressed. The main difficulty lies in finding a suitable internal model. The existing internal model for handling the nonlinear exosystem is not zero input globally asymptotically stable, and can only guarantee a local solution for the output regulation problem. In this paper, we first propose a new class of internal models, which is guaranteed to exist under the generalized immersion condition. An advantage of this internal model is that it is zero input globally asymptotically stable. This fact will greatly facilitate the global stabilization of the augmented system associated with the given plant and the internal model. Then we will further utilize this class of internal models to solve the global robust output regulation problem for output feedback systems with a nonlinear exosystem. Copyright © 2011 John Wiley & Sons, Ltd.