Effect of engine, tank and propellant specific cost on single stage recoverable booster economics

Reusable first stages using hydrogen-oxygen, hydrogen-fluorine and kerosine-oxygen are compared with non-reusable stages using a solid in addition to the liquid combinations. The criterion used for comparison is the minimum specific cost of the "loaded and ready for launch" stage cost per unit of stage payload mass. A closed form relationship is used in which the empty stage mass without payload is taken to scale in part proportional to propellant mass, and in part to mass flow rate. The stage specific cost is proportional to specific cost of engine (or nozzle) tank and propellant. In the second part the hydrogen-oxygen combination is consiaered,in more detail. The sensitivity of the results to changes in various specific costs including that of refurbishing are described. Throughout, the stage velocity increments are compared in the 3000-6000 metres/second range with losses

Green's Relations in Finite Transformation Semigroups

We consider the complexity of Green's relations when the semigroup is given by transformations on a finite set. Green's relations can be defined by reachability in the (right/left/two-sided) Cayley graph. The equivalence classes then correspond to the strongly connected components. It is not difficult to show that, in the worst case, the number of equivalence classes is in the same order of magnitude as the number of elements. Another important parameter is the maximal length of a chain of components. Our main contribution is an exponential lower bound for this parameter. There is a simple construction for an arbitrary set of generators. However, the proof for constant alphabet is rather involved. Our results also apply to automata and their syntactic semigroups.Comment: Full version of a paper submitted to CSR 2017 on 2016-12-1

Traduction et validation française du Questionnaire de Répression de Weinberger

International audienceL'objectif de ce travail a été de réaliser une étude préliminaire de validation de la version française d'un questionnaire de répression émotionnelle (WAI, Weinberger Adjustment Inventory, 1989). Ses relations ont été explorées avec des évaluations de l'anxiété, de la dépression et de l'alexithymie

Regular and First Order List Functions

We define two classes of functions, called regular (respectively, first-order) list functions, which manipulate objects such as lists, lists of lists, pairs of lists, lists of pairs of lists, etc. The definition is in the style of regular expressions: the functions are constructed by starting with some basic functions (e.g. projections from pairs, or head and tail operations on lists) and putting them together using four combinators (most importantly, composition of functions). Our main results are that first-order list functions are exactly the same as first-order transductions, under a suitable encoding of the inputs; and the regular list functions are exactly the same as MSO-transductions

Aspects of slurry management on pig farms.

End of Project ReportThe objectives of manure or slurry management on intensive pig farms are the provision of adequate slurry storage capacity and the efficient recycling of the slurry nutrients for crop production. However, recent surveys of pig slurry dry matter suggest there is excessive dilution of raw pig slurry with water. This has two important implications for management. The first is greater storage capacity will be required due to the increased volume of slurry generated. Slurry storage is expensive. For example, a 350 sow unit adding 10 weeks storage needs to invest £50,000. Secondly, evidence from the literature indicates an improved slurry nitrogen efficiency with the more dilute manure. The results of field trials showed that higher dry matter pig slurries reduced the relative efficiency of pig slurry nitrogen for second cut silage production. This is probably linked to reduced ammonia volatilisation losses, consequent to the less viscous nature of dilute slurry which permits a more rapid infiltration of the ammonium nitrogen into the soil. The use of a band spreader or shallow injection rather than the conventional splash plate were shown to increase the efficiency of pig slurry nitrogen for grass silage production. Therefore, the potential for the higher pig slurry dry matter, required for cost effective storage/ handling costs, to reduce the efficiency of its nitrogen for grass silage production can be partially offset by using band spreaders or shallow injection spreading systems. These have the added advantage of reducing odour emissions from the land spreading operation.Teagasc Walsh Fellowship Programm

Определение оптимальных параметров источника рентгеновского излучения на базе малогабаритного ускорителя электронов

Проведено моделирование спектров рентгеновского излучения, генерируемого электронами с энергией 4…10 МэВ в мишенях из различных материалов и разной толщины. Определены оптимальные параметры мишени-конвертора для использования ее в медицинских источниках монохроматического рентгеновского излучения на базе малогабаритных электронных ускорителей. Проведены оценки интенсивности излучения и сравнение источников на базе разных ускорителей

Increasing compliance with wearing a medical device in children with autism

Health professionals often recommend the use of medical devices to assess the health, monitor the well-being, or improve the quality of life of their patients. Children with autism may present challenges in these situations as their sensory peculiarities may increase refusals to wear such devices. To address this issue, we systematically replicated prior research by examining the effects of differential reinforcement of other behavior (DRO) to increase compliance with wearing a heart rate monitor in 2 children with autism. The intervention increased compliance to 100% for both participants when an edible reinforcer was delivered every 90 s. The results indicate that DRO does not require the implementation of extinction to increase compliance with wearing a medical device. More research is needed to examine whether the reinforcement schedule can be further thinned

Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure