Designing a Controller for a Multi-Train Multi-Track System

The use of formal methods for analyzing and synthesizing a controller for a multi-train multi-track railway system is discussed. The research was motivated by a case study involving the Bay Area Rapid Transit (BART) system. The overall goal is to design a train acceleration control function that enables trains to be safely placed but also increases system throughput. The use of a modeling language for specifying safety properties and a control function is illustrated. The program transformation methodology supported in the HATS system is employed to generate an efficient implementation from a high-level specification of a controller. This implementation can then be used to simulate the controller behavior, thus further enhancing confidence in the design. Properties of optimization transformations can be verified using an rewrite-rule based induction theorem prover Rewrite Rule Laboratory (RRL).     

Vector Space Semantics: A Model-Theoretic Analysis of Locative Prepositions

This paper introduces a compositional semantics of locativeprepositional phrases which is based on a vector space ontology.Model-theoretic properties of prepositions like monotonicity andconservativity are defined in this system in a straightforward way.These notions are shown to describe central inferences with spatialexpressions and to account for the grammaticality of prepositionmodification. Model-theoretic constraints on the set of possibleprepositions in natural language are specified, similar to the semanticuniversals of Generalized Quantifier Theory.     

Muscular capabilities and workload of flight attendants for pushing and pulling trolleys aboard aircraft

Increasingly in the recent years, passengers’ services are extended into the ascent and descent flight phases on short distance flights. Trolleys containing the required meal and beverage items are used for these service operations and pushed or pulled along the aisles of the aircraft. Flight attendants reported about increased musculo-skeletal disorders and had been complaining about high physical workload from handling trolleys. In order to ensure acceptable load levels for pushing or pulling operations of trolleys, the physical capabilities of the collective “flight attendants” had been investigated by means of force measurements at maximum voluntary contraction (MVC) level and associated relevant anthropometrical and biometrical data. CEN and ISO standards as well as international and national German methods were used to derive recommended force limits for pushing/pulling operations with respect to the physical capabilities of the target group “flight attendants”. Comparing these recommended limits with the force requirements per shift under various conditions of trolley handlings (inclination of the floor, type and weight of trolley, mode of handling, frequency of operation) showed that especially for higher floor inclinations and trolley weights, flight attendants work (substantially) above recommended limits. It became also apparent that the handling of half-size trolleys is unexpectedly high demanding due to high vertical force components, caused by the unfavorable location of their center of gravity.

Relevance to industry

On short-distance flights, passengers’ services are performed by means of trolleys from the ascent to the descent flight phases. Flight attendants had been complaining about high physical workload. This study offers recommendations on maximum force limits for the handling of trolleys with respect to the muscular capacities and work situations of flight attendants on short-distance flights.     

Analogues of capsaicin with agonist activity as novel analgesic agents; structure-activity studies. 3. The hydrophobic side-chain "C-region"

Structural variants of the hydrophobic side chain ("C region") of the capsaicin molecule have been incorporated into a series of vanillylamides and vanillylthioureas. These compounds have been tested in an in vitro assay for agonism (45Ca2+ influx into dorsal root ganglia neurones), previously shown to be predictive of analgesic activity. The results of this study have established the requirement for a hydrophobic substituent of limited size (molar refractivity, MR, < 55) in order to obtain high potency. Combination of the information gained here about the "C-region" of the capsaicin molecule with the studies described in the preceding two papers provides a rational basis for the design of compounds of increased potency.     

Evidence for internal phosphorus loading,hypoxia and effects on phytoplankton in partially polymictic Lake Simcoe,Ontario

Hypoxia and cyanobacterial blooms were extensive in Lake Simcoe during the 1980s and are still a problem to a lesser degree despite extensive nutrient load reduction from the catchment basin. The continuing signs of productivity indicate a potential internal phosphorus (P) source. Internal P load, as a redox-dependent release from bottom sediments, is hard to determine in a large, relatively shallow and partially unstratified lake such as Lake Simcoe. Of the lake's three major basins, only Kempenfelt Bay stratifies long enough to develop hypoxia in the stagnant summer hypolimnion. The following indications of sediment P release are available from historic data: 1) hypolimnetic hypoxia still occurs in Kempenfelt Bay although the hypoxic factor (number of days that an area equal to the bay's surface area is overlain by water of ≤ 2 mg/L dissolved oxygen, DO) has decreased substantially and significantly from 15.8 d/yr (1980–1994) to 4.0 d/yr (1995–2011); 2) hypoxic factors for other lake sections and at different DO levels also indicate widespread hypoxia; 3) concentrations of redox dependent metals, Fe and Mn, increase with depth; and 4) euphotic zone P and chlorophyll concentrations increase and water clarity decreases during fall turnover. Cyanobacterial blooms appear to occur in response to internal load as supported by occasional cyanobacteria counts. These indicators provide evidence that internal loading is likely occurring and affecting the water quality in Lake Simcoe. We expect that further monitoring, specific for internal load, will corroborate these results.     

Situative Managementunterstützungssysteme

Digital natives increasingly populate organizations?? management. These new-generation managers more naturally accept management support systems (MSS), but also have higher expectations about how they should accommodate their individual user preferences. As a result, managers question MSS that have been developed without configuration mechanisms to accommodate their working style, relevant MSS use cases, and different MSS access modes. The objective of this article is to reveal managers?? different MSS use situations and propose levers for tailoring (conceptual) MSS design to them. Use situations generalize classes of similar user-group preferences. We first apply findings from a literature review to cluster managers?? user-group preferences into 36 MSS use situations. Second, we propose that the selection of end-user devices can serve as a main lever for MSS configuration. Third, we complete the configuration with a MSS user-interface design. Finally, we demonstrate utility of our configuration model by presenting and evaluating a prototype.     

Electronic window dressing: impression management with Websites

Businesses have embraced the Internet to reap economic advantages through the use of Websites. Most Website design guidelines fail to address issues of branding and identity formation, focusing instead on concerns adapted from previous technologies. However, many firms are not getting their desired results from the Website investments they have made following design guidelines reflecting graphic layout and system usability issues. We suggest that Websites should be considered ‘electronic storefronts’ or public work areas providing frames of symbolic representations that create impressions of their sponsoring firms. Our exploratory study shows that Websites influence potential customers' impressions of firms' legitimacy, innovation and caring, and that these impressions vary significantly across firms and industries. Website visitors encounter symbols that are compared to mental models stored in memory and used to form impressions of the site and to draw inferences about the firm. These inferences have previously been found to influence purchasing behavior. Designers should be cognizant of these aspects of e-Business and executives should recognize the power of Web-based impression management. Identity management must take center stage in creating a Web presence.     

Psychological constructs in driving automation: a consensus model and critical comment on construct proliferation

As automation in vehicles becomes more prevalent, the call for understanding the behaviour of the driver while driving an automated vehicle becomes more salient. Although a variety of driver behaviour models exist, and various psychological constructs have been said to be influenced by automation, an empirically testable psychological model of automated driving has yet to be developed. Building upon Stanton and Young's model of driving automation, this article presents an updated model of interrelated psychological constructs. The proposed model was created based upon a systematic literature search of driving automation papers and a subsequent quantification of the number of reported links between a selected set of psychological constructs. A secondary aim of this article is to reach consensus in the use of psychological constructs regarding driving automation. Henceforth special attention is paid to resolving the issue of construct proliferation.