Eye-safe compact scanning LIDAR technology

A 1.5-μm eye-safe, 3-D scanning, and compact Mie LIght Detection and Ranging (LIDAR) is presented. The transmitter of the LIDAR is based on a KTA optical parameter oscillator (OPO) resonator. For detecting return signals, an InGaAs APD is used. The all solid-state OPO laser transmitter has the feature of small volume and lightweight, which allows a 165-lb compact eye-safe scanning LIDAR to be constructed. A system simulation using our own model was conducted to direct the system development. A method to solve the problem with small active area APD detectors was developed and described. The preliminary field-test measurement results indicated that the LIDAR has the capability to detect aerosols and clouds in lower atmospheres up to three dimensions.     

Synthesis and Reactions of Some New Pyrrolylfuro[2,3‐d]Pyrimidines and Pyrrolopyrazinofuropyrimidines

5‐Amino‐4‐methyl‐2‐phenyl‐6‐substitutedfuro[2,3‐d]pyrimidines ( 2a‐c ) were reacted with 2,5‐dimethoxytetrahydrfuran to afford the pyrrolyl derivatives 3a‐c . Compound 3a was chosen as intermediate for the synthesis of poly fused heterocycles incorporated furopyrimidines moiety 4–11 . Some of the synthesized compounds were screened for their antibacterial and antifungal activities.     

瓣形均匀带电面在其直径处的电势分布

从点电荷的电势计算公式出发推导出了瓣形均匀带电面在其直径处的电势分布.进一步讨论了均匀带电半球面在其底面以及均匀带电球面内部和外部的电势分布.     

浅谈合情推理的教学

论述了合情推理与逻辑推理的关系、在高等数学教学中渗透合情推理的意义 ,并结合教学实践就通过合情推理引入数学理论 ,探求问题结论 ,探索解题方法作了初步探讨     

Three New Polyoxygenated Steroids from Two Species of the South China Sea Gorgonian Muricella flexuosa and Menella verrucosa Brundin

Three new polyoxygenated steroids, muricesteroid ( 1 ), and menellsteroids A ( 2 ) and B ( 3 ), were isolated from two species of the South China Sea gorgonian Muricella flexuosa and Menella verrucosa Brundin , respectively. The structures of these new compounds were elucidated on the basis of extensive spectroscopic analysis, chemical methods and comparison with known related compounds.     

A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the stability of Riemannian manifold with parallel spinors

Inspired by the recent work [HHM03], we prove two stability results for compact Riemannian manifolds with nonzero parallel spinors. Our first result says that Ricci flat metrics which also admit nonzero parallel spinors are stable (in the direction of changes in conformal structures) as the critical points of the total scalar curvature functional. Our second result, which is a local version of the first one, shows that any metric of positive scalar curvature cannot lie too close to a metric with nonzero parallel spinor. We also prove a rigidity result for special holonomy metrics. In the case of SU(m) holonomy, the rigidity result implies that scalar flat deformations of Calabi-Yau metric must be Calabi-Yau. Finally we explore the connection with a positive mass theorem of [D03], which presents another approach to proving these stability and rigidity results. Dedicated to Jeff Cheeger for his sixtieth birthday