Windows Server 2019 powers virtually every single large and medium-sized organizations around the glove. This problem-solution guide has over 100 recipes to help you manage simple to complex ...administrative tasks in Windows Server 2019.
Summary
Demand‐side management comprises a portfolio of actions on the consumers' side to ensure reliable power indices from the electrical system. The home energy management system (HEMS) is used to ...manage the consumption and production of energy in smart homes. However, the technology of HEMS architecture can be used for the detection and classification of power quality disturbances. This paper presents low‐voltage metering hardware that uses an ARM Cortex M4 and real‐time operating system to detect and classify power quality disturbances. In the context of HEMS, the proposed metering infrastructure can be used as a smart meter, which provides the service of power quality monitoring. For this type of application, there is a need to ensure that the development of this device has an acceptable cost, which is one of the reasons for the choice of an ARM microprocessor. However, managing a wide range of operations (data acquisition, data preprocessing, disturbance detection and classification, energy consumption, and data exchange) is a complex task and, consequently, requires the optimization of the embedded software. To overcome this difficulty, the use of a real‐time operating system provided by Texas Instruments (called TI‐RTOS) is proposed with the objective of managing operations at the hardware level. Thus, a methodology with low computational cost has been defined and embedded. The proposed approach uses a preprocessing stage to extract some features that are used as inputs to detect and classify disturbances. In this way, it was possible to evaluate and demonstrate the performance of the embedded algorithm when applied to synthetic and real power quality signals. Consequently, it is noted that the results are significant in the analysis of power quality in a smart grid scenario, as the smart meter offers low cost and high accuracy in both detecting (an accuracy rate above 90%) and classifying (an average accuracy rate above 94%) disturbances.
This paper proposes a methodology for monitoring power quality using a real‐time operation system embedded in low‐cost hardware. An architecture for demand‐side management focusing in power quality is described. The developed smart meter is a low‐cost one in order to encourage consumer participation in demand‐side management programs. Fast Fourier transform and statistics metrics are used for features extraction in order to decrease the computational cost. The proposal can be extended with demand response algorithms, Internet of Things, and loads control.
The presence of large numbers of security vulnerabilities in popular feature-rich commodity operating systems has inspired a long line of work on excluding these operating systems from the trusted ...computing base of applications, while retaining many of their benefits. Legacy applications continue to run on the untrusted operating system, while a small hyper visor or trusted hardware prevents the operating system from accessing the applications' memory. In this paper, we introduce controlled-channel attacks, a new type of side-channel attack that allows an untrusted operating system to extract large amounts of sensitive information from protected applications on systems like Overshadow, Ink Tag or Haven. We implement the attacks on Haven and Ink Tag and demonstrate their power by extracting complete text documents and outlines of JPEG images from widely deployed application libraries. Given these attacks, it is unclear if Over shadow's vision of protecting unmodified legacy applications from legacy operating systems running on off-the-shelf hardware is still tenable.
Windows Server 2019 is the server operating system developed by Microsoft as part of the Windows NT family of operating systems. With Windows Server 2019, Microsoft has gotten us thinking outside of ...the box for what it means to be a system administration, and comes with some interesting new capabilities. Mastering Windows Server 2019 covers.
During the last 10 years, hundreds of different defect prediction models have been published. The performance of the classifiers used in these models is reported to be similar with models rarely ...performing above the predictive performance ceiling of about 80% recall. We investigate the individual defects that four classifiers predict and analyse the level of prediction uncertainty produced by these classifiers. We perform a sensitivity analysis to compare the performance of Random Forest, Naïve Bayes, RPart and SVM classifiers when predicting defects in NASA, open source and commercial datasets. The defect predictions that each classifier makes is captured in a confusion matrix and the prediction uncertainty of each classifier is compared. Despite similar predictive performance values for these four classifiers, each detects different sets of defects. Some classifiers are more consistent in predicting defects than others. Our results confirm that a unique subset of defects can be detected by specific classifiers. However, while some classifiers are consistent in the predictions they make, other classifiers vary in their predictions. Given our results, we conclude that classifier ensembles with decision-making strategies not based on majority voting are likely to perform best in defect prediction.
Abstract
The energy-resolved neutron imaging system, RADEN at J-PARC, has been providing to users a Rietveld-type analysis code, RITS, for pulsed neutron Bragg-edge transmission (BET) imaging with a ...graphical user interface (GUI) version, for fitting spectral data obtained with this instrument. In the last year, we updated the computational platform of GUI-RITS software from Scientific Linux 6 (SL6) and Python 2 to Windows 10 and Python 3, and added some functions to improve usability. The license agreement for this updated software is the Berkeley Software Distribution (BSD) 2-Clause License (non-copyleft) and is currently available for download from the RADEN website.
ROS, an open-source robot operating system, is widely used and rapidly developed in the robotics community. However, running on Linux, ROS does not provide real-time guarantees, while real-time tasks ...are required in many robot applications such as robot motion control. This paper for the first time presents a real-time ROS architecture called RT-RTOS on multi-core processors. RT-ROS provides an integrated real-time/non-real-time task execution environment so real-time and non-real-time ROS nodes can be separately run on a real-time OS and Linux, respectively, with different processor cores. In such a way, real-time tasks can be supported by real-time ROS nodes on a real-time OS, while non-real-time ROS nodes on Linux can provide other functions of ROS. Furthermore, high performance is achieved by executing real-time ROS nodes and non-real-time ROS nodes on different processor cores. We have implemented RT-ROS on a dual-core processor and conducted various experiments with real robot applications. The experimental results show that RT-ROS can effectively provide real-time support for the ROS platform with high performance by exploring the multi-core architecture.
Windows Server 2019 is the latest version of the server operating system developed by Microsoft. It offers some unique features such as improved container services, storage, security, and ...administration. This book covers all the fundamental aspects of the Windows Server 2019 administration and also prepares you for the MTA 98-365 exam.
In this paper, we study the mobile edge computing (MEC) resource allocation problem from the view of operating systems (OSs). To be more specific, we consider a multi-OS MEC resource allocation ...problem, where end users (EUs)/fog nodes (FNs) have different OSs. The main obstacle of the problem is the heterogeneity. First, for EUs, according to their OSs’ properties, EUs can be mainly categorized into soft real-time EUs and hard real-time EUs. Second, there exists different OSs for FNs. Thus, a unified FNs’ qualification constraint may be in need to develop. This constraint should be applicable for diverse FNs. Third, although the conventional proportional fairness is a universal fairness criterion for the service provider (SP) to allocate resources for different EUs, the specified proportions which guarantee the service quality are seemed hard to be developed. Therefore, a user satisfaction mechanism (USM) is proposed to first denote the different requirements between soft real-time and hard real-time applications of EUs, and second test whether FNs are qualified for the MEC service. In addition, a novel p-fairness is designed for the differentiated and quality-guaranteed services provided by SPs. Then, the USM and p-fairness driven MEC resource allocation problem is formulated as a mixed integer non-linear programming (MINLP) problem, where we propose a variable-substitution convexity transformation (VSCT) scheme to tackle it. In VSCT, we first utilize the variable substitution to transform the integer variables’ quadric constraints to linear constraints. Then, we relax several constraints and the problem is transformed as a convex optimization problem which is solved iteratively. Finally, we analyze the upper and lower bounds of the proposed VSCT. In the simulation, we discuss the performances of USM and p-fairness (i.e., user satisfaction). Moreover, we compare VSCT with the existing optimization method (i.e., branch & bound). Finally, we demonstrate some interesting properties of our proposed scheme.
Formal Methods for Industrial Critical Systems Groote, Jan Friso; Huisman, Marieke
International journal on software tools for technology transfer,
04/2024, Letnik:
26, Številka:
2
Journal Article
Recenzirano
Odprti dostop
To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, ...and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022).
PDF
