线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

B超诊断麻醉药物性肝炎两例

对手术前后Ｂ超检查发现肝脏光点明显增强、增粗，要注意有麻醉药物引起急性肝炎的可能。因而有必要结合生化检查和Ｘ线胆管造影检查结果综合分析，作出正确诊断。     

盆腔炎的超声声像图改变及分析

本文回顾性分析了１３６盆腔炎的超声图像表现及特征，总结盆腔痰在超声上主要 贫腔积液、宫内实质回声分布不均匀、宫旁团块、子宫增大、输卵管积液等表现，并结合分析了盆腔炎的发病原因及发病机理，归纳出急性盆腔炎主要表现 腔积液、宫内实质回声分布不均匀及子宫增大，慢性盆腔炎则主要表现为盆腔积液、宫旁炎性团块及输卵管积水，超声诊断中须与盆腔占位、宫外孕等相鉴鉴别，结合病史，可较准确地诊断该病。     

单片机辅助电缆相位速测仪的研制

传统电力电缆核相方法耗时，现场核相时受各种干扰因素多，所以针对使用过程中遇到的问题提出了单片机辅助电缆相位速测仪的研制。文章主要介绍了单片机辅助电缆相位速测仪的基本工作原理，以及该产品在现场施工使用中的效果检查。     

企业信息描述语言BIDL的设计与实现

本文提出并阐述一企业信息描述语言ＢＤＬ以实例说明ＢＩＤＬ的全用方法。     

湖南磷化工总厂

在此新春佳节到来之际，我谨代表湖南磷化工总厂全体职工向大家拜年! 去年，我厂在上级领导的支持和全体职工的努力下，安全工作取得了较好的成绩，全年未发生任何安全事故，千人负伤率为零。我们始终坚持每季度对各生产单位进行一次安全生产大检查，通过检查发现问题，消除隐患，将事故消灭在萌芽状态之中。我认为，抓好安全生产也是效益，是维护企业稳定的一个重要方面。     

电流互感器现场校验方法探讨

根据电流互感器的等值电路图,讨论了2种电流互感器变比检查试验方法(电流法和电压法)的原理和特点,推荐一种简便可靠的适用于生产现场的电流互感器变比检查、试验方法。     

如何安全操作剪板机

操作剪板机时，应注意：1．工作前要认真检查剪板机各部正常，电器设备是否完好，润滑系统是否畅通，台面及周围是否放置有工具、量具等杂物以及边角废料等，若有应及时清除。待一切检查完毕，确认可工作后，开始润滑、试车，然后正式使用剪板机。     

论风险基础审计

本文重点论述风险基础审计的含义及其与制度基础审计的关系,理论解释与实践如何进行等问题.     

大比例尺地形图质量控制与检查方法研究

本文首先简要概述了大比例尺数字化地形图的发展现状,论及了当前数字化测图的两种方式,在此基础上,笔者详细论述了大比例尺数字化地形图的质量控制方法,而后,笔者阐述了地形图质量的检查内容与方法。