Adhesively-bonded GFRP-glass sandwich components for structurally efficient glazing applications

Composite sandwich structures made of thick glass face sheets adhesively-bonded to glass fibre-reinforced polymer (GFRP) core profiles have the potential to outperform existing non-composite glazing configurations but their feasibility has yet to be investigated and there are no analytical models that describe their structural response. This paper presents the new analytical models for predicting deflections and strains in adhesively-bonded GFRP-glass sandwich beams. The new analytical models successfully account for: the shear deformations of the core and adhesive layers; the local bending of the constituent parts about their centroidal axes; and the global bending of the sandwich component as a whole. The deflections and strains predicted by analytical models are validated by finite element simulations and compared with the results of destructive tests performed on adhesively-bonded GFRP-glass beams in a four-point bending configuration. The analytical models were also evaluated for alternative GFRP-glass configurations tested by others. The GFRP-glass beams specially assembled in this study confirm the physical feasibility of constructing these proposed components.The authors would like to thank the Engineering and Physical Sciences Research Council – United Kingdom for the financial support of the project

Knowledge-rich optimisation of prefabricated façades to support conceptual design

One of the principal challenges in façade design is to support the architectural intent by devising technically viable (i.e. standard-compliant and manufacturable) solutions from as early as possible in the design stage. This is increasingly relevant as prefabricated façades increase in complexity and bespokedness in response to current societal, financial and environmental challenges. In this paper a process that addresses this challenge is presented. The process consists of two sub-processes 1) to build product-oriented knowledge bases and digital tools for supporting design on a project-by-project basis and 2) to help designers identify a set of optimal solutions that consider the façade-specific trade-off between architectural intent and performance requirements, while meeting the largest number of production-related constraints. This process was applied to a case study and the results were compared with those obtained from a recently-developed façade. It was found that, although the proposed process produces optimal solutions that are approximated, designers can benefit from more control over the product’s manufacturability, performance and architectural intent in less time.Laing O'Rourke pl

Digitalized manufacturing logistics in engineer-to-order operations

This is a post-peer-review, pre-copyedit version of an article published in Advances in Production Management Systems. Production Management for the Factory of the Future. APMS 2019. IFIP Advances in Information and Communication Technology, vol. 566. The final authenticated version is available online at: https://doi.org/10.1007/978-3-030-30000-5_71. The high complexity in Engineer-To-Order (ETO) operations causes major challenges for manufacturing logistics, especially in complex ETO, i.e. one-of-a-kind production. Increased digitalization of manufacturing logistics processes and activities can facilitate more efficient coordination of the material and information flows for manufacturing operations in general. However, it is not clear how to do this in the ETO environment, where products are highly customized and production is non-repetitive. This paper aims to investigate the challenges related to manufacturing logistics in ETO and how digital technologies can be applied to address them. Through a case study of a Norwegian shipyard, four main challenges related to manufacturing logistics are identified. Further, by reviewing recent literature on ETO and digitalization, the paper identifies specific applications of digital technologies in ETO manufacturing. Finally, by linking manufacturing logistics challenges to digitalization, the paper suggests four main features of digitalized manufacturing logistics in ETO: (i) seamless, digitalized information flow, (ii) identification and interconnectivity, (iii) digitalized operator support, and (iv) automated and autonomous material flow. Thus, the paper provides valuable insights into how ETO companies can move towards digitalized manufacturing logistics

Compound double ileoileal and ileocecocolic intussusception caused by lipoma of the ileum in an adult patient: A case report

<p>Abstract</p> <p>Introduction</p> <p>The initial diagnosis of intussusception in adults very often can be missed and cause delayed treatment and possible serious complications. We report the case of an adult patient with complicated double ileoileal and ileocecocolic intussusception.</p> <p>Case presentation</p> <p>A 46-year-old Caucasian man was transferred from the gastroenterology service to the abdominal surgery service with severe abdominal pain, nausea, and vomiting. An abdominal ultrasound, barium enema, and abdominal computed tomography scan revealed an intraluminal obstruction of his ascending colon. Plain abdominal X-rays showed diffuse air-fluid levels in his small intestine. A double ileoileal and ileocecocolic intussusception was found during an emergent laparotomy. A right hemicolectomy, including resection of a long segment of his ileum, was performed. The postoperative period was complicated by acute renal failure, shock liver, and pulmonary thromboembolism. Our patient was discharged from the hospital after 30 days. An anatomical pathology examination revealed a lipoma of his ileum.</p> <p>Conclusions</p> <p>Intussusception in adults requires early surgical resection regardless of the nature of the initial cause. Delayed treatment can cause very serious complications.</p

