Search

Kovir capsule, a polyherbal medicine developed from Ren Shen Bai Du San formulation, has been used in various diseases including respiratory infections. A randomized, placebo-controlled, double-blind study was conducted to evaluate the safety and efficacy of Kovir capsule (TD0069) in the treatment of mild COVID-19 patients. Patients aged from 18 to 65 years who were PCR-confirmed with SARS-CoV-2 and had the mild disease were recruited and randomized to either Kovir capsule (34 patients) or placebo (32 patients) for up to 14 days or until discharge. Efficacy outcomes were time to viral clearance, daily viral load, time to symptom resolution, daily symptom score based on 16 pre-defined symptoms, and progression to severe/critical COVID-19. Safety outcomes were adverse events. Viral load decreased over time similarly in the two groups. Viral clearance time was also similar in both groups (median: 8 days). Kovir group had a more rapid decrease of symptom score and significantly lower time to symptom resolution than placebo (median: 4 vs. 7 days). Two patients in the placebo group developed severe COVID-19. No patient experienced adverse events. Kovir capsule is safe and can improve symptom resolution in mild COVID-19 patients. A large-scale trial is required to confirm these findings.

Worldwide, energy consumption and saving represent the main challenges for all sectors, most importantly in industrial and domestic sectors. The internet of things (IoT) is a new technology that establishes the core of Industry 4.0. The IoT enables the sharing of signals between devices and machines via the internet. Besides, the IoT system enables the utilization of artificial intelligence (AI) techniques to manage and control the signals between different machines based on intelligence decisions. The paper’s innovation is to introduce a deep learning and IoT based approach to control the operation of air conditioners in order to reduce energy consumption. To achieve such an ambitious target, we have proposed a deep learning-based people detection system utilizing the YOLOv3 algorithm to count the number of persons in a specific area. Accordingly, the operation of the air conditioners could be optimally managed in a smart building. Furthermore, the number of persons and the status of the air conditioners arepublished via the internet to the dashboard of the IoT platform. The proposed system enhances decision making about energy consumption. To affirm the efficacy and effectiveness of the proposed approach, intensive test scenarios are simulated in a specific smart building considering the existence of air conditioners. The simulation results emphasize that the proposed deep learning-based recognition algorithm can accurately detect the number of persons in the specified area, thanks to its ability to model highly non-linear relationships in data. The detection status can also be successfully published on the dashboard of the IoT platform. Another vital application of the proposed promising approach is in the remote management of diverse controllable devices.

We develop a physics based analytical model for AlGaN/GaN high electron mobility transistors (HEMT and MOS-HEMT) to study the I-V characteristics, current transfer characteristics, transconductance and drain-conductance. The model is modified from a model first presented by Chang and Fetterman for AlGaAs/GaAs HEMT (Chang and Fetterman in Solid-State Electron 30(5), 1987 [1], IEEE Trans Electron Dev Ed-34(I), 1987 [2]) The linear and non-linear drain currents have been separately calculated and merged them in order to evaluate the I-V characteristics. The threshold voltage has been evaluated from current transfer characteristics plot and verified from the transconductance parameter. We also consider the effect of polarization on threshold voltage of the devices. Moreover, to prove the exactness of our model, we compare our data with our experiment data for common HEMT, Hasan’s MOS-HEMT and Yoon’s HEMT with short channel.

This presentation reports on the 2019 status and focus areas in the development of an advanced gyrotron for the European DEMOnstration Fusion Power Plant (EU DEMO). As specified within the EUROfusion Work Package Heating and Current Drive (WP HCD), the requirements for the gyrotron are as follows: (i) ≥ 2 MW of RF output power at frequencies ≥ 200 GHz; (ii) a total efficiency ≥ 60 %; (iii) the options for multiple-purpose/multi-frequency operation and fast frequency step-tunability within a limited bandwidth of approximately ± 10 GHz. To meet those targets, the R&D activities are organized in five main branches: (1) the experimental verification of the advanced coaxial-cavity gyrotron technology at long pulses; (2) the development of an advanced coaxial-cavity gyrotron that meets the EU DEMO requirements; (3) the fundamental research on multi-stage depressed collectors for enhanced energy recovery; (4) the development of large broadband diamond windows to allow for fast frequency tunability of the gyrotron: (5) the studies on further innovations and improvements of critical gyrotron components and tools in view of optimization of performance, reliability, and industrialization. Possible exchange: Within EUROfusion the EU is working on specific gyrotrons for future EU DEMO. There is a collaboration possible. Additionally, the different institutions within EU are open for any discussion on possible collaboration with regards to tools developments, development of future high-power high-frequency gyrotron teststands, measurements technologies and prospective R&D of further advances in gyrotron technology. If the collaboration is performed within EUROfusion, then the topics will be in line with the approved WPHCD work program.

