Network algebra for synchronous dataflow

We develop an algebraic theory of synchronous dataflow networks. First, a basic algebraic theory of networks, called BNA (Basic Network Algebra), is introduced. This theory captures the basic algebraic properties of networks. For synchronous dataflow networks, it is subsequently extended with additional constants for the branching connections that occur between the cells of synchronous dataflow networks and axioms for these additional constants. We also give two models of the resulting theory, the one based on stream transformers and the other based on processes as considered in process algebra.Comment: 24 page

Alternate Means of Digital Design Communication

This thesis reconceptualises communication in digital design as an integrated social and technical process. The friction in the communicative processes pertaining to digital design can be traced to the fact that current research and practice emphasise technical concerns at the expense of social aspects of design communication. With the advent of BIM (Building Information Modelling), a code model of communication (machine-to-machine) is inadequately applied to design communication. This imbalance is addressed in this thesis by using inferential models of communication to capture and frame the psychological and social aspects behind the communicative contracts between people. Three critical aspects of the communicative act have been analysed, namely (1) data representation, (2) data classification and (3) data transaction, with the help of a new digital design communication platform, Speckle, which was developed during this research project for this purpose. By virtue of an applied living laboratory context, Speckle facilitated both qualitative and quantitative comparisons against existing methodologies with data from real-world settings. Regarding data representation (1), this research finds that the communicative performance of a low-level composable object model is better than that of a complete and universal one as it enables a more dynamic process of ontological revision. This implies that current practice and research operates at an inappropriate level of abstraction. On data classification (2), this thesis shows that a curatorial object-based data sharing methodology, as opposed to the current file-based approaches, leads to increased relevancy and a reduction in noise (information without intent, or meaning). Finally, on data transaction (3), the analysis shows that an object-based data sharing methodology is technically better suited to enable communicative contracts between stakeholders. It allows for faster and more meaningful change-dependent transactions, as well as allow for the emergence of traceable communicative networks outside of the predefined exchanges of current practices

Directional solidification of flake and nodular cast iron during KC-135 low-g maneuvers

Alloys solidified in a low-gravity environment can, due to the elimination of sedimentation and convection, form unique and often desirable microstructures. One method of studying the effects of low-gravity (low-g) on alloy solidification was the use of the NASA KC-135 aircraft flying repetitive low-g maneuvers. Each maneuver gives from 20 to 30 seconds of low-g which is between about 0.1 and 0.001 gravity. A directional solidification furnace was used to study the behavior of off eutectic composition case irons in a low-g environment. The solidification interface of hypereutectic flake and spheroidal graphite case irons was slowly advanced through a rod sample, 5 mm in diameter. Controlled solidification was continued through a number of aircraft parabolas. The known solidification rate of the sample was then correlated with accelerometer data to determine the gravity level during solidification for any location of the sample. The thermal gradient and solidification rate were controlled independently. Samples run on the KC-135 aircraft exhibited bands of coarser graphite or of larger nodules usually corresponding to the regions solidified under low-g. Samples containing high phosphorous (used in order to determine the eutectic cell) exhibited larger eutectic cells in the low-g zone, followed by a band of coarser graphite

Preliminary science report on the directional solidification of hypereutectic cast iron during KC-135 low-G maneuvers

An ADSS-P directional solidification furnace was reconfigured for operation on the KC-135 low-g aircraft. The system offers many advantages over quench ingot methods for study of the effects of sedimentation and convection on alloy formation. The directional sodification furnace system was first flown during the September 1982 series of flights. The microstructure of the hypereutectic cast iron sample solidified on one of these flights suggests a low-g effect on graphite morphology. Further experiments are needed to ascertain that this effect is due to low-gravity and to deduce which of the possible mechanisms is responsible for it

Computational Modeling of Channelrhodopsin-2 Photocurrent Characteristics in Relation to Neural Signaling

