Simulation of Vortex-dominant and Turbulent Flows in Natural Environment

In the present talk, the simulation of vortex dominant and turbulent flows are primarily addressed. To cope with complicated circumstances in environmental flows we illustrate the strategy of combining simplified physical model and suitable algorithm by a few examples.

Establishing National Ocean Service Priorities for Estuarine, Coastal, and Ocean Modeling: Capabilities, Gaps, and Preliminary Prioritization Factors

This report was developed to help establish National Ocean Service priorities and chart new directions for research and development of models for estuarine, coastal and ocean ecosystems based on user-driven requirements and supportive of sound coastal management, stewardship, and an ecosystem approach to management. (PDF contains 63 pages)

An evaluation of Northern Florida Bay as a nursery area for red drum, Sciaenops ocellatus, and other juvenile and small resident fishes.

Red drum is one ofthe most popular species sought by anglers in Florida Bay, yet juveniles are rarely encountered. We evaluated Florida Bay as a nursery area for red drum by sampling for recently-settled late larvae in basin areas within the bay with an epi-benthic sled at six stations in November 2000, and at seven stations during December 2000 through February 2001. In November 2000 we surveyed potential sampling sites in quiet backwaters adjacent to mangroves for juvenile red drum. A total of 202 sites were sampled mainly in northern Florida Bay and adjacent waters with a cast net. We collected only one recently-settled red drum larvae and no juveniles. Obviously the sites that we sampled in Florida Bay and adjacent waters are not nursery habitat for this valuable species. Sled collections were dominated by bay anchovy, Anchoa mitchilli, but densities were biased by one collection. Five small resident species were among the dominant species: rainwater killifish, Lucania parva; dusky pipefish, Syngnathus floridae; dwarf seahorse, Hippocampus zosterae; and clown goby, Microgobius gulosus. Three species that spawn outside Florida Bay in the GulfofMexico were common: pinfish, Lagodon rhomboides; pigfish, Orthopristis chrysoptera; and silver perch, Bairdiella chrysoura. Twenty-seven species were collected with the cast net. Hardhead silversides (Atherinomorus stipes), bay anchovy, tidewater mojarra (Eucinostomus harengulus), silver jenny (Eucinostomus gula), and goldspotted killifish (Floridichthys carpio) were the most common in cast net collections. Although only one red drum was collected, we were able to: (1) identify mesohaline waters from our cast net sites to test our preliminary assessment that mesohaline habitat might be limited in Florida Bay, (2) document the distribution and abundance of fishes collected by cast net that should enhance our understanding of ichthyofauna in the Northern Subdivision ofFlorida Bay and adjacent waters, and (3) from epibenthic sled collections, describe the habitats, abundance and distribution of recently settled larvae/small juveniles/small resident fishes during late fall and winter. This information should be useful to managers and future research. (PDF contains 34 pages)

Ecological condition of coastal ocean waters along the U.S. Western Continental Shelf: 2003

