Physical Sciences and Mathematics Commons^™

Biological Case Against Downlisting The Whooping Crane And For Improving Implementation Under The Endangered Species Act, Andrew J. Caven, Hillary L. Thompson, David M. Baasch, Barry K. Hartup, Amanda M. Hegg, Stephanie M. Schmidt, Irvin Louque, Craig R. Allen, Carter G. Crouch, Craig A. Davis, Joel G. Jorgensen, Jane E. Austin, Bethany L. Ostrom, Richard D. Beilfuss, George W. Archibald, Anne E. Lacy

School of Natural Resources: Faculty Publications

The Whooping Crane (Grus americana; WHCR) is a large, long-lived bird endemic to North America. The remnant population migrates between Aransas National Wildlife Refuge, USA, and Wood Buffalo National Park, Canada (AWBP), and has recovered from a nadir of 15-16 birds in 1941 to ~540 birds in 2022. Two ongoing reintroduction efforts in Louisiana and the Eastern Flyway together total ~150 birds. Evidence indicates the U.S. Fish and Wildlife Service (USFWS) is strongly considering downlisting the species from an endangered to a threatened status under the Endangered Species Act (ESA). We examined the current status of the WHCR through the …

Classification Of Finite Topological Quandles And Shelves Via Posets, Hitakshi Lahrani

USF Tampa Graduate Theses and Dissertations

The objective of this dissertation is to investigate finite topological quandles and topological shelves. Precisely, we give a classification of both finite topological quandles and topological shelves using the theory of posets. For quandles with more than one orbit, we prove the following Theorem.

Proposition 0.0.1. Let X be a finite quandle with n orbits X₁, ... , X_n. Then any right continuous poset on X is n-partite with vertex sets X₁, ... , X_n.

For connected quandles, we prove the following Theorem.

Theorem 0.0.2. There is no T …

Extending Model Checking Using Inductive Proofs In Distributed Digital Currency Protocols, Kyle R. Storey

Theses and Dissertations

Model checking is an effective method to verify both safety and liveness properties in distributed systems. However, the complexity of model checking grows exponentially with the number of entities which makes it suitable only for small systems. Interactive theorem provers allow for machine-checked proofs. These proofs can include inductive reasoning which allows them to reason about an arbitrarily large number of entities. However, proving safety and liveness properties in these proofs can be difficult. This work explores how combining model checking and inductive proofs can be an effective method for formally verifying complex distributed protocols. This is demonstrated on a …

Characterizing Dust From National Wind Erosion Research Network Sites Using Strontium Isotopes, Major And Trace Element Chemistry, And Mineralogy, Abby L. Mangum

Theses and Dissertations

The frequency of dust storms is increasing globally yet it is often difficult to determine dust sources in mixed events. Dust events may negatively impact human health, but the composition of major dust sources is not well characterized in arid regions globally. In the western US, the National Wind Erosion Research Network (NWERN) has various sites evaluating seasonal dust emissions to quantify dust fluxes. We used existing dust samples to characterize the isotopic, chemical, and mineralogical composition of dust over multiple seasons from ten representative NWERN sites and compared with land use, vegetation, and surficial geology. Our results show variability …

A Conceptual Review Of Sustainable Development Goal 17: Picturing Politics, Proximity And Progress, Joanna Stanberry, Janis Bragan Balda

International Business and Entrepreneurship Faculty Publications and Presentations

We outline the discursive origins of United Nations Sustainable Development Goal (SDG) 17, describing its ambiguous marching orders, which are further confused by shifting and contested stakeholder approaches. The widespread effect is to obscure the primary aim of making the tropics and other vulnerable countries more resilient, and also globally overcoming barriers to their development. We argue that ecological reflexivity, as developed and advanced by deliberative democracy and the Earth System Governance Project, belongs at the apex of those capacities needed for implementing the Agenda for Transformation. Ecological reflexivity conceptually grounds inclusive, open, critical, and consequential engagement of discourses situated …

Acoustic Directivity: Advances In Acoustic Center Localization, Measurement Optimization, Directional Modeling, And Sound Power Spectral Estimation, Samuel David Bellows

Theses and Dissertations

Sound radiation from an acoustic source typically exhibits directional behavior, as is the case for the human voice, musical instruments, and loudspeakers, to name just a few. The necessity of directional data for many applications, such as sound source modeling, microphone placement, room acoustical design, and auralization, motivates directivity measurements. However, these measurements require careful understanding and implementation to produce the most meaningful results. Accordingly, this dissertation addresses several topics relevant to directivity theory, measurement, processing, and application. It first expands and amends previously published concepts of an acoustic source center and demonstrates the close relationship between the center and …

Design, Development And Implementation Of A Comprehensive Evaluation System For Multi-Source Information On Water Inrush From Coal Seam Floor, Li Bo, Luo Yulan, Fan Juan, Guo Xiaoming, Li Menghua

Coal Geology & Exploration

The evaluation technology of multi-source information fusion is an important method for the prediction of water inrush from the coal seam floor. However, this method has the deficiencies, such as high professional technical requirements, complicated and tedious evaluation process, and insufficient intelligence during its application. In this study, the design principle, design idea, development mode, and development method of a multi-source information comprehensive evaluation system for water inrush from coal seam bottom were systematically described according to the characteristics of the technical process of water inrush risk evaluation. The key functions of system were built, including the universal evaluation index …

Current Situation And Development Trend Of Pressure-Relief Gas Extraction In The Protective Layer Mining In Coal Mines In China, Xue Junhua, Xiao Jian, Du Xuanhong, Shi Yu

Coal Geology & Exploration

Deep coal mining in China is seriously restricted by factors including high stress, high gas pressure, and low coal seam permeability. Moreover, with the gradual deterioration of the mining conditions of deep coal seams, it is increasingly difficult to control the gas in these coal seams. Fortunately, the pressure-relief mining of protective layers serves as an efficient way to control gas and eliminate coal and gas outbursts. To meet the demand of practical projects, this paper reviews the studies on the mining technology for protective layers, the law of change in the stress of protected layers, the evolutionary law of …

Numerical Simulation Of Grout Diffusion Under Coal Seam Floor And Analysis Of Influencing Factors, Guo Yan, Gui Herong, Wei Jiuchuan, Hong Huang, Guo Xiangdong, Cui Yali, Ye Shuang, Li Jun

Coal Geology & Exploration

Ground high-pressure advanced regional grouting has become the preferred engineering method for the prevention and control of water disasters in coal mines. The diffusion mechanism of grout has received widespread attention, and the design of branch hole spacing mostly relies on the on-site experience, which has a certain degree of blindness and restricts the effectiveness and efficiency of the project. Based on the actual working conditions of grouting site in Hengyuan Coal Mine, Huaibei Coalfield, the numerical simulation was performed with the COMSOL Multiphysics software for the high-pressure grout diffusion in the floor area of the ground directional drilling coal …

Recharge Water Types Of Coalbed Methane Wells: Controlling Effects On Water Yield And Countermeasures, Du Fengfeng, Ni Xiaoming, Zhang Yafei, Liu Yuru, Wang Wensheng

Coal Geology & Exploration

External water recharge of coalbed methane (CBM) wells leads to high water yield, thus affecting effective pressure propagation within coal seams and ultimately impacting gas production. This study aims to ascertain the influence of different types of recharge water on the water yield of CBM wells, as well as the characteristics of water yield and gas production of these wells under different recharge water types. Based on the exploration and development data of 25 CBM wells in the Shouyang block, this study presented general methods for obtaining the parameters for recharge water type classification and proposed the stepped method for …

Mine Water Inrush Prediction Method Based On Vmd-Dbn Model, Liu Hui, Liu Guiqin, Ning Dianyan, Fan Juan, Chen Weiming

Coal Geology & Exploration

In the process of coal mining, the loss of people and property caused by mine water inrush is extremely serious. To prevent the occurrence of water inrush accidents and grasp the law of change of water inrush, the water inrush prediction and forecasting, especially the accurate estimation of mine water inrush, is very important, which is also an important task in the prevention and control of mine water damage. To increase the prediction accuracy of mine water inrush, an efficient time series prediction model combining Variational Mode Decomposition (VMD) and Deep Belief Network (DBN) was proposed for the series of …

Experimental Study On Co2 Storage In Coal Measure Gas Hydrates Reservoirs In Muli Coalfield, Lyu Wenyu, Lyu Chao, Zhang Wenzhong, Sun Qiang, Jia Hailiang, Tang Li'an

Coal Geology & Exploration

Carbon Dioxide Geological Storage (CGS) is a promising technology for reducing the greenhouse gas emissions and mitigating the climate change. The hydrate-based CO₂ storage in the abandoned gas hydrate reservoir can play a key role in CGS. In this paper, artificial cores of hydrate reservoir were prepared based on the basic physical properties of coal measure gas hydrate reservoir in Muli Coalfield, and the variations in density, porosity and permeability of the core with particle diameter of quartz sand were analyzed. The variations in CO₂ hydrate saturation in core were analyzed based on the low-field Nuclear Magnetic Resonance …

