3,731 research outputs found
Digital twin modeling method based on IFC standards for building construction processes
Intelligent construction is a necessary way to improve the traditional construction method, and digital twin can be a crucial technology to promote intelligent construction. However, the construction field currently needs a unified method to build a standardized and universally applicable digital twin model, which is incredibly challenging in construction. Therefore, this paper proposes a general method to construct a digital twin construction process model based on the Industry Foundation Classes (IFC) standard, aiming to realize real-time monitoring, control, and visualization management of the construction site. The method constructs a digital twin fusion model from three levels: geometric model, resource model, and behavioral model by establishing an IFC semantic model of the construction process, storing the fusion model data and the construction site data into a database, and completing the dynamic interaction of the twin data in the database. At the same time, the digital twin platform is developed to realize the visualization and control of the construction site. Combined with practical cases and analysis, the implementation effect of the method is shown and verified. The results show that the method can adapt itself to different scenarios on the construction site, which is conducive to promoting application of the digital twin in the field of construction and provides a reference to the research of practicing digital twin theory and practice
UMSL Bulletin 2023-2024
The 2023-2024 Bulletin and Course Catalog for the University of Missouri St. Louis.https://irl.umsl.edu/bulletin/1088/thumbnail.jp
Reshaping Higher Education for a Post-COVID-19 World: Lessons Learned and Moving Forward
No abstract available
Tradition and Innovation in Construction Project Management
This book is a reprint of the Special Issue 'Tradition and Innovation in Construction Project Management' that was published in the journal Buildings
Compiling Quantum Circuits for Dynamically Field-Programmable Neutral Atoms Array Processors
Dynamically field-programmable qubit arrays (DPQA) have recently emerged as a
promising platform for quantum information processing. In DPQA, atomic qubits
are selectively loaded into arrays of optical traps that can be reconfigured
during the computation itself. Leveraging qubit transport and parallel,
entangling quantum operations, different pairs of qubits, even those initially
far away, can be entangled at different stages of the quantum program
execution. Such reconfigurability and non-local connectivity present new
challenges for compilation, especially in the layout synthesis step which
places and routes the qubits and schedules the gates. In this paper, we
consider a DPQA architecture that contains multiple arrays and supports 2D
array movements, representing cutting-edge experimental platforms. Within this
architecture, we discretize the state space and formulate layout synthesis as a
satisfactory modulo theories problem, which can be solved by existing solvers
optimally in terms of circuit depth. For a set of benchmark circuits generated
by random graphs with complex connectivities, our compiler OLSQ-DPQA reduces
the number of two-qubit entangling gates on small problem instances by 1.7x
compared to optimal compilation results on a fixed planar architecture. To
further improve scalability and practicality of the method, we introduce a
greedy heuristic inspired by the iterative peeling approach in classical
integrated circuit routing. Using a hybrid approach that combined the greedy
and optimal methods, we demonstrate that our DPQA-based compiled circuits
feature reduced scaling overhead compared to a grid fixed architecture,
resulting in 5.1X less two-qubit gates for 90 qubit quantum circuits. These
methods enable programmable, complex quantum circuits with neutral atom quantum
computers, as well as informing both future compilers and future hardware
choices.Comment: An extended abstract of this work was presented at the 41st
International Conference on Computer-Aided Design (ICCAD '22
Concurrency Controls in Event-Driven Programs
Functional reactive programming (FRP) is a programming paradigm that utilizes the concepts of functional programming and time-varying data types to create event-driven applications. In this paradigm, data types in which values can change over time are primitives and can be applied to functions. These values are composable and can be combined with functions to create values that react to changes in values from multiple sources. Events can be modeled as values that change in discrete time steps. Computation can be encoded as values that produce events, with combination operators, it enables us to write concurrent event-driven programs by combining the concurrent computation as events. Combined with the denotational approach of functional programming, we can write programs in a concise manner.
The style of event-driven programming has been widely adopted for developing graphical user interface applications, since they need to process events concurrently to stay responsive. This makes FRP a fitting approach for managing complex state and handling of events concurrently.
In recent years, real-time systems such as IoT (internet of things) applications have become an important field of computation. Applying FRP to real-time systems is still an active area of research.For IoT applications, they are commonly tasked to perform data capturing in real time and transmit them to other devices. They need to exchange data with other applications over the internet and respond in a timely manner. The data needs to be processed, for simple analysis or more computation intensive work such as machine learning. Designing applications that perform these tasks and remain efficient and responsive can be challenging.
In this thesis, we demonstrate that FRP is a suitable approach for real-time applications. These applications require soft real-time requirements, where systems can tolerate tasks that fail to meet the deadline and the results of these tasks might still be useful.First, we design the concurrency abstractions needed for supporting asynchronous computation and use it as the basis for building the FRP abstraction. Our implementation is in Haskell, a functional programming language with a rich type system that allows us to model abstractions with ease. The concurrency abstraction is based on some of the ideas from the Haskell solution for asynchronous computation, which elegantly supports cancelation in a composable way. Based on the Haskell implementation, we extend our design with operators that are more suitable for building web applications. We translate our implementation to JavaScript as it is more commonly used for web application development, and implementing the RxJS interface. RxJS is a popular JavaScript library for reactive programming in web applications. By implementing the RxJS interface, we argue that our programming model implemented in Haskell is also applicable in mainstream languages such as JavaScript
Taylor University Catalog 2023-2024
The 2023-2024 academic catalog of Taylor University in Upland, Indiana.https://pillars.taylor.edu/catalogs/1128/thumbnail.jp
Development of standardised sizing system and size charts for the production of ready-to-wear clothing for Ghanaian children aged 6-11
Children experience rapid growth rate and often indulge in various physical and motion related activities in education and play spaces. Ill-fitting clothing such as very tight or unproportionally balanced clothes can cause movement restrictions, psychological challenges, and other undesirable health related issues. This makes appropriate clothing sizing crucial to address, as it gives children the right fit that allows room for movement and growth.
Effectiveness of fit is based on a sizing system and size charts that have been developed using current and accurate body measurements of a specific population since differences exist among populations. Currently, established size charts and academic publications on sizing systems in Ghana have focused on women. No national database or anthropometric study has been developed exclusively for Ghanaian children. Practitioners either take measurements on ad-hoc basis for made-to-measure outfits; or use adapted versions of the British sizing system for manufacturing ready-to-wear garments such as uniforms. This research has therefore been undertaken to develop a standard clothing sizing system and size charts for Ghanaian children between the (school) ages of 6 and 11. This will sustain the general production of reliably sized garments for Ghanaian children whiles providing appropriate fit. It will further enhance mass production of ready-to-wear garments for the apparel market in Ghana.
The study involved both secondary and primary data collection methods. An extensive review of literature was conducted focusing on relevant topics in anthropometry and anthropometric surveys for sizing creation, sizing systems, growth of children and garment fit. A comprehensive set of body measurements including height and weight of the sample population of school children were collected. A critical measurement procedural guide and two instructional videos in English and Twi (dominant Ghanaian language) were developed by the study taking into account efficacy, ethical and sustainable considerations for good practice. These were made available and guided parents/legal guardians and participants in the data collection process during fieldwork. The population consisted of primary school pupils in Ghana. A sample of 776 usable data was used for the analysis. With the IBM SPSS analytics software, appropriate statistical procedures such as means, t-test and analysis of variance tests (ANOVA) were conducted to ascertain the relationships among the variables and to obtain statistical data for the development of the sizing system. Principal component analysis (PCA) and cluster analysis were also used to aid the development of the sizing system. Centred on the PCA technique, three key dimensions (height, chest, and waist girths) were selected based on the factor loading and practicality. The study found and established significant differences between the body measurements of Ghanaian children aged 6-11 along gender lines. Using the cluster analysis technique, the selected dimensions were used to categorize the study sample into homogenous subgroups according to upper and lower body separately for both males and females. Four or five sizes were created for each cluster group, and size charts were established based on percentile values.
This study presents theoretical and empirical contributions to the body of knowledge in anthropometrics. It has modelled a guide that demonstrates the capability of remote and safe body measuring practices on children, which is particularly useful, economical, and reliable for clothing related practices that seek to employ consistent traditional manual measuring techniques. The study has created an original up-to-date anthropometric database for Ghanaian children between 6-11 years; and developed a comprehensive sizing system for wider clothing practices. In addition to providing a framework for procedures in creating children’s sizing system and size chart, it establishes new size charts for both males and females aged 6-11, based on the Ghanaian population. These developments stand to increase productivity, consistency, and economic efficiency for the Ghanaian apparel industry. The study makes recommendations for extending this work to other segments of the population
- …