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)仿真方法对上述两种检测器的检测性能进行了仿真.     

半导体元件清洗技术浅谈

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

艺术建筑设计的探索

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

“香山81号院”（半山枫林二期）外环境设计

1“居山”与”隐贵山居“ 回想一下人类的聚居行为颇为有趣，当年我们的祖先拼命从险山恶水的自然环境中挣脱出来，为的是得到更加安全和便利的聚居条件，但似乎从那一刻起本能式的回归意识便时刻魂牵梦绕，隐隐作响。其实无论是脱离自然还是回归自然，对于现实而言两者皆是虚幻和理想的。     

立式罐冷却管喷水孔堵塞的原因及解决办法

在油库检查中发现,立式罐冷却喷水环管的喷水孔经常堵塞,堵塞的主要原因是水中含有杂质,喷水环管上没有装放空阀,喷水环管内壁有毛刺和喷水孔易锈蚀。根据堵塞原因找出对应的解决办法,并进一步说明了采用膜式喷头的好处。     

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

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