Digital Commons Network^™

Anthem 2.0: Automated Reasoning For Answer Set Programming, Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Christoph Glinzer, Jan Heuer, Torsten Schaub, Tobias Stolzmaan, Vladimire Lifschitz

Computer Science Faculty Publications

ANTHEM 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of CLINGO ’s input language named MINI-GRINGO, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there and analyze properties of logic programs such as tightness. Most importantly, ANTHEM 2.0 can support program verification by invoking first-order theorem provers to confirm that a program adheres to a first-order specification or to establish strong and external equivalence of programs. This paper serves as an overview of the system’s capabilities. …

Lane Detection In Dark Light Based On Instance Association, Yanji Jiang, Yingyang Zhang, Hao Dong, Xiaoguang Zhang, Meihui Wang

Journal of System Simulation

Abstract: In current research on lane detection, existing algorithms can efficiently detect lane lines under good lighting conditions. However, lane detection in low light still faces the challenge of a high false negative rate. A detection algorithm called Instance Association Net(IANet) is proposed to address this issue by utilizing the structural relationships between lane lines, which is helpful for low light conditions. The algorithm first generates unique masks for different lane lines using features at the starting points of the lane lines and a global feature map, achieving instance-level feature separation of the lane lines. It employs an instance-level attention …

Anylogic-Based Platform-Enterprise Collaborative Scheduling Simulation System For Cloud Manufacturing, Linxuan Wang, Yongkui Liu, Lin Zhang, Tingyu Lin, Lihui Wang

Journal of System Simulation

Abstract: Aiming at the lack of research on collaborative scheduling between a cloud manufacturing platform and associated enterprises, as well as the lack of simulation systems to simulate scheduling strategy combinations and to visualize dynamic scheduling processes, a simulation system that supports visualization of cloud manufacturing platform-enterprise collaborative dynamic scheduling processes is designed and developed. System requirements are analyzed in detail, and then a scalable platform-enterprise collaborative scheduling model and system functional architecture based on hierarchical multi-agents is proposed. Combined with a case of supply chain of industrial robots, considering random selection, time optimal strategy in the cloud manufacturing …

Digital Twin Modeling Method For Bulk Cargo Stacks Based On 2d Lidar, Houjun Lu, Yifei Zhu, Yanping Rong, Wanghui Zhang

Journal of System Simulation

Abstract: Due to the characteristics of large equipment, harsh working environment and time-varying shape of the material pile in bulk cargo terminal, there are some disadvantages such as low data accuracy and poor stability when building the storage yard model, which affects the unmanned and intelligent operation control. In this paper, we use two-dimensional laser radar combined with equipment mechanism motion to scan material pile point cloud data, present a digital twin modeling method for bulk storage yard, which includes static scene construction of storage yard and real-time modeling of material pile. Prefabricated models are used for the static scenes …

Digital Imaging Simulation Of Complex Scene Of Space-Based Space Small Target, Pengfei Li, Wei Xu, Yongjie Piao, Yinghong Fang, Dunpan Shi

Journal of System Simulation

Abstract: In response to the universal demand for space target detection technology research in space image data sources, this study focuses on the problems of insufficient training data for intelligent algorithms and the use of single data for traditional algorithms, with the goal of generating dynamic digital sequence images of small space targets in complex scenes. A visible light digital imaging simulation system based on a space observation platform is designed. A small target imaging model is proposed, which is based on two-dimensional shape feature point description and imaging analysis model to carry out digital modeling and imaging simulation of …

Control Strategy For Uav Cluster Formation Rendezvous Based On Lde-Maddpg Algorithm, Wei Xiao, Jiabo Gao, Xueliang Ke

Journal of System Simulation

Abstract: To solve the problem of difficulty in UAV cluster formation rendezvous based on MADDPG algorithm, an autonomous collaborative control strategy based on LDE-MADDPG algorithm is proposed. To address the issues of weak generalization, poor scalability, and slow cluster training process of MADDPG algorithm, LDE-MADDPG algorithm was proposed by designing a state feature learning network and a decoupled Critical network. By integrating LDE-MADDPG algorithm with strategy generation elements such as the decoupled reward function, cluster state space, and UAV action space, a control strategy for UAV cluster formation endezvous that can adapt to diverse formations and varying quantities has been …

