A stage suspended boom system is an automatic steeve system orchestrated by the PLC (programmable logic controller). Security and fault-recovering are two important properties. In this paper, we analyze and verify the boom system formally. We adopt the hybrid automaton to model the boom system. The forward reachability is used to verify the properties with the reachable states. We also present ...

This paper considers supply dynamics in the context of the Irish residential market. The analysis, in a multiple error-correction framework, reveals that whilst developers did respond to disequilibrium in supply, the rate of adjustment was relatively slow. In contrast, however, disequilibrium in demand did not impact upon supply, suggesting that inelastic supply conditions could explain the pro...

A large expansion of photovoltaic panel production in China coincided with a dramatic fall in the cost of solar photovoltaic systems in California and a boom in installations between 2009 and 2013. However the roll of local contractors that install the systems is not well understood. Using detailed data of approximately 125,000 solar installations in California between 2007 and 2014 I argue tha...

A recent report by the Earth Policy Institute estimated that one quarter of the US corn crop is being channelled into biofuel production, raising fears of increased food prices and worldwide hunger. An excerpt from the report reads, “The amount of grain needed to fill the tank of an SUV with ethanol just once can feed one person for an entire year. The average income of the owners of the world’...

Summan Inherent resistance of colon cancer cells to cis-diamminedichloroplatinum(II) (CDDP) is partly attributed to reduced drug penetration through plasma membrane. Amphotericin B (AmB). a polyene antifungal antibiotic, has been shown to increase CDDP penetration and cytotoxicity on several non-digestive cancer cell lines. We demonstrated here that AmB dramatically increases the penetration of...

The use of precision agriculture technologies such as automatic boom section control allows producers to reduce off-target application when applying herbicides. While automatic boom section control provides benefits, pressure differences across the spray boom resulting from boom section actuation may lead to off-rate application errors. Off-rate errors may also result from spray rate controller...