Digital Commons Network^™

Model-Based System Verification: Theoretical Framework, Key Technologies, And Future Prospects, Bo Sun, Yi Ren, Silin Wang, Qi Liu, Zhidong Li

Journal of System Simulation

Abstract: Traditional system verification methods face significant challenges in terms of efficiency, coverage, and traceability. To address these issues, this paper introduced model-based system verification (MBSV), which deeply integrated verification activities within the model-based systems engineering model system and evolution process. It presented the foundational logic of MBSV and proposed a multiview unified verification modeling strategy based on system modeling language (SysML), integrating requirements, structure, behavior, and constraints. The paper discussed the algorithms for selecting representative paths and reducing equivalent classes to enhance verification efficiency, the principles of test path search, as well as the intelligent path search mechanism based …

Space-Ground Integrated Collaborative Positioning Algorithm And Simulation For Trajectory Enhancement, Juhui Wei, Xinyong Zhang, Jiongqi Wang, Xuanying Zhou, Zhangming He

Journal of System Simulation

Abstract: To address the challenges of low credibility, weak consistency, and poor accuracy in the information of trajectory results from space-based and ground-based passive time difference positioning simulation systems, a space-ground integrated collaborative positioning method was proposed for trajectory enhancement. By analyzing the operating principle of the time difference positioning system, the influencing factors that measure positioning accuracy in different feature dimensions were obtained; spline smoothing was employed for data alignment between space-based and ground-based systems; a spline-constrained parametric trajectory model was proposed to further enhance the stability; an error-sensitive feature selection framework for improving simulation consistency was constructed to …

Strategic Talent Management In Era Of Intelligence And Digitalization: Current Situation And Path Exploration, Chaoying Tang, Chunyuan Wang

Bulletin of Chinese Academy of Sciences (Chinese Version)

The report of the 20th National Congress of the Communist Party of China emphasized “speed up efforts to build a contingent of personnel with expertise of strategic importance” to support China’s pursuit of high-level technological self-reliance and its goal of becoming a world-leading power in science and technology. The deep integration of digital and intelligent technologies is fundamentally transforming talent management paradigms and innovation processes, posing new demands on the knowledge structure, competency models, and management approaches of strategic talents. The study explores the concepts of strategic talent management in the digital intelligent era, establishes its logical framework, analyzes current …

Review On Optimization Of Simulation Modeling Strategies For Spacecraft Orbit Avoidance, Guozheng Li, Rui Wang, Shichao Fan, Xintong Cai, Xinyue Zhai

Journal of System Simulation

Abstract: The number of on-orbit spacecraft increases exponentially; the space environment becomes more complex, and the collision risk of on-orbit spacecraft increases significantly. On-orbit safety is thus severely threatened, posing higher requirements for orbit avoidance methods. The costs and risks of space activities are extremely high, making simulation an effective method to solve complex problems of orbit avoidance. The modeling, solution, and simulation methods for the two core issues of spacecraft orbit avoidance, "collision avoidance" and "pursuit-evasion games", were systematically reviewed, and the existing shortcomings were analyzed. The applications of technologies such as deep reinforcement learning in promoting orbit avoidance …

A Bilstm+Attention Method For Predicting The Intentions Of Air Combat Targets Based On Multi-Feature Continuous Time Series, Qiuni Li, Dong Wang, Chaozhe Wang, Zongcheng Liu

Journal of System Simulation

Abstract: To achieve advance prediction of enemy target intention, a three-layer air combat intention prediction method based on multi-feature continuous time series and BiLSTM+Attention, including trajectory prediction, threat assessment, and intention prediction was proposed. To prevent the onesidedness of intention prediction results caused by state information at a single moment, prediction was carried out from multiple state features and trajectory information in a continuous time series. An LSTM neural network was used to predict the trajectory of the target aircraft, and the threat assessment of the target aircraft before and after the prediction was conducted. The BiLSTM + Attention model …

Optimization Of Air Defense And Antimissile Firepower Resource Allocation Based On Adaptive Hybrid Evolution, Wei Liu, Delong Chen, Ze Liu, Rui Wang, Kaiwen Li, Tao Zhang

Journal of System Simulation

