Design framework for robotic surgery wards at hospitals:Computational implementation

Robotic surgery is one of the most recent technologies in healthcare building field.Due to the design complexity of Robotic surgery wards,computational implementations are being developed to either measure the effect of inserting advanced technologies as Electronic medical recorders and tele surgery,or evaluate design alternatives on healthcare building.This paper presents a design framework that responds to the need for coordinating design phases for Robotic Surgery Wards(RSWs)computationally.This proposed design framework for RSWs can generate functional RSW alternatives and more than one solution for each alternative.The framework has been structured based on the main architectural considerations of RSWs which are geom etric and topological,the economic considerations,specific developed pools for shape and corridor patterns,and the theory of,fShape Grammars"has been utilized to compute the framework to generate a vast number of design alternatives.Accordingly,a computational implementation has been established to assist designers in early design stages.Numerical validation for the applications of the developed framework and implementation has been conducted by using reference examples of RSWs.The main finding in this paper is providing healthcare building designers with a computational implementation that generates RSW alternative computationally based on specific shape and cost levels.

On the notions of normality, locality, and operational stability in ADRC

Treating plant dynamics as an ideal integrator chain disturbed by the total disturbance is the hallmark of active disturbance rejection control(ADRC).To interpret its effectiveness and success,to explain why so many vastly different dynamic systems can be treated in this manner,and to answer why a detailed,accurate,and global mathematical model is unnecessary,is the target of this paper.Driven by a motivating example,the notions of normality and locality are introduced.Normality shows that,in ADRC,the plant is normalized to an integrator chain,which is called local nominal model and locally describes the plant’s frequency response in the neighborhood of the expected gain crossover frequency.Locality interprets why ADRC can design the controller only with the local information of the plant.With normality and locality,ADRC can be effective and robust,and obtain operational stability discussed by T.S.Tsien.Then viewing proportional-integral-derivative(PID)control as a low-frequency approximation of second-order linear ADRC,the above results are extended to PID control.A controller design framework is proposed to obtain the controller in three steps:(1)choose an integrator chain as the local nominal model of the plant;(2)select a controller family corresponding to the local nominal model;and(3)tune the controller to guarantee the gain crossover frequency specification.The second-order linear ADRC and the PID control are two special cases of the framework.

Aided innovative design of bathroom products based on artificial intelligence technology

Artificial intelligence technology, mainly refers to strengthening the artificial way, so as to combinecomputer technology with product design. Firstly, the auxiliary innovation of bathroomproducts based on artificial intelligence technology is proposed, then the user characteristicsare analysed, and the auxiliary design framework of bathroom products is designed. Finally, theinnovation model is established to realise the auxiliary innovation design of bathroom products.Experimental results show that the proposed method can effectively improve the interactionefficiency and response time, and reduce the false response.

Aerodynamic design of tractor propeller for high-performance distributed electric propulsion aircraft

Aiming to maximize the aerodynamic performance of the Distributed Electric Propulsion(DEP)aircraft,a hybrid design framework which focuses on the aerodynamic performance of the propeller/wing integration has been developed and validated numerically.Variable-fidelity modelling for propeller aerodynamics has been used to achieve computational efficiency with reasonable accuracy.By optimizing the aerodynamic loading distributions on the tractor propeller disk,the induced slipstream is redistributed into a form that is beneficial for the wing downstream,based on which the propeller blade geometry is generated through a rapid inversed design procedure.As compared with the Minimum Induced Loss(MIL)propeller at a specified thrust level,significant improvements of both the lift-to-drag ratio of the wing and the propeller/wing integrated aerodynamic efficiency is achieved,which shows great promise to deliver aerodynamic benefits for the wing within the propeller slipstream without any additional devices.

Cyber-applications as gateway to data-rich Digital Earth systems

The underlying vision of the Digital Earth(DE)calls for applications that can embed vast quantities of geo-referenced data and allow users to study and analyse of our planet.Since the declaration of this vision in the late 90s,a significant number of DE data-sets have been created by the industry,governments,non-governmental organisations and individuals.An overwhelming majority of the successful applications that use DE data-sets has its end-user applications running on the desktop.While these applications are great tools,they remain inaccessible to the community as a whole.In this paper,we present a framework for the development of cyber-applications.We define an abstract architecture for cyber-applications based on the model-view-controller paradigm,which allows the dynamic inclusion of functional and data components into its execution engine at run-time.We define the operational characteristics of cyber-applica-tions.We also specify the interface of pluggable components to the architecture.Finally,we demonstrate the appropriateness of the abstract architecture by means of a case study.

Deriving invariant checkers for critical infrastructure using axiomatic design principles

Cyber-physical systems(CPSs)in critical infrastructure face serious threats of attack,motivating research into a wide variety of defence mechanisms such as those that monitor for violations of invariants,i.e.logical properties over sensor and actuator states that should always be true.Many approaches for identifying invariants attempt to do so automatically,typically using data logs,but these can miss valid system properties if relevant behaviours are not well-represented in the data.Furthermore,as the CPS is already built,resolving any design flaws or weak points identified through this process is costly.In this paper,we propose a systematic method for deriving invariants from an analysis of a CPS design,based on principles of the axiomatic design methodology from design science.Our method iteratively decomposes a high-level CPS design to identify sets of dependent design parameters(i.e.sensors and actuators),allowing for invariants and invariant checkers to be derived in parallel to the implementation of the system.We apply our method to the designs of two CPS testbeds,SWaT and WADI,deriving a suite of invariant checkers that are able to detect a variety of single-and multi-stage attacks without any false positives.Finally,we reflect on the strengths and weaknesses of our approach,how it can be complemented by other defence mechanisms,and how it could help engineers to identify and resolve weak points in a design before the controllers of a CPS are implemented.