检索结果-内蒙古大学图书馆

Conceptual Foundations of the Use of Formal Models and Methods for the Rapid Creation of Web Applications

学校读者我要写书评

暂无评论

Conceptual Foundations of the Use of Formal Models and Metho...

IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems

作者： Sergii Telenyk Grzegorz Nowakowski Eduard Zharikov Jewhenii Vovk Department of Theoretical Electrical Engineering and Computer Science Faculty of Electrical and Computer Engineering Cracow University of Technology Department of Automatic Control and Information Technology Faculty of Electrical and Computer Engineering Cracow University of Technology Department of Automation and Control in Technical Systems National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"

ISBN: (纸本)9781728140704

The problem of the rapid creation of effective web applications of one class using formal means is considered. A conceptual approach to its solution is offered based on an analysis of the peculiarities of the construction of web applications. Our approach is based on defining the standard web application architecture and selecting its components using formal methods in accordance with user requirements. A formal logical system is proposed that uses the design of web applications as a process of outputting a formula specified according to the needs of the user, which defines the schemes of execution of the modules of the system. An important feature of this approach is the ability to visualise the process of designing the system in 3D, which creates the conditions for effective interaction between developers and machine development tools.

关键词： Web-applications Application construction Business processes Mathematical logic web applications Mathematical logic conceptual User needs Developers

control design considering magnetic flux characteristic uncertainty for magnetic levitation system with magnetic flux and current feedback

学校读者我要写书评

暂无评论

IEEJ Transactions on Electronics, Information and Systems

IEEJ Transactions on Electronics, Information and Systems 2019年第10期139卷 1159-1166页

作者： Urasaki, Shinpachiro Kobayashi, Yoshimitsu Kami, Yasushi Mitani, Yuichiroh Nobuyama, Eitaku Department of Electronic Control Engineering National Institute of Technology Gifu College 2236-2. Kamimakuwa. Motosu. Gifu 501-0495 Japan Department of Electrical and Computer Engineering National Institute of Technology Akashi College 679-3. Nishioka. Uozumi Akashi. Hyogo674-8501 Japan Department of Mechanical Engineering National Institute of Technology Numazu College 3600. Ooka. Numazu Shizuoka410-8501 Japan Department of Systems Innovation and Informatics Faculty of Computer Science and System Engineering Kyushu Institute of Technology 680-4.Kawazu. Iizuka Fukuoka820-8502 Japan

This paper describes control design considering magnetic flux characteristic uncertainty for magnetic levitation system with magnetic flux and current feedback. The position of the levitated object is calculated from the hall voltage and current of the electromagnet. We show the uncertainty for magnetic flux characteristic and design the stabilizing controller by proportional feedback with the hall voltage and current. Moreover, we tried to design servo controller by two-degree-of-freedom control by using a finite number of frequency response (FNFR) model including the uncertainty and confirmed the validity of the proposed method by experiment results. © 2019 The Institute of Eleclrical Engineers of Japan.

关键词： Frequency response

Benchmark problems for transcranial ultrasound simulation: Intercomparison of compressional wave models

学校读者我要写书评

暂无评论

arXiv 2022年

作者： Aubry, Jean-Francois Bates, Oscar Boehm, Christian Pauly, Kim Butts Christensen, Douglas Cueto, Carlos Gélat, Pierre Guasch, Lluis Jaros, Jiri Jing, Yun Jones, Rebecca Li, Ningrui Marty, Patrick Montanaro, Hazael Neufeld, Esra Pichardo, Samuel Pinton, Gianmarco Pulkkinen, Aki Stanziola, Antonio Thielscher, Axel Treeby, Bradley Van't Wout, Elwin Physics for Medicine Paris INSERM U1273 ESPCI Paris PSL University CNRS UMR 8063 France Department of Bioengineering Imperial College London Exhibition Road LondonSW7 2AZ United Kingdom Institute of Geophysics ETH Zürich Sonneggstrasse 5 Zürich8092 Switzerland Department of Radiology Stanford University StanfordCA United States Department of Biomedical Engineering Department of Electrical and Computer Engineering University of Utah United States Department of Surgical Biotechnology Division of Surgery and Interventional Science University College London LondonNW3 2PF United Kingdom Earth Science and Engineering Department Imperial College London London United Kingdom Centre of Excellence IT4Innovations Faculty of Information Technology Brno University of Technology Bozetechova 2 Brno612 00 Czech Republic Graduate Program in Acoustics The Pennsylvania State University University Park PA16802 United States Joint Department of Biomedical Engineering University of North Carolina at Chapel Hill North Carolina State University NC United States Department of Electrical Engineering Stanford University StanfordCA United States Zurich Switzerland Laboratory for Acoustics / Noise control Empa Swiss Federal Laboratories for Materials Science and Technology Dubendorf Switzerland Zurich Switzerland Radiology and Clinical Neurosciences Departments Cumming School of Medicine University of Calgary Canada Department of Applied Physics University of Eastern Finland Kuopio70211 Finland Department of Medical Physics and Biomedical Engineering University College London Gower Street LondonWC1E 6BT United Kingdom Technical University of Denmark Denmark Danish Research Center for Magnetic Resonance Copenhagen University Hospital Hvidovre Denmark Institute for Mathematical and Computational Engineering School of Engineering and Faculty of Mathematics Pontificia Universidad Catolica de Chile Santiago Chile

