On the Gap-Complexity of Simple RL-Automata

Analysis by reduction is a method used in linguistics for checking the correctness of sentences of natural languages. This method is modelled by restarting automata. All types of restarting automata considered in the literature up to now accept at least the deterministic context-free languages. Here we introduce and study a new type of restarting automaton, the so-called t-RL-automaton, which is an RL-automaton that is rather restricted in that it has a window of size one only, and that it works under a minimal acceptance condition. On the other hand, it is allowed to perform up to t rewrite (that is, delete) steps per cycle. Here we study the gap-complexity of these automata. The membership problem for a language that is accepted by a t-RL-automaton with a bounded number of gaps can be solved in polynomial time. On the other hand, t-RL-automata with an unbounded number of gaps accept NP-complete languages.

Untersuchungen zu kumulativen psychischen und physiologischen Effekten des fliegenden Personals auf der Kurzstrecke

Die fliegerische Tätigkeit auf der Kurzstrecke in der zivilen Luftfahrt unterliegt arbeitsspezifischen Belastungsfaktoren, die sich in wesentlichen Punkten von denen auf der Langstrecke unterscheiden. Eine hohe Arbeitsbelastung auf der Kurzstrecke ist mit vielen Starts und Landungen am Tag verbunden. Neben der Anzahl der Flugabschnitte können auch lange Flugdienstzeiten und/oder unregelmäßige Arbeitszeiten sowie der Zeitdruck während der Einsätze auf der Kurzstrecke zur Belastung für Cockpitbesatzungsmitglieder werden und zu Ermüdungserscheinungen führen. Bisher wurden flugmedizinische und -psychologische Daten hauptsächlich auf der Langstrecke in Bezug auf die Auswirkungen der Jet-Leg Symptomatik und kaum auf der Kurzstrecke erhoben. Deshalb wurde im Rahmen des DLR- Projekts „Untersuchungen zu kumulativen psychischen und physiologischen Effekten des fliegenden Personals auf der Kurzstrecke“ eine Langzeituntersuchung zur Belastung/Beanspruchung, Ermüdung sowie Erholung des Cockpitpersonals auf der Kurzstrecke über jeweils 56 Tage durchgeführt. In Zusammenarbeit mit der Deutschen Lufthansa AG dauerte die Untersuchung zu den Auswirkungen arbeitsspezifischer Belastungsfaktoren auf die Cockpitbesatzungsmitglieder der Boeing 737-Flotte von 2003 bis 2006. ZIEL: Unter Berücksichtigung theoretisch fundierter arbeitspsychologischer Konzepte war das Ziel der Studie, kumulative und akute Effekte auf das Schlaf-Wach-Verhalten, auf die Belastung/Beanspruchung sowie auf die Müdigkeit zu identifizieren, die durch aufeinander folgende Einsätze auf der Kurzstrecke innerhalb eines Zeitraums von acht Wochen auftreten können. Hierfür wurden Daten von 29 Piloten (N=13 Kapitäne; N=16 Erste Offiziere) aufgezeichnet. Das Durchschnittsalter lag bei 33,8 ± 7,9 Jahren (Kapitäne: 42,0 ± 3,8 Jahre; Erste Offiziere: 27,4 ± 2,2 Jahre). METHODEN: Über ein Handheld PC konnten effizient Fragebögen bearbeitet und das Sleep Log sowie das Flight Log geführt werden. Die subjektive Ermüdung und Arbeitsbeanspruchung wurden durch standardisierte Fragebögen (z.B. Ermüdungsskala von Samn & Perelli (1982), NASA-TLX) operationalisiert. Im Sleep Log und im Flight Log wurden das Schlaf-Wach-Verhalten sowie flugspezifische Daten dokumentiert (z.B. Dienstbeginn, Dienstende, Flugabschnitte, Zielorte, etc.). Der Schlaf-Wach-Zyklus wurde mittels der Aktimetrie während des gesamten Messverlaufs aufgezeichnet. Die objektive Leistungsfähigkeit wurde täglich morgens und abends mit Hilfe einer computergestützten Psychomotor Vigilance Task (PVT) nach Dinges & Powell (1985) erfasst. Die Leistung in der PVT diente als Indikator für die Ermüdung eines Piloten. Zusätzliche Befragungen mit Paper-Pencil-Fragebögen sollten Aufschluss über relevante, psychosoziale Randbedingungen geben, die bei den täglichen Erhebungen nicht berücksichtigt wurden (z.B. Arbeitszufriedenheit; Essgewohnheiten; Kollegenbeziehungen). ERGEBNISSE: Unter Beachtung kumulativer Effekte wurde über die Studiendauer keine Veränderung in der Schlafqualität und im Schlafbedürfnis festgestellt. Die Müdigkeit nahm dagegen während der achtwöchigen Untersuchung zu. Die Reaktionszeit in der PVT zeigte an Flugdiensttagen eine Verschlechterung über die Zeit. Insgesamt wurden keine kritischen längerfristigen Effekte analysiert. Akute signifikante Effekte wurden bei der Ermüdung, der Gesamtbelastung und der Leistungsfähigkeit an Flugdiensttagen gefunden. Die Ermüdung als auch die Gesamtbelastung stiegen bei zunehmender Flugdienstdauer und Leganzahl und die Leistung nahm in der PVT ab. Der „time on task“ Effekt zeigte sich besonders in der Ermüdung durch die fliegerische Tätigkeit ab einer Flugdienstzeit von > 10 Stunden und > 4 Legs pro Tag. SCHLUSSFOLGERUNG: Mit diesen Ergebnissen konnte eine wissenschaftliche Datenbasis geschaffen werden aus der Empfehlungen resultieren, wie die Einsatzplanung für das Cockpitpersonal auf der Kurzstrecke unter flugmedizinischen und flugpsychologischen Gesichtspunkten optimiert werden kann. Zudem kann ein sachgerechter Beitrag im Rahmen der Diskussion zur Flugdienst- und Ruhezeitenregelung auf europäischer Ebene geleistet werden.

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs

A key capability of data-race detectors is to determine whether one thread executes logically in parallel with another or whether the threads must operate in series. This paper provides two algorithms, one serial and one parallel, to maintain series-parallel (SP) relationships "on the fly" for fork-join multithreaded programs. The serial SP-order algorithm runs in O(1) amortized time per operation. In contrast, the previously best algorithm requires a time per operation that is proportional to Tarjan’s functional inverse of Ackermann’s function. SP-order employs an order-maintenance data structure that allows us to implement a more efficient "English-Hebrew" labeling scheme than was used in earlier race detectors, which immediately yields an improved determinacy-race detector. In particular, any fork-join program running in T₁ time on a single processor can be checked on the fly for determinacy races in O(T₁) time. Corresponding improved bounds can also be obtained for more sophisticated data-race detectors, for example, those that use locks. By combining SP-order with Feng and Leiserson’s serial SP-bags algorithm, we obtain a parallel SP-maintenance algorithm, called SP-hybrid. Suppose that a fork-join program has n threads, T₁ work, and a critical-path length of T[subscript ∞]. When executed on P processors, we prove that SP-hybrid runs in O((T₁/P + PT[subscript ∞]) lg n) expected time. To understand this bound, consider that the original program obtains linear speed-up over a 1-processor execution when P = O(T₁/T[subscript ∞]). In contrast, SP-hybrid obtains linear speed-up when P = O(√T₁/T[subscript ∞]), but the work is increased by a factor of O(lg n).

Empirical evidence for a nonlinear effect of galactic cosmic rays on clouds

Galactic cosmic ray (GCR) changes have been suggested to affect weather and climate, and new evidence is presented here directly linking GCRs with clouds. Clouds increase the diffuse solar radiation, measured continuously at UK surface meteorological sites since 1947. The ratio of diffuse to total solar radiation-the diffuse fraction, (DF)-is used to infer cloud, and is compared with the daily mean neutron count rate measured at Climax; Colorado from 1951-2000, which provides a globally representative indicator of cosmic rays. Across the UK, oil days of high cosmic ray flux (above 3600 X 10(2) neutron counts h(-1), which occur 87% of the time on average) compared with low cosmic ray flux, (i) the chance of an overcast day increases by (19 +/- 4)%; and (ii) the diffuse fraction increases by (2 +/- 0.3)%. During sudden transient reductions in cosmic rays (e.g. Forbush events), simultaneous decreases occur in the diffuse fraction. The diffuse radiation changes are; therefore; unambiguously due to cosmic rays. Although the statistically significant nonlinear cosmic ray effect is small, it will have a considerably larger aggregate effect on longer timescale (e.g. centennial) climate variations when day-to-day variability averages out.

Influence of harvest date and crop yield on the fatty acid composition of virgin olive oils from cv. Picual

