几何位相非线性变化的实验研究

本文报道了Pancharatnam位相非线性变化的实验研究，实验结果与理论预言符合得很好。Pancharatnam位相的这种非线性可能在光开关中得到应用。     

一种独立于被管系统的网络性能管理系统

本文提出了一种在广播信道上基于倾听机制的独立网络性能管理系统。这种系统适用于用物理广播信道连接，但存在多种协议体系结构的网络系统，例如ＣＩＭＳ网络。     

建筑业企业税赋负担存在的问题和建议

本文针对我省建筑业企业发展现状,分析了企业税赋负担存在的主要问题,提出了解决问题的建议措施。     

常用激光介质膜的斜入射性能

本文给出了多层介质膜反射率与入射角的关系的计算机程序，并列出了部份常用激光膜片反射率-角度曲线。     

宣钢1260 m3高炉扩容大修改造设计

宣钢l260m^3高炉大修改造时将炉容扩大到l350m^3，对高炉本体系统设备及冷却系统、自动控制及检测系统进行了全面的改造更新，在炉腹、炉腰及炉身下部高热负荷区域采用铜冷却壁，取消炉身中上部铸铁冷却壁凸台，并采用薄内衬等先进、适用、可靠、成熟的技术。     

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specification is implemented by a set of abstract procedures specified in pre and post-condition style.The link between the two level specifications is provided via a translation from terms of algebraic specifications into temporal logic formulae representing abstract programs.In terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of specifications.The abstract implementations can be refined into executable code by refining each abstract procedure in it.It is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.     

混凝土预制板防渗渠道技术探讨

介绍了混凝土预制板防渗渠道施工过程及施工方法,并提出施工中应注意的问题。     

五氧化二钽薄膜的制备及其I-U特性

本文利用脉冲直流反应磁控溅射的方法制备了五氧化二钽 (Ta2 O5)薄膜 ,俄歇电子能谱仪测试了薄膜的成分含量 ,椭偏仪测试了Ta2 O5薄膜的厚度和折射率 ,XRD分析了薄膜的晶体结构 ,并且分别研究了氧气含量、基底温度等成膜工艺对薄膜的影响。研究结果表明薄膜的成分主要是由氧气含量决定的。利用金属 绝缘体 (介质膜 ) 金属 (MIM)结构初步对Ta2 O5薄膜进行了电学性能的测试 :皮安电流电压源测试了薄膜的I U特性 ,制备出的薄膜折射率在 2 1～ 2 2 ,MIM的I U特性曲线显示了较好的对称性和低的漏电流密度     

非接触式半导体少子寿命测试方法——微波反射法

介绍了一种非接触式用于测量少子寿命的微波反射法，并与通常的光电导衰退法进行了比较。     

CROSS-SPECTRAL MOMENT AND SVD METHODS ESTIMATING THE PARAMETERS OF CLOSE SINUSOIDS IN COLORED NOISE

The cross-spectral estimation methods are efficient in estimating the parameters of sinusoidal signals embedded in colored noise. But up to now, only FPT and cross-periodogram methods are used in this field, the modern auto-spectral estimation method is introduced into cross-spectral estimation in this paper, meanwhile the cross-correlation based Yule-Walker equation is proposed theoretically and the moment and singular-value decomposition (SVD)) algorithms for cross-spectral estimation have been developed. Finally, a numerical example is given for comparing the presented methods with the well-known Cadzow's SVD method.