Computational models of acoustic wave propagation are frequently used in transcranial ultrasound therapy, for example, to calculate the intracranial pressure field or to calculate phase delays to correct for skull distortions. To allow intercomparison between the different modeling tools and techniques used by the community, an international working group was convened to formulate a set of numerical benchmarks. Here, these benchmarks are presented, along with intercomparison results. Nine different benchmarks of increasing geometric complexity are defined. These include a single-layer planar bone immersed in water, a multi-layer bone, and a whole skull. Two transducer configurations are considered (a focused bowl and a plane piston), giving a total of 18 permutations of the benchmarks. Eleven different modeling tools are used to compute the benchmark results. The models span a wide range of numerical techniques, including the finite-difference time-domain method, angular-spectrum method, pseudospectral method, boundary-element method, and spectral-element method. Good agreement is found between the models, particularly for the position, size, and magnitude of the acoustic focus within the skull. When comparing results for each model with every other model in a cross comparison, the median values for each benchmark for the difference in focal pressure and position are less than 10% and 1 mm, respectively. The benchmark definitions, model results, and intercomparison codes are freely available to facilitate further comparisons. Copyright © 2022, The Authors. All rights reserved.

关键词： Bone

Regular path-constrained time-optimal control problems in three-dimensional flow fields

学校读者我要写书评

暂无评论

arXiv 2019年

作者： Chertovskih, R. Karamzin, D. Khalil, N.T. Pereira, F.L. Electrical and Computer Engineering Department Faculty of Engineering University of Porto 4200-465 Portugal Federal Research Center "Computer Science and Control" Russian Academy of Science Moscow Russia

This article concerns a class of time-optimal state constrained control problems with dynamics defined by an ordinary differential equation involving a three-dimensional steady flow vector field. The problem is solved via an indirect method based on the maximum principle in Gamkrelidze's form. The proposed computational method essentially uses a certain regularity condition imposed on the data of the problem. The property of regularity guarantees the continuity of the measure multiplier associated with the state constraint, and ensures the appropriate behavior of the corresponding numerical procedure which, in general, consists in computing the entire field of extremals for the problem in question. Several examples of vector fields are considered to illustrate the computational *** Codes 49K15, 49M05 Copyright © 2019, The Authors. All rights reserved.

关键词： Maximum principle

White paper on broadband connectivity in 6G

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Rajatheva, Nandana Atzeni, Italo Björnson, Emil Bourdoux, André Buzzi, Stefano Doré, Jean-Baptiste Erkucuk, Serhat Fuentes, Manuel Guan, Ke Hu, Yuzhou Huang, Xiaojing Hulkkonen, Jari Jornet, Josep Miquel Katz, Marcos Nilsson, Rickard Panayirci, Erdal Rabie, Khaled Rajapaksha, Nuwanthika Salehi, MohammadJavad Sarieddeen, Hadi Svensson, Tommy Tervo, Oskari Tölli, Antti Wu, Qingqing Xu, Wen Centre for Wireless Communications University of Oulu Finland Linköping University Sweden IMEC Belgium Department of Electrical and Information Engineering University of Cassino and Southern Latium Italy CEA-Leti France Department of Electrical and Electronics Engineering Kadir Has University Turkey Institute of Telecommunications and Multimedia Applications Universitat Politecnica de Valencia Spain State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing Engineering Research Center of High-speed Railway Broadband Mobile Communications China Algorithm Department ZTE Corporation China School of Electrical and Data Engineering Faculty of Engineering and Information Technology University of Technology Sydney Australia Nokia Bell Labs Finland Department of Electrical and Computer Engineering Institute for the Wireless Internet of Things Northeastern University United States Department of Computer Science Electrical and Space Engineering Luleå University of Technology Sweden Department of Engineering Manchester Metropolitan University United Kingdom Division of Computer Electrical and Mathematical Sciences and Engineering King Abdullah University of Science and Technology Saudi Arabia Department of Electrical Engineering Chalmers University of Technology Sweden Department of Electrical and Computer Engineering National University of Singapore Singapore Huawei Technologies Germany