___

In mobile communication environments, handover is a very important process to maintain mobile host’s connections to the network. Although a lot of researchers have tried to improve the handover performance, little deployment to satisfy the users can be seen in the real network due to the modification costs. In the current age, the existence of network with different radio access technologies has created a heterogeneous environment. Moreover, the mobile hosts available to users are becoming more sophisticated, which opens the opportunity for end-point approaches to alleviate the deployment issues. Furthermore, real-time applications such as VoIP and video conference are delay and quality sensitive, but not much research has considered qualitative requirement. Hence, a suitable technique is needed to alleviate the deployment issues as well as to cope with the stringent requirements of real-time applications. This paper presents a new end-point centric handover approach based on the ant colony probabilistic equation that utilizes the received signal strength and the mean opinion score to trigger the handover. Some simulations were conducted using OMNeT++ to measure the effectiveness of the proposed approach comparing with an existing method, the Endpoint Centric Handover (ECHO). The results show that the proposed approach has better performance compared to the ECHO.

Improvements of Heating & Current Drive (H&CD) systems are being investigated for a demonstration fusion power plant DEMO to deliver net electricity for the grid around 2050 [1]. Compared to ITER, which has to show the generation of 500 MW thermal power, the target of DEMO is the successful production of 300 to 500 MW electrical power to the grid and to aim for a self-sufficient Tritium fuel cycle [2]. Three H&CD systems are under development for DEMO in Europe, the Electron Cyclotron (EC) System, the Neutral Beam Injection (NBI) System and the Ion Cyclotron (IC) System. Based on present studies [3] for plasma ramp-up, ramp-down and flat top phases, to be further validated in more detailed simulations, the assumed total launched power needed from the H&CD system in DEMO is in the range of 50-100 MW, to be provided for plasma heating and control. Among other topics, the paper describes the new designs and R&D status of H&CD systems considered for their deployment in DEMO in Europe and the impact of the H&CD configurations on their performances based on those areas described in the European fusion electricity roadmap [4] for the integrated design and system development. These configurations encompass the operation of NBI with reduced Caesium consumption, with modular ion sources and improved injector wall-plug efficiencies, EC system with increased gyrotron frequencies above ITER ones, as well as multi-purpose and frequency step-tunable radio frequency sources, and related strategies for the fabrication of large Brewster angle diamond windows, together with EC launcher designs compatible with a fusion power plant environment, avoiding front-steering by using different launcher concepts. The project also elaborates on new solutions to further increase the wall-plug efficiencies of H&CD systems based on more advanced concepts, with the target to reduce the recirculating power fraction in future fusion power plants. Different studies under investigation will be discussed such as, for NBI, the photo-neutralization and, for EC, new concepts for gyrotron multi-stage depressed collector. This work has been carried out within the framework of the EUROfusion Consortium and has received funding from the Euratom research and training programme 2014-2018 under grant agreement No 633053. The views and opinions expressed herein do not necessarily reflect those of the European Commission. With special thanks to whole WPHCD team for the durable, constructive and fruitful collaboration. [1] Federici, G., et al., ´Overview of EU DEMO design and R&D activities´, Fus. Eng. Design, vol. 89, pp. 882-889, 2014 Wenninger, R., et al., 'The physics and technology basis entering European system code studies for DEMO', Nucl. Fusion 57, 016011, 2017 Vincenzi, P., et al, ´EU DEMO transient phases: main constraints and heating mix studies for rampup and ramp-down', SOFT 2016, accepted for publication in Fus. Eng. Design Romanelli, F., et al., ´Fusion electricity: a roadmap to the realisation of fusion energy´, EFDA, Nov. 2012

