Multiple terahertz beams based on a Fourier grating and a quantum cascade laser

Large heterodyne receiver arrays (~100 pixel) allow astronomical instrumentations mapping more area within limited space mission lifetime. One challenge is to generate multiple local oscillator (LO) beams. Here, We succeeded in generating 81 beams at 3.86 THz by combining a reflective, metallic Fourier grating with an unidirectional antenna coupled 3rd-order distributed feedback (DFB) quantum cascade laser (QCL). We have measured the diffracted 81 beams by scanning a single pyroelectric detector at a plane, which is in the far field for the diffraction beams. The measured output beam pattern agrees well with a simulated result from COMSOL Multiphysics with respect to the angular distribution and power distribution among the 81 beams. We also derived the diffraction efficiency to be 94\pm 3\%, which is very close to what was simulated for a manufactured Fourier grating (97%). For an array of equal superconducting hot electron bolometer mixers, 64 out of 81 beams can pump the HEB mixers with similar power, resulting in receiver sensitivities within 10%. Such a combination of a Fourier grating and a QCL can create an LO with 100 beams or more, enabling a new generation of large heterodyne arrays for astronomical instrumentation. This paper is essentially a copy of our paper in Optics Express

Boundary-layer water vapor profiling using differential absorption radar

Remote sensing of water vapor in the presence of clouds and precipitation constitutes an important observational gap in the global observing system. We present ground-based measurements using a new radar instrument operating near the 183&thinsp;GHz H2O line for profiling water vapor inside of planetary-boundary-layer clouds, and develop an error model and inversion algorithm for the profile retrieval. The measurement technique exploits the strong frequency dependence of the radar beam attenuation, or differential absorption, on the low-frequency flank of the water line in conjunction with the radar's ranging capability to acquire range-resolved humidity information. By comparing the measured differential absorption coefficient with a millimeter-wave propagation model, we retrieve humidity profiles with 200&thinsp;m resolution and typical statistical uncertainty of 0.6&thinsp;g&thinsp;m−3 out to around 2&thinsp;km. This value for humidity uncertainty corresponds to measurements in the high-SNR (signal-to-noise ratio) limit, and is specific to the frequency band used. The measured spectral variation of the differential absorption coefficient shows good agreement with the model, supporting both the measurement method assumptions and the measurement error model. By performing the retrieval analysis on statistically independent data sets corresponding to the same observed scene, we demonstrate the reproducibility of the measurement. An important trade-off inherent to the measurement method between retrieved humidity precision and profile resolution is discussed.</p

Wafer-To-Wafer Alignment Method

A silicon alignment pin is used to align successive layer of component made in semiconductor chips and/or metallic components to make easier the assembly of devices having a layered structure. The pin is made as a compressible structure which can be squeezed to reduce its outer diameter, have one end fit into a corresponding alignment pocket or cavity defined in a layer of material to be assembled into a layered structure, and then allowed to expand to produce an interference fit with the cavity. The other end can then be inserted into a corresponding cavity defined in a surface of a second layer of material that mates with the first layer. The two layers are in registry when the pin is mated to both. Multiple layers can be assembled to create a multilayer structure. Examples of such devices are presented

Verifiable certificates for predicate subtyping

Adding predicate subtyping to higher-order logic yields a very expressive language in which type-checking is undecidable, making the definition of a system of verifiable certificates challenging. This work presents a solution to this issue with a minimal formalization of predicate subtyping, named PVS-Core, together with a system of verifiable certificates for PVS-Core, named PVS-Cert. PVS-Cert is based on the introduction of proof terms and explicit coercions. Its design is similar to that of PTSs with dependent pairs, at the exception of the definition of conversion, which is based on a specific notion of reduction → β * , corresponding to β-reduction combined with the erasure of coercions. The use of this reduction instead of the more standard reduction → βσ allows to establish a simple correspondence between PVS-Core and PVS-Cert. On the other hand, a type-checking algorithm is designed for PVS-Cert, built on proofs of type preservation of → βσ and strong normalization of both → βσ and → β *. Using these results, PVS-Cert judgements are used as verifiable certificates for predicate subtyping. In addition, the reduction → βσ is used to define a cut elimination procedure adapted to predicate subtyping. Its use to study the properties of predicate subtyp-ing is illustrated with a proof of consistency