This white paper explores the road to implementing broadband connectivity in future 6G wireless systems. Different categories of use cases are considered, from extreme capacity with peak data rates up to 1 Tbps, to raising the typical data rates by orders-of-magnitude, to support broadband connectivity at railway speeds up to 1000 km/h. To achieve these goals, not only the terrestrial networks will be evolved but they will also be integrated with satellite networks, all facilitating autonomous systems and various interconnected structures. We believe that several categories of enablers at the infrastructure, spectrum, and protocol/algorithmic levels are required to realize the intended broadband connectivity goals in 6G. At the infrastructure level, we consider ultra-massive MIMO technology (possibly implemented using holographic radio), intelligent reflecting surfaces, user-centric and scalable cell-free networking, integrated access and backhaul, and integrated space and terrestrial networks. At the spectrum level, the network must seamlessly utilize sub-6 GHz bands for coverage and spatial multiplexing of many devices, while higher bands will be used for pushing the peak rates of point-to-point links. The latter path will lead to THz communications complemented by visible light communications in specific scenarios. At the protocol/algorithmic level, the enablers include improved coding, modulation, and waveforms to achieve lower latencies, higher reliability, and reduced complexity. Different options will be needed to optimally support different use cases. The resource efficiency can be further improved by using various combinations of full-duplex radios, interference management based on rate-splitting, machine-learning-based optimization, coded caching, and broadcasting. Finally, the three levels of enablers must be utilized not only to deliver better broadband services in urban areas, but also to provide full-coverage broadband connectivity must be one of the k

关键词： Visible light communication

Nonlinear Virtual Inertia control of WTGs for Enhancing Primary Frequency Response and Suppressing Drive-Train Torsional Oscillations

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Liu, Bi Huang, Qi Zhao, Junbo Milano, Federico Zhang, Yingchen Sichuan Provincial Key Lab of Power System Wide-area Measurement and Control University of Electronic Science and Technology of China Chengdu Sichuan611731 China Department of Electrical and Computer Engineering Mississippi State University StarkvilleMS39762 United States School of Electrical and Electronic Engineering University College Dublin Dublin Ireland National Renewable Energy Laboratory GoldenCO80401 United States

Virtual inertia controllers (VICs) for wind turbine generators (WTGs) have been recently developed to compensate the reduction of inertia in power systems. However, VICs can induce low frequency torsional oscillations of the drive train of WTGs. This paper addresses this issue and develops a new nonlinear VIC based on objective holographic feedbacks theory. This approach allows transforming the original nonlinear control into a completely controllable system of Brunovsky’s type. Simulation results under various scenarios demonstrate that the proposed method outperforms existing VICs in terms of suppression of low frequency drive-train torsional oscillations, enhancement of system frequency nadir as well as fast and smooth recovery of WTG rotor speed to the original MPP point before the disturbance. The proposed method is also able to coordinate multiple WTGs. Copyright © 2020, The Authors. All rights reserved.

关键词： Frequency response

Hierarchic Stabilization of Flying Convex-Path-Following Formations Part II: Underactuated Agents

学校读者我要写书评

暂无评论

IFAC-PapersOnLine 2019年第12期52卷 352-357页

作者： Mohamed I. El-Hawwary Department of Electrical Power Engineering Faculty of Engineering Cairo University Giza 12613 Egypt Division of Decision and Control Systems School of Electrical Engineering & Computer Science KTH Royal Institute of Technology SE-100 44 Stockholm Sweden