Handling Conflicts in Depth-First Search for LTL Tableau to Debug Compliance Based Languages

Providing adequate tools to tackle the problem of inconsistent compliance rules is a critical research topic. This problem is of paramount importance to achieve automatic support for early declarative design and to support evolution of rules in contract-based or service-based systems. In this paper we investigate the problem of extracting temporal unsatisfiable cores in order to detect the inconsistent part of a specification. We extend conflict-driven SAT-solver to provide a new conflict-driven depth-first-search solver for temporal logic. We use this solver to compute LTL unsatisfiable cores without re-exploring the history of the solver.Comment: In Proceedings FLACOS 2011, arXiv:1109.239

Mesodermal Progenitor Cells (MPCs) Differentiate into Mesenchymal Stromal Cells (MSCs) by Activation of Wnt5/Calmodulin Signalling Pathway

Mesenchymal Stromal Cells (MSCs) remain poorly characterized because of the absence of manifest physical, phenotypic, and functional properties in cultured cell populations. Despite considerable research on MSCs and their clinical application, the biology of these cells is not fully clarified and data on signalling activation during mesenchymal differentiation and proliferation are controversial. The role of Wnt pathways is still debated, partly due to culture heterogeneity and methodological inconsistencies. Recently, we described a new bone marrow cell population isolated from MSC cultures that we named Mesodermal Progenitor Cells (MPCs) for their mesenchymal and endothelial differentiation potential. An optimized culture method allowed the isolation from human adult bone marrow of a highly pure population of MPCs (more than 97%), that showed the distinctive SSEA-4+CD105+CD90(neg) phenotype and not expressing MSCA-1 antigen. Under these selective culture conditions the percentage of MSCs (SSEA-4(neg)CD105+CD90(bright) and MSCA-1+), in the primary cultures, resulted lower than 2%.We demonstrate that MPCs differentiate to MSCs through an SSEA-4+CD105+CD90(bright) early intermediate precursor. Differentiation paralleled the activation of Wnt5/Calmodulin signalling by autocrine/paracrine intense secretion of Wnt5a and Wnt5b (p<0.05 vs uncondictioned media), which was later silenced in late MSCs (SSEA-4(neg)). We found the inhibition of this pathway by calmidazolium chloride specifically blocked mesenchymal induction (ID₅₀ =  0.5 µM, p<0.01), while endothelial differentiation was unaffected.The present study describes two different putative progenitors (early and late MSCs) that, together with already described MPCs, could be co-isolated and expanded in different percentages depending on the culture conditions. These results suggest that some modifications to the widely accepted MSC nomenclature are required

Developing GUI Applications in a Verified Setting

Although there have been major achievements in verified software, work on verifying graphical user interfaces (GUI) applications is underdeveloped relative to their ubiquity and societal importance.In this paper, we present a library for the development of verified, state-dependent GUI applications in the dependently typed programming language Agda. The library uses Agda's expressive type system to ensure that the GUI, its controller, and the underlying model are all consistent, significantly reducing the scope for GUI-related bugs.We provide a way to specify and prove correctness properties of GUI applications in terms of user interactions and state transitions. Critically, GUI applications and correctness properties are not restricted to finite state machines and may involve the execution of arbitrary interactive programs. Additionally, the library connects to a standard, imperative GUI framework, enabling the development of native GUI applications with expected features, such as concurrency.We present applications of our library to building GUI applications to manage healthcare processes. The correctness properties we consider are the following: (1) That a state can only be reached by passing through a particular intermediate state, for example, that a particular treatment can only be reached after having conducted an X-Ray. (2) That one eventually reaches a particular state, for example, that one eventually decides on a treatment. The specification of such properties is defined in terms of a GUI application simulator, which simulates all possible sequences of interactions carried out by the user