In this study was analyzed the effect of crop year and harvesting time on the fatty acid composition of cv. Picual virgin olive oil. The study was carried out during the fruit ripening period for three crop seasons. The mean fatty acid composition of Picual oils was determined. The oils contained palmitic acid (11.9%), oleic acid (79.3%), and linoleic acid (2.95%). The content of palmitic acid and saturated fatty acids decreased during fruit ripening while oleic and linoleic acids increased. The amount of stearic and linolenic acids decreased. The amount of saturated acids, palmitic and stearic, and the polyunsaturated acids linoleic and linolenic was dependent on the time of harvest, whereas the amount of oleic acid varied with the crop year. The differences observed between crop years for both palmitic and linoleic acid may be explained by the differences in the temperature during oil biosynthesis and by the amount of summer rainfall for oleic acid content. A significant relationship was observed between the MUFA/PUFA ratio and the oxidative stability measured by the Rancimat method.

An analysis of real time implementation of Fourier transform-based frequency recognition algorithms

Frequency recognition is an important task in many engineering fields such as audio signal processing and telecommunications engineering, for example in applications like Dual-Tone Multi-Frequency (DTMF) detection or the recognition of the carrier frequency of a Global Positioning, System (GPS) signal. This paper will present results of investigations on several common Fourier Transform-based frequency recognition algorithms implemented in real time on a Texas Instruments (TI) TMS320C6713 Digital Signal Processor (DSP) core. In addition, suitable metrics are going to be evaluated in order to ascertain which of these selected algorithms is appropriate for audio signal processing(1).

On-demand hd video using Jini based grid

This research establishes the feasibility of using a network centric technology, Jini, to provide a grid framework on which to perform parallel video encoding. A solution was implemented using Jini and obtained real-time on demand encoding of a 480 HD video stream. Further, a projection is made concerning the encoding of 1080 HD video in real-time, as the current grid was not powerful enough to achieve this above 15fps. The research found that Jini is able to provide a number of tools and services highly applicable in a grid environment. It is also suitable in terms of performance and responds well to a varying number of grid nodes. The main performance limiter was found to be the network bandwidth allocation, which when loaded with a large number of grid nodes was unable to handle the traffic.

Effect of breadmaking process on In Vitro gut microbiota parameters in irritable bowel syndrome

A variety of foods have been implicated in symptoms of patients with Irritable Bowel Syndrome (IBS) but wheat products are most frequently cited by patients as a trigger. Our aim was to investigate the effects of breads, which were fermented for different lengths of time, on the colonic microbiota using in vitro batch culture experiments. A set of in vitro anaerobic culture systems were run over a period of 24 h using faeces from 3 different IBS donors (Rome Criteria–mainly constipated) and 3 healthy donors. Changes in gut microbiota during a time course were identified by fluorescence in situ hybridisation (FISH), whilst the small -molecular weight metabolomic profile was determined by NMR analysis. Gas production was separately investigated in non pH-controlled, 36 h batch culture experiments. Numbers of bifidobacteria were higher in healthy subjects compared to IBS donors. In addition, the healthy donors showed a significant increase in bifidobacteria (P<0.005) after 8 h of fermentation of a bread produced using a sourdough process (type C) compared to breads produced with commercial yeasted dough (type B) and no time fermentation (Chorleywood Breadmaking process) (type A). A significant decrease of δ-Proteobacteria and most Gemmatimonadetes species was observed after 24 h fermentation of type C bread in both IBS and healthy donors. In general, IBS donors showed higher rates of gas production compared to healthy donors. Rates of gas production for type A and conventional long fermentation (type B) breads were almost identical in IBS and healthy donors. Sourdough bread produced significantly lower cumulative gas after 15 h fermentation as compared to type A and B breads in IBS donors but not in the healthy controls. In conclusion, breads fermented by the traditional long fermentation and sourdough are less likely to lead to IBS symptoms compared to bread made using the Chorleywood Breadmaking Process.

Competing priorities: Singapore teachers’ perspectives on critical literacy

This paper explores a group of Singaporean English language teachers’ knowledge and beliefs about critical literacy as well as their perspectives on how best to teach literacy and critical literacy in Singapore schools. A face-to-face survey was conducted among 58 English language teachers by using open-ended questions. The survey covered various topics related to literacy instruction including text decoding, meaning construction, and critical analysis of texts. The participating teachers believed strongly that reading and writing are transactional and interactional practices. However, they were less certain in their beliefs about teaching critical literacy including the critical, analytical and evaluative aspects of text reading. Some teachers saw a conflict between using time on teaching critical literacy and preparing students to pass their exams. As critical literacy is not a requirement at exams, they found it difficult to justify using time teaching it. The results suggest that the teachers’ belief systems are strongly influenced by the broad macrostructure of the educational system in Singapore and their own educational experiences.

