991 resultados para Temporal acoustic window


Relevância:

20.00% 20.00%

Publicador:

Resumo:

This technical memorandum reports on the noise measurement results performed on MBARI's Ventana ROV. The measurement procedure and the instrumentation for this experiment are also described. This report is organized as follows: Section 1 provides some introductory information. Section 2 describes the experiment and the instrumentation. Section 3 presents the results. Section 4 contains some concluding remarks. (PDF contains 16 pages.)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Accelerating Moment Release (AMR) preceding earthquakes with magnitude above 5 in Australia that occurred during the last 20 years was analyzed to test the Critical Point Hypothesis. Twelve earthquakes in the catalog were chosen based on a criterion for the number of nearby events. Results show that seven sequences with numerous events recorded leading up to the main earthquake exhibited accelerating moment release. Two occurred near in time and space to other earthquakes preceded by AM R. The remaining three sequences had very few events in the catalog so the lack of AMR detected in the analysis may be related to catalog incompleteness. Spatio-temporal scanning of AMR parameters shows that 80% of the areas in which AMR occurred experienced large events. In areas of similar background seismicity with no large events, 10 out of 12 cases exhibit no AMR, and two others are false alarms where AMR was observed but no large event followed. The relationship between AMR and Load-Unload Response Ratio (LURR) was studied. Both methods predict similar critical region sizes, however, the critical point time using AMR is slightly earlier than the time of the critical point LURR anomaly.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ponencia leída en el Foro de Comunicaciones IkasArt III (BEC Barakaldo, 2011.11.11)[por Skype]

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Since 1999, NOAA’s Biogeography Branch of the Center for Coastal Monitoring and Assessment (CCMA-BB) has been working with federal and territorial partners to characterize, monitor, and assess the status of the marine environment around northeastern St. Croix, U.S. Virgin Islands. This effort is part of the broader NOAA Coral Reef Conservation Program’s (CRCP) National Coral Reef Ecosystem Monitoring Program (NCREMP). With support from CRCP’s NCREMP, CCMA conducts the “Caribbean Coral Reef Ecosystem Monitoring project” (CREM) with goals to: (1) spatially characterize and monitor the distribution, abundance, and size of marine fauna associated with shallow water coral reef seascapes (mosaics of coral reefs, seagrasses, sand and mangroves); (2) relate this information to in situ fine-scale habitat data and the spatial distribution and diversity of habitat types using benthic habitat maps; (3) use this information to establish the knowledge base necessary for enacting management decisions in a spatial setting; (4) establish the efficacy of those management decisions; and (5) develop data collection and data management protocols. The monitoring effort in northeastern St. Croix was conducted through partnerships with the National Park Service (NPS) and the Virgin Islands Department of Planning and Natural Resources (VI-DPNR). The geographical focal point of the research is Buck Island Reef National Monument (BIRNM), a protected area originally established in 1961 and greatly expanded in 2001; however, the work also encompassed a large portion of the recently created St. Croix East End Marine Park (EEMP). Project funding is primarily provided by NOAA CRCP, CCMA and NPS. In recent decades, scientific and non-scientific observations have indicated that the structure and function of the coral reef ecosystem around northeastern St. Croix have been adversely impacted by a wide range of environmental stressors. The major stressors have included the mass Diadema die off in the early 1980s, a series of hurricanes beginning with Hurricane Hugo in 1989, overfishing, mass mortality of Acropora corals due to disease and several coral bleaching events, with the most severe mass bleaching episode in 2005. The area is also an important recreational resource supporting boating, snorkeling, diving and other water based activities. With so many potential threats to the marine ecosystem and a dramatic change in management strategy in 2003 when the park’s Interim Regulations (Presidential Proclamation No. 7392) established BIRNM as one of the first fully protected marine areas in NPS system, it became critical to identify existing marine fauna and their spatial distributions and temporal dynamics. This provides ecologically meaningful data to assess ecosystem condition, support decision making in spatial planning (including the evaluation of efficacy of current management strategies) and determine future information needs. The ultimate goal of the work is to better understand the coral reef ecosystems and to provide information toward protecting and enhancing coral reef ecosystems for the benefit of the system itself and to sustain the many goods and services that it offers society. This Technical Memorandum contains analysis of the first six years of fish survey data (2001-2006) and associated characterization of the benthos (1999-2006). The primary objectives were to quantify changes in fish species and assemblage diversity, abundance, biomass and size structure and to provide spatially explicit information on the distribution of key species or groups of species and to compare community structure inside (protected) versus outside (fished) areas of BIRNM. (PDF contains 100 pages).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The science of fisheries acoustics and its applicability to resource management have evolved over the past several decades. This document provides a basic description of fisheries acoustics and recommendations on using this technology for research and monitoring of fish distributions and habitats within sanctuaries. It also describes recent efforts aimed at applying fisheries acoustics to Gray’s Reef National Marine Sanctuary (GRNMS) (Figure 1). Historically, methods to assess the underwater environment have included net trawls, diver censuses, hook and line, video, sonar and other techniques deployed in a variety of ways. Fisheries acoustics, using active sonar, relies on the physics of sound traveling through water to quantify the distribution of biota in the water column. By sending a signal of a given frequency through the water column and recording the time of travel and the strength of the reflected signal, it is possible to determine the size and location of fish and estimate biomass from the acoustic backscatter. As a fisheries assessment tool, active hydroacoustics technology is an efficient, non-intrusive method of mapping the water column at a very fine spatial and temporal resolution. It provides a practical alternative to bottom and mid-water trawls, which are not allowed at GRNMS. Passive acoustics, which uses underwater hydrophones to record man-made and natural sounds such as fish spawning calls and sounds produced by marine mammals for communication and echolocation, can provide a useful, complementary survey tool. This report primarily deals with active acoustics, although the integration of active and passive acoustics is addressed as well. (PDF contains 32 pages)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive definition of eventualities that is different from the usual one. On the basis of this non-customary inductive definition for eventualities, we first provide dual systems of tableaux and sequents for Propositional Linear-time Temporal Logic (PLTL). Then, we adapt the deductive approach introduced by means of these dual tableau and sequent systems to the resolution framework and we present a clausal temporal resolution method for PLTL. Finally, we make use of this new clausal temporal resolution method for establishing logical foundations for declarative temporal logic programming languages. The key element in the deduction systems for temporal logic is to deal with eventualities and hidden invariants that may prevent the fulfillment of eventualities. Different ways of addressing this issue can be found in the works on deduction systems for temporal logic. Traditional tableau systems for temporal logic generate an auxiliary graph in a first pass.Then, in a second pass, unsatisfiable nodes are pruned. In particular, the second pass must check whether the eventualities are fulfilled. The one-pass tableau calculus introduced by S. Schwendimann requires an additional handling of information in order to detect cyclic branches that contain unfulfilled eventualities. Regarding traditional sequent calculi for temporal logic, the issue of eventualities and hidden invariants is tackled by making use of a kind of inference rules (mainly, invariant-based rules or infinitary rules) that complicates their automation. A remarkable consequence of using either a two-pass approach based on auxiliary graphs or aone-pass approach that requires an additional handling of information in the tableau framework, and either invariant-based rules or infinitary rules in the sequent framework, is that temporal logic fails to carry out the classical correspondence between tableaux and sequents. In this thesis, we first provide a one-pass tableau method TTM that instead of a graph obtains a cyclic tree to decide whether a set of PLTL-formulas is satisfiable. In TTM tableaux are classical-like. For unsatisfiable sets of formulas, TTM produces tableaux whose leaves contain a formula and its negation. In the case of satisfiable sets of formulas, TTM builds tableaux where each fully expanded open branch characterizes a collection of models for the set of formulas in the root. The tableau method TTM is complete and yields a decision procedure for PLTL. This tableau method is directly associated to a one-sided sequent calculus called TTC. Since TTM is free from all the structural rules that hinder the mechanization of deduction, e.g. weakening and contraction, then the resulting sequent calculus TTC is also free from this kind of structural rules. In particular, TTC is free of any kind of cut, including invariant-based cut. From the deduction system TTC, we obtain a two-sided sequent calculus GTC that preserves all these good freeness properties and is finitary, sound and complete for PLTL. Therefore, we show that the classical correspondence between tableaux and sequent calculi can be extended to temporal logic. The most fruitful approach in the literature on resolution methods for temporal logic, which was started with the seminal paper of M. Fisher, deals with PLTL and requires to generate invariants for performing resolution on eventualities. In this thesis, we present a new approach to resolution for PLTL. The main novelty of our approach is that we do not generate invariants for performing resolution on eventualities. Our method is based on the dual methods of tableaux and sequents for PLTL mentioned above. Our resolution method involves translation into a clausal normal form that is a direct extension of classical CNF. We first show that any PLTL-formula can be transformed into this clausal normal form. Then, we present our temporal resolution method, called TRS-resolution, that extends classical propositional resolution. Finally, we prove that TRS-resolution is sound and complete. In fact, it finishes for any input formula deciding its satisfiability, hence it gives rise to a new decision procedure for PLTL. In the field of temporal logic programming, the declarative proposals that provide a completeness result do not allow eventualities, whereas the proposals that follow the imperative future approach either restrict the use of eventualities or deal with them by calculating an upper bound based on the small model property for PLTL. In the latter, when the length of a derivation reaches the upper bound, the derivation is given up and backtracking is used to try another possible derivation. In this thesis we present a declarative propositional temporal logic programming language, called TeDiLog, that is a combination of the temporal and disjunctive paradigms in Logic Programming. We establish the logical foundations of our proposal by formally defining operational and logical semantics for TeDiLog and by proving their equivalence. Since TeDiLog is, syntactically, a sublanguage of PLTL, the logical semantics of TeDiLog is supported by PLTL logical consequence. The operational semantics of TeDiLog is based on TRS-resolution. TeDiLog allows both eventualities and always-formulas to occur in clause heads and also in clause bodies. To the best of our knowledge, TeDiLog is the first declarative temporal logic programming language that achieves this high degree of expressiveness. Since the tableau method presented in this thesis is able to detect that the fulfillment of an eventuality is prevented by a hidden invariant without checking for it by means of an extra process, since our finitary sequent calculi do not include invariant-based rules and since our resolution method dispenses with invariant generation, we say that our deduction methods are invariant-free.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The largely sedentary behavior of many fishes on coral reefs is well established. Information on the movement behavior of individual fish, over fine temporal and spatial scales, however, continues to be limited. It is precisely this type of information that is critical for evaluating the success of marine reserves designed for the conservation and/or management of vagile fishes. In this pilot study we surgically-tagged eight hogfish (Lachnolaimus maximus Walbaum 1792) with coded-acoustic transmitters inside the Conch Reef Research Only Area (a no-take marine reserve) in the northern Florida Keys National Marine Sanctuary. Our primary objective was to characterize the movement of L. maximus across Conch Reef in the vicinity of the reserve. All fish were captured, surgically-tagged and released in situ during a saturation mission to the Aquarius Undersea Laboratory, which is located in the center of the reserve. Movement of tagged L. maximus was recorded for up to 95 days by three acoustic receivers deployed on the seafloor. Results showed clear diel patterns in L. maximus activity and regular movement among the receivers was recorded for seven of the eight tagged fish. Fidelity of tagged fish to the area of release was high when calculated at the scale of days, while within-day fidelity was comparatively low when calculated at the scale of hours. While the number of fish departures from the array also varied, the majority of departures for seven of the eight fish did not exceed 1-hr (with the exception of one 47-day departure), suggesting that when departures occurred, the fish did not travel far. Future efforts will significantly expand the number of receivers at Conch Reef such that fish movement behavior relative to the reserve boundaries can be quantified with increased temporal and spatial resolution. (PDF contains 22 pages.)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Marine Fishery Reserves (MFRs) are being adopted, in part, as a strategy to replenish depleted fish stocks and serve as a source for recruits to adjacent fisheries. By necessity, their design must consider the biological parameters of the species under consideration to ensure that the spawning stock is conserved while simultaneously providing propagules for dispersal. We describe how acoustic telemetry can be employed to design effective MFRs by elucidating important life-history parameters of the species under consideration, including home range, and ecological preferences, including habitat utilization. We then designed a reserve based on these parameters using data from two acoustic telemetry studies that examined two closely-linked subpopulations of queen conch (Strombus gigas) at Conch Reef in the Florida Keys. The union of the home ranges of the individual conch (aggregation home range: AgHR) within each subpopulation was used to construct a shape delineating the area within which a conch would be located with a high probability. Together with habitat utilization information acquired during both the spawning and non-spawning seasons, as well as landscape features (i.e., corridors), we designed a 66.5 ha MFR to conserve the conch population. Consideration was also given for further expansion of the population into suitable habitats.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Groupers are important components of commercial and recreational fisheries. Current methods of diver-based grouper census surveys could potentially benefit from development of remotely sensed methods of seabed classification. The goal of the present study was to determine if areas of high grouper abundance have characteristic acoustic signatures. A commercial acoustic seabed mapping system, QTC View Series V, was used to survey an area near Carysfort Reef, Florida Keys. Acoustic data were clustered using QTC IMPACT software, resulting in three main acoustic classes covering 94% of the area surveyed. Diver-based data indicate that one of the acoustic classes corresponded to hard substrate and the other two represented sediment. A new measurement of seabed heterogeneity, designated acoustic variability, was also computed from the acoustic survey data in order to more fully characterize the acoustic response (i.e., the signature) of the seafloor. When compared with diver-based grouper census data, both acoustic classification and acoustic variability were significantly different at sites with and without groupers. Sites with groupers were characterized by hard bottom substrate and high acoustic variability. Thus, the acoustic signature of a site, as measured by acoustic classification or acoustic variability, is a potentially useful tool for stratifying diver sampling effort for grouper census.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Species composition, biomass, density, and diversity of benthic invertebrates from six bard-bottom areas were evaluated. Seasonal collections using a dredge, trawl, and suction and grab samplers yielded 432, 525, and 845 taxa, respectively. Based on collections wltb the different gear types, species composition of invertebrates was found to change bathymetrically. Inner- and mlddle-shelf sites were more similar to each other in terms of invertebrate species composition than they were to outer-shelf sites, regardless of season. Sites on the inner and outer shelf were grouped according to latitude; however, results suggest that depth is apparently a more important determinant of invertebrate species composition than either season or latitude. Sponges generally dominated dredge and trawl collections in terms of biomass. Generally, cnidarians, bryozoans, and sponges dominated at sites In terms of number of taxa collected. The most abundant smaller macrofauna collected in suction and grab samples were polychaetes, amphipods, and mollusks. Densities of the numerically dominant species changed botb seasonally and bathymetrically, with very few of these species restricted to a specific bathymetrlc zone. The high diversity of invertebrates from hard-bottom sites is attributed to the large number of rare species. No consistent seasonal changes in diversity or number of species were noted for individual stations or depth zones. In addition, H and its components showed no definite patterns related to depth or latitude. However, more species were collected at middle-shelf sites than at inner- or outer-shelf sites, which may be related to more stable bottom temperature or greater habitat complexity in that area. (PDF file contains 110 pages.)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The Alliance for Coastal Technologies (ACT) convened a workshop, sponsored by the Hawaii-Pacific and Alaska Regional Partners, entitled Underwater Passive Acoustic Monitoring for Remote Regions at the Hawaii Institute of Marine Biology from February 7-9, 2007. The workshop was designed to summarize existing passive acoustic technologies and their uses, as well as to make strategic recommendations for future development and collaborative programs that use passive acoustic tools for scientific investigation and resource management. The workshop was attended by 29 people representing three sectors: research scientists, resource managers, and technology developers. The majority of passive acoustic tools are being developed by individual scientists for specific applications and few tools are available commercially. Most scientists are developing hydrophone-based systems to listen for species-specific information on fish or cetaceans; a few scientists are listening for biological indicators of ecosystem health. Resource managers are interested in passive acoustics primarily for vessel detection in remote protected areas and secondarily to obtain biological and ecological information. The military has been monitoring with hydrophones for decades;however, data and signal processing software has not been readily available to the scientific community, and future collaboration is greatly needed. The challenges that impede future development of passive acoustics are surmountable with greater collaboration. Hardware exists and is accessible; the limits are in the software and in the interpretation of sounds and their correlation with ecological events. Collaboration with the military and the private companies it contracts will assist scientists and managers with obtaining and developing software and data analysis tools. Collaborative proposals among scientists to receive larger pools of money for exploratory acoustic science will further develop the ability to correlate noise with ecological activities. The existing technologies and data analysis are adequate to meet resource managers' needs for vessel detection. However, collaboration is needed among resource managers to prepare large-scale programs that include centralized processing in an effort to address the lack of local capacity within management agencies to analyze and interpret the data. Workshop participants suggested that ACT might facilitate such collaborations through its website and by providing recommendations to key agencies and programs, such as DOD, NOAA, and I00s. There is a need to standardize data formats and archive acoustic environmental data at the national and international levels. Specifically, there is a need for local training and primers for public education, as well as by pilot demonstration projects, perhaps in conjunction with National Marine Sanctuaries. Passive acoustic technologies should be implemented immediately to address vessel monitoring needs. Ecological and health monitoring applications should be developed as vessel monitoring programs provide additional data and opportunities for more exploratory research. Passive acoustic monitoring should also be correlated with water quality monitoring to ease integration into long-term monitoring programs, such as the ocean observing systems. [PDF contains 52 pages]