Computer Sciences Commons^™

Research On Digital Twin Technology Of Coal Mine Tunneling Machine System, Xingwang Cai, Yaoqiang Pei, Jihua Yang, Ruifeng Pang

Journal of System Simulation

Abstract: Aiming at the problems in coal mine tunneling operations, including complex geological structures, harsh on-site conditions, low automation of excavation equipment, and frequent safety incidents, a digital twin solution is proposed. PLC as hardware core, MQTT protocol, and EMQX as foundation, through the integration of IoT, internet, digital twins, and virtual reality technologies, the mapping rules for parameter matrices and a fault cause analysis table are established, which realize the functions such as data collection, processing during excavation, data mapping between equipment and twin models, data storage, process simulation, remote control, intelligent fault detection, and early warning, and significantly …

Research On Application Of Intelligent Indication Signs In Improving Efficiency Of Crowd Evacuation, Heng Niu, Yanbin Han, Liang Li, Weilin Chen, Sijie Niu, Qingtao Hou

Journal of System Simulation

Abstract: Aiming at the low emergency evacuation efficiency of dense crowds in confined spaces, a crowd evacuation guidance model based on intelligent signs is constructed in this paper. A balanced congestion strategy to optimize the signs layout and a social network search-based sign guidance weights optimization method are proposed to improve evacuation efficiency. Simulation experiments show that the optimized intelligent sign layout can effectively alleviate the local congestion during evacuation and reduce the time consumption of pedestrians caused by congestion. The optimized intelligent sign guidance weights can further balance the utilization rate of exits, which is conducive to making full …

Garage Agv Path Planning And Simulation Based On Improved Dwa, Zongfang Ma, Linxuan Zhang, Lin Song, Jia Wang

Journal of System Simulation

Abstract: Aiming at the path planning and real-time obstacle avoidance of AGV in complex path environment of intelligent garage, an improved hybrid algorithm combining ant colony algorithm and dynamic window method is proposed. In the global planning, the adaptive adjustment of pheromone volatilization coefficient and the fusion of angle parameters are introduced to establish the garage direction pheromone matrix to increase the guidance ability of target points, expand the direction selectivity of ants. In the local planning, the improved DWA of the obstacle distance evaluation subfunction based on elliptic equation is designed. By extracting the global path node of the …

Adaptive Tracking Control For Omnidirectional Vehicle Based On Characteristic Modeling, Lei Cheng, Haoyou Wang, Xinjie Chen

Journal of System Simulation

Abstract: Aiming at the stable and high-precision tracking control of omnidirectional mobile vehicles affected by their own characteristics and external disturbances, an adaptive tracking control approach for omnidirectional vehicles based on characteristic modeling is designed. The characteristic model is established by integrating the model properties into the characteristic parameters, and the characteristic parameters are estimated online by using the projected gradient method. A full coefficient adaptive control law based on the characteristic model is designed, and the stability of the proposed control method is analyzed by using Lyapunov theory. The effectiveness and rationality of the proposed adaptive control scheme are …

Modeling Method Of Blue Army Warship Formation Air Defense Command And Control For System-Of-Systems Simulation, Shikang Chen, Zhimin Wang, Biao Liang, Kunren Gu, Keman Song, Yuan Gao

Journal of System Simulation

Abstract: The command and control of warship formation air defense is a key link for the blue army's sea to air combat tasks and the modeling of air defense for warship formation is an important component of simulation modeling of blue army's maritime combat system. Based on the background of system-of-systems simulation, the air defense command and control modeling for blue army is designed. Through a modular modeling method, functional module including asset management and plan, unified situation generation, command decision are designed. According to blue army's command and control logic, these modules are integrated and the air defense command …

Search Technology For Aircraft Debris Integrating Data Augmentation And Deep Learning Algorithm, Zhe Yang, Yinghan Cui, Lingxi Guo, Jiaxin Li, Xusheng Wu

Journal of System Simulation

Abstract: The reliable recovery of aircraft debris is of great significance for the complete acquisition of flight test data and the subsequent research and development of models. To ensure the safety of flight tests,the landing area of aircraft experiments is generally an unmanned area,and the actual landing point of the aircraft often deviates from the theoretical landing point. The characteristics of the debris target are complex and the dispersion area is large, making it difficult to search for aircraft debris solely by manpower. Aiming at the difficult problem of aircraft debris recovery in the landing area, through on UAV platforms …