Intake, water consumption, ruminal fermentation, and stress response of beef heifers fed after different lengths of delays in the daily feed delivery time

Four rumen-fistulated Holstein heifers (134 +/- 1 kg initial BW) were used in a 4 x 4 Latin square design to determine the effects of delaying daily feed delivery time on intake, ruminal fermentation, behavior, and stress response. Each 3-wk experimental period was preceded by 1 wk in which all animals were fed at 0800 h. Feed bunks were cleaned at 0745 h and feed offered at 0800 h (T0, no delay), 0900 (T1), 1000 (T2), and 1100 (T3) from d1 to 21 with measurements taken during wk 1 and 3. Heifers were able to see each other at all times. Concentrate and barley straw were offered in separate compartments of the feed bunks, once daily and for ad libitum intake. Ruminal pH and saliva cortisol concentrations were measured at 0, 4, 8, and 12 h postfeeding on d 3 and 17 of each experimental period. Fecal glucocorticoid metabolites were measured on d 17. Increasing length of delay in daily feed delivery time resulted in a quadratic response in concentrate DMI (low in T1 and T2; P = 0.002), whereas straw DMI was greatest in T1 and T3 (cubic P = 0.03). Treatments affected the distribution of DMI within the day with a linear decrease observed between 0800 and 1200 h but a linear increase during nighttimes (2000 to 0800 h), whereas T1 and T2 had reduced DMI between 1200 and 1600 h (quadratic P = 0.04). Water consumption (L/d) was not affected but decreased linearly when expressed as liters per kilogram of DMI (P = 0.01). Meal length was greatest and eating rate slowest in T1 and T2 (quadratic P <= 0.001). Size of the first meal after feed delivery was reduced in T1 on d 1 (cubic P = 0.05) and decreased linearly on d 2 (P = 0.01) after change. Concentrate eating and drinking time (shortest in T1) and straw eating time (longest in T1) followed a cubic trend (P = 0.02). Time spent lying down was shortest and ruminating in standing position longest in T1 and T2. Delay of feeding time resulted in greater daily maximum salivary cortisol concentration (quadratic P = 0.04), which was greatest at 0 h in T1 and at 12 h after feeding in T2 (P < 0.05). Daily mean fecal glucocorticoid metabolites were greatest in T1 and T3 (cubic P = 0.04). Ruminal pH showed a treatment effect at wk 1 because of increased values in T1 and T3 (cubic P = 0.01). Delaying feed delivery time was not detrimental for rumen function because a stress response was triggered, which led to reduced concentrate intake, eating rate, and size of first meal, and increased straw intake. Increased salivary cortisol suggests that animal welfare is compromised.

Effect of cold storage on culture viability and some rheological properties of fermented milk prepared with yogurt and probiotic bacteria

We examined the effect of storage time on culture viability and some rheological properties (yield stress, storage modulus, loss modulus, linear viscoelastic region, structural recuperation and firmness) of fermented milk made with Lactobacillus delbrueckii ssp. bulgaricus, Lactobacillus acidophilus (LA) and Bifidobacterium animalis ssp. lactis in coculture with Streptococcus thermophilus (ST). Acidification profiles and factors that affect viability (postfermentation acidification, acidity and dissolved oxygen) were also studied during 35 days at 4C. Fermented milk prepared with a coculture of ST and Bifidobacterium lactis gave the most constant rheological behavior and the best cell viability during cold storage; it was superior to ST plus LA for probiotic fermented milk production.

Methane conversion reactions on Ni catalysts promoted with Rh: Influence of support

Ni catalysts supported on gamma-Al(2)O(3) and Mg(Al)O were prepared with and without Rh as a promoter and tested in the reforming of methane in the presence of excess methane, simulating a model biogas. The effects of adding synthetic air on the methane conversion and the formation of carbon were assessed. The catalysts were characterized by X-ray spectroscopy (EDS), surface area (BET), X-ray diffraction (XRD), Temperature-programmed reduction (TPR), X-ray absorption near-edge structure (XANES) and XPD. The results showed that in catalysts without Rh, the Ni interacts strongly with the supports, showing high reduction temperatures in TPR tests. The addition of Rh increased the amount of reducible Ni and facilitated the reduction of the species interacting strongly with the support. In the catalytic tests, the samples promoted with Rh suffered higher carbon deposition. The in situ XPD suggested that on the support gamma-Al(2)O(3), the presence of Rh probably led to a segregation of Ni species with time on stream, leading to carbon deposition. On the support MgAlO, the presence of Rh improved the dispersion of Ni, by reducing the Ni(0) crystallite size, suggesting that in this case the carbon deposition was due to a favoring of CH(4) decomposition by Rh. (C) 2011 Elsevier B.V. All rights reserved.