Channelrhodopsins-2 (ChR2) are a class of light sensitive proteins that offer the ability to use light stimulation to regulate neural activity with millisecond precision. In order to address the limitations in the efficacy of the wild-type ChR2 (ChRwt) to achieve this objective, new variants of ChR2 that exhibit fast mono-exponential photocurrent decay characteristics have been recently developed and validated. In this paper, we investigate whether the framework of transition rate model with 4 states, primarily developed to mimic the bi-exponential photocurrent decay kinetics of ChRwt, as opposed to the low complexity 3 state model, is warranted to mimic the mono-exponential photocurrent decay kinetics of the newly developed fast ChR2 variants: ChETA (Gunaydin et al., Nature Neurosci, 13:387-392, 2010) and ChRET/TC (Berndt et al., PNAS, 108:7595-7600, 2011). We begin by estimating the parameters for the 3-state and 4-state models from experimental data on the photocurrent kinetics of ChRwt, ChETA and ChRET/TC. We then incorporate these models into a fast-spiking interneuron model (Wang and Buzsaki., J Neurosci, 16:6402-6413,1996) and a hippocampal pyramidal cell model (Golomb et al., J Neurophysiol, 96:1912-1926, 2006) and investigate the extent to which the experimentally observed neural response to various optostimulation protocols can be captured by these models. We demonstrate that for all ChR2 variants investigated, the 4 state model implementation is better able to capture neural response consistent with experiments across wide range of optostimulation protocol. We conclude by analytically investigating the conditions under which the characteristic specific to the 3-state model, namely the mono-exponential photocurrent decay of the newly developed variants of ChR2, can occurs in the framework of the 4-state model.Comment: 10 figure

Pricing and revenue management: The value of coordination

Cataloged from PDF version of article.The integration of systems for pricing and revenue management must trade off potential revenue gains against significant practical and technical challenges. This dilemma motivates us to investigate the value of coordinating decisions on prices and capacity allocation in a stylized setting. We propose two pairs of sequential policies for making static decisions-on pricing and revenue management-that differ in their degree of integration (hierarchical versus coordinated) and their pricing inputs (deterministic versus stochastic). For a large class of stochastic, price-dependent demand models, we prove that these four heuristics admit tractable solutions satisfying intuitive sensitivity properties. We further evaluate numerically the performance of these policies relative to a fully coordinated model, which is generally intractable. We find it interesting that near-optimal performance is usually achieved by a simple hierarchical policy that sets prices first, based on a nonnested stochastic model, and then uses these prices to optimize nested capacity allocation. This tractable policy largely outperforms its counterpart based on a deterministic pricing model. Jointly optimizing price and allocation decisions for the high-end segment improves performance, but the largest revenue benefits stem from adjusting prices to account for demand risk

Advancement of Solidification Processing Technology Through Real Time X-Ray Transmission Microscopy: Sample Preparation

Two types of samples were prepared for the real time X-ray transmission microscopy (XTM) characterization. In the first series directional solidification experiments were carried out to evaluate the critical velocity of engulfment of zirconia particles in the Al and Al-Ni eutectic matrix under ground (l-g) conditions. The particle distribution in the samples was recorded on video before and after the samples were directionally solidified. In the second series samples of the above two type of composites were prepared for directional solidification runs to be carried out on the Advanced Gradient Heating Facility (AGHF) aboard the space shuttle during the LMS mission in June 1996. X-ray microscopy proved to be an invaluable tool for characterizing the particle distribution in the metal matrix samples. This kind of analysis helped in determining accurately the critical velocity of engulfment of ceramic particles by the melt interface in the opaque metal matrix composites. The quality of the cast samples with respect to porosity and instrumented thermocouple sheath breakage or shift could be easily viewed and thus helped in selecting samples for the space shuttle experiments. Summarizing the merits of this technique it can be stated that this technique enabled the use of cast metal matrix composite samples since the particle location was known prior to the experiment

Ceramics for Molten Materials Containment, Transfer and Handling on the Lunar Surface

As part of a project on Molten Materials Transfer and Handling on the Lunar Surface, molten materials containment samples of various ceramics were tested to determine their performance in contact with a melt of lunar regolith simulant. The test temperature was 1600 C with contact times ranging from 0 to 12 hours. Regolith simulant was pressed into cylinders with the approximate dimensions of 1.25 dia x 1.25cm height and then melted on ceramic substrates. The regolith-ceramic interface was examined after processing to determine the melt/ceramic interaction. It was found that the molten regolith wetted all oxide ceramics tested extremely well which resulted in chemical reaction between the materials in each case. Alumina substrates were identified which withstood contact at the operating temperature of a molten regolith electrolysis cell (1600 C) for eight hours with little interaction or deformation. This represents an improvement over alumina grades currently in use and will provide a lifetime adequate for electrolysis experiments lasting 24 hours or more. Two types of non-oxide ceramics were also tested. It was found that they interacted to a limited degree with the melt resulting in little corrosion. These ceramics, Sic and BN, were not wetted as well as the oxides by the melt, and so remain possible materials for molten regolith handling. Tests wing longer holding periods and larger volumes of regolith are necessary to determine the ultimate performance of the tested ceramics