数据驱动的机床等待过程节能方法研究

为了降低机床等待过程中的能耗，提出了一种实时数据驱动的机床等待时间预测与节能控制方法。首先，建立了射频识别驱动的生产进度评估方法，并以生产进度数据作为输入，构建了基于堆栈降噪自编码的机床等待时间预测模型；其次，依据预测的机床等待时间，提出了机床状态切换方法，以降低机床能耗；最后，通过一个电梯零部件制造车间的案例分析，表明该方法的预测误差仅为4.1%，同时将机床等待过程能耗降低了57%，实现了制造车间的节能减排。     

Emergency egress for the elderly in care home fire situations

Practitioners are continuing to develop egress modelling software for the design of the built environment. These models require data about human behaviour and factors for calibration, validation and verification. This study aims to address the specific data and knowledge gap: emergency egress of the elderly. Such data are difficult to collect given privacy and consent concerns, with strong relationships generally being required between residences and researchers. Through the observation of nine fire drills at six Canadian long-term care (LTC) and retirement homes, specific evacuation actions and behaviour were observed for 37 staff members and information about the evacuation of 56 residents was collected. These drills demonstrated that emergency egress in LTC and retirement homes is highly staff dependent with 72% of residents recorded requiring full assistance at all stages of movement in evacuation, and that the type of announced/unannounced drill and level of resident care will affect the type of data collected. The development of travel speed and pre-movement is discussed subject to limitation with qualitative behavioural insights of residents that were observed. This study provides valuable methodological discussion on how to conduct behavioural studies in similar highly restricted research environments. Specific attention is given to understanding the considerations that must be made when using fire drills as data sources, and the impact that these can have on using such data for modelling. This study may inform the initial setup and programming of evacuation models from an actions and behavioural perspectives of staff members and residents.     

大规模多状态计算系统的容错性能分析

针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题，提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述，通过构造多值决策图（Multi-value Decision Diagram，MDD）模型对系统进行容错性能建模，并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率，减少了计算的冗余性。实验结果表明，该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义，使其确保系统适合预期应用。     

Output feedback controller for polytopic systems exploiting the direct searching of the design space

This paper deals with the problem of designing a robust static output feedback controller for polytopic systems. The current research that tackled this problem is mainly based on LMI method, which is conservative by nature. In this paper, a novel approach is proposed, which considers the design space of the controller parameters and iteratively partitions the space to small simplexes. Then, by assessing the stability in each simplex, the solution space for design parameters is directly determined. It has been theoretically proved that, if there exists a feasible solution in the design space, the algorithm can find it. To validate the result of the proposed approach, comparative simulation examples are given to illustrate the performance of the design methodology as compared to those of previous approaches.     

Unreliable numbers: error and harm induced by bad design can be reduced by better design

Number entry is a ubiquitous activity and is often performed in safety- and mission-critical procedures, such as healthcare, science, finance, aviation and in many other areas. We show that Monte Carlo methods can quickly and easily compare the reliability of different number entry systems. A surprising finding is that many common, widely used systems are defective, and induce unnecessary human error. We show that Monte Carlo methods enable designers to explore the implications of normal and unexpected operator behaviour, and to design systems to be more resilient to use error. We demonstrate novel designs with improved resilience, implying that the common problems identified and the errors they induce are avoidable.     

Robust predictive extended state observer for a class of nonlinear systems with time-varying input delay

ABSTRACT

This paper deals with asymptotic stabilisation of a class of nonlinear input-delayed systems via dynamic output feedback in the presence of disturbances. The proposed strategy has the structure of an observer-based control law, in which the observer estimates and predicts both the plant state and the external disturbance. A nominal delay value is assumed to be known and stability conditions in terms of linear matrix inequalities are derived for fast-varying delay uncertainties. Asymptotic stability is achieved if the disturbance or the time delay is constant. The controller design problem is also addressed and a numerical example with an unstable system is provided to illustrate the usefulness of the proposed strategy.     

共网数字集群系统应用问题的研究

现今国内的数字集群网络发展存在局限性、差异性，还远没有达到“网”状分布的程度，因此，共网数字集群发展空间巨大、前景广阔。通过列举共网数字集群系统在龙嘉国际机场和长春雷锋车队的成功应用案例，探讨了我国共网数字集群系统应用的可行性和必要性。     

Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems

Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production systems, the HPN model of large scale systems gets substantially complicated for analysis and control due to large dimensionality of such systems. To overcome this problem, a typical approach is to decompose the net into subnets and then control the plant through hierarchical or decentralized structures. Although this concept has been widely discussed in the literature for discrete PNs, there is a lack of research for HPNs. In this paper, a new method of decomposition of first-order hybrid Petri nets (FOHPNs) is proposed first and then the hierarchical control of the subnets through a coordinator is introduced. The advantage of using the proposed approach is validated by an existing example. A sugar milling case study is analysed by using a decomposed FOHPN model and the optimization results are compared against the results of the approaches presented in other papers. Simulation results show not only an improvement in production rate, but also show the ability to control the plant online. In addition, by using the hierarchical control structure for an FOHPN model, it is possible to reduce the cost of communication links, improve the reliability of the system, maintain the plant locally, and partially redesign the system.     

An industrial case study on variability handling in large enterprise software systems

ContextEnterprise software systems (e.g., enterprise resource planning software) are often deployed in different contexts (e.g., different organizations or different business units or branches of one organization). However, even though organizations, business units or branches have the same or similar business goals, they may differ in how they achieve these goals. Thus, many enterprise software systems are subject to variability and adapted depending on the context in which they are used.ObjectiveOur goal is to provide a snapshot of variability in large scale enterprise software systems. We aim at understanding the types of variability that occur in large industrial enterprise software systems. Furthermore, we aim at identifying how variability is handled in such systems.MethodWe performed an exploratory case study in two large software organizations, involving two large enterprise software systems. Data were collected through interviews and document analysis. Data were analyzed following a grounded theory approach.ResultsWe identified seven types of variability (e.g., functionality, infrastructure) and eight mechanisms to handle variability (e.g., add-ons, code switches).ConclusionsWe provide generic types for classifying variability in enterprise software systems, and reusable mechanisms for handling such variability. Some variability types and handling mechanisms for enterprise software systems found in the real world extend existing concepts and theories. Others confirm findings from previous research literature on variability in software in general and are therefore not specific to enterprise software systems. Our findings also offer a theoretical foundation for describing variability handling in practice. Future work needs to provide more evaluations of the theoretical foundations, and refine variability handling mechanisms into more detailed practices.     

Cheese fortification using saturated monoglyceride self‐assembly structures as carrier of omega‐3 fatty acids

The purpose of this research was to study the capacity of emulsions containing saturated monoglyceride self‐assembly structures to deliver omega‐3 fatty acids in fresh soft cheese. To this aim, fortified emulsions containing different ratios of milk, saturated monoglycerides (MGs) and cod liver oil were added to milk before cheese‐making. These emulsions were characterised by distinct microstructural features observed by polarised light microscopy and apparent viscosity values. The omega‐3 delivery performance of MG emulsions highlighted that this strategy allowed a good retention of the omega‐3‐rich oil in the curd (up to 75%). The fortified cheeses showed yield value and fat content higher than those of control samples. The enriched cheese showed hardness and cohesiveness obtained by texture profile analysis similar to those of the unfortified product. Only a slight decrease in gumminess was detected in fortified cheese.