Numerical Simulations Of The Rapid Interception Mechanisms By The Borehole-Controlled Grouting With Grout-Conserving Bags Under Flowing Water, Yang Zhibin

Coal Geology & Exploration

Grout-conserving bags. To characterize the local and overall development processes of the rapid interception more subtly and vividly, this study built a CFD-DEM fluid-solid coupling mathematical model of the roadway inlet under the given water head boundary according to the principle of a constant velocity. Then, given constant velocities of water inrush volumes of 2000 m³/h and 20000 m³/h, this study numerically simulated the construction process of water-blocking bodies by pouring and stacking aggregates with a grain size of 22 mm under the operating conditions with or without grout-conserving bags. The results show that: (1) Under …

Deep Seismic Reflection Profiling Technology In Land Areas: A Review And Prospects, Yue Hangyu, Wang Xiaojiang, Wang Lei, Wang Kai, Zhang Baowei

Coal Geology & Exploration

Deep seismic reflection profiling has been internationally proven to be a leading technology for deep earth exploration. With longer arrangement and greater energy than those used in oil seismic exploration, this technology can detect the fine-scaled structures and tectonic features from the earth surface to the upper mantle. Therefore, it is widely applied to the detection of continental and marine crust and upper mantle, with fruitful achievements having been made in revealing deep earth dynamic processes, expounding on the geotectonic evolution, determining the basin-mountain coupling, inferring the metallogenic and reservoir formation conditions, and analyzing earthquake disasters. This paper systematically reviews …

Balance Analysis And Counterweight Optimization Design For Detection With Orientated Borehole Ground Penetrating Radar Antenna, Li Taotao, Xu Xianlei, Xu Hailong, Ouyang Bing, Wang Pengjie

Coal Geology & Exploration

Orientated borehole ground penetrating radar (OBGPR) can effectively solve the problem of orientated and detailed detection of geological conditions around the mine or oil well boreholes and engineering probe hole, etc. In view of difficult state control and unsatisfactory detection effect during antenna sagging due to the changeable medium in deep hole and the unreasonable counterweight of OBGPR antenna, the balance analysis and counterweight optimization design of orientated borehole ground penetrating radar antenna during detection was implemented in this paper. Firstly, analysis was conducted on the force of OBGPR antenna under the balance condition during the deep hole and well …

Effects Of Increasing Sintering Pressure On The Performance Of Impregnated Diamond Bit, Yang Zhan, Tan Songcheng, Fang Xiaohong, Yang Kaihua

Coal Geology & Exploration

The matrix formulas of conventional hot-pressed impregnated diamond bits are mostly elemental metal systems, using WC or YG8 as the skeleton materials, Cu alloys as the bonding materials, and Ni, Co, Fe and Mn as the intermediate materials. Due to the compositions and contents of the bonding and skeleton materials in the formulas, the suitable sintering pressure is limited (≤16 MPa), while the sintering temperature is relatively high (≥ 930℃), resulting in a lower relative ratio of the actual and theoretical densities (≤98%) for the diamond bit matrix. However, the high sintering temperature will cause thermal damage to the diamonds, …

Design And Application Of Anti-Drop Drill Pipe With Fracture Self-Locking Function, Dong Changle

Coal Geology & Exploration

Drill pipe will inevitably break and drop during its long-term service, which not only seriously affects the drilling efficiency and the rate of hole formation, but also brings great economic losses to coal mines. In terms of drill pipe drop caused by the random fracture during drilling, the shortcomings of fishing tap were pointed out. By analyzing the fracture characteristics of drill pipe, it is concluded that the key to solve the problem of drill pipe drop is to develop the axial connection technology after the fracture of pin joint. Herein, an active anti-drop technology with fracture self-locking function was …

Preparation And Properties Of Acrylate Grouting Material Used In Coal Mine, Zeng Juanjuan, Li Huizhi, Wei Daidong, Xue Wei, Zhu Kaipeng

Coal Geology & Exploration

Water leakage control on the coal mine roof is an inevitable challenge in the process of coal mining. In this regard, chemical grouting provides an effective method to solve this problem. Specifically, acrylate grouting materials were prepared using the synthesized magnesium acrylate solution, cross-linking agent, initiator, and accelerator as the raw materials. Based on this, the effects of the concentration of magnesium acrylates, the type and dosage of crosslinking agent and the dosage of initiator on the properties of the gels of the acrylate grouting materials were investigated. The test results indicate that the type and dosage of crosslinking agent …

