Incremental application of knowledge to continuously arriving time-oriented data

In our previous work, we introduced a computational architecture that effectively supports the tasks of continuous monitoring and of aggregation querying of complex domain meaningful time-oriented concepts and patterns (temporal abstractions), in environments featuring large volumes of continuously arriving and accumulating time-oriented raw data. Examples include provision of decision support in clinical medicine, making financial decisions, detecting anomalies and potential threats in communication networks, integrating intelligence information from multiple sources, etc. In this paper, we describe the general, domain-independent but task-specific problem-solving method underling our computational architecture, which we refer to as incremental knowledge-based temporal abstraction (IKBTA). The IKBTA method incrementally computes temporal abstractions by maintaining persistence and validity of continuously computed temporal abstractions from arriving time-stamped data. We focus on the computational framework underlying our reasoning method, provide well-defined semantic and knowledge requirements for incremental inference, which utilizes a logical model of time, data, and high-level abstract concepts, and provide a detailed analysis of the computational complexity of our approach.     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.     

复杂矿冶设备故障诊断数据质量工程学

文章详细介绍了矿冶设备数据的产生过程,提出了一种复杂矿冶设备故障诊断的数据质量工程学方法,其目的是通过提高数据质量来保障故障诊断的准确性,即从数据采集系统进行抗干扰能力的优化设计(线外)来降低数据变异效应和在后期使用维护(线内)进行变异源的识别、减少或预防变异发生的措施,使其在恶劣矿冶环境下仍能采集高质量的设备状态数据,从而保障设备故障诊断数据的可靠性。实例验证表明该方法可以为数据质量保障提供一种系统解决途径,减少故障诊断的虚警和漏报。     

LCD motion‐blur estimation using different measurement methods

Abstract— The primary goal of this study was to find a measurement method for motion blur which is easy to carry out and gives results that can be reproduced from one lab to another. This method should be able to also take into account methods for reduction of motion blur such as backlight flashing. Two methods have been compared. The first method uses a high‐speed camera that permits us to directly picture the blurred‐edge profile. The second one exploits the mathematical analysis of the motion‐blur formation to construct the blurred‐edge profile from the temporal step response. Measurement results and method proposals are given and discussed.     

Numeric and curve parameters for freeform surface feature models

The success of feature modelling systems depends to a large extent on offering user-friendly ways for specifying and varying feature models. In this paper, several new facilities are introduced for this.Numeric and curve parameters are presented for specification and variation of freeform surface feature models. Several properties of the parameters can be defined, such as the direction of evaluation for a curve parameter. In addition to parameters present in features, other parameters can be added to a feature model, including intersection curves between features.To provide these facilities, a new three-level structure is introduced, which includes a partially evaluated model that can capture new generic model entities, including feature intersection curves. The work has been implemented in a prototype surface feature modelling system with functionality for feature class definition, feature model creation, and advanced feature model variation through the new types of parameters.     

改进的D_时刻表算法在大学课程表问题中的应用

课程表的自动生成是大学课程表编排中最复杂的一个环节,是一个典型的时间规划问题。针对这一问题。本文设计了一种全新的使用改进的D_时刻表的设计方法,提出一套大学课程表白动生成方法。该方法是以文献[5]中介绍的有效解决时间规划问题的D_时刻表算法为基础,并通过试验说明了该方法具有一定的可行性和有效性。     

Spatial-temporal analysis of safety risks in trajectories of construction workers based on complex network theory

Understanding the traffic patterns of construction workers on high-risk construction sites is important for implementing behaviour-based safety management. However, safety risks in worker trajectories are a complex system with high uncertainty. This resulted in few studies focusing on analysing the spatial–temporal risk in workers' trajectories from a systematic perspective. This study designs a new framework to explore the spatial–temporal patterns of safety risks in the trajectories of construction workers based on complex network theory. First, an integrated site safety risk classification method by combining hazard sources and group trajectory distribution is developed to accurately describe the spatial distribution of site risks. Second, a new complex network chronnet is used to construct complex networks containing risk information for spatial–temporal analysis. Finally, key risk areas and risk transition patterns are identified through the analysis of network measures. The study also developed a computational program that allows the network to be constructed and analysed in real-time. The feasibility and effectiveness of the method are verified through a case study. The results show that the method can reveal the risk distribution at the micro level, and explore the risk clustering and transition features in worker trajectories at the macro level. The study allows for an accurate analysis of dynamic risk patterns in construction workers' trajectories from a systematic perspective. It can also provide theoretical and practical support for personalized and adaptive behaviour-based safety management for construction workers.     

Weakly supervised temporal action localization with proxy metric modeling

Temporal localization is crucial for action video recognition. Since the manual annotations are expensive and time-consuming in videos, temporal localization with weak video-level labels is challenging but indispensable. In this paper, we propose a weakly-supervised temporal action localization approach in untrimmed videos. To settle this issue, we train the model based on the proxies of each action class. The proxies are used to measure the distances between action segments and different original action features. We use a proxy-based metric to cluster the same actions together and separate actions from backgrounds. Compared with state-of-the-art methods, our method achieved competitive results on the THUMOS14 and ActivityNet1.2 datasets.     

基于社团多特征融合嵌入表示的时序链路预测方法

时序动态网络在静态网络基础上综合了时间属性的概念,包含了网络结构的复杂性、动态性等内涵,是研究复杂网络链路预测问题的较优思维对象,因在现实世界中具有较高应用价值而备受关注。目前大部分传统方法研究对象仍局限于静态网络,存在对网络时域演化信息利用不充分、时间复杂度较高等问题。结合社会学理论,提出一种基于社团多特征融合嵌入表示的时序链路预测方法,该方法的核心思想是通过分析网络动态演化特性,在社团范围内学习节点的嵌入表示向量,融合多特征以衡量节点间连边的生成概率。利用网络集体影响力的方法对节点和连边的权值进行计算,基于集体影响的连边权值进行社团划分,将网络划分为若干个社团子图,得到基于集体影响的相似性指标。在社团范围内,利用有偏的随机游走,结合梯度优化的Skip-gram方法获取所有节点的嵌入表示向量,得到基于社团范围游走的相似性指标。融合节点的集体影响、社团范围节点的多个中心性特征和学习到的节点表示向量,得到多特征融合的相似性指标,3 种新指标都可以用于衡量节点之间形成连边的概率。对比基于移动平均、嵌入表示、图神经网络等经典时序链路预测方法,在 6 个真实数据集上的实验结果表明,所提基于社团多特征融合的方法在 AUC评价标准下取得更优的预测性能。     

基于双重注意力机制和GRU网络的短期负荷预测模型

电力负荷预测对电力系统的部署、规划和运行影响重大,但目前各输入特征对电网负荷情况影响的程度不稳定,且递归神经网络捕获负荷数据的长期记忆能力差,导致预测精度下降。提出一种基于双重注意力机制和GRU网络的预测新模型,利用特征注意力机制自主分析历史信息与输入特征间的关联关系,提取重要特征,并通过时序注意力机制自主选取GRU网络中关键时间点的历史信息,提升较长时间段预测效果的稳定性。在3个公开数据集上的实验结果表明,该模型在预测精度指标上表现良好,对比SVR、KPCA-ELM、DBN、GRU、Attention-GRU、CNN-LSTM、Attention-CNN-GRU模型预测精度分别提高了2.47、1.14、1.93、1.37、1.04、0.74、0.41个百分点。