Abstract: Air defense and antimissile firepower resource allocation is a core optimization problem in modern defense systems. Under complex conditions such as spatiotemporal constraints and firepower resource limitations, this problem involves the optimal configuration of limited interceptors and belongs to the class of NP-hard multi-constrained combinatorial optimization problems. This paper established a comprehensive mathematical model encompassing range constraints, time window constraints, feasibility matrices, and interception probability models. To address the high-dimensional nonlinearity of the problem, an adaptive hybrid evolutionary algorithm (AHEA) was proposed. The algorithm integrated problem-aware initialization, adaptive parameter control, seven specialized neighborhood search operators, and an adaptive strategy …

Mechanism Analysis Of Parasitic Torque In Electric Loading Systems, Xiaozhe Sun, Zhenyu Fu, Zhaoke Xu, Jianxin Li

Journal of System Simulation

Abstract: To address the issues of sources and mechanisms of parasitic torque in electric loading systems for aircraft actuator loads, a functional model of the electric loading system was established. Numerical simulations and Monte Carlo methods were employed to analyze the sources of parasitic torque and its primary influencing factors. The influence mechanisms and degrees of the system's external inputs and internal disturbances on parasitic torque were analyzed and validated through single-parameter and multi-parameter analyses. The results indicate that parasitic torque is predominantly influenced by factors such as loading command frequency, sensor signal bias, and loading motor parameters. In particular, …

Simulation On Water Hammer Characteristics Of Bipropellant Attitude And Orbit Control Propulsion System, Xianwei Lang, Yantao Wang, Fang Zhang, Yizhen Zu, Xinyu Zhang, Weibin Xiang

Journal of System Simulation

Abstract: To address the water hammer problem in bipropellant attitude and orbit control propulsion systems during start-up, shutdown, and periodic operation, the water hammer characteristics under different operating conditions are investigated using simulation methods. The water hammer characteristics of annular and branched propellant delivery lines are compared, and the effects of multiengine interactions under various operating conditions, as well as the influence of water hammer on engine performance, are analyzed. The results show that the attenuation rate of pressure fluctuation in the annular pipeline system is significantly higher than that in the branch pipeline system. Under the condition of multi-cycle …

Design And Application Of Collaborative Simulation System For Satellite Constellation Flight Missions, Dong Yan, Hanzhe Yang, Fangfang Jiang, Chengbao Liu, Peng Zhang

Journal of System Simulation

Abstract: To meet the requirements of the collaborative drill for the ground operation and control system of the satellite constellation, as well as the verification and evaluation of in-orbit complex missions, the design ideas and implementation methods of the collaborative simulation system for satellite constellation flight missions were proposed. By adopting the time correction mechanism of the time-scale distributor, the time synchronization problem among the simulation nodes and the operation and control simulation system was solved. By adopting the communication technology based on improved PDXP + UDP, the problem of cross-node data interface and inter-satellite communication simulation was resolved. A …

Overall Design Method Of Low Earth Orbit Communication Satellite Based On Mbse, Jiace Shang, Rui Zhang, Ya Dai, Hua Zhu, Siqi Hu, Linqiang Ge, Chenguang Shi

Journal of System Simulation

Abstract: Drawing on the model-centric design philosophy of model-based systems engineering (MBSE), this study constructs a model architecture suitable for the design and analysis of low Earth orbit communication satellites. This architecture adopts a multi-dimensional matrix approach. Vertically, it traverses the mission layer, system layer, satellite general design layer, and subsystem layer, achieving top-down hierarchical decoupling. Horizontally, it establishes a comprehensive view mapping mechanism covering the domains of requirements, functions, structure, and performance. Integrating the characteristics of product development, a modeling process covering the entire lifecycle—from mission demonstration and overall design to subsystem design and integration verification—has been established. The …

Northern Rainstorm Belt And Response Strategies, Jianping Huang, Xiaodan Guan, Xiaohuang Liu, Xiaohan Shen, Xiaojie Liu

Bulletin of Chinese Academy of Sciences (Chinese Version)

In the summer of 2025, the Northern Rainstorm Belt stretching from eastern Northwest China to the Northeast region exhibited a significant increase in summer precipitation and rainfall frequency over northern China. Cities in the north were frequently struck by extreme rainstorms, resulting in prominent disasters such as “floods in drylands and urban waterlogging”. Northern China spans a vast territory, serving not only as a major grain-producing area and a densely populated region but also as an ecological security barrier that connects the farming-pastoral ecotone and the Loess Plateau. Its stability has nationwide implications. Therefore, comprehensively enhancing flood control capacity, strengthening …

The Digital Neuron: Neural Cellular Automata For Neural–Symbolic Translation, Nicole Assenza

SMU Data Science Review