A hydraulically driven colonoscope

BACKGROUND: Conventional colonoscopy requires a high degree of operator skill and is often painful for the patient. We present a preliminary feasibility study of an alternative approach where a self-propelled colonoscope is hydraulically driven through the colon. METHODS: A hydraulic colonoscope which could be controlled manually or automatically was developed and assessed in a test bed modelled on the anatomy of the human colon. A conventional colonoscope was used by an experienced colonoscopist in the same test bed for comparison. Pressures and forces on the colon were measured during the test. RESULTS: The hydraulic colonoscope was able to successfully advance through the test bed in a comparable time to the conventional colonoscope. The hydraulic colonoscope reduces measured loads on artificial mesenteries, but increases intraluminal pressure compared to the colonoscope. Both manual and automatically controlled modes were able to successfully advance the hydraulic colonoscope through the colon. However, the automatic controller mode required lower pressures than manual control, but took longer to reach the caecum. CONCLUSIONS: The hydraulic colonoscope appears to be a viable device for further development as forces and pressures observed during use are comparable to those used in current clinical practice

Cystic Echinococcosis in Spain: Current Situation and Relevance for Other Endemic Areas in Europe

Cystic echinococcosis (CE) remains an important health problem in many regions of the world, both where no control measures have been implemented, and where control programs have been incompletely successful with ensuing re-emergence of the disease. In Spain, official data on CE show an increase in the proportion of intermediate hosts with CE during the last few years, and autochthonous pediatric patients have been reported, a sign of active local transmission of disease. A similar picture emerges from data reported to the European Food Safety Authority by other European countries. Nevertheless, several crucial aspects related to CE that would help better understand and control the disease have not been tackled appropriately, in particular the emergence of infection in specific geographical areas. In this respect, while some data are missing, other data are conflicting because they come from different databases. We review the current situation of CE in Spain compared with areas in which similar problems in the CE field exist, and offer recommendations on how to overcome those limitations. Specifically, we believe that the introduction of national registries for CE with online data entry, following the example set by the European Registry for Alveolar Echinococcosis, would help streamline data collection on CE by eliminating the need for evaluating and integrating data from multiple regions, by avoiding duplication of data from patients who access several different health facilities over time, and by providing much needed clinical and epidemiological data that are currently accessible only to clinicians

Canada’s Contributions to the SWOT Mission–Terrestrial Hydrology(SWOT-C TH)

The origins of the Surface Water and Ocean Topography (SWOT) mission date back to the mid-1970s with the launch of GOES-3 and SEASAT. These missions were then followed in 1992 by the Topex-Poseidon satellite, then by Jason-1 (2001), OSTM/Jason-2 (2008), and Jason 3 (2016), a series of joint satellite missions between NASA and CNES with a goal to monitor global ocean circulation. The proposed new SWOT mission will provide 120-km-wide swath interferometric coverage with a 20-km-wide gap at the nadir. The SWOT measurements will consist of water surface elevations and water surface slopes covering nearly all of the earth’s land surface at least once every 21 days. In 2010, NASA invited the Canadian Space Agency to contribute, and Canadian scientists welcomed the invitation to join the SWOT Science Definition Team and contribute to the experiments. The Canadian segment of the mission is known as the “SWOT-C” project. The SWOT satellite mission will provide unique opportunities in the Canadian context for water managers in both the public domain and in the private sector. This paper provides an overview of recent scientific progress by the SWOT-C Terrestrial Hydrology team, outlining current plans and progress towards applications and calibration post-launch

Biomethanation potential of biological and other wastes

Anaerobic technology has been traditionally applied for the treatment of carbon rich wastewater and organic residues. Anaerobic processes can be fully integrated in the biobased economy concept for resource recovery. After a brief introduction about applications of anaerobic processes to industrial wastewater treatment, agriculture feedstock and organic fraction of municipal solid waste, the position of anaerobic processes in biorefinery concepts is presented. Integration of anaerobic digestion with these processes can help in the maximisation of the economic value of the biomass used, while reducing the waste streams produced and mitigating greenhouse gases emissions. Besides the integration of biogas in the existing full-scale bioethanol and biodiesel production processes, the potential applications of biogas in the second generation lignocellulosic, algae and syngas-based biorefinery platforms are discussed.(undefined