Two-Level Optimal Dispatch Of Power System Based On Load-Storage Carbon Flow Model, Yang Yu, Yuxing Xia, Wentao Lu, Mai Liu, Shixu Gao, Dongyang Chen

Journal of System Simulation

Abstract: In order to reduce the output of high energy consuming units on the power generation side, increase the absorption capacity of wind power, and consider the flexible resource allocation such as load and energy storage, a two-level economic low-carbon optimal scheduling method for power systems based on a carbon storage and discharge model is proposed. Based on the carbon emission flow theory of power system, a model for load and energy storage equipment is established; A demand response model based on the electricity carbon coupling price is established on the load side, and in view of the limitation on …

Research On Flexible Operational Optimization Of Cchp System Based On Intelligent Fusion Algorithm, Zhe Bao, Xiaofang Zhang, Wei Li, Ye Xu, Xu Wang

Journal of System Simulation

Abstract: To further improve the accuracy of gas turbine simulation models, based on the construction of a gas turbine mechanism simulation model and BP simulation model, through model substitution technology and BP neural network algorithm three intelligent fusion simulation models for gas turbines, and two intelligent fusion simulation models for parallel gas turbines are constructed respectively as well as the combination of, by comparing the simulated results of the above models with the actual operating data, the simulation model with the best performance was selected. Using the intelligent fusion simulation model of the gas turbine as the output constraint, a …

Chaotic-Encode Quantum Pso Algorithm For Flexible Job-Shop Scheduling Problem, Yuanxing Xu, Mengjian Zhang, Deguang Wang

Journal of System Simulation

Abstract: To solve the flexible job-shop scheduling problem (FJSP), a chaotic-encode quantum PSO (CQPSO) algorithm is proposed. Aiming at the premature convergence of particles to local optimum in standard QPSO, the methods for computing the adaptive contraction-expansion coefficient and mean best position using fitness values of associated particles are proposed to improve the global search ability of QPSO. Through chaotic boundary variation strategy, the probability of a large number of particles gathering at the boundary is reduced and the population diversity is increased to enhance the ability of searching the optimal solution. According to the iterative property of QPSO, a …

Multi-Strategy Partheno-Genetic Algorithm Based On Dynamic Reduction Mechanism For Solving Cvrp Problem, Jiajun Chen, Dailun Tan

Journal of System Simulation

Abstract: Aiming at the problems of premature, slow convergence and low accuracy of traditional genetic algorithm in solving capacitated vehicle routing problem,a multi-strategy partheno-genetic algorithm based on dynamic reduction mechanism is proposed. The algorithm divides the optimization space based on similar individuals, and uses simulated annealing criterion to eliminate or update the lowest category subspace, which constitutes the reduction and movement mechanism of the optimization space. Based on parthenogenetic algorithm,a variety of genetic evolution strategies including intra-group, inter-group, global search, disturbance and jump strategy are designed Based on the three penalty factors of individual development, population evolution and overall convergence, …

Unmanned Vehicle Path Planning And Tracking Control Based On Improved Artificial Potential Field Method, Minghao Guo, Peng Ji, Haiwei Huang

Journal of System Simulation

Abstract: A path planning algorithm based on improved artificial potential field method and a tracking control strategy based on model predictive controller are proposed for the unmanned vehicle avoiding dynamic obstacles in the complex scene of lane changing and overtaking. The theory of safety ellipse and the concept of prediction distance are introduced to adjust the influence region of potential field. By adding velocity potential field to change potential field function, the problem of vehicle avoiding dynamic obstacles is solved. Based on the linear three-degree-of-freedom vehicle dynamics model, a model prediction controller including potential field environment is established. The effectiveness …

Path Following Control And Simulation Analysis Of Multi-Articulated Vehicles, Yu Zhao, Caijin Yang, Tanming Wang, Jing Xu, Shuai Zhou

Journal of System Simulation

Abstract: The structure of multi-articulated vehicle body limits the flexibility of the vehicle and causes the deviation of the rear vehicle. Taking the ideal articulation angle as the control target, a feedforward plus feedback path following control method is proposed, which realizes the precise path following of rear vehicle bodies by minimizing the deviation between the ideal articulation angle and the actual articulation angle. According to the geometric position relationship between the vehicle and the desired path, the traditional calculation method of the ideal articulation angle is improved from two perspectives of application range and error accumulation. Based on the …

Improved Foggy Pedestrian And Vehicle Detection Algorithm Based On Yolov5, Tong Su, Ying Wang, Qiyang Deng, Zhaobin Li

Journal of System Simulation

Abstract: Due to the poor environment perception of car in bad weather, the detection ability on dynamic targets is significantly reduced, and thus the problems such as low accuracy and poor robustness of the deep learning-based target detection network will occur when detecting pedestrians and vehicles in foggy days. A YOLOv5-SGE foggy detection network is proposed on the basis of the combination of image dehazing DehazeNet and the improved YOLOv5. The adaptive calculation of anchor frame is realized by canceling the initial anchor frame of YOLOv5, and the anchor frame suitable for the current dataset is generated. A three-dimensional weighted …

Peer-To-Peer Energy-Carbon Management Method Of Multiple Integrated Energy Systems Considering Multi-Agent Interaction Strategy, Yudong Wang, Junjie Hu

Journal of System Simulation

Abstract: To explore a new energy management model of P2P transaction of electricity, heat and carbon among IES with the participation of ESP, a P2P energy-carbon management method of IES considering multi-agent interaction strategy is proposed. A two-layer energy management framework with the multiagent participation of involving ESP and IES is established. A two-layer electricity-heat-carbon energy management model is constructed in which the upper model is constructed based on reinforcement learning framework to optimize the energy management strategy between ESP and IES cooperative alliance and the lower model is based on Nash negotiation game theory to optimize the cooperative operation …

Wormhole Attack Mitigation In Wireless Network Using Propagation Delay, Harry May, Travis Atkison

Journal of Cybersecurity Education, Research and Practice

This paper presents a novel approach for mitigating wormhole attacks on wireless networks using propagation delay timing. The wormhole attack is a persistent security threat that threatens the integrity of network communications, potentially leading to data theft or other malicious activities. While various methods exist for combating wormhole attacks, our approach offers advantages that set it apart. Our approach involves a combination of proactive and reactive measures, harnessing box plot analysis and weighting factor techniques to identify and isolate outlier node links effectively. Unlike traditional methods, our solution not only detects outlier links but also defines dynamic weighting factors, providing …

A Method For Battlefield Situation Information Ontology Construction Based On Top-Down And Bottom-Up Integration, Cong Zhou, Sihang Zhou, Jian Huang, Dong Wang

Journal of System Simulation

Abstract: The construction of the unified expression model of battlefield situational information is challenging due to the complexity of data sources and the significant differences in data structures and expression methods. Ontologies, as semantic conceptual models, are often used to describe concepts, relationships, and attributes within knowledge domains. An ontology construction method for the battlefield situational information domain based on a top-down and bottom-top integration is proposed. The top-down method is used to construct the upper ontology, in which a conceptual hierarchy model with a clear top-down structure is designed to establish the hierarchical relationships and semantic associations. A bottom-up …

Wip: An Engaging Undergraduate Intro To Model Checking In Software Engineering Using Tla+, Konstantin Laufer, Gunda Mertin, George K. Thiruvathukal

Computer Science: Faculty Publications and Other Works

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA⁺), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts.

Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included …

Distributed Software Build Assurance For Software Supply Chain Integrity, Ken Lew, Arijet Sarker, Simeon Wuthier, Jinoh Kim

Faculty Publications

Computing and networking are increasingly implemented in software. We design and build a software build assurance scheme detecting if there have been injections or modifications in the various steps in the software supply chain, including the source code, compiling, and distribution. Building on the reproducible build and software bill of materials (SBOM), our work is distinguished from previous research in assuring multiple software artifacts across the software supply chain. Reproducible build, in particular, enables our scheme, as our scheme requires the software materials/artifacts to be consistent across machines with the same operating system/specifications. Furthermore, we use blockchain to deliver the …

Intelligrader: A Framework For Automatic Short Answer Grading, Inconsistency Check And Feedback In Educational Context - Conception, Implementation And Evaluation, Paradesi Sree Lakshmi, Jay B. Simha, Rajeev Ranjan

Karbala International Journal of Modern Science

Automatic Short Answer Grading (ASAG), an escalating realm in natural language understanding, constitutes a focal point of research within the broader field of learning analytics. Over time, many ASAG solutions have been proposed to address the difficulties in teaching. However, no work addressed three crucial aspects of evaluation together, i.e., i) automatic evaluation of brief subjective/descriptive answers written in English, ii) identifying the evaluation inconsistency, and iii) provision of providing feedback about inconsistent evaluation to the evaluator. The current work proposes IntelliGrader, a comprehensive ASAG system that addresses the above-mentioned issues. Automated grading is accomplished through a model answer-based approach. …

Isolation And Characterization Of Fermenting Bacterial Isolates From Vinegar Industry Waste In Local Markets Of Wasit Province, Tayseer Shamran Al-Deresawi

Karbala International Journal of Modern Science

The use of waste in the vinegar industry is an important practice of the food industry worldwide; however, this critical practice is neglected in many parts of Iraq. According to this, the current study was conducted to isolate and characterize fermenting bacterial organisms from this waste in Wasit Province, Iraq. Samples of vinegar industry by-products were collected from local businesses. These samples were prepared by using Hestrin-Schramm (HS) medium. Two methods, direct and indirect inoculations, were followed. The purified growth was examined using morphological and biochemical tests. Moreover, PCR was employed to confirm the identity of each bacterial isolate. The …

Historical Review Of Variants Of Informal Semantics For Logic Programs Under Answer Set Semantics: Gl’88, Gl’91, Gk’14, D-V’12, Yuliya Lierler

Computer Science Faculty Publications

This note presents a historical survey of informal semantics that are associated with logic programming under answer set semantics. We review these in uniform terms and align them with two paradigms: Answer Set Programming and ASP-Prolog — two prominent Knowledge Representation and Reasoning Paradigms in Artificial Intelligence.

Prevention Of Attacks Via Requested Displayable Content, Mingkui Wei, Yao Liu, Zhuo Lu, Junjie Xiong

Computer Science Faculty Research & Creative Works

A method and system disable executable script in requested displayable content. Responsive to requesting displayable content, a non-executable code sequence and a mis-matched font file that maps a plurality of characters of the requested displayable content to the non-executable code sequence is received. The non-executable code sequence is displayed as a text string in accordance with the received mis-matched font file.

Data Quality Based Intelligent Instrument Selection With Security Integration, Sergei Chuprov, Raman Zatsarenko, Leon Reznik, Igor Khokhlov

Computer Science Faculty Publications

We propose a novel Data Quality with Security (DQS) integrated instrumentation selection approach that facilitates aggregation of multi-modal data from heterogeneous sources. As our major contribution, we develop a framework that incorporates multiple levels of integration in finding the best DQS-based instrument selection: data fusion from multi-modal sensors embedded into heterogeneous platforms, using multiple quality and security metrics and knowledge integration. Our design addresses the security aspect in the instrumentation design, which is commonly overlooked in real applications, by aggregating it with other metrics into an integral DQS calculus. We develop DQS calculus that formalizes the problem of finding the …

Intensional Functions, Zachary Palmer, N. W. Filardo, K. Wu

Computer Science Faculty Works

Functions in functional languages have a single elimination form—application—and cannot be compared, hashed, or subjected to other non-application operations. These operations can be approximated via defunctionalization: functions are replaced with first-order data and calls are replaced with invocations of a dispatch function. Operations such as comparison may then be implemented for these first-order data to approximate e.g. deduplication of continuations in algorithms such as unbounded searches. Unfortunately, this encoding is tedious, imposes a maintenance burden, and obfuscates the affected code. We introduce an alternative in intensional functions, a language feature which supports the definition of non-application operations in terms …

Ai And Future-Making: Design, Biases, And Human-Plant Interactions, Maliheh Ghajargar

Art Faculty Articles and Research

Design researchers and practitioners are turning to generative AI (genAI) to support activities such as ideation and concept development in pursuit of preferred futures. At the same time, genAI is known to have biases, which prompts questions about how these biases might adversely affect design practices. In the domain of sustainable HCI, with its recent trends in human-nature interactions and more-than-human design, the question can be further refined into whether and how genAI biases might perpetuate anthropocentric biases that these practices are increasingly seeking to confront. In the present research, we conducted three workshops, focusing on genAI for human-plant interactions; …

"The Words We Do Not Yet Have." A Creative Inquiry Into Human-Plant Relationships, Maliheh Ghajargar

Art Faculty Articles and Research

Climate change, loss of plant biodiversity, and ocean pollution signal the drastic changes in our ecology that call us to attend to the needs of more than human forms of life on Earth. Sustainable design and HCI research are responding to this call by offering methods and approaches to design more sustainable products and systems and recently, more than human design is building momentum. This agenda seeks to reform traditional design processes by decentering the creative agency of the dominant socio-economical group of humans and foregrounding those of diverse Others. In this paper, I focus on plants as a nonhuman …

Happy Hours, Not Office Hours: Socially Engaging Cybersecurity Students In A Large Online Graduate Course, James T. Mccafferty

Journal of Cybersecurity Education, Research and Practice

Engagement is a critical part of student learning and student success. This is especially true in online classes where students have less interaction with their classmates and instructors when compared to traditional face-to-face courses. Research on engagement has shown that when students are meaningfully engaged it can increase student satisfaction and it may also increase levels of academic achievement, including grades earned and degree progression (e.g. Wong et al., 2024). This paper focuses on social engagement in a graduate cybersecurity program that uses large, expandable online courses as described by Whitman and Mattord (2023). Large online graduate classes (i.e., more …

Empowering Entrepreneurial Evolution: A Beyond Founder Strategic Approach To Small Business Growth, D. Jared Knisley

USF Tampa Graduate Theses and Dissertations

Growing a business beyond its founder’s capacities and talents presents a challenging undertaking. When a founder is no longer involved or motivated to grow the business, firm decline is a likely outcome. Small businesses often have a deep and, at times, hindering reliance on their early founders for development. Therefore, a continuous engaging plan to advance entrepreneurial success is needed to grow a small business.

My research objective aims to find methods and designs, through academic literature and practitioner interviews, that transition leadership responsibilities and increase team empowerment within a small business, enabling these firms to continue growing as the …

Discrete Time Series Forecasting Of Hive Weight, In-Hive Temperature, And Hive Entrance Traffic In Non-Invasive Monitoring Of Managed Honey Bee Colonies: Part I, Vladimir A. Kulyukin, Daniel Coster, Aleksey V. Kulyukin, William Meikle, Milagra Weiss

Computer Science Faculty and Staff Publications

From June to October, 2022, we recorded the weight, the internal temperature, and the hive entrance video traffic of ten managed honey bee (Apis mellifera) colonies at a research apiary of the Carl Hayden Bee Research Center in Tucson, AZ, USA. The weight and temperature were recorded every five minutes around the clock. The 30 s videos were recorded every five minutes daily from 7:00 to 20:55. We curated the collected data into a dataset of 758,703 records (208,760–weight; 322,570–temperature; 155,373–video). A principal objective of Part I of our investigation was to use the curated dataset to investigate …

Towards A Global Food Systems Datahub: Editorial, Hande Küçük Mcginty, Cogan Shimizu, Pascal Hitzler, Ajay Sharda

Computer Science and Engineering Faculty Publications

In the quest for agricultural sustainability, we face the challenge of feeding the global population under the constraints of finite resources and a delicate ecological balance. The intricate interplay of climate dynamics, socio-economic factors, and environmental stewardship demands an approach to agriculture that is as intelligent and adaptive as it is respectful of our planet’s capacities. Central to this endeavor is the synthesis and utilization of vast, heterogeneous datasets that span from crop genomics to market trends, and from soil health to consumer preferences. Yet, the current paradigm is fragmented, with valuable data isolated across domains, lacking the coherence and …