Robot Path Planning Based On Improved A-Ddqn Algorithm, Peilong Ni, Pengjun Mao, Ning Wang, Mengjie Yang

Journal of System Simulation

Abstract: An improved A-DDQN algorithm is proposed to address the challenges of reward sparsity and the inability to distinguish sample importance in traditional DQN algorithms during robot path planning. Building on the original DQN, an enhancement is made by incorporating the Double-DQN approach, which updates the predictive Q-value network based on actions selected by the Q network, rather than directly using the predicted Q-values for action selection, thereby mitigating overestimation issues. Secondly, the concept of artificial potential field (APF) is introduced to design specific rewards for each step of the robot's movement, guiding the robot and addressing the problem of …

2025 September 18 - Tennessee Weekly Drought Summary, Tennessee Climate Office, East Tennessee State University

Tennessee Climate Office Weekly Drought Summaries

No abstract provided.

Generative Ai For Medical Data Augmentation: A Two-Dimensional Review Of Techniques, Modalities, And Governance Challenges, Eman Sayed, Sara M. Mosaad

Sustainable Machine Intelligence Journal

Generative Artificial Intelligence has emerged as a transformative tool in healthcare by addressing persistent limitations in medical data availability, including annotation scarcity, privacy restrictions, and demographic underrepresentation. Instead of relying solely on real-world samples, generative models synthesize clinically realistic data that support model robustness, simulate rare conditions, and improve representation across patient groups. This review presents a comprehensive synthesis of four widely adopted generative model classes: Generative Adversarial Networks, Variational Autoencoders, Diffusion Models, and Transformer-based architectures. These models are examined across four key clinical data categories, including radiological imaging, structured electronic health records, physiological time series, and free-text clinical narratives. …

Ws-Fall: Fall Detection Attention-Based Approach Using Wifi And Inertial Data Modalities, Alaa Elmor, Bilal Arain

Sustainable Machine Intelligence Journal

According to the World Health Organization, 37 million falls occur every year which leads to sever injuries that require medical intervention. In addition, more than 600,000 people end up dying due to falls making them the second cause of accidental injury fatalities worldwide. Specifically, the elderly are more prone to fatal falls. Therefore, fall detection systems are needed to allow medical professionals to intervene in such cases. Various wearable and non-contact fall detection devices have been developed recently. Since non-contact Wi-Fi-based methods are widely available and non-intrusive, they are gaining popularity. In this paper, we propose a state-of-the-art fall detection …

Research On Real-Time Cgf Maneuvering State Generation Method Based On Random Finite Set, Xiaoyan Zhang, Ge Li, Peng Wang

Journal of System Simulation

Abstract: With the rapid development of sensor networks and other technologies, the acquisition of measurement data in the real physical space has become easier. How to utilize the measurement data from the real battlefield space to improve the accuracy and credibility of CGF simulation is the key issue to realize the CGF simulation combining virtual and real. The method is studied of using real measurement data to generate CGF model maneuvering state data in real time, in order to realize the virtual-real synchronization and real-time mapping between the real battlefield and CGF simulation system, and to provide environmental inputs for …

Benefit Distribution Optimization Model And Simulation For Multi-Mode Operation Of Industrial Software Platforms, Rongyu Guo, Xiaobin Li, Pei Jiang, Chuanjiang Li, Shanhui Liu, Jun Ma

Journal of System Simulation

Abstract: Industrial software service platforms, characterized by low-cost investment, customized services, and rapid application deployment, have been widely adopted in small and medium-sized industrial clusters. The benefit distribution mechanism under multi-mode operation is crucial to the sustainable development of such platforms. To address the current challenges of single-operation models and the difficulty in adapting to diverse service scenarios, this study focuses on two core stakeholders that users and software developers to analyze the core service components and cooperation mechanisms of industrial software service platforms in a multi-mode operational environment. By integrating the function point method, a multi-mode user demand quantification …

Second-Order Cone Optimization Modeling And Simulation For Three-Phase Unbalanced Active Distribution Networks, Yiran Zhao, Yong Xue, Haoxin Tian, Ruixin Zhang, Zhi Zhang, Yanbo Chen

Journal of System Simulation

