基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

锅炉电机起停微机控制装置的研制

本文介绍研制成功的锅炉电机起停微机控制装置是采用单片机控制中小型锅炉的鼓、引风电机起、停对电机具有保护作用，实践证明：具有推广价值和应用价值、具有明显的经济和社会效益。     

浅谈立交的分类与选型

本文通过深入透析各种形式立交的特点和作用,从交通的基本需求出发,建立立交的分类,分级及其功能的匹配关系,为立交造型提供可取的依据。     

一起在用压力容器短期失效原因分析

开封市某卷烟厂的一台烟丝加工罐从2001年安装投入使用,使用四年后便出现了严重的开裂泄漏现象.该容器由吉林某化工机械厂制造,图纸、质量证明书及监检证书齐全,其主要技术特性见表1,其结构简图如图1.     

浅析采面端头支护

结合现场实际情况,分析了回采工作面端头范围内的矿压显现特征,并提出了提高支护效果的看法。     

体育课中准备活动的重要性

准备活动是体育教学中必不可少的重要环节,正确地认识准备活动的作用,有效地选择准备活动的内容与组织形式,合理地安排好准备活动的时间、负荷以及与正式练习之间的间隔,是体育教师都应重视的问题。     

浅谈现代办公楼的创新设计——以某研发中心办公楼设计为例

现代办公楼的空间设计越来越注重生态环保、健康舒适,特别是空中花园及交往空间的组织及再创造。本文以广东某研发中心办公楼设计为例,对现代办公楼的设计进行了有益的探讨,力求在满足功能的前提下,超越传统的研发建筑布局,创造新颖的生态办公形式。     

关于提高宣传长白山国家5A级旅游景区知名度的研究

旅游景点只有通过宣传才能使公众有所了解，从而激发游客的旅游动机，促进旅游消费，吉林省的长白山景区要扩大影响、提高知名度就需要在这方面加大工作力度。本文就提高长白山旅游景点的知名度及长白山宣传的主要内容、形式进行了初步探讨。     

从“六大舞”看西周雅乐的艺术形式

周代在礼乐制度上建立了我国第一个宫廷雅乐体系,雅乐作为西周宫廷乐舞的主体部分,首先强调的是它作为礼的一部分所发挥的政治作用,因此,雅乐的艺术形式是遵照礼的规范性而建立起来的。文章通过对西周时期雅乐的代表作品"六大舞",结合相关文献,对雅乐的综艺形态、结构形态、类型特征等艺术形式进行全方位的阐述。     

新课改下的课堂低效问题之我见

新课程改革是语文教育的转型,课程改革是一个复杂而永恒的内容,作为一名教育工作者,应该不断更新观念,积极实践,力求自己上出真实的、有效的、有意义的课,为课改的良性发展贡献力量.