In this paper the flying convex-path-following formations problem (FCxPFF) is solved for two cases of underactuated rigid bodies. In the first case the the rigid bodies have a single degree of underactuation with two thrusts and three torques. In the second, they have two degrees of underactuation with a single thrust. The solution builds on the one developed for fully-actuated agents in Part I of the paper. In addition, the way the solution is tailored for underactuation relies on further utilization of hierarchic set stabilization, and reduction. Additional remarks on the benefits of the approach, and simulation results of the proposed solutions are presented.

关键词： Formation control distributed stabilization underactuated systems hierarchical control reduction

Time-Varying Convex Optimization: Time-Structured Algorithms and Applications

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Simonetto, Andrea Dall’Anese, Emiliano Paternain, Santiago Leus, Geert Giannakis, Georgios B. Optimization and Control Group of IBM Research Ireland Dublin Ireland College of Engineering and Applied Science University of Colorado BoulderCO80309 United States Department of Electrical and Systems Engineering University of Pennsylvania Faculty of Electrical Mathematics and Computer Science Delft University of Technology Delft2628CD Netherlands Digital Technology Center University of Minnesota MinneapolisMN55455 United States

Optimization underpins many of the challenges that science and technology face on a daily basis. Recent years have witnessed a major shift from traditional optimization paradigms grounded on batch algorithms for medium-scale problems to challenging dynamic, time-varying, and even huge-size settings. This is driven by technological transformations that converted infrastructural and social platforms into complex and dynamic networked systems with even pervasive sensing and computing capabilities. The present paper reviews a broad class of state-of-the-art algorithms for time-varying optimization, with an eye to both algorithmic development and performance analysis. It offers a comprehensive overview of available tools and methods, and unveils open challenges in application domains of broad interest. The real-world examples presented include smart power systems, robotics, machine learning, and data analytics, highlighting domain-specific issues and solutions. The ultimate goal is to exempify wide engineering relevance of analytical tools and pertinent theoretical foundations. Copyright © 2020, The Authors. All rights reserved.

关键词： Data Analytics

Recent advancement in Mxene-based nanomaterials for flame retardant polymers and composites

学校读者我要写书评

暂无评论

Advanced Industrial and engineering Polymer Research 2025年

作者： Yakubu Adekunle Alli Abayomi Bamisaye Onome Ejeromedoghene Olusegun Oluwaseun Jimoh Samuel Oluwadadepo Oni Gerald Chekwube Ezeamii Chukwurimazu Ozoemezim Adeniyi Sunday Ogunlaja Suraya Abdul Rashid Baljinder K. Kandola Department of Chemistry Nelson Mandela University Port Elizabeth South Africa Department of Chemistry Faculty of Natural and Applied Sciences Lead City University Ibadan Oyo State Nigeria College of Chemistry Chemical Engineering and Materials Science Soochow University 199 Renai Road 215123 Suzhou Jiangsu Province PR China Department of Pharmacology Southern Illinois University Carbondale 62702 USA Department of Physics Georgia Southern University Statesboro 30458 USA Department of Applied Instrumentation and control school of Computing Engineering and Built Environment Glasgow Caledonian University UK Department of Electrical and Computer Engineering University of Florida Institute of Nanoscience & Nanotechnology Universiti Putra Malaysia Institute for Materials Research and Innovation University of Bolton Bolton BL3 5AB UK

This review explores the advancements in MXene-based nanomaterials as flame-retardant additives for polymers and composites, driven by increasing fire safety demands across industries. It highlights the critical role of flame-retardant materials in mitigating fire hazards in structures, electronics, transportation, and textiles, emphasizing the need for innovative solutions due to stricter safety regulations. MXenes, a class of two-dimensional nanomaterials with unique structural properties such as high surface area, tunable composition, and superior thermal stability, are presented as promising candidates. The review discusses various synthesis and incorporation techniques for MXenes in polymer matrices, showcasing improvements in flame retardancy, mechanical properties, and thermal stability. Additionally, it emphasizes the multifunctionality of MXenes, which offer conductivity, electromagnetic shielding, and mechanical reinforcement alongside flame suppression. In conclusion, the review underscores MXenes' potential to address challenges in flame-retardant materials, advocating for further research to optimize their applications and explore synergies with other agents to enhance safety and sustainability in engineering materials.

关键词： MXene flame-retardant nanomaterials polymer