Projective Limit Research Articles

Optimal micro-pump-storage system for the average Greek hotel with PV generation

In this paper, a modern micro-scale pumped hydro storage system that is specifically designed to operate in coordination with photovoltaics installed at the roof of an average Greek hotel is presented. The fictitious hotel chosen as a case study, displays the energy profile of an average sea-side hotel around the Mediterranean Sea, while photovoltaics’ energy generation is assumed to follow the typical production profile of such sites. Pumped hydro storage and photovoltaic generation, size and cost have been appropriately modeled so that they realistically simulate their operational scheme, while also considering the spatial and technical characteristics and limitations of such projects. Results derived from the implementation of such a scheme into the Average Greek hotel demonstrated significant monetary benefits, accompanied with a substantial net annual profit and low payback period of the investment.

Geometric main conjectures in function fields

Abstract We prove an equivariant main conjecture in Iwasawa theory along any rank-one, sign-normalized Drinfeld modular, split-at-∞ Iwasawa tower of a general function field of characteristic 𝑝, for the Iwasawa modules recently considered by Greither and Popescu in their proof of the classical equivariant main conjecture along the (arithmetic) cyclotomic Iwasawa tower. As a consequence, we prove an equivariant main conjecture for a projective limit of certain Ritter–Weiss type modules, along the same Drinfeld modular Iwasawa towers. This generalizes the results of Anglès, Bandini, Bars, Coscelli and Longhi for the split-at-∞ piece of the Iwasawa towers considered in their work, and refines the results by Greither and Popescu.

Program evaluation of a specialized treatment home for adults with severe challenging behavior

AbstractIndividuals with intellectual and developmental disabilities who engage in severe challenging behavior may comprise 5%–10% of the clinical population. Unfortunately, challenging behavior literature tends to underrepresent adult participants and emphasize efficacy (Does the intervention work?) more often than effectiveness (Does the intervention work in real world settings?). We conducted a systematic program evaluation to examine the effectiveness of a comprehensive behavioral treatment package using a hybrid quasi‐experimental consecutive case series design featuring eight adults who experienced the treatment package. The results depicted a substantial decrease in challenging behavior and increase in adaptive behavior across sessions for most participants. Impressive treatment integrity outcomes (M = 84%, range, 82%–90%) showcased that the intervention was implemented as intended. Social validity surveys administered to participants, caregivers, and case managers provide support for the acceptability of the treatment package. Project limitations, clinical considerations, and future directions are discussed.

Overcoming Barriers in Infrastructure Development Planning and Community Involvement

Abstract. The success of national development is often reflected in infrastructure improvements at the village level, particularly in promoting community welfare. In the specific context, Wunut Village in Porong District, Sidoarjo Regency, faces challenges in infrastructure planning, including transparency issues and limited community participation. The knowledge gap lies in the need for effective infrastructure planning to optimize the use of available resources and to identify obstacles in rural development. This study aims to analyze the village's development planning and identify barriers using a qualitative approach. Based on Syaodih's theory, focusing on achieving better goals, optimizing resources, addressing limitations, and ensuring efficiency, the results show a lack of transparency in the village work plan and passive community participation. This research's novelty highlights the critical role of transparency and engagement in successful infrastructure planning. The implications suggest enhancing community involvement and transparency for more effective rural development. Highlights: Transparency in village government work plans is essential for effective infrastructure development. Community involvement must be improved to enhance the planning and implementation process. Strategic planning is key to overcoming limitations in rural infrastructure projects. Keywords: Infrastructure, Development Planning, Rural Development, Community Participation, Transparency

Rank-one non-singular actions of countable groups and their odometer factors

Abstract For an arbitrary countable discrete infinite group G, non-singular rank-one actions are introduced. It is shown that the class of non-singular rank-one actions coincides with the class of non-singular $(C,F)$ -actions. Given a decreasing sequence of cofinite subgroups in G with $\bigcap _{n=1}^\infty \bigcap _{g\in G}g\Gamma _ng^{-1}=\{1_G\}$ , the projective limit of the homogeneous G-spaces $G/\Gamma _n$ as $n\to \infty $ is a G-space. Endowing this G-space with an ergodic non-singular non-atomic measure, we obtain a dynamical system which is called a non-singular odometer. Necessary and sufficient conditions are found for a rank-one non-singular G-action to have a finite factor and a non-singular odometer factor in terms of the underlying $(C,F)$ -parameters. Similar conditions are also found for a rank-one non-singular G-action to be isomorphic to an odometer. Minimal Radon uniquely ergodic locally compact Cantor models are constructed for the non-singular rank-one extensions of odometers. Several concrete examples are constructed and several facts are proved that illustrate a sharp difference of the non-singular non-commutative case from the classical finite measure preserving one: odometer actions which are not of rank-one and factors of rank-one systems which are not of rank one; however, each probability preserving odometer is a factor of an infinite measure preserving rank-one system, etc.

