A log mining approach for process monitoring in SCADA

SCADA (supervisory control and data acquisition) systems are used for controlling and monitoring industrial processes. We propose a methodology to systematically identify potential process-related threats in SCADA. Process-related threats take place when an attacker gains user access rights and performs actions, which look legitimate, but which are intended to disrupt the SCADA process. To detect such threats, we propose a semi-automated approach of log processing. We conduct experiments on a real-life water treatment facility. A preliminary case study suggests that our approach is effective in detecting anomalous events that might alter the regular process workflow.     

Nuclear Receptor Nur77 Controls Cardiac Fibrosis through Distinct Actions on Fibroblasts and Cardiomyocytes

Fibrosis is a hallmark of adverse cardiac remodeling, which promotes heart failure, but it is also an essential repair mechanism to prevent cardiac rupture, signifying the importance of appropriate regulation of this process. In the remodeling heart, cardiac fibroblasts (CFs) differentiate into myofibroblasts (MyoFB), which are the key mediators of the fibrotic response. Additionally, cardiomyocytes are involved by providing pro-fibrotic cues. Nuclear receptor Nur77 is known to reduce cardiac hypertrophy and associated fibrosis; however, the exact function of Nur77 in the fibrotic response is yet unknown. Here, we show that Nur77-deficient mice exhibit severe myocardial wall thinning, rupture and reduced collagen fiber density after myocardial infarction and chronic isoproterenol (ISO) infusion. Upon Nur77 knockdown in cultured rat CFs, expression of MyoFB markers and extracellular matrix proteins is reduced after stimulation with ISO or transforming growth factor–β (TGF-β). Accordingly, Nur77-depleted CFs produce less collagen and exhibit diminished proliferation and wound closure capacity. Interestingly, Nur77 knockdown in neonatal rat cardiomyocytes results in increased paracrine induction of MyoFB differentiation, which was blocked by TGF-β receptor antagonism. Taken together, Nur77-mediated regulation involves CF-intrinsic promotion of CF-to-MyoFB transition and inhibition of cardiomyocyte-driven paracrine TGF-β-mediated MyoFB differentiation. As such, Nur77 provides distinct, cell-specific regulation of cardiac fibrosis.     

Validity and inter-observer reliability of subjective hand-arm vibration assessments

Exposure to mechanical vibrations at work (e.g., due to handling powered tools) is a potential occupational risk as it may cause upper extremity complaints. However, reliable and valid assessment methods for vibration exposure at work are lacking. Measuring hand-arm vibration objectively is often difficult and expensive, while often used information provided by manufacturers lacks detail. Therefore, a subjective hand-arm vibration assessment method was tested on validity and inter-observer reliability.     

TuLP: A Family of Lightweight Message Authentication Codes for Body Sensor Networks简

A wireless sensor network （WSN） commonly whilst a body sensor network （BSN） must be secured with requires lower level security for public information gathering, strong authenticity to protect personal health information. In this paper, some practical problems with the message authentication codes （MACs）, which were proposed in the popular security architectures for WSNs, are reconsidered. The analysis shows that the recommended MACs for WSNs, e.g., CBC- MAC （TinySec）, OCB-MAC （MiniSec）, and XCBC-MAC （SenSee）, might not be exactly suitable for BSNs. Particularly an existential forgery attack is elaborated on XCBC-MAC. Considering the hardware limitations of BSNs, we propose a new family of tunable lightweight MAC based on the PRESENT block cipher. The first scheme, which is named TukP, is a new lightweight MAC with 64-bit output range. The second scheme, which is named TuLP-128, is a 128-bit variant which provides a higher resistance against internal collisions. Compared with the existing schemes, our lightweight MACs are both time and resource efficient on hardware-constrained devices.     

Quantifying and enforcing robustness in staff rostering

Journal of Scheduling - Employee absences are inevitable in practice due to illness, heavy workloads or accidents. These unforeseen events result in the disruption of employee shift rosters, which...     

Comparing the Performance of Organic Solvent Nanofiltration Membranes in Non-Polar Solvents

Organic solvent nanofiltration (OSN) is gradually expanding from academic research to industrial implementation. The need for membranes with low and sharp molecular weight cutoffs that are able to operate under aggressive OSN conditions is increasing. However, the lack of comparable and uniform performance data frustrates the screening and membrane selection for processes. Here, a collaboration is presented between several academic and industrial partners analyzing the separation performance of 10 different membranes using three model process mixtures. Membrane materials range from classic polymeric and thin film composites (TFCs) to hybrid ceramic types. The model solutions were chosen to mimic cases relevant to today's industrial use: relatively low molar mass solutes (330–550 Da) in n-heptane, toluene, and anisole.     

Search combinators

The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is often inadequate. Either modeling capabilities are extremely limited or users are faced with a general-purpose programming language whose features are not tailored towards writing search heuristics. As a result, major improvements in performance may remain unexplored. This article introduces search combinators, a lightweight and solver-independent method that bridges the gap between a conceptually simple modeling language for search (high-level, functional and naturally compositional) and an efficient implementation (low-level, imperative and highly non-modular). By allowing the user to define application-tailored search strategies from a small set of primitives, search combinators effectively provide a rich domain-specific language (DSL) for modeling search to the user. Remarkably, this DSL comes at a low implementation cost to the developer of a constraint solver. The article discusses two modular implementation approaches and shows, by empirical evaluation, that search combinators can be implemented without overhead compared to a native, direct implementation in a constraint solver.     

An investigation of the option space in conceptual building design for advanced building simulation

This article describes research conducted to gather empirical evidence on size, character and content of the option space in building design projects. This option space is the key starting point for the work of any climate engineer using building performance simulation who is supporting the design process. The underlying goal is to strengthen the role of advanced computing in building design, especially in the early conceptual stage, through a better integration of building performance simulation tools augmented with uncertainty analysis and sensitivity analysis. Better integration will need to assist design rather than automate design, allowing a spontaneous, creative and flexible process that acknowledges the expertise of the design team members. This research investigates and contrasts emergent option spaces and their inherent uncertainties in an artificial setting (student design studios) and in real-life scenarios (commercial design project case studies). The findings provide empirical evidence of the high variability of the option space that can be subjected to uncertainty analysis and sensitivity analysis.