Abstract: Guided by the carbon peaking and carbon neutrality goals, and propelled by the development of new type power systems, the significance of distribution networks as key energy infrastructure has been increasingly underscored. Amidst the burgeoning rise of distributed photovoltaics, electric vehicles, and novel energy storage technologies, distribution networks are transitioning from passive entities to active systems capable of bidirectional interaction, heralding the advent of active distribution networks with a critical mission. This research tackles the optimal power flow issue in three-phase unbalanced active distribution networks, incorporating inter-phase coupling relationships. By employing dimensionality lifting and rank relaxation, along with the …

Station Layout Optimization Method And Simulation For Non-Cooperative Target In Angle Of Arrival Positioning, Yida Ning, Jiongqi Wang, Juhui Wei, Zhenzu Bai, Zhangming He

Journal of System Simulation

Abstract: In the context of angle of arrival (AOA) positioning system for non-cooperative target tracking and positioning, accurately determining true location of the target poses a significant challenge. Conventional station deployment indicators like geometric dilution of precision (GDOP) fail to provide effective guidance for optimization station layout. To address the issue, this study introduces a novel indicator for station optimization and evaluation based on factors that influence positioning accuracy within an angle measurement system. These factors encompass angular differencing, baseline intersection angles, and the observer-target line distance. Moreover, this indicator encompasses the challenges associated with data conformity in "air to …

Research On Strong Real-Time Synchronisation Algorithm For Lvc Co-Simulation, Junhui Li, Songtao Sun, Fei Liu

Journal of System Simulation

Abstract: Live, virtual, and constructive(LVC) joint simulation has become a hot research topic of current military simulation; however, existing time management strategies usually fail to meet the needs of strict real-time performance of LVC. A LVC joint simulation synchronization algorithm is proposed that starts with a window sliding-based median smoothing strategy and real time drift rate-based clock compensation strategy for effective node synchronization. A novel hybrid timing strategy is introduced combining long and short cycles implemented in software, which balances precision and efficiency. A simulation catch-up strategy is proposed to address software delays, which combined with the highprecision timing strategy, …

Algorithm Simulation Of Multi-Targets Track Correlation Based On Spectral Feature, Zhenping Ding, Huidong Guo

Journal of System Simulation

Abstract: In order to solve the problems of multi-targets track correlation in dense scenes, a method of track sequential real-time processing for multi-source track correlation system modeling is proposed. By calculating the absolute and relative position of the spectral features, the unified correlation matrix can be defined based on fuzzy decision theory, and the multi-target track correlation can be realized. Numerical simulations have shown the effectiveness of the track correlation algorithm on the basis of spectral features. Especially, the accuracy of correlation is much larger than that of the nearest-neighbor distance algorithm under the condition of dense target environment …

September 2025 Academic Affairs Minutes, University Of Nebraska At Kearney Academic Affairs Committee

Academic Affairs Committee Minutes

No abstract provided.

Ai Test Modeling For Computer Vision System—A Case Study, Jerry Gao, Radhika Agarwal

Faculty Research, Scholarly, and Creative Activity

This paper presents an intelligent AI test modeling framework for computer vision systems, focused on image-based systems. A three-dimensional (3D) model using decision tables enables model-based function testing, automated test data generation, and comprehensive coverage analysis. A case study using the Seek by iNaturalist application demonstrates the framework’s applicability to real-world CV tasks. It effectively identifies species and non-species under varying image conditions such as distance, blur, brightness, and grayscale. This study contributes a structured methodology that advances our academic understanding of model-based CV testing while offering practical tools for improving the robustness and reliability of AI-driven vision applications.

Uav-Based Transport Management For Smart Cities Using Machine Learning, Sweekruthi Balivada, Jerry Gao, Yuting Sha, Manisha Lagisetty, Damini Vichare

Faculty Research, Scholarly, and Creative Activity

Highlights: What are the main findings? A smart transport management system based on UAV data integrating advanced machine learning and deep learning techniques is proposed to enhance road anomaly detection and severity classification. The system employs a comprehensive multi-stage framework, integrating a high-precision obstacle detection model, six specialized severity classification models, and an aggregation model to deliver accurate anomaly assessment, enabling strategic, data-driven road maintenance and enhanced transportation safety. What is the implication of the main finding? A scalable and efficient solution is proposed to enhance road safety and optimize transportation management through intelligent anomaly detection and severity assessment. This …

