Reliability
This dataset accompanies the article "Palisade: A Framework for Anomaly Detection in Embedded Systems." It contains traces, programs, and specifications used in the case studies from the paper.
- Categories:
The aircraft fuel distribution system has two primary functions: storing fuel and distributing fuel to the engines. These functions are provided in refuelling and consumption phases, respectively. During refuelling, the fuel is first loaded in the Central Reservation Tank and then distributed to the Front and Rear Tanks. In the consumption phase, the two engines receive an adequate level of fuel from the appropriate tanks. For instance, the Port Engine (PE) will receive fuel from Front Tank and the Starboard Engine (SE) will receive fuel from Rear Tank.
- Categories:
Data for 24-node, 54-node, 86-node, and 138-node test networks for reliability-oriented distribution expansion planning applications; and the results for 24-node and 54-node systems.
- Categories:
Analysis data
- Categories:
Collision detection (CD) is a key capability of carrier sense multiple access (CSMA) based medium access control (MAC) protocol. Applying CD, the transmitter can abort transmission immediately so that the power can be saved. This technique does not need the peer receiver to give feedback on whether there is a packet collision, and hence, the overall overhead is significantly low. The challenge, however, is to operate in transmit time and instantly detect the week colliding signal in the presence of strong self-interference (SI).
- Categories:
This folder contains two csv files and one .py file. One csv file contains NIST ground PV plant data imported from https://pvdata.nist.gov/. This csv file has 902 days raw data consisting PV plant POA irradiance, ambient temperature, Inverter DC current, DC voltage, AC current and AC voltage. Second csv file contains user created data. The Python file imports two csv files. The Python program executes four proposed corrupt data detection methods to detect corrupt data in NIST ground PV plant data.
- Categories:
A fully-labeled C++03 program dataset provides a unique resource to evaluate model checkers in respect to language coverage. To tackle modern aspects of the C++ language, a large-scale benchmark dataset includes more than 1,500 C++03-compliant programs, which cover different aspects of the language, including exception handling, templates, inheritance, polymorphism, the standard template library, and object-oriented design.
- Categories:
The paper deals with fractional-slot permanent magnet synchronous machines
(FSPMSMs) equipped with phases made up of one coil parallel branches, with emphasis on their
faculty to reject the harmonic currents circulating in the loops yielded by the phase parallel branches.
These exhibit attractive potentialities, especially their enhanced open-circuit fault tolerance capability.
Furthermore, these topologies are suitably-adapted for low-voltage power supply that makes them
- Categories: