Spectrum sharing for wireless communication subject to regulatory constraints on power

Spectrum is or soon will be a scarce asset, and hence methods for effciently sharing spectrum are important. Concern about the possible effects of wireless radiation on health are also growing because of the widespread and growing use of devices that communicate wirelessly. Although some of this concern can be attributed to illinformed alarm, international agreements and industry standards recognise the need for prudence in managing exposure to electromagnetic fields (EMF). When efficient shared use of spectrum is investigated, it is necessary to consider why the power available for wireless transmission is limited, and how this limitation on available power is expressed, and therefore the issue of spectrum sharing cannot be addressed without taking into account safety-related constraints on power. EMF levels need to be regulated to levels well below levels where there might be harm and therefore below the internationally agreed EMF exposure limit standards. Hence, we do not expect to see any health effects at these levels. In Chapter 3 of this dissertation, it is argued that for the safety of human health, we should assume that there must be constraints on the power, or EMF, used at each device participating in the shared communication. These constraints on EMF affect the way we share the spectrum. The way these regulations are expressed needs great care because it will have an effect on the design of the wireless communication systems. In Chapter 4, a Spread Spectrum-Orthogonal Frequency Division Multiplexing (SS-OFDM) model is developed for efficient sharing of the spectrum among nearby users. Efficient sharing is shown to be consistent with nearby WiFi domains appearing as noise to each other (which is the characteristic property of spread-spectrum). In Chapter 5, we assume that there must be constraints on the power, or EMF, used at each device participating in the shared communication. This thesis considers five different forms of power/EMF constraint and compares the sum-throughput achieved by all devices, under these different constraints. Note that the five different approaches to meeting power/EMF constraints that are considered here vary slightly in the way the constraint is expressed, but also, and this is the more significant aspect, in the way in which the constraint is enforced. These five approaches are; Carrier-Sense Multiple Access (CSMA) method, Orthogonal Frequency-Division Multiple Access (OFDMA), EMF limited, SS-OFDM, and mutually interfering. In Chapter 6, cross-subchannel noise in OFDMA is modelled, which shows that nearby systems interfere with each other to a greater degree than might be expected. Conclusions are presented in Chapter 7

Unmanned Aerial Vehicle (UAV)-Enabled Wireless Communications and Networking

The emerging massive density of human-held and machine-type nodes implies larger traffic deviatiolns in the future than we are facing today. In the future, the network will be characterized by a high degree of flexibility, allowing it to adapt smoothly, autonomously, and efficiently to the quickly changing traffic demands both in time and space. This flexibility cannot be achieved when the network’s infrastructure remains static. To this end, the topic of UAVs (unmanned aerial vehicles) have enabled wireless communications, and networking has received increased attention. As mentioned above, the network must serve a massive density of nodes that can be either human-held (user devices) or machine-type nodes (sensors). If we wish to properly serve these nodes and optimize their data, a proper wireless connection is fundamental. This can be achieved by using UAV-enabled communication and networks. This Special Issue addresses the many existing issues that still exist to allow UAV-enabled wireless communications and networking to be properly rolled out

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

Systematic Approaches for Telemedicine and Data Coordination for COVID-19 in Baja California, Mexico

Conference proceedings info: ICICT 2023: 2023 The 6th International Conference on Information and Computer Technologies Raleigh, HI, United States, March 24-26, 2023 Pages 529-542We provide a model for systematic implementation of telemedicine within a large evaluation center for COVID-19 in the area of Baja California, Mexico. Our model is based on human-centric design factors and cross disciplinary collaborations for scalable data-driven enablement of smartphone, cellular, and video Teleconsul-tation technologies to link hospitals, clinics, and emergency medical services for point-of-care assessments of COVID testing, and for subsequent treatment and quar-antine decisions. A multidisciplinary team was rapidly created, in cooperation with different institutions, including: the Autonomous University of Baja California, the Ministry of Health, the Command, Communication and Computer Control Center of the Ministry of the State of Baja California (C4), Colleges of Medicine, and the College of Psychologists. Our objective is to provide information to the public and to evaluate COVID-19 in real time and to track, regional, municipal, and state-wide data in real time that informs supply chains and resource allocation with the anticipation of a surge in COVID-19 cases. RESUMEN Proporcionamos un modelo para la implementación sistemática de la telemedicina dentro de un gran centro de evaluación de COVID-19 en el área de Baja California, México. Nuestro modelo se basa en factores de diseño centrados en el ser humano y colaboraciones interdisciplinarias para la habilitación escalable basada en datos de tecnologías de teleconsulta de teléfonos inteligentes, celulares y video para vincular hospitales, clínicas y servicios médicos de emergencia para evaluaciones de COVID en el punto de atención. pruebas, y para el tratamiento posterior y decisiones de cuarentena. Rápidamente se creó un equipo multidisciplinario, en cooperación con diferentes instituciones, entre ellas: la Universidad Autónoma de Baja California, la Secretaría de Salud, el Centro de Comando, Comunicaciones y Control Informático. de la Secretaría del Estado de Baja California (C4), Facultades de Medicina y Colegio de Psicólogos. Nuestro objetivo es proporcionar información al público y evaluar COVID-19 en tiempo real y rastrear datos regionales, municipales y estatales en tiempo real que informan las cadenas de suministro y la asignación de recursos con la anticipación de un aumento de COVID-19. 19 casos.ICICT 2023: 2023 The 6th International Conference on Information and Computer Technologieshttps://doi.org/10.1007/978-981-99-3236-