广义刚度法及其在阶梯形截面梁位移图乘计算中的应用

本文提出一种结构位移计算的方法－－广义刚度法，运用这一方法可以简化阶梯形截面梁的位移图乘计算。     

浅谈汽轮机505控制系统

0概述汽轮机是由本体、汽轮机转子、油路、蒸汽路等部分组成。蒸汽经电动门主气阀、自动门主汽阀、调节汽阀到喷嘴冲动叶轮使叶轮转动。入口压力与出口压力之间的差压越大、转子的转速就越快。转子转动带动负载做功。负载的变化会影响转速,入口和出口蒸汽压力的变化也会影响转速的变化,凝结水温度的变化和真空的变化也会影响转速的变化。     

乌斯特3型纱线毛羽测试的应用研究

从毛羽测试目的着手,介绍乌斯特3型毛羽测试原理及特点,对某些术语做了解释,如毛羽H、毛羽不匀率CV_h、毛羽最大最小值等。图示说明了毛羽的变化图、波谱图、变异-长度曲线,频率分布图及其对纱线表面结构进行分析的价值。     

带有未知参数的Shewhart (X)控制图的运行长度的分布

讨论了七种标准差估什方法对Shewhart X^-控制图的影响，通过对运行长度的分布角度对这七种参数估计做了比较研究，模拟结果显示三种中位数估计方法较其余四种有较好的稳健性。     

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

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

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

可编程序控制器梯形图编程的一种通用方法

本文针对可编程序控制器用户程序的编制问题,给出了一种用阶段过渡控制图作为桥梁来编制梯形图的通用方法,并对若干实例在PLC-2/30可编程控制器上全部验证通过,说明这种方法正确无误。该方法严密清晰,简单实用,有规可循,因此是解决PC用户编程很有实用价值的一种通用方法。     

拟群在构作图K_(m+2)\K_m的图设计中的应用

利用拟群给出所需的带洞图设计,再结合一些小阶数的图设计的存在性,得到了关于图Gm=Km+2、Km的图设计的一些存在性结果.从而展示了拟群在解决图设计问题中的应用.     

蕴含C3_星的可图序列

本文刻划了蕴含C3_星的可图序列，其中C3_星是向C3的每个顶点添加一条悬挂边后构成的简单图．