时序系统命题μ演算算法设计与实现

以μ演算方法研究命题时序逻辑模型,设计实现了命题μ演算中μ演算公式输入以及对输入公式的检查、编译、分析和计算,并通过模型输入及μ演算公式算法实现规格说明验证.同时,通过CTL公式与命题μ演算公式的转换,将用CTL表示的需验证的公式转化为由μ演算公式,以验证系统的规格说明,算法复杂性为O((|f|.n)d),其中d是公式f中不动点算子μ和ν的交替长度,n为状态数.     

有向树的自同构群

本文对有向树的自同构群进行了讨论,给出了有向树的自同构群的阶和一类子群.     

由仿射线诱导的图的次成分II

研究了有限域Fq上n维仿射空间的仿射线诱导的图Γ的第一次成分.可以证明:对Γ的任一顶点α,第一次成分Γ(α)是一个连通图.此外,Γ(α)中任两个邻接顶点和非邻接顶点的公共邻接元的集合被刻画,并且Γ(α)中某些极大团被确定.     

广义Pascal三角形的几个性质

本文讨论了广义Ｐａｓｃａｌ三角形的几个性质，它和原Ｐａｓｃａｌ三角形有惊人的类似之处。     

有限域上奇异几何中对偶子空间的类型

有限域上奇异辛空间、奇异酉空间和奇异正交空间（特征≠2）中子空间的对偶子空间的类型被确定。     

根据地面示功图对有杆泵故障自动诊断的理论研究

本文把模式识别方法与有杆泵抽油井的三维振动方程结合起来,提出了一种直接根据地面示功图对有杆抽油井井下故障进行自动诊断识别的数学模型,并进一步证明了该模型解的存在性和唯一性,这为直接利用地面示功图自动诊断有杆泵抽油井故障提供了理论依据。     

二元有向向量的Pade－逼近

本文借助于一组线性无关的方向向量构造了二元有向向量的Ｐａｄｅ－逼近，给出的计算例子说明了构造的有效性．     

农民致富新思路

1.大棚种出新花样。采用无土栽培和有土栽培相结合的办法，充分利用棚内空间，改一层栽培为二至三层栽培。