格值有限状态机的子系统

提出了格值有限状态机（简记为LFSM）状态后继、子机和子系统的概念，通过LFSM状态集的4种格值子集刻画了LFSM子系统的一系列性质和构成子系统的充分必要条件．最后，通过LFSMs同态的概念得到了子系统的像仍是子系统等结论．     

格值自动机与语言

引入了格值自动机及其语言的概念,给出了格值自动机的状态转移函数可扩充的充分必要条件,证明了确定型格值自动机与格值自动机等价的充分必要条件,研究了格值自动机的语言关于正则运算的封闭性及其条件.所得结论表明了格值自动机及其语言的特性与取值格代数性质的紧密联系.     

格值直觉模糊有限自动机的直积与覆盖

给出了格值直觉模糊有限自动机,格值直觉模糊有限自动机的全直积、限制直积以及覆盖的定义,提出了格值直觉模糊有限自动机的状态转移函数可扩充的充要条件,研究了格值直觉模糊有限自动机在全直积和限制直积情形下的转移函数性质,讨论了格值直觉模糊有限自动机的全直积和限制直积的覆盖关系,得到了一些乘积自动机覆盖关系的传递性质,为进一步研究格值直觉模糊有限自动机奠定了基础.     

格值正则文法及其语言的性质

给出了(确定)格值正则文法与(确定)格值正则语言的定义．从一个新的角度，即文法的角度研究确定格值正则语言关于正则运算的封闭性，从而完善了格值正则语言的运算性质，并给出了格值正则文法与确定格值正则文法等价的条件．     

基于完全剩余格值逻辑上的半群（Ⅰ）

该文定义了基于完全剩余格值逻辑上的半群的概念．在此逻辑框架下，给出了半群中的子群、正则子半群和完全正则子半群的结构，并讨论了它们的某些代数性质     

格值正则语言的代数性质

本文主要从可容集的角度研究了格值正则语言，给出了一个语言是格值正则语言的充要条件，并说明了格值正则语言关于商是封闭的．     

四值非线性格值逻辑中公式的概率真度

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.     

关于格值滤子的一点注记

首先通过反例指出两个格值滤子的乘积不一定是格值滤子, 然后对群上的格值滤子定义逆运算和乘法运算, 并对有关逆运算和乘法运算的结果进行刻画.     

L集合范畴的格值函数空间及其性质

引入了L集合范畴中的一些基本概念,研究了L集合范畴的两种函数空间,即格值函数空间与伪格值函数空间,进一步指出了格值函数空间函子与格值积函子互为伴随,伪格值函数空间函子与格值并函子也互为伴随,并讨论了关于格值函数空间与伪格值函数空间的部分性质.     

下推格值自动机词的计算

在格半群意义下,提出基于词计算的下推格值自动机模型,它的输入是输入字母表的模糊子集,即词串,对应的是具有模糊性的自然语言.并研究下推格值自动机识别的格值词语言,利用格半群的性质证明了下推格值自动机基于词的计算可以通过基于值的计算实现.     

格值决策表的属性约简

提出了格值决策表中分配协调集的概念并讨论了它的基本性质,给出了分配协调集的充分必要条件,借助区分矩阵与区分函数给出了计算分配约简的方法.     

带液化空气循环子系统的ARCC发动机研究

为解决空天飞机动力问题,提出一种新型带液化空气循环子系统的吸气式-火箭组合循环(ARCC)概念.该组合循环发动机集涡轮、冲压及火箭发动机优点于一身,在吸气式发动机工作过程中通过液化空气循环子系统液化大气中的氧气,存储供氢氧火箭发动机工作时使用,自身携带少量或不带氧化剂,因而经济性较好.为提高液化空气循环子系统液化比,采用多种措施设计一种新型液化空气循环子系统.计算了液化空气循环热力过程和ARCC发动机比冲性能,结果表明:液化空气循环子系统在整个吸气式飞行过程中具有较高液化比;ARCC发动机在不同的飞行条件下都能得到良好比冲特性,经济性好.     

(Q)格值模型论的紧致性定理

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了紧性致定理。     

基于L-值泛代数的L-值模

L-值模是一类格值代数结构,定义在类似于模的泛代数上。首先,将经典数学中等式用模糊恒等式替代,基于L-值泛代数给出了L-值模的概念。其次, 通过模糊代数的商结构给出了L-值泛代数是L-值模的充分必要条件。 再者,给出了L-值模的基本性质。 最后, 给出了L-值子模的刻画。     

关于格值模型论中的条件(F′_1)和(F′_2)

本文在一定的条件下证明了L值逻辑的紧致性蕴涵(F’_1)和(F’_2),其推论说明了格值模型论与二值模型论之间存在着一些本质的区别.     

Reliability Study on the Risk Precontrol Management System of Coal Mines Safety

Risk precontrol management system of coal mines safety（ RPMSCS） provides a set of preventive safety management strategy for high-risk coal industries, which has captured extensive attentions. Fundamentally,there are several membership systems with subsystems in the management system, and the subsystem reliability has an important influence on the management system performance. Through analyzing the structure characteristics of the management system,the phase type distribution was employed to analyze its subsystem reliability by considering repair process and three states including working,fail-abnormal,and fail-emergency states. The reliability indices of the subsystem were derived respectively,including the probabilities that the subsystem in three states,mean time to the first failure, mean time to first failemergency,mean working time to first fail-emergency,and mean maintenance time to the first fail-emergency, are derived respectively. The probabilities of the membership systems and the management system in three states were also derived. Some numerical examples were used to show the procedures. The result is important for better understanding the management system operation and improving its operational performance from the respect of system reliability.     

研究格值模型论的一种新方法

多值公式、模型及其他有关概念可以转化为相应的二值概念,这个过程是可逆的.因而在考虑格值问题时,就不必沿着二值的思路,只需先将它们转变为二值的,然后再把二值相应结果转变为多值.这个思路对考虑有关模型存在的问题很有效.     

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。