Soil Moisture Migration Mechanism And Its Ecological Effect In Cold And Arid Open-Pit Coal Mining Area, Wang Qiangmin, Zhao Chunhu, Wang Hao, Sun Jie, Yang Jian, Wang Wenke

Coal Geology & Exploration

In order to explore the soil moisture migration mechanism and its ecological effect in the cold and arid open-pit coal mining area, a long-term in-situ test was carried out to observe the soil moisture, taking the open-pit coal mine in eastern Mongolia grassland area as the study area. The results show that: The shallow soil moisture content is mainly affected by rainfall in non-freezing period, while the soil moisture content is significantly affected by soil temperature in freezing period. Besides, the saturated permeability coefficient of soil in depth less than 50 cm is greater than 150 cm/d, but that of …

Application And Prospect Of Acoustic Detection In The Mining Sector, Deng Jun, Wang Jinrui, Ren Shuaijing, He Qian, Wang Caiping, Qu Gaoyang

Coal Geology & Exploration

Acoustic detection for mines is a geophysical prospecting technique for mine information detection based on acoustic methods. Compared with other detection methods, acoustic detection has the advantages of wide applicability, high reliability, and low economic investment. This paper reviews the development of acoustic detection technology in the mine field and sorts out and expounds on the research progress and technical characteristics of this technology in detecting basic physical information inside mines and geological information outside mines. Furthermore, this study investigates the detection mechanisms, implementation methods, and applicable scenarios of this technology in determining the object states in the field of …

Assessing Downstream Aquatic Habitat Availability Relative To Headwater Reservoir Management In The Henrys Fork Snake River, Christina N. Morrisett, Robert W. Van Kirk, Sarah E. Null

Watershed Sciences Student Research

Reservoirs are sometimes managed to meet agricultural and other water demands, while also maintaining streamflow for aquatic species and ecosystems. In the Henrys Fork Snake River, Idaho (USA), irrigation-season management of a headwater reservoir is informed by a flow target in a management reach ~95 km downstream. The target is in place to meet irrigation demand and maintain aquatic habitat within the 11.4 km management reach and has undergone four flow target assignments from 1978 to 2021. Recent changes to irrigation-season management to maximize reservoir carryover warranted investigation into the flow target assignment. Thus, we created a streamflow-habitat model using …

Comparing Visitor Perceptions, Characteristics, And Support For Management Actions Before And During A Pilot Timed Entry System At Arches National Park, Zachary D. Miller, Amy Tendick, Caleb Meyer, David Pettebone, Bret Meldrum, Steve Lawson

Environment and Society Student Research

Over the past decade, many national park units in the United States broke visitation records. Arches National Park (UT, USA) is no exception. Between 2011 and 2021, visitation increased 74%. As part of considering management options to address the issues from sustained and concentrated visitation, Arches implemented a pilot timed entry system from 3 April to 3 October 2022. This article compares visitor perceptions, characteristics, and support for management actions before and during the pilot timed entry system using data from visitor intercept surveys. Findings suggest visitors experience quality improved across the park and on hiking trails during the pilot …

Design And Application Of The 3d Model Interfaces Of The Integrated Intelligent Mine Control Platform, Zhang Jing

Coal Geology & Exploration

The production safety control platform for mines is used to present information on the centralized scheduling, real-time monitoring, risk prevention and control, operation and maintenance detection, and decision analysis of various equipment and automated, intelligent production systems for tunneling, mining, machinery, transportation, and ventilation during coal mine production. Accordingly, the interface design of the integrated intelligent mine control platform is particularly important for user experience. However, the current integrated automation systems for mines adopt monochrome configuration engineering plans and display a single interface effect of display and operation. By introducing the industrial design concepts and employing the 3D model interface …

Influence Of Water Yield Property Of Yan’An Formation Aquifer On Water Yield Of Mines In Southern Shenmu-Fugu Mining Area, Li Shu, Yang Zeyuan, Ma Xiongde, Liu Shengzu, Fang Chujing, Zhang Aoqi

Coal Geology & Exploration

Aiming at the large difference of water yield of different mine fields in Yushenfu mining area, based on a large amount of drilling, pumping test data collected in the area, from the weathering and denudation, burning effect, discontinuous distribution regions of aquifuges, microscopic pore structure, the influencing factors of water yield property of Yan’an Formation aquifer(YFA) are analyzed. Combined with the height of the water-conducting fissure zones, the influence of water yield property of YFA on water yield of mines is discussed. The results show that weathering and denudation cause the sandstone of Yan’an Formation to develop fissures and be …