Executive Summary: The western National Coastal Assessment (NCA-West) program of EPA, in conjunction with the NOAA National Ocean Service (NOS), conducted an assessment of the status of ecological condition of soft sediment habitats and overlying waters along the western U.S. continental shelf, between the target depths of 30 and 120 m, during June 2003. NCA-West and NOAA/NOS partnered with the West Coast states (Washington (WA), Oregon (OR), and California (CA)), and the Southern California Coastal Water Research Project (SCCWRP) Bight ’03 program to conduct the survey. A total of 257 stations were sampled from Cape Flattery, WA to the Mexican border using standard methods and indicators applied in previous coastal NCA projects. A key study feature was the incorporation of a stratified-random sampling design with stations stratified by state and National Marine Sanctuary (NMS) status. Each of the three states was represented by at least 50 random stations. There also were a total of 84 random stations located within NOAA’s five NMSs along the West Coast including the Olympic Coast NMS (OCNMS), Cordell Bank NMS (CBNMS), Gulf of Farallones NMS (GFNMS), Monterey Bay NMS (MBNMS), and Channel Islands NMS (CINMS). Collection of flatfish via hook-and-line for fish-tissue contaminant analysis was successful at 50 EMAP/NCA-West stations. Through a collaboration developed with the FRAM Division of the Northwest Fisheries Science Center, fish from an additional 63 stations in the same region and depth range were also analyzed for fish-tissue contaminants. Bottom depth throughout the region ranged from 28 m to 125 m for most stations. Two slightly deeper stations from the Southern California Bight (SCB) (131, 134 m) were included in the data set. About 44% of the survey area had sediments composed of sands (< 20% silt-clay), about 47% was composed of intermediate muddy sands (20-80% silt-clay), and about 9% was composed of muds (> 80% silt-clay). The majority of the survey area (97%) had relatively low percent total organic carbon (TOC) levels of < 2%, while a small portion (< 1%) had high TOC levels (> 5%), in a range potentially harmful to benthic fauna. Salinity of surface waters for 92% of the survey area were > 31 psu, with most stations < 31 psu associated with the Columbia River plume. Bottom salinities ranged only between 31.6 and 34.4 psu. There was virtually no difference in mean bottom salinities among states or between NMS and non-NMS stations. Temperatures of surface water (range 8.5 -19.9 °C) and bottom water (range 5.8 -14.7 °C) averaged several degrees higher in CA in comparison to WA and OR. The Δσt index of watercolumn stratification indicated that about 31% of the survey area had strong vertical stratification of the water column. The index was greatest for waters off WA and lowest for CA waters. Only about 2.6 % of the survey area had surface dissolved oxygen (DO) concentrations ≤ 4.8 mg/L, and there were no values below the lower threshold (2.3 mg/L) considered harmful to the survival and growth of marine animals. Surface DO concentrations were higher in WA and OR waters than in CA, and higher in the OC NMS than in the CA sanctuaries. An estimated 94.3% of the area had bottom-water DO concentrations ≤ 4.8 mg/L and 6.6% had concentrations ≤ 2.3 mg/L. The high prevalence of DO from 2.3 to 4.8 mg/L (85% of survey area) is believed to be associated with the upwelling of naturally low DO water across the West Coast shelf. Mean TSS and transmissivity in surface waters (excluding OR due to sample problems) were slightly higher and lower, respectively, for stations in WA than for those in CA. There was little difference in mean TSS or transmissivity between NMS and non-NMS locations. Mean transmissivity in bottom waters, though higher in comparison to surface waters, showed little difference among geographic regions or between NMS and non-NMS locations. Concentrations of nitrate + nitrite, ammonium, total dissolved inorganic nitrogen (DIN) and orthophosphate (P) in surface waters tended to be highest in CA compared to WA and OR, and higher in the CA NMS stations compared to CA non-sanctuary stations. Measurements of silicate in surface waters were limited to WA and CA (exclusive of the SCB) and showed that concentrations were similar between the two states and approximately twice as high in CA sanctuaries compared to OCNMS or nonsanctuary locations in either state. The elevated nutrient concentrations observed at CA NMS stations are consistent with the presence of strong upwelling at these sites at the time of sampling. Approximately 93% of the area had DIN/P values ≤ 16, indicative of nitrogen limitation. Mean DIN/P ratios were similar among the three states, although the mean for the OCNMS was less than half that of the CA sanctuaries or nonsanctuary locations. Concentrations of chlorophyll a in surface waters ranged from 0 to 28 μg L-1, with 50% of the area having values < 3.9 μg L-1 and 10% having values > 14.5 μg L-1. The mean concentration of chlorophyll a for CA was less than half that of WA and OR locations, and concentrations were lowest in non-sanctuary sites in CA and highest at the OCNMS. Shelf sediments throughout the survey area were relatively uncontaminated with the exception of a group of stations within the SCB. Overall, about 99% of the total survey area was rated in good condition (<5 chemicals measured above corresponding effect range low (ERL) concentrations). Only the pesticides 4,4′-DDE and total DDT exceeded corresponding effect range-median (ERM) values, all at stations in CA near Los Angeles. Ten other contaminants including seven metals (As, Cd, Cr, Cu, Hg, Ag, Zn), 2-methylnaphthalene, low molecular weight PAHs, and total PCBs exceeded corresponding ERLs. The most prevalent in terms of area were chromium (31%), arsenic (8%), 2-methylnaphthalene (6%), cadmium (5%), and mercury (4%). The chromium contamination may be related to natural background sources common to the region. The 2-methylnaphthalene exceedances were conspicuously grouped around the CINMS. The mercury exceedances were all at non-sanctuary sites in CA, particularly in the Los Angeles area. Concentrations of cadmium in fish tissues exceeded the lower end of EPA’s non-cancer, human-health-risk range at nine of 50 EMAP/NCA-West and nine of 60 FRAM groundfish-survey stations, including a total of seven NMS stations in CA and two in the OCNMS. The human-health guidelines for all other contaminants were only exceeded for total PCBs at one station located in WA near the mouth of the Columbia River. Benthic species richness was relatively high in these offshore assemblages, ranging from 19 to 190 taxa per 0.1-m2 grab and averaging 79 taxa/grab. The high species richness was reflected over large areas of the shelf and was nearly three times greater than levels observed in estuarine samples along the West Coast (e.g NCA-West estuarine mean of 26 taxa/grab). Mean species richness was highest off CA (94 taxa/grab) and lower in OR and WA (55 and 56 taxa/grab, respectively). Mean species richness was very similar between sanctuary vs. non-sanctuary stations for both the CA and OR/WA regions. Mean diversity index H′ was highest in CA (5.36) and lowest in WA (4.27). There were no major differences in mean H′ between sanctuary vs. nonsanctuary stations for both the CA and OR/WA regions. A total of 1,482 taxa (1,108 to species) and 99,135 individuals were identified region-wide. Polychaetes, crustaceans and molluscs were the dominant taxa, both by percent abundance (59%, 17%, 12% respectively) and percent species (44%, 25%, 17%, respectively). There were no major differences in the percent composition of benthic communities among states or between NMSs and corresponding non-sanctuary sites. Densities averaged 3,788 m-2, about 30% of the average density for West Coast estuaries. Mean density of benthic fauna in the present offshore survey, averaged by state, was highest in CA (4,351 m-2) and lowest in OR (2,310 m-2). Mean densities were slightly higher at NMS stations vs. non-sanctuary stations for both the CA and OR/WA regions. The 10 most abundant taxa were the polychaetes Mediomastus spp., Magelona longicornis, Spiophanes berkeleyorum, Spiophanes bombyx, Spiophanes duplex, and Prionospio jubata; the bivalve Axinopsida serricata, the ophiuroid Amphiodia urtica, the decapod Pinnixa occidentalis, and the ostracod Euphilomedes carcharodonta. Mediomastus spp. and A. serricata were the two most abundant taxa overall. Although many of these taxa have broad geographic distributions throughout the region, the same species were not ranked among the 10 most abundant taxa consistently across states. The closest similarities among states were between OR and WA. At least half of the 10 most abundant taxa in NMSs were also dominant in corresponding nonsanctuary waters. Many of the abundant benthic species have wide latitudinal distributions along the West Coast shelf, with some species ranging from southern CA into the Gulf of Alaska or even the Aleutians. Of the 39 taxa on the list of 50 most abundant taxa that could be identified to species level, 85% have been reported at least once from estuaries of CA, OR, or WA exclusive of Puget Sound. Such broad latitudinal and estuarine distributions are suggestive of wide habitat tolerances. Thirteen (1.2%) of the 1,108 identified species are nonindigenous, with another 121 species classified as cryptogenic (of uncertain origin), and 208 species unclassified with respect to potential invasiveness. Despite uncertainties of classification, the number and densities of nonindigenous species appear to be much lower on the shelf than in the estuarine ecosystems of the Pacific Coast. Spionid polychaetes and the ampharetid polychaete Anobothrus gracilis were a major component of the nonindigenous species collected on the shelf. NOAA’s five NMSs along the West Coast of the U.S. appeared to be in good ecological condition, based on the measured indicators, with no evidence of major anthropogenic impacts or unusual environmental qualities compared to nearby nonsanctuary waters. Benthic communities in sanctuaries resembled those in corresponding non-sanctuary waters, with similarly high levels of species richness and diversity and low incidence of nonindigenous species. Most oceanographic features were also similar between sanctuary and non-sanctuary locations. Exceptions (e.g., higher concentrations of some nutrients in sanctuaries along the CA coast) appeared to be attributable to natural upwelling events in the area at the time of sampling. In addition, sediments within the sanctuaries were relatively uncontaminated, with none of the samples having any measured chemical in excess of ERM values. The ERL value for chromium was exceeded in sediments at the OCNMS, but at a much lower percentage of stations (four of 30) compared to WA and OR non-sanctuary areas (31 of 70 stations). ERL values were exceeded for arsenic, cadmium, chromium, 2- methylnaphthalene, low molecular weight PAHs, total DDT, and 4,4′-DDE at multiple sites within the CINMS. However, cases where total DDT, 4,4′-DDE, and chromium exceeded the ERL values were notably less prevalent at CINMS than in non-sanctuary waters of CA. In contrast, 2-methylnaphthalene above the ERL was much more prevalent in sediments at the CINMS compared to non-sanctuary waters off the coast of CA. While there are natural background sources of PAHs from oil seeps throughout the SCB, this does not explain the higher incidence of 2-methylnaphthalene contamination around CINMS. Two stations in CINMS also had levels of TOC (> 5%) potentially harmful to benthic fauna, though none of these sites exhibited symptoms of impaired benthic condition. This study showed no major evidence of extensive biological impacts linked to measured stressors. There were only two stations, both in CA, where low numbers of benthic species, diversity, or total faunal abundance co-occurred with high sediment contamination or low DO in bottom water. Such general lack of concordance suggests that these offshore waters are currently in good condition, with the lower-end values of the various biological attributes representing parts of a normal reference range controlled by natural factors. Results of multiple linear regression, performed using full model procedures to test for effects of combined abiotic environmental factors, suggested that latitude and depth had significant influences on benthic variables regionwide. Latitude had a significant inverse influence on all three of the above benthic variables, i.e. with values increasing as latitude decreased (p< 0.01), while depth had a significant direct influence on diversity (p < 0.001) and inverse effect on density (p <0.01). None of these variables varied significantly in relation to sediment % fines (at p< 0.1), although in general there was a tendency for muddier sediments (higher % fines) to have lower species richness and diversity and higher densities than coarser sediments. Alternatively, it is possible that for some of these sites the lower values of benthic variables reflect symptoms of disturbance induced by other unmeasured stressors. The indicators in this study included measures of stressors (e.g., chemical contaminants, eutrophication) that are often associated with adverse biological impacts in shallower estuarine and inland ecosystems. However, there may be other sources of humaninduced stress in these offshore systems (e.g., bottom trawling) that pose greater risks to ambient living resources and which have not been captured. Future monitoring efforts in these offshore areas should include indicators of such alternative sources of disturbance. (137pp.) (PDF contains 167 pages)