Zur Beherrschung der wachsenden Komplexität und zur Verkürzung der Entwicklungszeiten werden Steuer- und Regelsysteme in Fahrzeugen heute zunehmend modellbasiert entwickelt. Dabei werden Algorithmen als Blockdiagramme erstellt, welche aus Blöcken und Linien bestehen. Modelle können simuliert und so validiert werden. Darüber hinaus lassen sich aus den Modellen Programme für Steuergeräte in Fahrzeugen mithilfe von Codegeneratoren automatisch generieren. Hierbei hat sich MATLAB (MATrix LABoratory)/Simulink als De-facto-Standard etabliert. Bei der Erstellung und Überarbeitung von Simulink-Modellen wird die Modellstruktur häufig verändert und erweitert. Während es bereits Refactoring-Ansätze für objektorientierte Programmiersprachen wie Java und C# und für funktionale Programmiersprachen wie Haskell und Scala gibt, fehlt ein vergleichbares, integrales und durchgehendes Verfahren für Simulink-Modelle. Der erste Beitrag dieser Arbeit ist ein automatisiertes Verfahren zum Refactoring von Simulink-Modellen. Ein Bestandteil dieses Verfahrens ist ein Katalog von Operationen, welche für das Refactoring von Simulink-Modellen genutzt werden können. Zur Spezifikation von den Operationen sind sowohl eine Technik zur Analyse als auch eine Technik zur Transformation von Simulink-Modellen in einer einheitlichen Notation erarbeitet. Um Modelle während der Erstellung effizienter nachvollziehen zu können, insbesondere hinsichtlich der Signalflüsse und Schnittstellen, dienen in dieser Arbeit erweiterte Analyseoperationen. Mithilfe dieser Analyseoperationen ist es dem Modellierer möglich, Einsatzmöglichkeiten für Refactoring besser zu erkennen. Diese erweiterten Analyseoperationen sind der zweite Beitrag dieser Arbeit. Der letzte Beitrag dieser Arbeit ist eine Technik zur Erkennung und Handhabung von Model Smells nach der Modellerstellung. Als Model Smell wird ein Hinweis auf ein strukturelles Defizit bezeichnet, welches die Modellstruktur negativ beeinflusst. Zur Beseitigung von solchen Model Smells dienen die Refactoring-Operationen aus dem ersten Beitrag. Software has become the centerpiece of most control systems in cars. For the development of software for control systems, model-based software engineering (MBSE) has been widely employed, since it promises an increase in efficiency and quality of software development. In particular, the algorithm of a control system is usually modeled as dataflow-oriented block diagrams, called models. The models can be simulated to validate their behavior. Furthermore, software can be generated directly from the models by automated code generators. The tool MATLAB Simulink by The Mathworks has become a de facto standard for MBSE in the automotive domain. The creation and maintenance of a model typically require lots of structural changes to the model. In the world of object-oriented and functional programming languages, refactoring has become an established technique for improving the structural quality of code. With refactoring, the structure of a code body is improved through small restructuring steps without its external behavior being altered. Refactoring Simulink models by restructuring their structure is also a highly frequent activity. Today, due to the lack of tool support, the process of time-consuming and error-prone refactoring of Simulink models must be done manually. As a first contribution, this thesis describes a refactoring approach to automated refactoring of Simulink models. In particular, a catalog of refactoring operations are introduced that can be used to refactoring different aspects of a Simulink model such as structural hierarchy, signal structuring, interface and signal routing. As a second contribution, the thesis introduces several advanced analysis operations for Simulink models. The operations can be used to make signal flow, interface and interaction between parts of a model more explicit. With the help of these operations, the modeler can comprehend a complex model more efficiently and thus has a better of chance of spotting refactoring opportunities. As a last contribution, the thesis introduces a technique for detection and handling of model smells for Simulink models. Model smell is referred to as a indicator for a structural deficit that has a negative impact on the quality of the model structure. Refactoring operations are recommended for eliminating the model smells.

Background (BG) traffic generated automatically by applications or the operating system on devices is delay-insensitive traffic as it does not immediately affect user experiences. However, this traffic may significantly contend network resources with foreground (FG) traffic which conveys data/content to users. This contention directly affects the QoS and QoE of network services, specifically at the peak times. This paper proposes an integration approach to which delay-insensitive traffic is quickly detected and effectively transferred in accordance with the network conditions hence the best resources are yielded to FG traffic. For the traffic transferring, we propose two methods namely the router centric (RC) and the SDN-based approaches. In the RC method, the edge routers analyze network conditions, compute the suggested sending rates for individual traffic flows and send these values back to clients where the adjustment mechanisms are implemented. In the SDN-based method the course of actions for each traffic flow is computed by a remote controller. Experimental results reveal the effectiveness and the feasibility of the proposed approaches.

MathScheme is a long-range research project being conducted at McMaster University with the aim to develop a mechanized mathematics system in which formal deduction and symbolic computation are integrated from the lowest level. The novel notion of a biform theory that is a combination of an axiomatic theory and an algorithmic theory is used to integrate formal deduction and symbolic computation into a uniform theory. A major focus of the project has currently been on building a library of formalized mathematics called the MathScheme Library. The MathScheme Library is based on the little theories method in which a portion of mathematical knowledge is represented as a network of biform theories interconnected via theory morphisms. In this thesis, we describe a systematic explanation of the underlying techniques which have been used for the construction of the MathScheme Library. Then we describe several algebraic constructions that can derive new useful machinery by leveraging the information extracted from a theory. For instance, we show a construction that can reify the term algebra of a (possibly multi-sorted) theory as an inductive data type. Master of Science (MSc)