论文部分内容阅读
金属压型板,金属夹心板在电力建设中的应用
【机 构】
：
安徽省电力设计院
【出 处】
：
安徽电力
【发表日期】
：
1999年2期
其他文献
高血压和糖尿病看似关系不大，其实却常常“如影随形”，有50％的糖尿病患者同时患有高血压，而在高血压患者中，也有20％合并糖尿病，可以说这两种病是一对“难兄难弟”。
论述了电容器组用串联电抗器的作用及它对电容器运行电压和无功出力的影响，并根据电容器组继电保护的整定原则，论证４．５％和６％电抗率的适应范围和选择。
长笛教学是音乐专业中非常重要的一个教学方向,本文结合我国音乐院校中长笛教学的现状,总结了现有的优势和不足,并提出了一些相对应的改进措施。
UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。