A neural cellular automata (NCA) architecture, referred to as Pluto’s NCA, was developed to characterize bilateral communication and semantic reciprocity between symbolic representations and a spatially distributed update field. The architecture employs an encoder–automata–decoder pipeline that maps symbolic inputs into a multichannel state field and reconstructs them through agreement-driven attractor convergence within a stable semantic attractor landscape. System behavior was evaluated under controlled perturbations, including rhythmic desynchronization, graded ablations, correlated and independent noise, and percolation-based structural degradation. Quantities such as Agreement(t), internal coherence Aᵢ(t), the recovery time constant τ, and the critical percolation threshold pc were measured to assess stability, …

Phishing Restraint: University Simulated Phishing Campaigns, Alexander M. Abou Khir

Cybersecurity Undergraduate Research Showcase

Universities face heightened vulnerability to phishing attacks due to their open information-sharing culture and diverse user populations. This study examines how phishing exploits human factors within campus environments and evaluates three major training strategies: embedded phishing, microlearning, and role-based instruction to understand their individual and combined effectiveness. I explored studies that implement these strategies in pairs and use the strategies alone, identified trends in susceptibility reduction, behavioral reinforcement, and contextual relevance. I suggest that, while each method independently improves user awareness, multiple approaches offer stronger, more adaptable protection by addressing both psychological triggers and role-specific risks. The paper contributes a …

Leveraging Convolutional Neural Networks For Through-The-Wall Radar Imaging: Challenges, Impacts, And Future Directions, Tumaini Edgar, Abdulla F. Ally, Abdi T. Abdalla

Tanzania Journal of Engineering and Technology (TJET)

Through-the-wall radar imaging (TWRI) is an essential technology for military and rescue applications; however, its performance in detecting and visualizing high-quality images of targets behind walls is significantly degraded by multipath reflections and signal attenuation. This paper reviews the current state of TWRI and its challenges, and explores the transformative potential of deep learning, particularly convolutional neural networks (CNNs), in addressing these challenges. Peer-reviewed articles published from 2018 to 2024 were analysed to examine CNN applications in addressing TWRI challenges. The analysis reveals that using CNNs, TWRI systems can be more effective by filtering wall distortions, reducing noise, lowering computational …

The Texture Of A Threat: Adversarial Training, Cnns, And Obfuscated Malware Detection, Kaelyn Haynie

Senior Honors Theses

Accurately detecting malicious programs is an expanding field of research for machine learning (ML), with a novel approach incorporating a bytecode-to-image pipeline that produces images representative of software. These images are provided to convolutional neural networks (CNNs) to be examined for malicious pattern indicators. However, CNNs struggle to generalize these patterns effectively while still being robust against adversarial data, an issue which this research addresses with adversarial training. In this paper, three unique CNN architectures (a DBFS-MC-inspired baseline, MIRACLE, and PSP-CNN) are trained for binary classification with 15,000 benign and malicious software samples encoded into images for Android, Windows, and …

Empowering Futures: Inspiring Young Girls In Stem Through Comics, Angel M. Griggs

Honors Theses

Women have historically been underrepresented in STEM fields. In my analysis, I explored how children’s literature representing historical women role models empower young girls to possibly pursue STEM careers. I applied Vekiri’s et. al (2024) research on attracting girls to STEM through interactive video games displaying STEM role models to comic books. In this project, I review academic literature, historical sources, and research articles to develop an educational comic book about historical women in STEM to help support the idea that creative activities and resources displaying role models can be influential to young children, specifically young girls. I focused on …

Evaluating The Potential For Artificial Intelligence To Replace An Entry Level Accountant, Lily Rowe

Undergraduate Theses and Capstone Projects

This project aims to evaluate the potential for Artificial Intelligence to replace entry-level accountants. This evaluation process involved testing different Artificial Intelligence models with entry-level accounting tasks and evaluating the results. Through the testing of these AI models, I was able to gather an indication of whether the models contain certain skills expected of an entry-level accountant. The selected accounting tasks were prompted into two AI models, Claude and Gemini, to be solved and analyzed. By combining the results from testing with findings from the literature, I was able to assess how well AI can solve various entry-level accounting problems …

Limitations Of Signature-Based Network Intrusion Detection Under Modern Traffic Conditions, Henry Guidry

Cybersecurity Undergraduate Research Showcase