Artificial Intelligence And Collaborative Learning: Impacts On Creativity, Critical Thinking, And Problem-Solving, Abderrahim Agnaou, Hayat El Asri

Journal of Educational Research and Practice

The rapid development of large anguage models (LLMs) has sparked growing interest in their potential to transform education. This study explores how LLMs influence collaborative learning, focusing on student creativity, critical thinking, problem-solving, and collective intelligence. Specifically, it investigates whether artificial intelligence (AI)–assisted group work enhances or hinders these aspects of the learning process. We used a mixed-methods approach, combining quantitative and qualitative data from surveys, structured interviews, and analysis of student project outputs. We collected data from 102 undergraduate students via questionnaires and 15 follow-up interviews, which offered deeper insight into their experiences using LLMs in team-based projects. The …

Seeing Google At 25, Paul A. Soukup S.J.

Communication Research Trends

Seeing Google at 25

1. History . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

A. Fits and starts to dominating the world . . . . . 5

2. Google in the Eyes of Scholars: Google Services 8

A. Digital library . . . . . . . . . . . . . . . . . . . . . . . . . 8

B. Google Earth and Google Maps . …

Toward An Understanding Of Tax Complexity, Daniel Schaffa

Florida Tax Review

The study of tax complexity has reached consensus on two things. First, complexity pervades the U.S. tax system. And second, it is not always clear what tax complexity means. Indeed, it is common practice for tax complexity scholarship to note the absence of a universal tax complexity definition and then conduct its inquiry without one. A universal definition of tax complexity has proven elusive because tax complexity means many different (although often related) things. This has made the tax policy analysis of complexity challenging. As an alternative to a definition, this Article proposes a framework with four elements for considering …

Stream Temperature Responses To Summer Urban Rain Events Along The Savannah River, Joseph E. Wermter, Vivian L. Turner, Max K. Appelbaum, James M. Shepherd, Jacob Z. Lott

Journal of South Carolina Water Resources

The hydrological urban heat island (HUHI) is a recent facet of the urban heat island (UHI), describing thermal enhancement of bodies of water in response to urbanization. Although the forefront of this work has been studied for large Metropolitan areas, this effect on developing cities is currently unknown. To locally measure and quantify HUHI effects in a developing city, we utilized Multi-Radar Multi Sensor (MRMS) radar-derived rainfall data to estimate rainfall in the Augusta Metropolitan Area (AMA) and the Savannah Metropolitan Area (SMA), two developing communities adjacent to the Savannah River. We analyzed mean temperature trends of two stream gauges …

Beyond Description: Interrogating Narrative Elements In Archival Finding Aids, David J. Williams, Richard Kearney

Journal of Contemporary Archival Studies

As the archival profession evolves, attention is increasingly paid to the usability of its resources and services. User Experience, or UX, is a contemporary design practice gaining prominence among archivists interested in addressing usability. Information design, the process of organizing and presenting information for efficient and effective use, is a component of UX incorporating both the presentation and content of communication instruments, with plain language writing guidelines applied toward achieving this goal. A prominent information artifact produced by archivists is the finding aid, describing and inventorying archival collections. Those components of finding aids providing “access points” into collections—communicating the …

Factors Influencing The Use Of Gis-Enabled Public E-Participation For Municipal Solid Waste Management, Irene Arinaitwe, Agnes Nakakawa, Gilbert Maiga

The African Journal of Information Systems

Due to rapid global population growth and urbanization, approximately two billion metric tons of waste are generated annually. Municipal solid waste management has become a critical function for urban authorities. However, many urban authorities in low- and middle-income economies cannot provide efficient municipal solid waste management services because of suboptimal stakeholder participation in governance processes and inadequate information exchange. Therefore, this study sought to determine factors that influence the implementation of GIS-enabled public e-participation using Enhanced Adaptive Structuration Theory. A descriptive field study was conducted among staff of municipal authorities and residents in Uganda’s Kampala Metropolitan Area. Data were analyzed …

Navigating The Landscape Of Online Higher Education: Faculty Challenges, Opportunities, And Strategies For Student Engagement, Nicole T. Kaszubinski Ed.D.