Direct Current Resistivity Method For The Advance Prediction Of Water Hazards In Coal Mines Based On An Artificial Neural Network, Li Yuteng, Cheng Jianyuan, Lu Jingjin, Dai Fengqiang, Wu Zhengfei, Fang Zhe, Zhao Jiajia

Coal Geology & Exploration

The mine Direct Current (DC) resistivity method has the characteristics of high construction efficiency and low cost, which is widely used in the advanced detection of water hazards in coal mine heading face.With the continuous deepening of applications, higher requirements have been put forward for the advanced detection signal processing method of mine DC resistivity method. Based on the response information database obtained by finite element method and data reconstruction, the Levenberg-Marquardt (L-M) artificial neural network method is used to realize the advanced prediction of mine DC resistivity method. First, this study established an advanced prediction model of the DC …

Study On Modification Of Plant Gum Flushing Fluid In Coal-Bearing Strata And Its Mechanism, Xie Chengchao, Wang Sheng, Yan Peng, Chen Liyi, Li Bingle, Zhang Jie

Coal Geology & Exploration

To improve the adverse effects of the depletion of plant gum resources on the application of flushing fluid in complex strata such as coal-bearing strata, a study was conducted on the compound and crosslinking modification of guar gum. A new type of plant gum flushing fluid (GXB) was developed using xanthan gum as the compound synergist and organic boron as the crosslinking modifier, with cross-linking control agent and inorganic treatment agent as the supplementary. Meanwhile, a series of performance evaluation was carried out. The evaluation results show that GXB has excellent performance and can meet the requirements of drilling in …

Table Of Contents, The Editors

Coal Geology & Exploration

No abstract provided.

Dataset Of Optical And Electronic Properties For Mos Browzine Journal Cover 2-Graphene Vertical Heterostructures And Mos2-Graphene-Au Heterointerfaces, Sanju Gupta, Panagiota Pimenidou, Miguel Garcia, Shivanshi Das, Nicholas Dimakis

Physics and Astronomy Faculty Publications and Presentations

The computational and experimental data presented in this paper refer to the research article "First-Principles Calculations Integrated with Experimental Optical and Electronic Properties for MoS2-graphene Heterostructures and MoS2-graphene-Au Heterointerfaces". The computational data includes structural information, electronic and optical properties, and data to calculate the work functions for various molybdenum disulfide and graphene heterostructures and their heterointerfaces with gold. The optical properties calculations include the frequency-dependent dielectric function, the refractive index, the reflectivity, the extinction coefficient, and the energy loss function. These properties were calculated using the independent particle approximation (IPA). As for the experimental optoelectronic properties, we measured photoluminescence spectra …

An Experimental Study On Factors Controlling The Proppant Transport In Hydraulic Fractures Of Coal Reservoirs, Su Xianbo, Fan Jian, Wang Ran, Wang Lufei, Zhao Fengzhen, Wang Qian

Coal Geology & Exploration

Effectively propping open hydraulic fractures in coal reservoirs plays an important role in ensuring the efficient production of coalbed methane (CBM). This study investigated the effects of fracture morphology and the volume, injection rate, and properties of fracturing fluids on proppant transport in fractures through visualized experiments. The results are as follows: (1) Proppants showed a relatively homogeneous distribution in simple fractures with a constant aperture. In contrast, they form room-and-pillar props composed of proppant pillars and proppant-free rooms in local simple fractures with varying apertures and reticular fractures due to the effects of the varying flow rates of fracturing …

A Method For Predicting Fractures In Carbonate Reservoirs Based On Fracture Identification-Sensitive Log-Seismic Parameter Model, Wang Zhiwei, Zhang Kai, Wu Qunhu, Zhang Benhua, Yu Shina, Zhang Zunxiang, Wu Yanjia

Coal Geology & Exploration

Carbonate reservoirs show fractures and strong heterogeneity, leading to limited applications of a single logging or seismic method in fracture identification. Therefore, this study proposed a method for predicting fractures in carbonate reservoirs based on a fracture identification-sensitive log-seismic parameter (FISLSP) model, and the details are as follows: (1) Based on petrophysical analysis results, as well as formation micro-imaging (FMI) logs and the interpretations of fractures at well locations, this study established a segmental fracture identification-sensitive parameter (FISP) model for fractures at well locations; (2) Using the optimal seismic attributes of near-well seismic traces determined based on the high-quality fractured …