基于参差距离的相位差变化值的解模糊方法研究

利用相位差及其变化率对辐射源进行定位是新近提出的一种快速单基无源定位方法。本文分析了利用相位干涉议得到的相位差变化值的相位模糊特点,提出了一种利用相位干涉仪的接收天线之间的参差距离对相位差变化值进行解模糊的方法,讨论了正确解模糊的条件和范围,并给出了仿真结果。     

A Structured Temporal Logic Language:XYZ/SE

In order to enhance the readability and to simplify the verification of temporal logic programs in the XYZ system,we propose a structured temporal logic language called XYZ/SE,based on XYZ/BE which is the basis language of the XYZ system.A set of proof rules are given and proved to be sound and adequate for proving the partial correctness of XYZ/SE programs in a compositional way.Moreover,we show that every XYZ/BE program can be transformed into an equivalent XYZ/SE program.So we have developed a general conpositional verification method in the XYZ system concerning the sequential case.     

Synthesis and properties of polystyrene/graphite nanocomposites

In this paper, graphite/polystyrene nanocomposite is synthesized by in situ polymerization of styrene in a tetrahydrofuran (THF) solution system of potassium (K)-THF-graphite intercalation compound (GIC). K-THF-GIC has proved to initiate polymerization of styrene by the anionic mechanism. Due to the interfacial interaction between the graphite nanolayers and the polymer, the composites exhibit higher glass transition temperature and higher thermal stability when compared to polystyrene. The percolation threshold in the conductivity of the composites is lesser than 8.2 wt% and the dielectric constant can reach as high as 136.     

Radio wave propagation over finite size plateau

The problem of radio wave propagation over a perfectly conducting, infinitely wide rectangular plateau of finite length has previously been solved. (see Electron. Lett., vol.25, p.707-9, 1989). This solution is now extended to deal with a perfectly conducting, rectangular plateau of finite size along all three coordinate axes. When the infinite width is reduced to a finite size the additional diffraction round the two sides of the plateau will produce a more complicated expression for the overall attenuation. The authors quantify the new attenuation and derive an approximate analytic expression for the attenuation function in closed form. Experimental confirmation of the calculated result both as a function of distance along the propagation path and as a function of transverse displacement of the plateau perpendicular to the propagation path is presented     

3D非织造物生产的新技术

许多技术的应用如固定的过滤层和复合形式都需要 3D形状的非织造产品 ,现在它是由平网构成的。加入高费用的转化过程 ,由于接合问题 ,不均匀就不可避免地产生在最终产品上。有一些方法试图直接产生 3D形状的纤维结构 ,但这些技术都没有在商业上成功过。Thomas开发的技术只限于坚硬的结构和简单的几何形式。Miura和Hosokawa描述的方法只能用于非常短的非织造物纤维。我们开发的制作法能用各种纤维制成复杂的 3D形状。这里描述了设计这一工艺的关键因素 ,特别集中在工艺参数对 3D产品性能的影响方面。1　工艺设计生产过程将空气层原理用于…     

基于杂波跟踪的CFAR检测研究

通过设立专门通道将图像处理技术应用于雷达检测域杂波功率数据处理,对特征杂波进行跟踪,为恒虚警处理提供背景信息.本文介绍了对抗杂波边缘的自适应CFAR检测器设计中的研究工作,设计了基于杂波跟踪的杂波属性CF(clutter feature)-CFAR检测器和结构元素SE(structuring element)-CFAR检测器,对其检测性能进行了分析.并通过蒙特卡罗(Monte Carlo)仿真方法对上述两种检测器的检测性能进行了仿真.     

半导体元件清洗技术浅谈

随着社会的进步和科学技术的迅猛发展,对洗净技术的要求也越来越高。清洗方式多种多样,但最主要的是突出在喷射清洗和超声波清洗两大方面,应用于全国各行各业,并且也得到了明显进步。     

艺术建筑设计的探索

通过徐州一中艺术楼的设计实践，寻求优美而独特的艺术形象，并用纯几何形体的组合来达到功能与形式的完美统一。     

微波功率管壳用焊料浇铸模的设计与制造

介绍一种微波功率管壳用焊料的模具的设计、制造工艺、表面处理和测量方法。     

透过第四届亚洲印刷大奖赛看亚洲的印刷质量

业内人士翘首以待的一年一度的第四届亚洲印刷大奖Asian Print Awards 2006，已经于11月11日在上海揭晓并举行了盛大的颁奖仪式。亚洲印刷大赛的颁奖仪式设在中国的上海，盟然是对于我国印刷业发展成就的重视。虽然亚洲印刷大奖只举办了4届，但在亚洲地区已经享有良好的声誉，并为众多有志于开拓国外市场的亚洲印刷企业所看重，其影响力不亚于美国Premier Print Awards印刷大奖赛。