The phase transition in random horn satisfiability and its algorithmic implications

Let c > 0 be a constant, and Φ be a random Horn formula with n variables and m = c · 2ⁿ clauses, chosen uniformly at random (with repetition) from the set of all nonempty Horn clauses in the given variables. By analyzing PUR, a natural implementation of positive unit resolution, we show that lim_n→∞ Pr(Φ is satisfiable) = 1 ? F(e^?c), where F(x) = (1 ? x)(1 ? x²)(1 ? x⁴)(1 ? x⁸) …. Our method also yields as a byproduct an average‐case analysis of this algorithm. Published 2002 Wiley Periodicals, Inc. Random Struct. Alg., 20: 483–506, 2002     

一种紧凑型高功率宽带微波源

 设计了一种高功率宽带微波辐射装置,谐振器采用传输线型谐振器,其中,天线采用单锥喇叭。整个宽带微波产生装置具有结构紧凑、谐振频率较低的特点。用时域有限差分对该装置进行了数值模拟,模拟结果为：辐射场中心频率272 MHz,带宽13.5%。装置与高压脉冲源联试,开关内充电电压为71 kV时,辐射场中心频率为197 MHz,辐射场带宽达到24%,峰值辐射因子为28.3 kV。     

A study of radiation from circular groove guide horn

A novel horn antenna for millimeter waves based on circular groove guide is presented and investigated in this paper. Its radiation patterns are calculated by employing the aperture field method. The patterns obtained by experiment show agreement with calculated results.     

The Functional Linkage Among the "ZSL"-Spinal Dorsal Horn-SN

Electrical stimulation of the Zusanli point (ZSL) and solitary tract nucleus (SN) as well as microelectrode recording from the laminae Ⅲ-Ⅴ of the lumbar spinal dorsal horn have been used on the pentobarbital anesthetized rats, finding and identifying 57 spinal neurons responding to the stimulations of both ZSL and SN. Among them, 34 responded antidromically to SN; the others responded orthodromically to SN. Among them, the lowthreshold mechano-receptive(LTM) neurons and wide-dynamic-range (WDR) neurons were 50 percent respectively. The results indicate that (ⅰ) a single spinal dorsal horn neuron receives somatic afferent input and then conveys it to the visceral sensory nucleus-SN; (ⅱ) some spinal dorsal horn neurons receive, in turn, innervation from the SN; (ⅲ) the convergence and integration between somatic and visceral sensory inputs might occur in the spinal dorsal horn neurons and/or SN.     

Numerical 3D flow simulation of ultrasonic horns with attached cavitation structures and assessment of flow aggressiveness and cavitation erosion sensitive wall zones

As a contribution to a better understanding of cavitation erosion mechanisms, a compressible inviscid finite volume flow solver with barotropic homogeneous liquid–vapor mixture cavitation model is applied to ultrasonic horn set-ups with and without stationary specimen, that exhibit attached cavitation at the horn tip. Void collapses and shock waves, which are closely related to cavitation erosion, are resolved. The computational results are compared to hydrophone, shadowgraphy and erosion test data. At the horn tip, vapor volume and topology, subharmonic oscillation frequency as well as the amplitude of propagating pressure waves are in good agreement with experimental data. For the evaluation of flow aggressiveness and the assessment of erosion sensitive wall zones, statistical analyses of wall loads and of the multiplicity of distinct collapses in wall-adjacent flow regions are applied to the horn tip and the stationary specimen. An a posteriori projection of load collectives, i.e. cumulative collapse rate vs. collapse pressure, onto a reference grid eliminates the grid dependency effectively for attached cavitation at the horn tip, whereas a significant grid dependency remains at the stationary specimen. The load collectives show an exponential decrease towards higher collapse pressures. Erosion sensitive wall zones are well predicted for both, horn tip and stationary specimen, and load profiles are in good qualitative agreement with measured topography profiles of eroded duplex stainless steel samples after long-term runs. For the considered amplitude and gap width according to ASTM G32-10 standard, the analysis of load collectives reveals that the distinctive erosive ring shape at the horn tip can be attributed to frequent breakdown and re-development of a small portion of the tip-attached cavity. This partial breakdown of the attached cavity repeats at each driving cycle and is associated with relatively moderate collapse peak pressures, whereas the stationary specimen is rather unfrequently stressed at the end of each subharmonic oscillation cycle by the violent collapse of the complete cavity.     

