有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

有限Atanassov逻辑代数及其广义重言式

讨论了有限Atanassov直觉模糊逻辑代数，给出判别其子代数的充要条件，并将王国俊教授在逻辑系统W，W^-，Wn中的广义重言式理论推广并用到Atanassov逻辑中，证明了在Atanassov逻辑中不存在绝对重（假）言式，广义重言式不随系统变大而增多和广义重言式前缀（α，β）具有不敏感性。     

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列ＡＫ（Ｋ＝１，２，．．．）从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝β〈α，β∈（Ｌ）β－Ｔ（Ｌ）。     

Gainse-Rescher逻辑系统中的广义重言式理论

将王国俊教授在逻辑系统Ｗ，Ｗ，Ｗｋ中的广义重言式理论进行推广，并应用到了Ｇａｉｎｓｅ－Ｒｅｓｃｈｅｒ逻辑系统Ｇｒ，Ｇｒ，Ｓｎ中，主要结果是：在逻辑系统Ｇｒ，Ｇｒ中，重言式不可能由对非重言式进行有限次升级算法得到；在逻辑系统Ｓｎ中，对任一公式最多进行ｎ次升级算法即可得到重言式；利用可达广义重言式概念和ａ－矛盾式概念分别在Ｇｒ，Ｇｒ，Ｓｎ中给出了Ｆ（Ｓ）的一个关于一同余的分划。     

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 ,以及广义重言式前缀b的不敏感性     

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

赋值格为非线性序的一种4值逻辑系统G_4~2

研究赋值格为非线性序,非运算不同于Ｂｏｏｌｅ的非运算,而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４,得到一些结果,特别是,在Ｇ２４中,α－ＭＰ规则（α＞０）都成立,Ｇ２４－重言式都是Ｃ２－重言式,所有的ＩＰＣ－定理皆是Ｇ２４－重言式,以及,一个公式是Ｇ２４－重言式,当且仅当它既是Ｇ２４－中的Ｉ－重言式,又是－Ｊ重言式,即（Ｉ－Ｔ（Ｇ２４））∩（Ｊ－Ｔ（Ｇ２４））＝Ｔ（Ｇ     

Lukasiewicz系统中的广义重言式理论

引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．     

逻辑系统H_α中的广义语义MP规则

将修正的Kleene逻辑系统中的语义MP规则推广后应用于Ha逻辑系统中,讨论了H1逻辑系统中广义重言式理论的语义（[a]-MP）规则、语义（[a＋]-MP）规则,使得对Ha系统中的广义重言式有了更进一步的认识,另外,逻辑系统刀中的广义语义MP规则也成为其中的一个特例。     

Larsen模糊推理算法的直觉化扩展

对Larsen模糊推理算法进行了直觉化扩展。首先将Larsen定义的模糊关系Rp进行直觉化扩展,然后推出了其对应的直觉模糊取式推理算法和直觉模糊拒式推理算法。最后以具体算例叙述了推理计算过程中的细节,验证了该方法的正确性和有效性。结果证明直觉化扩展后的Larsen模糊推理算法是一种性能比较好的直觉模糊推理算法。     

凸函数的扩充单调性及其在积分上应用

讨论了凸函数的连续性和有界性,定义了扩充单调的概念,以此为基础给出了开区间内和闭区间内凸函数的扩充单调性质,并将该性质应用在可积函数上,得到了一个判断n阶积分的凸性和单调性的方法.     

关于v-Noether环

Mori整环是v-理想满足升链条件的整环,将其研究扩大到有零因子的交换环上.v-Noether环被定义为v-理想满足升链条件的交换环.若R是v-Noether环,P是素理想,则R[P]是v-Noether环.而且还得到:若R中每个非零理想都被包含在至多有限个极大t-理想中,R是v-Noether环当且仅当对于每个极大t-理想M而言,R[M]都是v-Noether环.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

高阶斜积映射下Schrodinger算子的Lyapunov指数

利用Weyl差分原理、 大偏差定理和雪崩原理等方法, 考虑高阶斜积映射T_ω定义下离散解析Schrodinger算子的Lyapunov指数正性和连续性问题. 证明了当其势能系数充分大时, 系统的Lyapunov指数关于能量参数E是弱Holder连续的, 且是正的. 从而将低阶斜积映射下的Lyapunov指数连续性和正性的结论推广到了高阶情形.     

一致连续偏序集理论

给出了一致连续偏序集的概念及其性质和等价刻划。利用一致极小集的方法阐述了映射的连续性、保一致小于关系和保一致极小集之间的联系，并证明了完备格是一致连续格当且仅当每个元都存在一致极小集。     

关于C—代数张量积的一个注解

设Ａ为一Ｃ＾＊－代数,考虑自然的线性映照△：Ａ     

非可换线性逻辑及其Quantale语义

扩充了V．M．Abrusci定义的非可换线性逻辑，使其兼容直党逻辑、可换线性逻辑及cyclic线性逻辑，并利用提出的对偶quantale概念给出了非可换线性的可靠且完备的quantale语义。     

某类周期FC群中n元组同构等价的一阶局部刻划

证明了在周期FC群中,若每个元素同构等价类都有限,则两个n元组同构等价的充要条件是它们局部同型,即对于包含这两个n元组的任一n元组有限于集S,都存在一个有限子群M,使得,且两个n元组在M中有相同的型。作为其推论,层有限群(FO)中两个n元组同构等价的充要条件是它们局部同型。