Invariant-free deduction systems for temporal logic

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.

College Ystrad Mynach Janet Certificate Service

The College previously used the old Server Certificate Service and has now progressed to using the Janet Certificate Service. It has two particular uses for server certificates: one is to guarantee its Shibboleth  erver and the other is to guarantee another single sign on document management system employed by the College. JL

Janet certificate service

Building trust between your website and users. JL

Janet certificate service factsheet

Read about how the service has evolved and improved over the past four years. JL

A comparison of seafloor habitats and associated benthic fauna in areas open and closed to bottom trawling along the central California Continental Shelf

Executive Summary: A number of studies have shown that mobile, bottom-contact fishing gear (such as otter trawls) can alter seafloor habitats and associated biota. Considerably less is known about the recovery of these resources following such disturbances, though this information is critical for successful management. In part, this paucity of information can be attributed to the lack of access to adequate control sites – areas of the seafloor that are closed to fishing activity. Recent closures along the coast of central California provide an excellent opportunity to track the recovery of historically trawled areas and to compare recovery rates to adjacent areas that continue to be trawled. In June 2006 we initiated a multi-year study of the recovery of seafloor microhabitats and associated benthic fauna inside and outside two new Essential Fish Habitat (EFH) closures within the Cordell Bank and Gulf of the Farallones National Marine Sanctuaries. Study sites inside the EFH closure at Cordell Bank were located in historically active areas of fishing effort, which had not been trawled since 2003. Sites outside the EFH closure in the Gulf of Farallones were located in an area that continues to be actively trawled. All sites were located in unconsolidated sands at equivalent water depths. Video and still photographic data collected via a remotely operated vehicle (ROV) were used to quantify the abundance, richness, and diversity of microhabitats and epifaunal macro-invertebrates at recovering and actively trawled sites, while bottom grabs and conductivity/temperature/depth (CTD) casts were used to quantify infaunal diversity and to characterize local environmental conditions. Analysis of still photos found differences in common seafloor microhabitats between the recovering and actively trawled areas, while analysis of videographic data indicated that biogenic mound and biogenic depression microhabitats were significantly less abundant at trawled sites. Each of these features provides structure with which demersal fishes, across a wide range of size classes, have been observed to associate. Epifaunal macro-invertebrates were sparsely distributed and occurred in low numbers in both treatments. However, their total abundance was significantly different between treatments, which was attributable to lower densities at trawled sites. In addition, the dominant taxa were different between the two sites. Patchily-distributed buried brittle stars dominated the recovering site, and sea whips (Halipteris cf. willemoesi) were most numerous at the trawled site though they occurred in only five of ten transects. Numerical classification (cluster analysis) of the infaunal samples also revealed a clear difference between benthic assemblages in the recovering vs. trawled areas due to differences in the relative abundances of component species. There were no major differences in infaunal species richness, H′ diversity, or J′ evenness between recovering vs. trawled site groups. However, total infaunal abundance showed a significant difference attributable to much lower densities at trawled sites. This pattern was driven largely by the small oweniid polychaete Myriochele gracilis, which was the most abundant species in the overall study region though significantly less abundant at trawled sites. Other taxa that were significantly less abundant at trawled sites included the polychaete M. olgae and the polychaete family Terebellidae. In contrast, the thyasirid bivalve Axinopsida serricata and the polychaetes Spiophanes spp. (mostly S. duplex), Prionospio spp., and Scoloplos armiger all had significantly to near significantly higher abundances at trawled sites. As a result of such contrasting species patterns, there also was a significant difference in the overall dominance structure of infaunal assemblages between the two treatments. It is suggested that the observed biological patterns were the result of trawling impacts and varying levels of recovery due to the difference in trawling status between the two areas. The EFH closure was established in June 2006, within a month of when sampling was conducted for the present study, however, the stations within this closure area are at sites that actually have experienced little trawling since 2003, based on National Marine Fishery Service trawl records. Thus, the three-year period would be sufficient time for some post-trawling changes to have occurred. Other results from this study (e.g., similarly moderate numbers of infaunal species in both areas that are lower than values recorded elsewhere in comparable habitats along the California continental shelf) also indicate that recovery within the closure area is not yet complete. Additional sampling is needed to evaluate subsequent recovery trends and persistence of effects. Furthermore, to date, the study has been limited to unconsolidated substrates. Ultimately, the goal of this project is to characterize the recovery trajectories of a wide spectrum of seafloor habitats and communities and to link that recovery to the dynamics of exploited marine fishes. (PDF has 48 pages.)