Effluent content from albedo degradation and kinetics at different temperatures in the enzymatic peeling of grapefruits

This work studies the variation in the effluent content from the reactor in enzymatic peeling of grapefruits, to determine the loss of soluble solids, reducing sugars and galacturonic acid, the main component from the albedo of the skin to model the solid–liquid transfer in this process. Experiments to study the efficiency of the enzymatic reaction include the effect of the temperature on the kinetics of albedo degradation to find an equation relating both variables and also the activation energy of this process, its value being 36.9 kJ/mol.     

Induction in the Timed Interval Calculus

The Timed Interval Calculus, a timed-trace formalism based on set theory, is introduced. It is extended with an induction law and a unit for concatenation, which facilitates the proof of properties over trace histories. The effectiveness of the extended Timed Interval Calculus is demonstrated via a benchmark case study, the mine pump. Specifically, a safety property relating to the operation of a mine shaft is proved, based on an implementation of the mine pump and assumptions about the environment of the mine.     

The advantage of using in-situ methods for studying hydrogen mass transport: Neutron radiography vs. carrier gas hot extraction

Neutron radiography (NR) is compared with the commonly used carrier gas hot extraction (CGHE) technique. We performed isothermal hydrogen effusion experiments at 623 K to study the mass transport kinetics. The investigated material was technical iron. The quantification of the hydrogen mass flow is done for NR by using concentration standards. The temporal hydrogen concentration evolution in the sample coincides well for both methods, i.e. NR and CGHE, and is in good agreement with literature. The advantages of the NR method are the non-destructive nature of measuring and the in-situ determination of hydrogen concentrations with high spatial and temporal resolution. Remaining hydrogen inside the sample can be identified directly by the NR method.     

Structure-function studies of an IGF-I analogue that can be chemically cleaved to a two-chain mini-IGF-I

The structure and biological activities of two disulphide isomersof a C-region deletion mutant of insulin-like growth factor-I(IGF-I) which has an Asn–Gly link engineered at the junctionof the A- and B-regions were studied before and after chemicalcleavage. Circular dichroism (CD) spectra and binding affinityto IGF binding protein 3 (IGFBP3) indicated that the treatmentwith hydroxylamine did not disrupt the overall tertiary foldof the hormones. Cleavage restored some binding affinity forthe IGF-I receptor in both isomers and weakly restored the abilityto stimulate incorporation of tritiated thymidine into DNA inNIH 3T3 fibroblasts transfected with the human IGF-I receptor.Cleavage also restored metabolic capacity, as measured by theability of the isomers to promote lipogenesis in isolated ratadipocytes through the insulin receptor. These results are consistentwith the theory that binding of IGF-I to the IGF-I receptorrequires a conformational change similar to that involved ininsulin binding the insulin receptor. The weak affinity forthe IGF-I receptor after cleavage is consistent with the beliefthat residues in the C-region interact with the IGF-I receptor.This structural difference between insulin and IGF-I gives eacha higher binding affinity for its own receptor.     

Relay and sequential cropping corn with winter oilseed crops in northern climates

Nutrient Cycling in Agroecosystems - Winter oilseed crops camelina [Camelina sativa (L.) Crantz] and field pennycress (Thlaspi arvense L.) are potential candidates for diversifying the...     

A Pragmatic Approach to Reuse in Tactical Theorem Proving

In interactive theorem proving, tactics and tacticals have been introduced to automate proof search. In this scenario, user interaction traditionally is restricted to the mode in which the user decides which tactic to apply on the top-level, without being able to interact with the tactic once it has begun running.We propose a technique to allow the implementation of derivational analogy in tactical theorem proving. Instead of replaying tactics including backtracked dead ends our framework makes choice points in tactics explicit and thus avoids dead ends when reusing tactics. Additionally users can override choices a tactic has made or add additional steps to a derivation without terminating the tactic. The technique depends on an efficient replay of tactic executions without repeating search that the original computation may have involved.     

High-Temperature Electrical Properties in the ThO2-Rich Region of ThO2-RE2O3 Systems

In the present study the n -type electronic conduction in terms of the parameter p e, and the phase relations in several ThO₂-RE2O₃ systems were examined. Large fluorite solid solution regions exist at elevated temperatures. It was demonstrated that RE₂O₃-doped thoria compositions feature lower parameters p e, and higher chemical stability than the conventional stabilized ZrO2 electrolytes. The results are given in terms of the characteristic parameter p e, in the temperature range from 1000° to 1600°C. The experimental investigations were made using a new thermodynamic measuring system.     

Resource management model and performance evaluation for satellite communications

Efficient resource management is mandatory to achieve maximum system capacity for next generation communications systems. Resource management deals with the available spectral band, time, power, and space for a transmission signal. It includes (i) the frequency planning, (ii) the selection of transmit power, and (iii) the assignment of the channels and access nodes to the users. The paper presents a generalized notation as well as graph algorithms for resource management problems. Impairment graphs can be used for frequency planning, whereas flow graphs are suitable for channel access problems. To evaluate the performance of the resource management, service criteria (such as blocking or the carrier to interference ratio C/I) or efficiency criteria (bandwidth requirements) can be derived from the graphs. The resource management techniques are applied to satellite networks with non‐geostationary orbits yielding time‐variant network topologies. As a simple example, the channel assignment and capacity optimization of the EuroSky Way system are shown. Furthermore, a comparison of fixed, dynamic and hybrid channel allocation schemes (FCA, DCA, HCA) for a typical MEO satellite scenario is given. Satellite diversity and its impact on bandwidth requirement and transmission quality is also examined. Finally, it is shown how spread spectrum systems can be investigated with the presented tools. Copyright © 2001 John Wiley & Sons, Ltd.     

Beschreibung von Ver- und Entfestigungsvorgängen am Beispiel austenitformgehärteter Stähle mit Hilfe von Fließkurven

Fließkurven beschreiben das Formänderungsvermögen von Werkstoffen. Gleichzeitig liefern sie Informationen über die Wechselwirkung zwischen der Ver- und Entfestigung, wobei diese beiden Eigenschaften temperaturabhängig sind. Fließkurven wurden an Stählen aufgenommen, die sich im wesentlichen in ihrem Kohlenstoffgehalt unterscheiden. Die Bestimmung der Formänderungsfähigkeit erfolgte bei Temperaturen, die denen entsprechen, bei denen eine Austenitformhärtung vorgenommen wird. Die mathematische Beschreibung der Fließkurven läßt erkennen, daß zunächst mit steigender Umformtemperatur die Verfestigungsrate abnimmt. Der Kohlenstoffgehalt erhöht dagegen die Verfestigungsrate. Die dynamische Erholung wird mit wachsender Umformtemperatur beschleunigt, ebenso mit steigendem Kohlenstoffgehalt.