In this paper we present our results on verifying the implementation of a SCI-PHY (Saturn Compatible Interface for ATM-PHY devices) Level 2 protocol engine, commercialized by PMC-Sierra, Inc. Using the FormalCheck tool, we first established a proper verification environment, then defined a number of relevant liveness and safety properties, which we checked on an abstracted (8 PHY devices) as we...

Two experiments were conducted to investigate the interaction between dietary P concentration and phytase (PHY) inclusion in the diet of finisher pigs. In Experiment 1, the growth performance and bone analysis experiment, pigs (6 replicate groups of 14 pigs each per treatment; initial body weight (BW) = 45.2 kg) were allocated to one of six dietary treatments (for 74 days) in a 3 × 2 factorial ...

This paper investigates the Multi-band OFDM (MB-OFDM) based physical (PHY) layer proposal for IEEE 802.15.3a working group on short-range high data-rate Ultra-wide-Band (UWB) communications. An overview of the MB-OFDM PHY layer architecture with its various parameters is presented and the optimal choice of critical parameters is discussed. Next, we derive the theoretical un-coded Bit Error Rate...

This research provides a study on smart body area network (SmartBAN) physical layer (PHY), as an of the Internet medical things (IoMT) technology, for advanced human monitoring system in industrial use. The SmartBAN new PHY and medium access control (MAC) layer, improving its performance providing very low-latency emergency information transmission with low energy consumption compared other wir...

Compared with its rodent orthologs, little is known about the chemical specificity of human constitutive androstane receptor (hCAR) and its regulation of hepatic enzyme expression. Phenytoin (PHY), a widely used antiepileptic drug, is a potent inducer of CYP2B6 in primary human hepatocytes, but does not activate human pregnane X receptor (PXR) significantly in cell-based transfection assays at ...

Boundaries between layers of digital radio protocols have been breached by techniques like packet-in-packet: an attacker controlling the application layer payloads can, in fact, inject frames into lower layers such as PHY and LNK. But can a digital transmitter designed for a particular PHY inject frames into a different, noncompatible PHY network? We present several case studies of such cross-p...

Multi-rate forward erasure correction (FEC)applied wireless multicast enables reliable and efficient video multicast with intelligent selection of physical (PHY) layer data rate and FEC rate. The optimal PHY/FEC rates depend on the cause of the packet losses. However, previous approaches select the PHY/FEC rates by considering only channel errors even when interference is also a major source of...

In Recent years various researches were focused on wireless sensor network (WSN) .IEEE 802.15.4 is the best solution for low-rate, low power, energy efficient wireless sensor networks application especially in industrial and home automation. IEEE 802.15.4 is widely used in ubiquitous networking among different wireless standard. The IEEE 802.15.4 specifies PHY and MAC (media access control) lay...

In the present study, we analyzed DNA damage induced by phycocyanin (PHY) in the presence of visible light (VL) using a set of repair endonucleases purified from Escherichia coli. We demonstrated that the profile of DNA damage induced by PHY is clearly different from that induced by molecules that exert deleterious effects on DNA involving solely singlet oxygen as reactive species. Most of PHY-...

The WiMAX forum is based on 802.16d/e Orthogonal Frequency Division Multiplexing (OFDM) based adaptive Physical Layer (PHY) layer. In this paper, the performance of WiMAX PHY layer is investigated for two PHY layer modifications, link adaption algorithm (Adaptive Modulation and coding, AMC) and MCCDMA (hybrid OFDM system with multiple access technology, Code Division Multiple Access) to provide...