Diverse Image Captioning via Panoptic Segmentation and Sequential Conditional Variational Transformer

Recently, transformer-based image captioning models have achieved significant performance improvement. However, due to the limitations of region visual features and deterministic projections between image space and caption space, existing methods still suffer from disentangled visual features and rigid sentences. To address these issues, we first introduce panoptic segmentation to extract the segmentation region features, which can effectively alleviate the visual confusion caused by the widely-adopted region visual features. Then, we propose a panoptic segmentation based sequential conditional variational transformer (PS-SCVT) framework for diverse image captioning, which not only accurately extracts the image visual representations by fusing the segmentation region features and object detection features, but has the ability of learning one-to-many mappings from image space to caption space. The experimental results demonstrate that our approach achieves better interpretability and generalization performance compared with the state-of-the-art diverse image captioning models.

On local divisor class groups of complete intersections

Samuel conjectured in 1961 that a (Noetherian) local complete intersection ring that is a UFD in codimension at most three is itself a UFD. It is said that Grothendieck invented local cohomology to prove this fact. Following the philosophy that a UFD is nothing else than a Krull domain (that is, a normal domain, in the Noetherian case) with trivial divisor class group, we take a closer look at the Samuel–Grothendieck Theorem and prove the following generalization: Let A be a local Cohen–Macaulay ring.(1)A is a normal domain if and only if A is a normal domain in codimension at most 1.(2)Suppose that A is a normal domain and a complete intersection. Then the divisor class group of A is a subgroup of the projective limit of the divisor class groups of the localizations Ap, where p runs through all prime ideals of height at most 3 in A. We use this fact to describe for an integral Noetherian locally complete intersection scheme X the gap between the groups of Weil and Cartier divisors, generalizing in this case the classical result that these two concepts coincide if X is locally a UFD.

A Review and Prospects of Manufacturing Process Knowledge Acquisition, Representation, and Application

The evolution of knowledge acquisition and representation in manufacturing technologies is vital for translating complex manufacturing data into actionable insights and advancing a comprehensive knowledge framework. This framework is pivotal in driving innovation and efficiency in intelligent manufacturing. This review aggregates recent research on knowledge acquisition and representation within the manufacturing process, addressing existing challenges and mapping potential future developments. It includes an analysis of 123 papers that focus on harnessing advanced intelligent analytics to extract operationally relevant knowledge from the extensive datasets typical in manufacturing environments. The narrative then examines the methodologies for constructing models of knowledge in manufacturing processes and explores their applications in manufacturing principles, design, management, and decision-making. This paper highlights the limitations of current technologies and projects emerging research avenues in the acquisition and representation of process knowledge within intelligent manufacturing systems, with the objective of informing future technological breakthroughs.

Transgender HIV activism in Eastern Europe and Central Asia

Eastern Europe and Central Asia (EECA) is a region with the fastest growing HIV epidemic in the world. Trans people are designated by UNAIDS as one of the key population groups susceptible to HIV. However, in 8 out of 12 EECA countries, they are not recognized as a key group by the state. This article explores HIV-related trans activism in EECA based on interviews with 13 activists. The participants’ goal was the construction of “trans” as a legible category with specific needs and its recognition by the state as a key population group susceptible to HIV distinct from other key groups, especially men having sex with men (MSM). Such recognition was thought to improve accessibility and acceptability of HIV services for trans people, especially trans women. In addition, HIV issues were strategically used to promote gender-affirming healthcare and legal gender recognition. Quantitative research (population size and HIV prevalence estimations) was extensively used to underpin advocacy. While the activists recognized the limitations of these quantification projects, they did not question “trans” as a discoverable and quantifiable category.

Topology of the space of conormal distributions