Network Intrusion Detection Systems are tools used to monitor network traffic and alert to suspicious or harmful activity before it can cause harm. Signature-based versions of these systems are a foundation for intrusion detection, operating by finding common patterns and forming malicious signatures. However, three developments in modern network environments have greatly impacted the significance of Network Intrusion Detection Systems. These three developments are the near-complete adoption of end-to-end encryption, the use of sophisticated packet fragmentation techniques, and the processing demands of high-throughput networks. Encryption makes deep packet inspection practically infeasible by transforming inspectable payloads into ciphertext, forcing NIDS to …

The Efficacy Of Manganese Sulfate As A Negative Contrast Agent For Magnetic Resonance Cholangiopancreatography, Zainab Abdulla Mankhi

Karbala International Journal of Modern Science

The current study aims to find an alternate oral contrast media for use in magnetic resonance cholangiopancreatography (MRCP) that satisfies the following criteria, the greatest imaging quality safety, no or few side effects, and low cost. The present study created an oral contrast agent sample (solution) by dissolving a one tablet of manganese sulfate supplement (taken daily dose) in 200 ml of distilled water. Thirty-three volunteers assessed the sample using MRCP examine pre and post contrast. By evaluating the signal intensity to compute contrast (C), signal to noise ratios (SNR), and contrast to noise ratio (CNR), the resulting MR images …

Application Identification With Pfsense, Snort, And Openappid In Academic Lab Networks, Minh-Khanh Vu

Journal of Cybersecurity Education, Research and Practice

This paper evaluates the practical capabilities and limitations of a widely used open-source network security stack—pfSense firewall, Snort Intrusion Detection System (IDS), and OpenAppID detectors—in academic cy- bersecurity laboratories and small-to-medium enterprise (SME)-like environments. In a controlled virtual testbed, we measure application-level and feature-level identifi- cation performance for major applications (Facebook, YouTube, Zoom) using the pfSense/Snort/OpenAppID configuration. The stack achieves 97% application-level identification accuracy for these applications in our lab dataset, drawing on a library of 3,374 OpenAppID detectors. However, our experiments reveal a substan- tial feature-level detection gap: specific functions such as Zoom file transfers and Facebook messaging can- …

Ai’S Role In Searching For Evidence: Friend And Foe, Barbara (Basia) Delawska-Elliott, Brandon Wilkinson

Publications 2026-present

No abstract provided.

Dual History Enhancement With Hybrid Hypergraph-Graph Networks For Temporal Knowledge Graph Reasoning, Kailun Ye, Xiangjie Kong, Yuchao Zhang, Xuan Wang, Linan Zhu, Jiaxin Du, Guojiang Shen, Jianxin Li

Research outputs 2022 to 2026

Temporal Knowledge Graph (TKG) reasoning seeks to predict future events by analyzing historical data, where the effective leverage of both local and global historical facts proves crucial. Existing approaches employ graph neural networks (GNNs) and recurrent neural networks (RNNs) for local evolution patterns, complemented by statistical methods to enhance attention to global facts, demonstrating efficient predictive capabilities. However, traditional GNNs, constrained by their low-order neighborhood aggregation design, inherently fail to model potential high-order dependencies among facts. Furthermore, existing global history modeling approaches may introduce irrelevant historical information that interferes with prediction tasks. To address these limitations, we propose a Dual …

Does Culture Translate? A Case Study On Artificial Intelligencegenerated Text Concerning Japanese-Style Employment, Kanji Kitamura

Languages, Literatures, and Cultures Faculty Publications

Translation matters to international business when it has a discernible impact on firm performance or critical business processes. Current developments include machine translation, which is evolving in tandem with generative artificial intelligence (AI). On one hand, useful translation apps have become available to help the public communicate internationally. On the other hand, recent research concludes that even machine translation's best output still requires post-editing by a human. This argument implies that a machine-translated, grammatically accurate text may not always make sense to a human audience, possibly because of a semantic-pragmatic issue beyond the lexical level. This paper regards it as …

Artificial Intelligence Moderation In Online Gaming: A Cybersecurity Analysis Of Risks And Defenses, Labib Khan

Cybersecurity Undergraduate Research Showcase

This research paper will examine the role of artificial intelligence (AI) moderation systems in enhancing cybersecurity within online gaming environments. As multiplayer platforms increasingly rely on real-time text, voice communication, and user-generated content, developers have implemented AI-driven tools such as natural language processing (NLP), speech recognition, and behavioral analytics to detect harassment, toxic behavior, cheating coordination, and other malicious activity. These systems enable gaming companies to efficiently monitor large volumes of player interactions, improving response times and helping maintain safer and more controlled digital environments for users across global gaming communities of varying sizes and activity levels.