Doctor of Education Program Dissertations

Faculty in higher education recognize the importance of enhancing student engagement in online courses (Hollister et al., 2022; Richards, 2023), yet challenges like lack of confidence, difficulty understanding students, and managing workload often hinder prioritization (Kellen & Kumar, 2021). This qualitative phenomenological study explored eight university instructors' and faculty members' perceptions of student engagement in online courses, examining strategies, challenges, and successes in fostering a sense of community through individual interviews. Findings revealed various strategies to enhance engagement, such as integrating multimedia for interactive discussions. Despite available resources like the CTEL department, participants identified ongoing challenges, particularly a gap in …

Sustainable Paving Block Development: Utilizing Rejected Coal As Filler And Assessing Its Impact On Paving Block’S Properties, Siti Nikmatin, Allen Kurniawan, Heriansyah Putra, Rima Fitria Adiati, Riawan Ma’Ruf, Dwi Arso Yedi Irwanto

Journal of Sustainable Construction Materials and Technologies

This study investigated the potential use of rejected coal as a fine aggregate filler in paving block production. Comprehensive characterization of the rejected coal was conducted, including toxicity, physical, chemical, and mineralogical analyses of the coal. The results showed that the rejected coal met environmental safety standards (TCLP) and had suitable properties as an aggregate. Paving blocks were produced by incorporating different proportions of rejected coal fillers and were tested for compressive strength, water absorption, and density. The optimal mix with 35% rejected coal filler as a replacement of stone ash achieved a compressive strength of 14.61 MPa, water absorption …

Born Dry Or Born Wet? A Palette Of Water Growth Histories In Trappist-1 Analogs And Compact Planetary Systems, Howard Chen, Matthew S. Clement, Le Chris Wang, Jesse T. Gu

Aerospace, Physics, and Space Science Faculty Publications

It is still unclear whether exoplanets in compact multiplanet systems such as TRAPPIST-1 are able to accrete large quantities of volatiles, grow to sufficient mass, and maintain robust atmospheres and hydrospheres. Previous estimates of water content in M-dwarf systems have largely relied on population synthesis or atmosphere–interior evolution models, often treating impacts and atmospheric loss in isolation. In this work, we combined impact delivery, impact erosion, and mantle-atmosphere exchange within a unified framework that tracks volatile evolution through stochastic collision histories. By explicitly including both planetesimal accretion and the prolonged luminous pre-main-sequence phase of M dwarfs, we find systematically lower …

Unveiling The Interplay Of Electronic And Phononic Excitations In Laser-Induced Oxygen Activation On Ru(0001), Xiangrui Wang, Jiamin Wang, Paul Spiering, Liping Liu, Jörg Meyer, Jerry L. Larue, Hongliang Xin

Biology, Chemistry, and Environmental Sciences Faculty Articles and Research

Understanding laser-induced dynamics on metal surfaces poses significant challenges due to the intricate interplay between electronic and phononic degrees of freedom, which evolve on distinct timescales. In this study, we introduce a machine learning-accelerated approach to molecular dynamics simulations that incorporates anisotropic electronic friction, providing deeper insights into these complex processes. Our framework extends the accessible time and length scales for nonadiabatic dynamics simulations, enabling a detailed investigation of the laser-induced activation of oxygen on the Ru(0001) surface. Statistical analysis reveals that strong electronic excitation dominates the first 800 fs after laser exposure. Beyond this timescale, energy deposited by electronic …

Integrating Ai And Generative Ai Across The Curriculum: A Look At Three Subject Areas, Angie Su, Victoria Brenes, Stephanie L. Nelson

FDLA Journal

This paper examines how artificial intelligence (AI) and generative AI (GenAI) models, such as ChatGPT and other GenAI tools, can be effectively integrated into mathematics, computer science, and English classrooms. Students must understand foundational AI concepts and how these technologies function to facilitate meaningful engagement with AI and GenAI. This paper provides practical strategies for math educators to introduce AI algorithms in a way that connects with students' existing knowledge and real-life experiences. Furthermore, it examines how GenAI can enhance learning, supporting students at each stage of coding, reading, and writing. The ethical considerations of GenAI usage, including potential overuse …