Given a closed manifold M and a closed regular submanifold L, consider the corresponding locally convex space I=I(M,L)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I=I(M,L)$$\\end{document} of conormal distributions, with its natural topology, and the strong dual I′=I′(M,L)=I(M,L;Ω)′\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I'=I'(M,L)=I(M,L;\\Omega )'$$\\end{document} of the space of conormal densities. It is shown that I is a barreled, ultrabornological, webbed, Montel, acyclic LF-space, and I′\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I'$$\\end{document} is a complete Montel space, which is a projective limit of bornological barreled spaces. In the case of codimension one, similar properties and additional descriptions are proved for the subspace K⊂I\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$K\\subset I$$\\end{document} of conormal distributions supported in L and for its strong dual K′\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$K'$$\\end{document}. We construct a locally convex Hausdoff space J and a continuous linear map I→J\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I\\rightarrow J$$\\end{document} such that the sequence 0→K→I→J→0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$0\\rightarrow K\\rightarrow I\\rightarrow J\\rightarrow 0$$\\end{document} as well as the transpose sequence 0→J′→I′→K′→0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$0\\rightarrow J'\\rightarrow I'\\rightarrow K'\\rightarrow 0$$\\end{document} are short exact sequences in the category of continuous linear maps between locally convex spaces. Finally, it is shown that I∩I′=C∞(M)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$I\\cap I'=C^\\infty (M)$$\\end{document} in the space of distributions. In another publication, these results are applied to prove a Lefschetz trace formula for a simple foliated flow ϕ={ϕt}\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\phi =\\{\\phi ^t\\}$$\\end{document} on a compact foliated manifold (M,F)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(M,\\mathcal {F})$$\\end{document}. It describes a Lefschetz distribution Ldis(ϕ)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L_{\ extrm{dis}}(\\phi )$$\\end{document} defined by the induced action ϕ∗={ϕt∗}\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\phi ^*=\\{\\phi ^{t\\,*}\\}$$\\end{document} on the reduced cohomologies H¯∙I(F)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\bar{H}}^\\bullet I(\\mathcal {F})$$\\end{document} and H¯∙I′(F)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\bar{H}}^\\bullet I'(\\mathcal {F})$$\\end{document} of the complexes of leafwise currents that are conormal and dual-conormal at the leaves preserved by ϕ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\phi $$\\end{document}.

Empowering School Nurses: Enhancing Child Trafficking Awareness and Preparedness in American Public Schools.

Child trafficking poses a momentous public health threat to students in public schools. Although school nurses are exceptionally positioned to identify and respond to trafficking, most lack training and resources in this critical area. This project aimed to evaluate the impact of a multifaceted intervention on school nurse preparedness and practices related to child trafficking in an Oklahoma public school district. The project involved Unbound Now's nationally accredited training program for school nurses, implementation of the Fuentes et al.'s Toolkit for Building a Human Trafficking School Safety Protocol (HTSSP) funded by the U.S. Department of Health and Human Services, and facilitation of a roundtable discussion to initiate community collaboration. The results of the pretraining Fraley and Aronowitz School Nurses' Awareness and Perceptions Survey (SNAPS) illuminated variations in school nurses' knowledge and awareness of child trafficking, demonstrating the need for continued training. Post-training evaluations exhibited highly positive feedback, suggesting its effectiveness in meeting the training's objectives. Following the community stakeholder roundtable, the lead school nurse employed the HTSSP toolkit and directed efforts in successfully constructing and implementing a district-wide policy of procedures to respond to suspected cases of human trafficking. However, the project's limitations include a small sample and a single-school district focus. Despite these limitations, this project delivers valuable insights into the challenges and opportunities for enhancing school nurse preparedness in addressing trafficking. This project serves as a foundation for future initiatives to improve students' safety and wellbeing in public schools.

Research on the assignment of elderly care service personnel with time window constraints

