Effect of mix design inputs,curing and compressive strength on the durability of Na2SO4-activated high volume fly ash concretes

This paper aims to advance research on the use in concrete of a high volume of fly ash, with a high loss on ignition value, aiding in sustainable low carbon footprint construction. To this end, the work explores the benefits that may be achieved in terms of long-term concrete performance from the incorporation of fly ash along with a chemical activator. Durability tests are performed on concrete with an activated hybrid cementitious system: Portland cement (PC) and high volume fly ash with sodium sulfate. The chloride diffusion coefficient significantly decreased over time for the activated system (50% PC - 50% fly ash with added sodium sulfate) compared to the control samples (100% PC and 80% PC - 20% fly ash) at the same water to cementitious material ratio. This behavior is particularly evident in samples cured under controlled laboratory conditions (100% RH and 23 °C). However, outdoor curing increases the permeability for all concretes. Long term carbonation is also investigated under natural exposure conditions, and samples that are cured outdoors exhibit a significant carbonation depth. The compressive strength is correlated with the durability parameters: the durability performance improves as the compressive strength increases, indicating that as is the case for Portland cement (but not always for alkali-activated binders), the microstructural factors which yield high strength are also contributing to durability properties.     

Influence of thermomechanical processing parameters on critical temperatures to develop an Advanced High-Strength Steel microstructure

Journal of Materials Science - A good selection of the thermomechanical processing parameters will optimize the function of alloying elements to get the most of mechanical properties in Advanced...     

Systematic and effective embedding of feedforward of target information into MPC

ABSTRACT

Discussions on how to make effective use of advance information on target changes are discussed relatively rarely in the predictive control literature. While earlier work has indicated that the default solutions from conventional predictive control algorithms are often poor, very little work has proposed systematic alternatives. This paper proposes an embedding structure for utilising advance information on target changes within an optimum predictive control law. The proposed embedding is shown to be systematic and beneficial. Moreover, it allows for easy extension to deal with more challenging scenarios such as unreachable set points and guarantees of convergence/stability in the uncertain case.     

Investigation on chatter stability of robotic rotary ultrasonic milling

In recent years, industrial robots with higher flexibility and lower cost have become a hot topic in the manufacturing field. In terms of practical machining applications, they are mainly employed in the situations with low cutting forces such as deburring, chamfering and polishing. However, the weak stiffness of robot induces milling chatter easily. Severe chatter not only damages the dimensional accuracy of parts, but also decreases machining efficiency and tool life. Thus, it is urgent to seek a new method to suppress robotic milling chatter. In this paper, robotic rotary ultrasonic milling (RRUM) technology is used to restrict machining vibration. Meantime, an analytical model of stability is developed. Robotic milling system is considered as a three degrees of freedom (3-DOF) model. After that, based on analysis of dynamic chip thickness, a linear force model is developed through defining an angle γ affected by ultrasonic vibration. Then, the semi-discretization method (SDM) is applied to obtain stability lobe diagrams. The analysis result indicates that stability region of RRUM is improved by 133% compared with robotic conventional milling (RCM). Finally, verification experiments are carried out to prove the rationality and effectiveness of these stability lobe diagrams.     

Legal framework for small autonomous agricultural robots

Legal structures may form barriers to, or enablers of, adoption of precision agriculture management with small autonomous agricultural robots. This article develops a conceptual regulatory framework for small autonomous agricultural robots, from a practical, self-contained engineering guide perspective, sufficient to get working research and commercial agricultural roboticists quickly and easily up and running within the law. The article examines the liability framework, or rather lack of it, for agricultural robotics in EU, and their transpositions to UK law, as a case study illustrating general international legal concepts and issues. It examines how the law may provide mitigating effects on the liability regime, and how contracts can be developed between agents within it to enable smooth operation. It covers other legal aspects of operation such as the use of shared communications resources and privacy in the reuse of robot-collected data. Where there are some grey areas in current law, it argues that new proposals could be developed to reform these to promote further innovation and investment in agricultural robots.

     

数据驱动的工业过程运行监控与自优化研究展望

现代工业过程向大规模、连续化、集成化方向发展,有必要对生产全流程运行的决策、协同控制、底层控制进行有效监控,也是当前国际控制领域的研究热点.本文首先分析了工业过程全流程运行监控的内涵与行业现状;其次,阐述了基于模型的控制系统故障诊断与容错控制方法,以及数据驱动的异常工况诊断与自愈控制方法的研究现状,并指明了信息物理系统（Cyber-physical systems,CPS）时代智能安全运行监控与自优化的发展机遇;最后,论述了工业过程运行监控与自优化研究的新方向和最新进展,包括:1）数据驱动的决策、协同控制、底层控制多层面联合监控;2）基于机理、数据、知识多源动态信息融合的异常工况诊断;3）专家知识与控制手段相结合的协同层自愈控制;4）数据驱动的运行动态性能分析与自优化;5）支撑运行监控与自优化系统的实现技术.     

