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 Audit - Lululemon, Jared M. Loos, David Goldsmith, Madelyn Martin, Grant Taylor, Carson Downs

Honors Program: Senior Projects (Public)

No abstract provided.

Legalistic Noncompliance, Daniel T. Deacon, Leah M. Litman

Duke Law Journal

Will the executive branch comply with court orders? That question has garnered a considerable amount of attention over the first few months of the second Trump administration. But what does it mean to comply? And what if a form of noncompliance is already occurring?

This Article documents an emerging practice that has dominated the second Trump administration's approach to unfavorable court rulings, a practice this Article calls legalistic noncompliance. Legalistic noncompliance occurs when the administration uses the language of the law as cover to claim that it is complying with court orders when in fact it is not. Drawing …

Competition And Community In Marx’S Alienation Theory: Addressing 21st Century Social Isolation Through A Laclauian Lens, Brett J. Zimmerman

Theses

Capitalism reorients human priorities by necessitating socio-economic competition and tying the preeminent priority of survival to the rate at which one accumulates material resources. The orientation of wage as the only means to survival has replaced the need for the working class to form tribes, build inter-group solidarity, and engage in their communities, resulting in a less fulfilling society. Marx is traditionally conceptualized as a political or economic thinker, and while much of his political and economic thought will be useful supplementary material, in Section I, I will be viewing Marx through a more interpersonal lens. The section will take …

An Etruscan Life And Death: 2025 Findings From The Valle Gianni Archaeological Site, Skye Mccord

Exceptional Scholarship & Artistry

The site of Valle Gianni, part of The Northwest Bolsena Archaeological Project, is located on the northwest lakefront of Lake Bolsena, and harbors many Roman and Etruscan archaeological findings dating back to the late Iron Age. The purpose of this thesis is to explore the cultural traditions of the Etruscans, their place in the wider Mediterranean during the late Iron Age into Classical antiquity, and the changes to both physical landscapes and cultural landscapes after their conquest by the Romans. The site of Valle Gianni acts as a case study in the dynamics of colonization and the repurposing of sacred …

Analysis For Predicting Surface Temperature And Combustion Of Heavy-Duty, Pre-Chamber-Enabled, Hydrogen Engines, Tony Spezia

Master's Theses (2009 -)

Hydrogen as an alternative fuel shows great promise to help reduce greenhouse gas emissions from heavy duty engines. However, the challenge for hydrogen engines is that hydrogen has very different combustion properties compared to conventional hydrocarbon fuels. Hydrogen has very high flame speeds, very low ignition energy, and very wide flammability limit. These properties result in hydrogen engines being prone to abnormal combustion. Abnormal combustion makes hydrogen engines difficult to control or can cause catastrophic damage to the engine, so it is important to avoid conditions where abnormal combustion occurs. Hot spots along the combustion chamber walls are often the …

Building Resilient Cities: Strategies For Sustainable Urban Development In Response To Climate Change In Uae, Thekra Hattawi

Theses

This thesis discusses the way cities may grow and adopt resilient urban measures to incorporate sustainability, technological advancements, governance systems, and financial systems in order to reduce the effects of climatic changes. Cities across the globe are being threatened by the effects of climate change due to the growing number of threats to humans, which include global temperatures increasing, marine level rising, droughts due to water shortages, and extreme weather patterns. This thesis will discuss ways in which the city centers of cities particularly in the UAE can strategize and embrace a holistic resiliency planning to address these multidimensional problems. …

Of Another Order: Constructing The Everyday Elsewhere, Hannah Yandoh

Theses

This thesis investigates the intersection of contemporary painting and ceramics through the critical framework of Situationist thought, using it as a lens to destabilize binary systems of meaning. Ceramic forms are treated both as physical structure and as metaphor. The project draws on Situationist ideas to question authorship, value, and artistic authority, while embracing naïve and unresolved visual strategies. Repetition, variation, and spatial ambiguity shape works that exist between object and gesture, especially within the domestic sphere. Combining studio experimentation, material exploration, and surface intervention, this work proposes a hybrid practice where 2D and 3D operate together as interdependent destabilizing …

Nightlights For Older Adults: Enhancing Bedroom-To-Bathroom Transitions With Community Resident Feedback, Yue Luo, Aubrey Contreras, Susana Valdivia-Rivas, Yuhao Chen, Boyi Hu

Faculty Research, Scholarly, and Creative Activity

This study aimed to inform nightlight design by analyzing older adults’ subjective feedback and kinematic responses during evening activities. Twenty-seven older adults (mean age: 81 ± 6 years; 14 females) participated in the study. Their preferences for nightlight illuminance and hue were surveyed, and gait and posture adaptations under two illuminance levels were analyzed using spatiotemporal comparisons, principal component analysis (PCA) based analysis, and waveform reconstruction. The results revealed that older adults preferred low illuminance over high illuminance, with warm white and cool colors as the favored choices for evening lighting. Significant differences were observed in spatiotemporal gait variables, particularly …

