Configuration study for a 30 GHz monolithic receive array, volume 1

Gregorian, Cassegrain, and single reflector systems were analyzed in configuration studies for communications satellite receive antennas. Parametric design and performance curves were generated. A preliminary design of each reflector/feed system was derived including radiating elements, beam-former network, beamsteering system, and MMIC module architecture. Performance estimates and component requirements were developed for each design. A recommended design was selected for both the scanning beam and the fixed beam case. Detailed design and performance analysis results are presented for the selected Cassegrain configurations. The final design point is characterized in detail and performance measures evaluated in terms of gain, sidelobe level, noise figure, carrier-to-interference ratio, prime power, and beamsteering. The effects of mutual coupling and excitation errors (including phase and amplitude quantization errors) are evaluated. Mechanical assembly drawings are given for the final design point. Thermal design requirements are addressed in the mechanical design

Configuration study for a 30 GHz monolithic receive array, volume 2

The formalism of the sidelobe suppression algorithm and the method used to calculate the system noise figure for a 30 GHz monolithic receive array are presented. Results of array element weight determination and performance studies of a Gregorian aperture image system are also given

Evaluation of two lyophilized molecular assays to rapidly detect foot-and-mouth disease virus directly from clinical samples in field settings

Accurate, timely diagnosis is essential for the control, monitoring and eradication of foot‐and‐mouth disease (FMD). Clinical samples from suspect cases are normally tested at reference laboratories. However, transport of samples to these centralized facilities can be a lengthy process that can impose delays on critical decision making. These concerns have motivated work to evaluate simple‐to‐use technologies, including molecular‐based diagnostic platforms, that can be deployed closer to suspect cases of FMD. In this context, FMD virus (FMDV)‐specific reverse transcription loop‐mediated isothermal amplification (RT‐LAMP) and real‐time RT‐PCR (rRT‐PCR) assays, compatible with simple sample preparation methods and in situ visualization, have been developed which share equivalent analytical sensitivity with laboratory‐based rRT‐PCR. However, the lack of robust ‘ready‐to‐use kits’ that utilize stabilized reagents limits the deployment of these tests into field settings. To address this gap, this study describes the performance of lyophilized rRT‐PCR and RT‐LAMP assays to detect FMDV. Both of these assays are compatible with the use of fluorescence to monitor amplification in real‐time, and for the RT‐LAMP assays end point detection could also be achieved using molecular lateral flow devices. Lyophilization of reagents did not adversely affect the performance of the assays. Importantly, when these assays were deployed into challenging laboratory and field settings within East Africa they proved to be reliable in their ability to detect FMDV in a range of clinical samples from acutely infected as well as convalescent cattle. These data support the use of highly sensitive molecular assays into field settings for simple and rapid detection of FMDV

Rabies and the pandemic: Lessons for One Health

This article examines the impact of coronavirus disease 2019 (COVID-19) on dog-mediated rabies, a neglected tropical disease that remains endemic in >65 countries. A globally agreed strategy for rabies elimination is underpinned by a One Health approach, coordinating human and animal health sectors and engaging communities. We present data on the scale and nature of COVID-19 disruption to rabies control programmes and the wider learning for One Health implementation. We argue that the global shift in health priorities caused by the pandemic, and consequent side-lining of animal health, will have broader ramifications for One Health implementation and preparedness for future emergent zoonoses

Direct detection and characterization of foot-and-mouth disease virus in East Africa using a field-ready real-time PCR platform