Theoretically optimal bracing for pre-existing building frames

Bracing is commonly used to provide resistance to lateral forces in building structures. However, traditional bracing design approaches appear not to be underpinned by clear fundamental principles. Here, theoretically optimal arrangements of bracing members are sought for pre-existing building frames, already designed to carry gravity loads. For sake of simplicity existing frame elements are assumed to be capable of carrying additional loads and three types of bracing are considered: tension only bracing, bracing intersecting only at the corners of the existing frame, and unconstrained optimal bracing, where bracing elements can intersect at any location. Layout optimization techniques are used to identify initial design solutions; these are then related to Michell trusses to obtain exact reference volumes, against which the efficiency of other bracing layouts can be judged. It is shown that from a theoretical standpoint tension only bracing is inefficient and that the optimal angle of intersection between a pre-existing frame member and intersecting tension/compression bracing member pairs is 45^°, something that can potentially be adopted as a basic principle when designing bracing for a pre-existing frame.     

Developing a pragmatic evaluation of ICTs for older adults with cognitive impairment at scale: the IN LIFE experience

Implementing information and communications technology (ICT) at scale requires evaluation processes to capture the impact on users as well as the infrastructure into which it is being introduced. For older adults living with cognitive impairment, this requires evaluation that can accommodate different levels of cognitive impairment, alongside input from family and formal caregivers, plus stakeholder organisations. The European Horizon 2020 project INdependent LIving support Functions for the Elderly (IN LIFE) set out to integrate 17 technologies into a single digital platform for older people living with cognitive impairment plus their families, care providers and stakeholders. The IN LIFE evaluation took place across six national pilot sites to examine a number of variables including impact on the users, user acceptance of the individual services and the overall platform, plus the economic case for the IN LIFE platform. The results confirmed the interest and need among older adults, family caregivers, formal caregivers and stakeholders, for information and communications technology (ICT). Relative to the baseline, quality of life improved and cognition stabilised; however, there was an overall reluctance to pay for the platform. The findings provide insights into existing barriers and challenges for adoption of ICT for older people living with cognitive impairment.

     

The multi-modal interface of Robot-Era multi-robot services tailored for the elderly

Socially assistive robotic platforms are now a realistic option for the long-term care of ageing populations. Elderly users may benefit from many services provided by robots operating in different environments, such as providing assistance inside apartments, serving in shared facilities of buildings or guiding people outdoors. In this paper, we present the experience gained within the EU FP7 ROBOT-ERA project towards the objective of implementing easy-to-use and acceptable service robotic system for the elderly. In particular, we detail the user-centred design and the experimental evaluation in realistic environments of a web-based multi-modal user interface tailored for elderly users of near future multi-robot services. Experimental results demonstrate positive evaluation of usability and willingness to use by elderly users, especially those less experienced with technological devices who could benefit more from the adoption of robotic services. Further analyses showed how multi-modal modes of interaction support more flexible and natural elderly–robot interaction, make clear the benefits for the users and, therefore, increase its acceptability. Finally, we provide insights and lessons learned from the extensive experimentation, which, to the best of our knowledge, is one of the largest experimentation of a multi-robot multi-service system so far.     

Modelling,validating, and ranking of secure service compositions

In the world of large‐scale applications, software as a service (SaaS) in general and use of microservices, in particular, is bringing service‐oriented architectures to a new level: Systems in general and systems that interact with human users (eg, sociotechnical systems) in particular are built by composing microservices that are developed independently and operated by different parties. At the same time, SaaS applications are used more and more widely by enterprises as well as public services for providing critical services, including those processing security or privacy of relevant data. Therefore, providing secure and reliable service compositions is increasingly needed to ensure the success of SaaS solutions. Building such service compositions securely is still an unsolved problem. In this paper, we present a framework for modelling, validating, and ranking secure service compositions that integrate both automated services as well as services that interact with humans. As a unique feature, our approach for ranking services integrates validated properties (eg, based on the result of formally analysing the source code of a service implementation) as well as contractual properties that are part of the service level agreement and, thus, not necessarily ensured on a technical level.