Sheets Of Spectral Data Of Stokes Waves In Weakly Nonlinear Models, Benjamin F. Akers, Ryan Creedon

Faculty Publications

We study the spectral stability of small-amplitude Stokes waves in a family of weakly nonlinear, unidirectional models of the form u_t + Lu + (u²)_x = 0. We introduce a perturbation method to expand the spectral data in wave amplitude near flat-state eigenvalue collisions, with the ratio of the colliding modes as a free parameter. This yields sheets of spectral data whose slices at fixed amplitude give isolas of instability. The same perturbation framework treats both high-frequency and Benjamin--Feir instabilities, extends to discontinuous dispersion relations (including the Akers--Milewski equation), and, for the first time, provides an …

Trends In The National Resident Matching Program: Shifting Applicant Priorities In The Setting Of Application Limits And Pass/Fail Step 1 Grading, Joshua Morrow, Siena Blackwell, Zibi Gugala, Atul Maheshwari, Peter Boedeker

Faculty, Staff and Students Publications

Purpose: This study evaluated differences in expected and observed proportions of activities, average Step 2 scores, and abstracts, publications, and presentations since the adoption of a 10-experience maximum for residency applications and pass/fail Step 1 grading.

Method: The authors queried National Resident Matching Program data for MD senior applicants from 2016 to 2024 across 22 specialties. Data included average Step 2 scores; research, work, and volunteer experiences; and number of research products for matched and unmatched students by specialty. Repeated-measures multilevel models were used to estimate the difference in observed outcome in 2024 and expected outcome based on trends from …

Antibacterial Tellurium Dioxide Nanoparticles Incorporated Into An Adhesive Wound Dressing, Tina Hesabizadeh, Rajendra Subedi, Rolando Baez, Thomas J. Webster, Gregory Guisbiers

Faculty Scholarship

Tellurium dioxide (TeO2) nanoparticles were synthesized by pulsed laser ablation in liquids (PLAL) using a bottom-ablation configuration, with deionized water as the solvent and pure tellurium pellets as the target. The resulting nanoparticles were spherical, with an average diameter of 56 ± 13 nm. Phase analysis indicated that the nanoparticles consisted mainly of around 83% of paratellurite α-TeO2, with a minor fraction, i.e., around 17% of the metastable γ-TeO2 phase. The antibacterial performance of the TeO2 nanoparticles was evaluated against Escherichia coli, Pseudomonas aeruginosa, Staphylococcus epidermidis, and methicillin-resistant Staphylococcus aureus (MRSA), demonstrating broad-spectrum antibacterial activity at concentrations as low as …

Approximate Solution And Simulation For Fractional Burger Equation With Two Initial Conditions, Huda Emad Aldeen Jameel, Fatimah Ahmed Shihab, Saad Naji Al-Azzawi

Baghdad Science Journal

This paper considers the nonlinear homogeneous fractional Burger's equation as a type of nonlinear fractional partial differential equations (FPDE). Our goal in this paper is to show that an initial value problem (IVP) can be modified with a second initial condition when (α ∈ ( 1,2 ]) as the velocity of the movement, and the obtained solution agrees with the nature of the wave with space and time for the problem. The Caputo fractional derivative is used in all the fractional derivatives. Also, the algorithm of the Laplace transform decomposition method (LTDM) for fractional PDEs is presented. The approximate solution …

“I Hope This Letter Finds You Well,”: The Good Life Through Letters 1940s-1980s, Taylor Koet

Comm-entary

Taylor is majoring in History and Law 3+3 major with a double major in Philosophy, from Long Beach, CA. She loves to bake and try new coffee and boba spots.

This piece explores the importance of stationery and letter writing in maintaining family connection across distance and time. This essay uses the Sinclair family papers which show how letters from Clayton Sinclair junior and Clayton the third preserved relationships, personal growth, and created a tangible record of their family history. Ultimately this piece argues that even as technology has changed, handwritten letters represent effort, emotion, and a main connection as …

An Analysis Of Setting –State Theatre At Thompson’S Point, Ruby Prentiss

Comm-entary

Ruby Prentiss is a Sophomore History and Communication student from Falmouth, Maine who is Editor in Chief of Comm-entary. She also is a member of the University’s track and field team as a thrower. In her free time, Ruby enjoys fly fishing, spending time outdoors, and reading.

This piece analyzes Thompson’s point in Portland, Maine to be a meaningful community shaped by music, public gathering, and local history. It explains how the venues physical design, restored pavilion, local food trucks, waterfront location, affordable concerts, and free seasonal events reflect the value of the State Theater and the broader main community. …