Effective control and monitoring of foot-and-mouth disease (FMD) relies upon rapid and accurate disease confirmation. Currently, clinical samples are usually tested in reference laboratories using standardized assays recommended by The World Organisation for Animal Health (OIE). However, the requirements for prompt and serotype-specific diagnosis during FMD outbreaks, and the need to establish robust laboratory testing capacity in FMD-endemic countries have motivated the development of simple diagnostic platforms to support local decision-making. Using a portable thermocycler, the T-COR™ 8, this study describes the laboratory and field evaluation of a commercially available, lyophilized pan-serotype-specific real-time RT-PCR (rRT-PCR) assay and a newly available FMD virus (FMDV) typing assay (East Africa-specific for serotypes: O, A, Southern African Territories [SAT] 1 and 2). Analytical sensitivity, diagnostic sensitivity and specificity of the pan-serotype-specific lyophilized assay were comparable to that of an OIE-recommended laboratory-based rRT-PCR (determined using a panel of 57 FMDV-positive samples and six non-FMDV vesicular disease samples for differential diagnosis). The FMDV-typing assay was able to correctly identify the serotype of 33/36 FMDV-positive samples (no cross-reactivity between serotypes was evident). Furthermore, the assays were able to accurately detect and type FMDV RNA in multiple sample types, including epithelial tissue suspensions, serum, oesophageal–pharyngeal (OP) fluid and oral swabs, both with and without the use of nucleic acid extraction. When deployed in laboratory and field settings in Tanzania, Kenya and Ethiopia, both assays reliably detected and serotyped FMDV RNA in samples (n = 144) collected from pre-clinical, clinical and clinically recovered cattle. These data support the use of field-ready rRT-PCR platforms in endemic settings for simple, highly sensitive and rapid detection and/or characterization of FMDV

When are prime formulae characteristic?

In the setting of the modal logic that characterizes modal refinement over modal transition systems, Boudol and Larsen showed that the formulae for which model checking can be reduced to preorder checking, that is, the characteristic formulae, are exactly the consistent and prime ones. This paper presents general, sufficient conditions guaranteeing that characteristic formulae are exactly the consistent and prime ones. It is shown that the given conditions apply to the logics characterizing all the semantics in van Glabbeek's branching-time spectrum

Program transformations using temporal logic side conditions

This paper describes an approach to program optimisation based on transformations, where temporal logic is used to specify side conditions, and strategies are created which expand the repertoire of transformations and provide a suitable level of abstraction. We demonstrate the power of this approach by developing a set of optimisations using our transformation language and showing how the transformations can be converted into a form which makes it easier to apply them, while maintaining trust in the resulting optimising steps. The approach is illustrated through a transformational case study where we apply several optimisations to a small program

Testing real-time systems using TINA

The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts

The feasibility of canine rabies elimination in Africa: dispelling doubts with data

<p><b>Background:</b> Canine rabies causes many thousands of human deaths every year in Africa, and continues to increase throughout much of the continent.</p> <p><b>Methodology/Principal Findings:</b> This paper identifies four common reasons given for the lack of effective canine rabies control in Africa: (a) a low priority given for disease control as a result of lack of awareness of the rabies burden; (b) epidemiological constraints such as uncertainties about the required levels of vaccination coverage and the possibility of sustained cycles of infection in wildlife; (c) operational constraints including accessibility of dogs for vaccination and insufficient knowledge of dog population sizes for planning of vaccination campaigns; and (d) limited resources for implementation of rabies surveillance and control. We address each of these issues in turn, presenting data from field studies and modelling approaches used in Tanzania, including burden of disease evaluations, detailed epidemiological studies, operational data from vaccination campaigns in different demographic and ecological settings, and economic analyses of the cost-effectiveness of dog vaccination for human rabies prevention.</p> <p><b>Conclusions/Significance:</b> We conclude that there are no insurmountable problems to canine rabies control in most of Africa; that elimination of canine rabies is epidemiologically and practically feasible through mass vaccination of domestic dogs; and that domestic dog vaccination provides a cost-effective approach to the prevention and elimination of human rabies deaths.</p&gt

The social psychology of social prescribing: a toolkit

This toolkit has been developed as a resource for organisations that are involved, or who are considering becoming involved in, Social Prescribing. This toolkit has been designed to be used in a variety of ways. In each section, we provide an overview of theory and evidence relating to a topic of importance to Social Prescribing. These sections are also related to a specific tool that can be used by those developing, commissioning or running Social Prescribing services. Alternatively, you can access the tools straight away, by going to the document Appendices. The tools are a mixture of signposting to additional resources, and/or lessons learned, and best practice guidance