As the population continues to age, there is a growing need for elderly care services. In China, home care is widely embraced as a preferred method of caring for the elderly, and it has a promising commercial outlook. The strategic allocation of Elderly Care Service Personnel (ECSP) is a crucial component of the operational procedures for home care services. By strategically assigning elderly service personnel, it is possible to enhance the satisfaction and simultaneously minimize expenses. The issue of rationalizing the assignment of ECSP in the face of restricted resources is a genuine challenge that requires a solution, given the many types of elderly service demands and the skill requirements and time limits of certain projects. This study presents a strategy for assigning personnel on an hourly basis, taking into account time frame limits. This method involves several steps. Firstly, it involves assessing the specific service needs of the elderly, including the required door-to-door service time, service level, and gender preferences. Secondly, it calculates the service satisfaction and service operation cost of the Home Care Service Platform (HCSP) separately. Finally, it constructs a multi-objective elderly service personnel assignment method. This method aims to minimize the ECSP 's travel time and wasted time, maximize the satisfaction of the elderly by considering priority levels and ECSP scores, and minimize the operation cost of the HCSP. A model is developed to assign ECSP for elderly individuals, with the goal of minimizing travel time and wasted time, maximizing elderly satisfaction by considering priority and service personnel rating, and minimizing operating costs for the HCSP. Additionally, if there are unserved elderly individuals, an optimized path model is constructed using a cross-modified genetic algorithm to obtain the optimal matching result. Ultimately, an arithmetic example is employed to demonstrate the practicality and efficiency of the strategy put forth in this research. The findings demonstrate that the model presented in this research possesses distinct advantages in comparison to other conventional models.

REQUIREMENT PRIORITIZATION IN THE DEVELOPMENT OF SOFTWARE PROJECTS FOR CRITICAL INFRASTRUCTURE OBJECTS

The objective of the study is to develop an algorithm for prioritizing requirements in the development of software for critical infrastructure object projects. Requirement development is a fundamental phase in any software project, as this phase involves the identification, processing, and manipulation of requirements. The primary source of these requirements is project stakeholders, taking into account project constraints and limits. The number of requirements varies for each software project for a critical infrastructure object, hence the term requirement prioritization pertains to determining the priority order of executing software requirements based on considerations and decisions of stakeholders. Various proposed optimization algorithms are employed to address optimization tasks. This paper presents the main stages of basic optimization algorithms, some of their modifications aimed at enhancing their efficiency in solving such types of problems. Additionally, a hybrid approach based on WOA and GWO optimization algorithms is proposed, combining the advantages of each algorithm to determine the priority of requirements for critical infrastructure object software. Furthermore, a dataset from the SKUDA project is provided, utilized in this research, meeting the requirements of a real software project for evaluating the proposed method. The scientific novelty lies in the modification, application, and combination of results from well-known GWO and WOA algorithms to address the requirement prioritization task for critical infrastructure object software projects. The proposed algorithm achieves an accuracy of 92% for the proposed set of requirements.

German primary care data collection projects: a scoping review

BackgroundThe widespread use of electronic health records (EHRs) has led to a growing number of large routine primary care data collection projects globally, making these records a valuable resource for...

Impact of philosophical workshops on the prison population: a qualitative and quantitative evaluation

ABSTRACT Background Prison creates philosophical needs due to the exceptionality of the situation. This study explores how philosophy can meet these needs by focusing on three aspects: critical thinking, personal relationships and the government of passions. It builds on similar interventions in several countries and is proposed as a research that bypasses some limitations of previous projects in prisons. Method Following the participation of 81 inmates in 22 philosophical sessions over six months, the results of both interventions were analyzed using mixed methods, as well as a pretest posttest design with a control group. Specifically, Webster’s Self Assessed Wisdom Scale, a questionnaire and an interview with four participants were used. These methods were triangulated in order to obtain data from the various methodologies and to improve the validity and reliability of the results. Results It was demonstrated that the experimental group showed significant progress in relation to the categories “openness”, “humor” and “emotion regulation”. Participants also showed a progression in categories related to the project’s goals. These results allow for a description of the categories that explain in what sense philosophy can act in the context of imprisonment. Conclusions This study demonstrates, on the one hand, how philosophy workshops involve outcomes linked to cognitive, affective and relational aspects. Furthermore, it provides evidence to confirm previous studies and interventions that are more modest in their results and use less rigorous scientific methodologies.

The Challenges of Sustainable Affordable Housing Construction During the Sri Lankan Economic Crisis

