Restarting automata with restricted utilization of auxiliary symbols

The restarting automaton is a restricted model of computation that was introduced by Jancar et al. to model the so-called analysis by reduction, which is a technique used in linguistics to analyze sentences of natural languages. The most general models of restarting automata make use of auxiliary symbols in their rewrite operations, although this ability does not directly correspond to any aspect of the analysis by reduction. Here we put restrictions on the way in which restarting automata use auxiliary symbols, and we investigate the influence of these restrictions on their expressive power. In fact, we consider two types of restrictions. First, we consider the number of auxiliary symbols in the tape alphabet of a restarting automaton as a measure of its descriptional complexity. Secondly, we consider the number of occurrences of auxiliary symbols on the tape as a dynamic complexity measure. We establish some lower and upper bounds with respect to these complexity measures concerning the ability of restarting automata to recognize the (deterministic) context-free languages and some of their subclasses.

Optimal Methodology for Synchronized Scheduling of Parallel Station Assembly with Air Transportation

We present an optimal methodology for synchronized scheduling of production assembly with air transportation to achieve accurate delivery with minimized cost in consumer electronics supply chain (CESC). This problem was motivated by a major PC manufacturer in consumer electronics industry, where it is required to schedule the delivery requirements to meet the customer needs in different parts of South East Asia. The overall problem is decomposed into two sub-problems which consist of an air transportation allocation problem and an assembly scheduling problem. The air transportation allocation problem is formulated as a Linear Programming Problem with earliness tardiness penalties for job orders. For the assembly scheduling problem, it is basically required to sequence the job orders on the assembly stations to minimize their waiting times before they are shipped by flights to their destinations. Hence the second sub-problem is modelled as a scheduling problem with earliness penalties. The earliness penalties are assumed to be independent of the job orders.

An approach to vision-based station keeping for an unmanned underwater vehicle

This paper presents an automatic vision-based system for UUV station keeping. The vehicle is equipped with a down-looking camera, which provides images of the sea-floor. The station keeping system is based on a feature-based motion detection algorithm, which exploits standard correlation and explicit textural analysis to solve the correspondence problem. A visual map of the area surveyed by the vehicle is constructed to increase the flexibility of the system, allowing the vehicle to position itself when it has lost the reference image. The testing platform is the URIS underwater vehicle. Experimental results demonstrating the behavior of the system on a real environment are presented

Weather station.

Proporciona una base teórica sobre climas, nubes, condensación, huracanes y tornados, sobre el tiempo meteorológico, para que después,los alumnos realicen experimentos y puedan crear nubes, arco iris, heladas.

Simultaneous observations of reconnection pulses at Cluster and their effects on the cusp aurora seen at Chinese Yellow River Station

While the Cluster spacecraft were located near the high-latitude magnetopause, between 10:10 and 10:40 UT on 16 January 2004, three typical flux transfer event (FTE) signatures were observed. During this interval, simultaneous and conjugated all-sky camera measurements, recorded at Yellow River Station, Svalbard, are available at 630.0 and 557.7nm that show poleward-moving auroral forms (PMAFs), consistent with magnetic reconnection at dayside magnetopause. Simultaneous FTEs seen at the magnetopause mainly move northward, but having duskward (eastward) and tailward velocity components, roughly consistent with the observed direction of motion of the PMAFs in all-sky images. Between the PMAFs meridional keograms, extracted from the all-sky images, show intervals of lower intensity aurora which migrate equatorward just before the PMAFs intensify. This is strong evidence for an equatorward eroding and poleward moving open-closed boundary (OCB) associated with a variable magnetopause reconnection rate under variable IMF conditions. From the durations of the PMAFs we infer that the evolution time of FTEs is 5-11 minutes from its origin on magnetopause to its addition to the polar cap.

Measuring and comparing constraints to improved biosecurity amongst GB farmers, veterinarians and the auxiliary industries

Constraints to the introduction of enhanced biosecurity systems are rarely considered in sufficient detail when population medicine specialists initiate new control schemes. The main objective of our research was to investigate and compare the different attitudes constraining improvement in biosecurity for cattle and sheep farmers, practising veterinary surgeons and the auxiliary industries in Great Britain (GB). This study was carried out utilizing farmer focus groups, a questionnaire survey of veterinary practitioners and a telephone survey of auxiliary industry representatives. It appears that farmers and veterinarians have their own relatively clear definitions for biosecurity in relation to some major diseases threatening GB agriculture. Overall, farmers believe that other stakeholders, such as the government, should make a greater contribution towards biosecurity within GB. Conversely, veterinary practitioners saw their clients' ability or willingness to invest in biosecurity measures as a major constraint. Veterinary practitioners also felt that there was need for additional proof of efficacy and/or the potential economic benefits of proposed farm biosecurity practices better demonstrated. Auxiliary industries, in general, were not certain of their role in biosecurity although study participants highlighted zoonoses as part of the issue and offered that most of the constraints operated at farm level. (C) 2008 Elsevier B.V. All rights reserved.

Measuring and comparing constraints to improved biosecurity amongst GB farmers, veterinarians and the auxiliary industries

Constraints to the introduction of enhanced biosecurity systems are rarely considered in sufficient detail when population medicine specialists initiate new control schemes. The main objective of our research was to investigate and compare the different attitudes constraining improvement in biosecurity for cattle and sheep farmers, practising veterinary surgeons and the auxiliary industries in Great Britain (GB). This study was carried out utilizing farmer focus groups, a questionnaire survey of veterinary practitioners and a telephone survey of auxiliary industry representatives. It appears that farmers and veterinarians have their own relatively clear definitions for biosecurity in relation to some major diseases threatening GB agriculture. Overall, farmers believe that other stakeholders, such as the government, should make a greater contribution towards biosecurity within GB. Conversely, veterinary practitioners saw their clients' ability or willingness to invest in biosecurity measures as a major constraint. Veterinary practitioners also felt that there was need for additional proof of efficacy and/or the potential economic benefits of proposed farm biosecurity practices better demonstrated. Auxiliary industries, in general, were not certain of their role in biosecurity although study participants highlighted zoonoses as part of the issue and offered that most of the constraints operated at farm level. (C) 2008 Elsevier B.V. All rights reserved.