TEM喇叭天线低频补偿实验研究

 通过对TEM喇叭天线低频补偿的实验,验证了低频补偿原理的正确性。低频补偿可以改善TEM喇叭天线的低频传输特性及低频辐射特性。当TEM喇叭天线与低频补偿回路形成电偶极子和磁偶极子满足匹配条件时,天线低频辐射的单向性将得到提高。当天线的低频补偿回路形成的磁偶极矩足够大时,低频补偿可增大天线主辐射方向的辐射,并改善天线低频辐射特性。     

0.22 THz二维电磁带隙波导和阵列天线设计

基于二维电磁带隙（EBG）结构,设计了工作在0.22 THz的直波导传输线和90弯波导传输线。数值模拟结果显示：直波导和弯波导的S21参数在0.22 THz处均大于10-5 dB,20 GHz模拟频带内的S21参数分别大于-0.001 dB和-0.003 5 dB。EBG结构很好地阻止了电磁波在电磁带隙内部的传播。基于EBG结构波导,设计了3 dB功分器和H面扇形喇叭阵列天线。数值模拟结果显示：功分器的S21参数在0.22 THz处为-3 dB,阵列天线方向性为17.1 dBi,具有较小的旁瓣和后瓣,E面和H面方向图均具有良好对称性。     

高功率超宽带变压器油透镜天线设计与仿真

将TEM喇叭天线密封进填充变压器油的尼龙天线罩中,只要合理设计尼龙天线罩外形,使变压器油形成聚焦透镜,不仅能提高天线的功率容量,还能改善其辐射特性。基于变压器油的缩波效应和椭球的几何性质,借助几何光学理论,设计了一款具有聚焦能力的椭球变压器油透镜。变压器油的缩波效应能够增大TEM喇叭天线电尺寸,使TEM喇叭天线的辐射特性得到初步改善,透镜的聚焦能力使天线的定向性得到进一步改善。为了验证理论分析的正确性,另外设计了一款不具有聚焦能力的球状变压器油透镜作为参照,两款透镜天线仿真结果与理论分析吻合。与大气中的TEM喇叭天线相比,椭球变压器油透镜使TEM喇叭天线主波束变窄,远场电压峰峰值提高56.97%,阻抗带宽低频端从0.28 GHz扩展到0.2 GHz,功率容量达到18.43 GW。     

三镜波束波导在高功率微波天线中的应用

通过对波束波导馈电卡塞格仑天线工作原理的分析,论述了波束波导在高功率微波辐射天线中的应用及设计方法,重点介绍了一套利用波束波导馈电高功率微波辐射天线。该天线利用由三面反射镜组成的波束波导对一个由两个抛物面镜组成的双反射面天线进行馈电,实现了波束的快速扫描。该天线工作在X波段时,功率容量大于1 GW,天线增益大于50 dB。     

X波段馈源输出窗高功率微波击穿实验装置

为了开展高功率微波(HPM)馈源输出窗介质击穿实验研究,设计了一种组合型X波段高功率微波（HPM）喇叭馈源击穿实验装置。装置采用变张角喇叭与可移动介质输出窗组合的结构,通过调节变张角喇叭口面与输出窗间的距离,使得介质输出窗内表面电场强度可调。数值模拟结果表明：在满足馈源喇叭驻波比小于1.15,E面和H面基本等化的情况下,当调节变张角喇叭口面与介质输出窗距离在0～400 mm范围内变化时,HPM馈源输出窗上的电场强度变化为32.6~87.0 kV·cm-1,满足了在真空度3×10-3 Pa、脉冲宽度20 ns条件下,HPM介质击穿对电场强度变化的要求。根据数值模拟结果,设计加工了HPM介质击穿实验装置,并成功地应用于GW级HPM馈源输出窗介质击穿实验研究。