The present Sri Lankan economic crisis has severely impacted various sectors including the industry of construction. Hence, the construction of affordable housing has become an extremely significant factor in response to the circumstances of the economic downfall. Although affordable housing projects are one of the best resolutions for the need for shelter during economic breakdowns, sustainably commencing, implementing, and maintaining such projects are also highly challenging in the present. Therefore, the present study examines the challenges of commencing, implementing, and maintaining sustainable affordable housing projects in Sri Lanka under the impacts of the contemporary economic crisis. The methodology of this research is a combination of both qualitative and quantitative approaches. It has cooperated the primary data gathered from the study sample; construction professionals of Sri Lankan affordable housing projects via semi-structured interviews and questionnaire surveys and also the secondary data sources such as research paper publications, periodicals, journals, and books. The data received from the questionnaire survey was analyzed by a Frequency Index after forming them on a ‘Likert Scale’ to examine the degree of application of each respondent. The data gathered by interviews were evaluated in reference to a content analysis. The overall study findings reveal various limitations of affordable housing projects in Sri Lanka during the current economic crisis. It also suggests adopting new strategies and measures to enforce the defined field of study by prioritizing the degree of impact of each factor.

The effect of simulation on attitudes and empathy related to persons experiencing homelessness among nursing students

BackgroundA lack of empathy can directly impact the quality of care provided to those who are unhoused. This quality improvement project aimed to increase the attitudes and empathy of nursing students toward people who are unhoused via a simulation experience, including the use of standardized patients and a computerized reality game. MethodsThis quality improvement project was a quasi-experimental, one-group pretest-posttest-posttest design evaluating changes in results of the Healthcare Providers Attitudes Towards Homeless Inventory and the Comprehensive State Empathy Scale surveys. ResultsDescriptive statistics were evaluated at each survey interval for both survey tools. All mean scores increased after the intervention with the exception of empathic concern in the immediate postintervention survey. ConclusionsClinical significance should be considered for this project. Simulation is a potentially effective way to improve nursing student attitudes and empathy toward the unhoused population. Due to project limitations, statistical significance cannot be evaluated. Future projects utilizing a larger sample size and refined simulation is recommended. Improving nursing students' attitudes and empathy can affect their ability to advocate for the unhoused population.

Nature as the Fecund Female in Joseph Conrads Heart of Darkness

Abstract: The Currency Detection Android Application with Image Processing is an innovative solution designed to empower visually impaired individuals and assist travelers in identifying and managing paper currency notes with accuracy and convenience. This application leverages advanced image processing techniques, including edge detection, color analysis, texture recognition, and optical character recognition (OCR), to extract crucial features from currency notes. Machine learning models, including convolutional neural networks (CNNs) and recurrent neural networks (RNNs), are employed to recognize currency denominations based on these extracted features. The application provides real-time audio feedback, announcing the recognized denomination, and features a user-friendly interface with voice-guided instructions, catering to both visually impaired and sighted users. A comprehensive currency library ensures coverage of major world currencies, with regular updates to accommodate new designs and security features. Offline functionality further enhances accessibility. The project's scope encompasses primary functionalities, target audience, supported currencies, technological considerations, and acknowledges project limitations.

Cones of traces arising from AF $C^{*}$-algebras

We characterize the topological non-cancellative cones that can be expressed as projective limits of finite powers of [0,\infty] . For metrizable cones, these are also the cones of lower semicontinuous extended-valued traces on approximately finite-dimensional (AF) C^{*} -algebras. Our main result may be regarded as a generalization of the fact that any Choquet simplex is a projective limit of finite-dimensional simplices. To obtain our main result, we first establish a duality between certain non-cancellative topological cones and Cuntz semigroups with real multiplication. This duality extends the duality between compact convex sets and complete order unit vector spaces to a non-cancellative setting.

Use of Traffic Speed Deflectometer Data in Project-Level Pavement Rehabilitation Design

Current traffic speed deflectometer (TSD) analyses have focused on the application of pavement structural-condition data at the network level. Pavement management systems use the deflection data to adjust the treatment as determined from the surface deflections and ride quality, resulting in better treatment selection. However, TSD data can also be used at the project level to inform pavement design decisions, though this has yet to be well documented in the U.S. A pilot study was conducted in 2021 to develop a methodology to analyze the TSD data for the South Carolina Department of Transportation (SCDOT) based on the AASHTO 1993 overlay design methodology. The TSD analysis methodology determines the effective structural number for each TSD datapoint. The results generated from this analysis were used for an ongoing construction project to assess the structural condition of the pavement within the project limits. Grade restrictions on the project presented a challenge in determining limits of pavement reconstruction and pavement overlay. The results of the TSD analysis were used to characterize the effective structural number at a 52 ft interval, allowing for optimization of the limits of pavement reconstruction. This paper presents the TSD analysis methodology used and how SCDOT incorporated the TSD results at the project level to perform rehabilitation designs of an ongoing construction project.