Mechanical Horse Project

This document outlines our senior design project for the Cal Poly Mechanical Engineering Department on behalf of Jack’s Helping Hand. As a team of two Mechanical Engineering students, we developed a structure that can support a rider and can move in three degrees of freedom to model the gait patterns of a horse. This senior project will be continued by another group that will focus on electronics and implement the motors that will induce motion on the structure that our team has built. We collected baseline data by attaching an iPhone to a horse and used that motion to compare the results of our ideation process. Our design is a body suspended by a frame on a manufactured joint that can move in three degrees of freedom to accommodate the pitch, yaw, and roll angles that we observed during our testing, to ensure that our project feels like riding a horse

Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version)

In this work we extend the Emerson and Kahlon's cutoff theorems for process skeletons with conjunctive guards to Parameterized Networks of Timed Automata, i.e. systems obtained by an \emph{apriori} unknown number of Timed Automata instantiated from a finite set $U_1, \dots, U_n$ of Timed Automata templates. In this way we aim at giving a tool to universally verify software systems where an unknown number of software components (i.e. processes) interact with continuous time temporal constraints. It is often the case, indeed, that distributed algorithms show an heterogeneous nature, combining dynamic aspects with real-time aspects. In the paper we will also show how to model check a protocol that uses special variables storing identifiers of the participating processes (i.e. PIDs) in Timed Automata with conjunctive guards. This is non-trivial, since solutions to the parameterized verification problem often relies on the processes to be symmetric, i.e. indistinguishable. On the other side, many popular distributed algorithms make use of PIDs and thus cannot directly apply those solutions

Are Chinese consumers at risk due to exposure to metals in crayfish? A bioaccessibility-adjusted probabilistic risk assessment

Freshwater crayfish, the world's third largest crustacean species, has been reported to accumulate high levels of metals, while the current knowledge of potential risk associated with crayfish consumption lags behind that of finfish. We provide the first estimate of human health risk associated with crayfish (Procambarus clarkii) consumption in China, the world's largest producer and consumer of crayfish. We performed Monte Carlo Simulation on a standard risk model parameterized with local data on metal concentrations, bioaccessibility (phi), crayfish consumption rate, and consumer body mass. Bioaccessibility of metals in crayfish was found to be variable (68-95%) and metal-specific, suggesting a potential influence of metal bioaccessibility on effective metal intake. However, sensitivity analysis suggested risk of metals via crayfish consumption was predominantly explained by consumption rate (explaining >92% of total risk estimate variability), rather than metals concentration, bioaccessibility, or body mass. Mean metal concentrations (As, Cd, Cu, Ni, Pb, Se and Zn) in surveyed crayfish samples from 12 provinces in China conformed to national safety standards. However, risk calculation of phi-modified hazard quotient (HQ) and hazard index (HI) suggested that crayfish metals may pose a health risk for very high rate consumers, with a HI of over 24 for the highest rate consumers. Additionally, the phi-modified increased lifetime risk (ILTR) for carcinogenic effects due to the presence of As was above the acceptable level (10(-5)) for both the median (ILTR = 2.5 x 10(-5)) and 90th percentile (ILTR = 1.8 x 10(-4)), highlighting the relatively high risk of As in crayfish. Our results suggest a need to consider crayfish when assessing human dietary exposure to metals and associated health risks, especially for high crayfish-consuming populations, such as in China, USA and Sweden.HZ by the National Natural Science Foundation of China (41273087). LN was supported by European Union Marie Curie Actions, Grant FP People 2010 “IRSES Electroacross” and BG by the SAGE-IGERT Fellowship (US National Science Foundation)

Liver tissue graft rejection in murine major histocompatibility complex mutants

Liver tissue grafts between seven H-2 mutants and their parental strains have been studied. Each of these mutants was originally identified by reciprocal mutant—parental strain skin graft rejection. However, liver grafts among mutants and parental standard strains are not uniformly rejected. Liver graft rejection also fails to correlate with mutant—parental stimulation in CML and MLC. In addition, the immune reaction pattern of female mutant animals against grafts of male liver differs from the reaction pattern found in parental standard strains. Several explanations for the differences between immune response to liver and skin grafts are proposed, including different T cell subsets involved in recognition, availability of antigenic sites to immunocompetent cells, and structural differences between mutant and parental H-2 antigens.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/46738/1/251_2004_Article_BF00364259.pd

Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax

. We show here that meta-variables of Prolog admit a simple declarative interpretation. This allows us to extend the usual theory of SLD-resolution to the case of logic programs with meta-variables, and to establish soundness and strong completeness of the corresponding extension of the SLD-resolution. The key idea is the use of ambivalent syntax which allows us to use the same symbols as function and relation symbols. We also study the problem of absence of run-time errors in presence of meta-variables. We prove that this problem is undecidable. However, we also provide some sufficient and polynomial-time-decidable conditions which imply absence of run-time errors. Keywords: meta-variables, ambivalent syntax, Prolog programs, soundness and completeness, absence of errors. 1. Introduction One of the unusual features of Prolog is the use of variables in the positions of atoms, both in the queries and in the clause bodies. Such a use of a variable is called a meta-variable. Meta-variab..