Evaluation of Postpolymerization as a Function of the Storage Time of Triethylene Glycol Dimethacrylate/2,2-Bis[4-(2-Hydroxy-3-Methacryloxy-Prop-1-Oxy)-Phenyl]-propane Bisphenyl-alpha-Glycidyl Ether Dimethacrylate Copolymers Used in Dental Resins by Differential Scanning Calorimetry and Dynamic Mechanical Analysis

The aim of this work was to evaluate the effect of the storage time on the thermal properties of triethylene glycol dimethacrylate/2,2-bis[4-(2-hydroxy-3-methacryloxy-prop-1-oxy)-phenyl]propane bisphenyl-alpha-glycidyl ether dimethacrylate (TB) copolymers used in formulations of dental resins after photopolymerization. The TB copolymers were prepared by photopolymerization with an Ultrablue IS light-emitting diode, stored in the dark for 160 days at 37 degrees C, and characterized with differential scanning calorimetry (DSC), dynamic mechanical analysis (DMA), and Fourier transform infrared spectroscopy with attenuated total reflection. DSC curves indicated the presence of an exothermic peak, confirming that the reaction was not completed during the photopolymerization process. This exothermic peak became smaller as a function of the storage time and was shifted at higher temperatures. In DMA studies, a plot of the loss tangent versus the temperature initially showed the presence of two well-defined peaks. The presence of both peaks confirmed the presence of residual monomers that were not converted during the photopolymerization process. (C) 2009 Wiley Periodicals, Inc. J Appl Polym Sci 112: 679-684, 2009

Using ant colonies for solve the multiprocessor task graph scheduling

The problem of scheduling a parallel program presented by a weighted directed acyclic graph (DAG) to the set of homogeneous processors for minimizing the completion time of the program has been extensively studied as academic optimization problem which occurs in optimizing the execution time of parallel algorithm with parallel computer.In this paper, we propose an application of the Ant Colony Optimization (ACO) to a multiprocessor scheduling problem (MPSP). In the MPSP, no preemption is allowed and each operation demands a setup time on the machines. The problem seeks to compose a schedule that minimizes the total completion time.We therefore rely on heuristics to find solutions since solution methods are not feasible for most problems as such. This novel heuristic searching approach to the multiprocessor based on the ACO algorithm a collection of agents cooperate to effectively explore the search space.A computational experiment is conducted on a suit of benchmark application. By comparing our algorithm result obtained to that of previous heuristic algorithm, it is evince that the ACO algorithm exhibits competitive performance with small error ratio.

Effect of water storage and heat treatment on the cytotoxicity of soft liners

Objective: To evaluate the effect of water storage time on the cytotoxicity of soft liners.Methods: Sample discs of soft liners Dentusoft, Dentuflex, Trusoft, Ufi-Gel-P and denture base acrylic resin Lucitone-550 were prepared and divided into four groups: GN: No treatment, G24: Stored in water at 37 degrees C for 24 h; G48: Stored in water at 37 degrees C for 48 h, GHW: Immersed in water at 55 degrees C for 10 min. To analyse the cytotoxic effect, three samples of each group were placed in tubes with Dubelcco's Modified Eagle Mediums and incubated at 37 degrees C for 24 h. During this period, the toxic substances were leached to the culture medium. The cytotoxicity was analysed quantitatively by the incorporation of radioactivity H-3-thymidine checking the number of viable cells (synthesis of DNA). The data were statistically analysed using two-way ANOVA and Tukey's honestly significant difference tests (alpha = 0.05).Results: Treatments did not reduce the cytotoxicity effect of the soft liners (p > 0.05). It was found that Ufi-Gel-P had a non-cytotoxic effect, Trusoft had a slightly cytotoxic effect, Dentuflex had a moderated cytotoxic effect, Dentusoft alternated between slightly and non-cytotoxic effect, and Lucitone-550 had non-cytotoxic effect when stored in water for 48 h.Conclusion: The effect of water storage and the heat treatment did not reduce the cytotoxicity of the soft liners.