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.     

激光对光学薄膜损伤的热冲击效应

计算了薄膜在高功率脉冲激光作用下截面温度场和应力场分布。分析了热冲击在光学薄膜激光损伤中的作用，并用调Ｑ１．０６μｍ脉冲激光对ＺｒＯ２单层膜损伤，讨论了不同激光强度下薄膜截面温度场与应力场分布，揭示了热冲击在ＺｒＯ２单层膜损伤中的机理和过程。     

TiO_2粉体性能对PTC热敏电阻性能的影响

ＴｉＯ_２的纯度、粒度及粒形对ＢａＴｉＯ_３系ＰＴＣＲ的性能影响很大，对所用ＴｉＯ_２加以选择非常重要，国产和日本产ＴｉＯ_２原料在粉体性能上存在差异。     

数字程控交换机与专网中的多媒体通信

本文以一个多媒体通信应用VISIT为实例,介绍了多媒体通信在数字程控交换机及专网中的应用情况。     

The relationship between serum lipids, apolipoproteins level and bile lipids level, chemical type of stone

To pick up serum high risk lithogenic factors predisposing one to gallstone formation and protective factors against gallstone formation in gallbladder. We compared serum lipid and apolipoprotein level of patients with gallbladder stone (stone group) with that of patients without gallbladder stone (control group). The correlation between serum lipid, apolipoprotein level and bile lipid level, cholesterol saturated index (CSI), characteristics of lipidemia in different kinds of gallbladder stones were studied. The results showed that the increase of serum Apo A1, C2 and E level in the stone group was more significant than in the control group. But there was no statistical significance in TC, TG, LDL-C, HDL-C, Apo A2, B, C3 level between the stone and control groups. These results suggested that serum apolipoproteins perhaps are more sensitive parameters than serum lipids in distinguishing patients with stones from those without stones. There were different profiles of serum lipid and apolipoproteins in different chemical types of gallbladder stones. Increased level in serum LDL-C, Apo B and ratio of LDL-C/HDL-C were characterized by an index for cholesterol stone, otherwise that in serum TG and Apo C2 an index for pigment stones. There was a positive correlation between serum total cholesterol (TC) or Apo B, C2, C3 and cholesterol amount or CSI in gallbladder bile. Therefore, TC, Apo B, C2, C3 could be considered as high risk lithogenic factors. A positive correlation existed between serum HDL-C and lecithin in gallbladder or common bile duct (CBD) bile as well as between HDL-C and bile acids in CBD bile. Thus, HDL-C might be a protective factor against gallstone formation in gallbladder.     

Electrophysiological effects of felodipine on guinea pig papillary muscles

Acetyl LDL (modified low-density lipoprotein), which is thought to be taken up through scavenger receptor A (SR-A), rapidly induced the appearance of phosphotyrosine proteins in monocytic THP-1-derived macrophages in vitro. The two alternative forms of Lyn (p53 and p56) were found to be tyrosine-phosphorylated within 30 s after the stimulation with acetyl LDL. The catalytic activity of Lyn measured by an in vitro kinase assay had also increased in acetyl LDL-stimulated THP-1-derived macrophages. Furthermore, Lyn could be co-immunoprecipitated with SR-A from the cell lysate. These observations suggest a functional and possible physical association of SR-A with Lyn in THP-1-derived macrophages, and also imply a possible involvement of Lyn in SR-A signal transduction.