Encouraging Fitness For Women In United Kingdom- How This Girl Can Organization Tackled The Gender Activity Gap, Ruby Prentiss

Comm-entary

Ruby Prentiss is a Sophomore History and Communication student from Falmouth, Maine who is Editor in Chief of Comm-entary. She also is a member of the University’s track and field team as a thrower. In her free time, Ruby enjoys fly fishing, spending time outdoors, and reading.

This paper offers and analysis of the Sport England public relations campaign entitled This Girl Can, detailing the PR strategy of the organization and campaign from the initial market research to the post-campaign efficacy analysis. This Girl Can is examined using historical and cultural scholarly sources with a critical communication lens to prove …

Language Deprivation In Deaf Children, Kaleb Holske

Comm-entary

Kaleb is an American Sign Language English Interpreter with a double major in Linguistics, from Chester, NH. He’s also a professional balloon twister!

This piece examines how language deprivation affects deaf children when they don’t necessarily receive early access to natural language, especially during the most critical developmental years. It further explains how the medical model of deafness, reliance on cochlear implants or hearing aids, schooling, and limited sign language access can negatively impact the emotional, social, and academic growth of these children. This piece argues that early access to sign language and deaf centered support is essential for preventing …

Science And Technology Empower New Quality Productive Forces To Promote Green Sustainable Development, Yongxiang Lu

Bulletin of Chinese Academy of Sciences (Chinese Version)

The rapid development of science and technology drives industrial innovation and upgrading, and promotes productive forces toward green, intelligent, and sustainable development. While improving production efficiency, new quality productive forces also promote green and sustainable development. This study reviews on green intelligent manufacturing technologies, green renewable energy technologies, green transportation technologies, and green data technologies, also explores their significance for global green and sustainable development.

Impact Of Climate Change On Agricultural Production In The North China Plain And Adaption Strategies, Yanjun Shen, Ying Guo, Chuanwei Zhang, Yaning Chen

Bulletin of Chinese Academy of Sciences (Chinese Version)

Over the past century, global warming has posed significant challenges to the North China Plain (NCP), a core region for grain production, where resource-induced water scarcity now coincides with complex meteorological disasters. In recent years, the NCP has exhibited new climatic characteristics, notably the transition from a “warm-dry” to a “warm-wet” pattern accompanied by asymmetric warming, leading to an increased frequency of extreme events such as droughts, abrupt dry-flood alternations, and temperature extremes. These shifts pose a grave threat to regional grain stability. Currently, critical gaps remain in the understanding of the underlying disaster mechanisms, as well as in predictive …

Impact And Countermeasures Of Climate Change On Grain Production In Northwest China, Qin’Ge Dong, Jianqiang He, Yi Li, Ning Yao, Xiang Li, Haolei Zhang, Shengnan Wang, Tengcong Jiang, Baiqing Chen, Chunrui Gao, Chao Liang, Guiyuan Zhang, Lei Gong, Jinxuan Zhao, Qiang Yu, Hao Feng

Bulletin of Chinese Academy of Sciences (Chinese Version)

Global climate change is reshaping the agricultural production patterns of grain crops in Northwest China. As an important reserve region for national grain production, Northwest China faces multiple uncertainties and compound risks in food security. This study analyzes the current status and limiting factors of grain production, along with regional climate change trends, and systematically evaluates the impacts of climate change and its associated disasters on the spatial distribution, cropping systems, and yield formation of major crops such as wheat, maize, and potato. Over the past 60 years, the region has experienced a warming rate of approximately 0.32℃ per decade …

Accelerating Marine Science And Technology Innovation Under Great Power Competition: Challenges And Recommendations, Qingbin Guo, Yongsha Xiong, Shifang Sun

Bulletin of Chinese Academy of Sciences (Chinese Version)

Against the backdrop of intensifying great-power competition, the core issues of global technological competition and cooperation are increasingly converging on the marine domain. The oceans are progressively becoming a critical strategic sphere for national development and security. At present, China is steadily advancing towards its goal of becoming a maritime power, achieving historic leaps in technological innovation such as shipbuilding and deep-sea exploration. Nevertheless, the path ahead for China’s marine science and technology innovation will inevitably face severe international circumstances and competition from established global maritime powers. Based on a review of global and Chinese progress in marine science and …

Construction Of China’S Marine Protected Area System In 15th Five-Year Plan, Ke Duan, Danhong Chen, Keqiang Li, Limin Han, Zhengyan Liu, Dongliang Lu, Xiulin Wang

Bulletin of Chinese Academy of Sciences (Chinese Version)