While these technologies …

Advice For Incorporating Ai Tools Into Your Legal Practice, Celia Bigoness, Robert A. Mackenzie, David J. Reiss

Cornell Law Faculty Publications

We have been speaking with many lawyers and law students about using generative artificial intelligence (AI) tools in their legal practice. We are struck by the fact that many of them have not been experimenting much, if at all, with the tools that are available to them - although many acknowledge that their clients are increasingly integrating generative AI into their businesses. We have been integrating a lot of these tools into our own professional lives, and here are some tips to help lawyers and law students get comfortable with AI tools that can help them, in big ways and …

Bio-Cybersecurity: Securing The Healthcare Industry, Amanda D. Coleman

Cybersecurity Undergraduate Research Showcase

Bio-cybersecurity refers to the aspect of cybersecurity that applies to the biological sciences and the protection of digital biomedical information. Today’s healthcare industry has evolved with the enhancement of internet and biomedical technology. While hospitals and private medical providers remain compliant with the Health Information Portability and Accountability Act (HIPAA) through traditional means of securing documented patient information, the emergence of beneficial internet-based healthcare services like virtual appointments and digital patient records requires new policies and healthcare cybersecurity frameworks to protect sensitive information from unauthorized access. This paper examines the role of cybersecurity in healthcare, the vulnerabilities that exist and …

A Comprehensive Survey Of Agentic Ai: Design Principles, Security Risks, And Ethical Consideration, Md Shaba Sayeed

ATU Scholars Symposium

In the past several years, the world has managed to transition away from simple automation to independent AI systems. Agentic AI is an agent that can work independently, carrying out all essential plans and implementations without any kind of supervision from a human being. This review has tried to demonstrate the transformative impact that Agentic AI brings to contemporary models of intelligence by means of synthesis of perception, reasoning, and goal. We utilized the phrases Agentic AI, autonomous AI, multi agent systems as keywords in Google Scholar, ScienceDirect, arXiv, and other digital libraries. We have used these 38 main papers …

Romance Scam Reporting And Support: Help-Seeking Timing, Trust, And Escalation, Ld Herrera

Research & Publications

Built on social engineering and identity deception, romance scams often create financial loss and distress. For victims, it can be difficult to know where to go, what information is needed, and what outcomes are realistic. This paper reports results from an anonymous survey of people who were targeted by or experienced a romance scam (completed surveys: n=386), focusing on (1) when and whether victims first reach out for help, (2) perceived difficulty and confidence in navigating support, (3) how trust relates to expectations of assistance, and (4) how loss severity relates to transfer-method complexity. When help was sought, it was …

Spatial Future Ahead! Augmented Reality And Anticipated Life Consequences, Sergio Barta, Reto Felix, Chris Hinsch, Mahdokht Kalantari, Nina Krey, Philipp A. Rauschnabel

Marketing Faculty Publications

Purpose: This study explores how initial exposure to immersive spatial computing experiences using AR headsets generates lasting inspiration and shapes consumers expected long-term life consequences (i.e., enhancement of reality, perceived substitutability and social impact).

Design/methodology/approach: The study uses a time-lagged research design based on 148 first-time users of spatial computing devices (AR headsets). Respondents were interviewed once shortly after being exposed to AR and a few days later. Data is analyzed using partial least squares structural equation modeling (PLS-SEM).

Findings: Users' immediate “inspired-by” experiences predict increased “inspired-to” intentions days later. Such inspiration translates into anticipated consequences such as virtually customizing …

Innovations And Applications Of Virtual Private Networks And Sustainable Security In Society 5.0 Libraries, Stella Chinnaya Nduka Dr., Adeyinka Tella Prof, Petros Dlamini Dr

Journal of Cybersecurity Education, Research and Practice

In order to improve digital resilience, privacy, and access equity in contemporary library environments, this study investigates the role of Virtual Private Networks (VPNs) in fostering sustainable cybersecurity within the framework of Society 5.0 libraries. It does this by looking at the latest developments, applications, difficulties, moral dilemmas, and tactical methods associated with VPN deployment. Using peer-reviewed journal articles, conference proceedings, white papers, and policy documents published between 2010 and 2024, a methodical approach to literature review was used. The literature that bridges the fields of cybersecurity, library science, and Society 5.0 concepts was the main focus of the review. …