The establishment of the marine protected area (MPA) system constitutes a critical component of the national initiative to comprehensively advance the development of a nature reserve system centered on national parks. This study explores on domestic and international development trends from aspects such as conservation strategies, international policies, high seas protection, and development trends. It also sorts out and analyzes the construction status of marine protected area systems in China and the United States. Centering on issues in China related to spatial layout, management systems, policies and laws, scientific research support, high seas governance, and land-sea management, the study puts …

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 …

Panoramic Analysis And Strategic Proposals Of Helium Research In China Based On Knowledge Graph, Huayang Li, Quanyou Liu, Dongya Zhu, Xiaoqi Wu, Chi Zhang, Zehui Shi

Bulletin of Chinese Academy of Sciences (Chinese Version)

Helium is a critical rare gas essential for aerospace, medical devices, and semiconductor production. With about 85% of its helium coming from imports, China’s advancement of exploration and development technologies is vital for national resource security. This study analyzes helium-related publications from CNKI (2000–2025) using advanced data visualization and statistical methods. It introduces a three-pronged approach–data-driven analysis, visual representation, and mechanistic explanation–to offer the first comprehensive examination of China’s helium exploration and development research, revealing its evolution and current state from multiple perspectives and providing fresh insights. By examining publication trends, institutional contributions, and evolving research priorities, the study maps …

Southeastern United States African American Business Leaders’ Effective Business Profitability Strategies, Maurice Chamblin

Walden Dissertations and Doctoral Studies

African American business leaders in the United States experience persistent operational constraints that affect business sustainability and long-term profitability. These leaders face recurring challenges in accessing capital, securing managerial support, and effectively utilizing resources, which may hinder their ability to remain viable and competitive. Grounded in resource-based view theory, this qualitative pragmatic inquiry project aimed to identify and explore the practical strategies used by African American business leaders in the Southeastern United States to increase their business profitability over more than 5 years. The participants were six African American business leaders from the Southeastern United States who had grown their …

Traditionally Certified, Second-Career Teachers’ Perceptions Of Intent To Stay In The Classroom, Tara L. Wells

Walden Dissertations and Doctoral Studies

The problem that was addressed through this study was the high teacher turnover, including traditionally certified, second-career teachers (TCSCTs), in United States classrooms, despite support and additional resources provided. The purpose of this qualitative study was to examine TCSCTs’ perceptions on the reasons and their recommendations to remain in the classroom. Ingersoll's teacher turnover and retention framework was used to conceptually frame this study. Using a basic qualitative design, semistructured interviews were conducted with 12 TCSCTs. Data were analyzed through thematic analysis. The following themes emerged: TCSCTs remain in the profession primarily due to a sense of purpose in their …

Burnout And Secondary Traumatic Stress Experiences In Mental Health Professionals Working With Military Veterans, Megan Carter

Walden Dissertations and Doctoral Studies

Burnout among mental health professionals has been a long-standing phenomenon when working with trauma individuals resulting in increased job turnover rates and decreased quality of care for patients. The job demands- resourced model and constructivist self- development theory were used to guide this study. The purpose of this research study was to explore how mental health professionals working with the military veteran population experience burnout and secondary traumatic stress. A descriptive qualitative design was used with purposive and snowball sampling to attain 10 mental health professionals from various facilities serving military veterans. Data were collected from semistructured interviews and were …

From Browsing To Building: Navigating Your Google Resource Space (Drive & Site), Libby Cunningham

Capstone Projects

This capstone project aimed to develop a trauma-informed, evidence-based support hub for Court Appointed Special Advocates (CASA) working with children involved in the foster care system. CASA advocates are frequently exposed to secondary trauma, burnout, and compassion fatigue, which can impact their effectiveness and overall well-being. Additionally, trauma exposure significantly affects children’s emotional regulation, behavior, and participation in daily occupations. The primary objective of this project was to design, develop, and organize a comprehensive digital resource platform tailored to the needs of Kalamazoo CASA and their active cases. Utilizing evidence-based literature on trauma-informed care and secondary trauma, relevant resources were …

The Missing Link Between Occupational Therapy And Hemodialysis: Program Development And Implementing Intradialytic Ot In A Rural Hospital Setting, Madison Maki

Capstone Projects

Occupational therapy (OT) has demonstrated effectiveness in supporting individuals undergoing hemodialysis, a life‑altering yet lifesaving treatment for end‑stage renal disease (ESRD) and chronic kidney disease (CKD). Despite this, hospitalized patients who require dialysis often receive reduced rehabilitation services due to the time‑intensive nature of dialysis and the productivity demands placed on therapists. Additionally, gaps in therapist knowledge regarding the unique functional deficits and educational needs of this population further limit service delivery.

This doctoral capstone project (DCE), conducted at Upper Peninsula Health System (UPHS), a hospital in rural Northern Michigan, addressed these barriers through the development of a comprehensive resource …