逻辑系统的重言式理论

引入了五值逻辑系统,在该系统中,建立了相应的重言式理论、准重言式理论,得到一些结论.     

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

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

修正的RDP逻辑系统中的广义重言式理论

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。     

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

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

Gainse-Rescher逻辑系统中子代数的广义矛盾式

本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。     

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

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

n值逻辑系统S_n的子代数及其重言式理论

讨论了n值逻辑系统Sn,给出了判断其子代数的充要条件；并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件。     

一种非线性序集逻辑系统的重言式理论

讨论了五值非线性序集逻辑系统L25,将四值逻辑系统扩充到五值逻辑系统,在五值逻辑系统中,建立了相应的重言式理论、准重言式理论。     

n值标准序列逻辑系统Sn的子代数及其重言式理论

讨论了n值标准序列逻辑系统Sn,给出了判断其子代数的充要条件，并比较了不同的逻辑系统Sn中的重言式，同时给出了逻辑系统Sn中判断公式不是重言式的充分条件．     

彩铃IVR管理逻辑测试系统的改进

分析了彩铃系统的交互式语音应答(IVR)管理逻辑的现有测试系统中存在的一些弊端,提出了一个改进的方案,提高了测试的效率,最后讨论了该思想在类似的测试系统中的推广.     

模糊逻辑系统的改进

模糊推理方法和非模糊化策略是模糊逻辑系统的两个最重要的组成部分 ,在很大程度上影响模糊系统的性能和效果。根据“t范式”和“t协范式”不同的操作组合方式 ,提出了几种改进的模糊推理方法和非模糊化策略 ,并通过计算机模拟得到了比较满意的效果。这说明Mamdani所提出的模糊推理方法并不是唯一的模糊控制方法     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

广义幂环上模的Morita结构及其应用

本文根据陈维新「１」中的设想，引进了广义幂环上的投射生成模及模的张量积等。建立模的Ｍｏｒｉｔａ结构，用表示论的方法给出左，右Ａｒｔｉｎ单广义幂环结构定理的证明。     

用于人机一体化广义优化技术的多智能体系统

分析了人机一体化广义优化技术的需求引入了多智能体系方案，研究了系统的整体结构和阐凶的上层结构，提出了柔性装配系统优化设计的一个实施方案。     

灰色系统理论在予测高层建筑物沉降中的应用

灰色系统理论是聚龙教授在八十年代提出的,这一理论引起了国内外重视和应用。本文对高层建筑物,用灰色模型GM（1．1）予测沉降趋势,具有较高的精度。     

一般光路中的分数傅里叶变换的分析方法

在分数傅里叶变换的基本性质的基础,通过引入一个定标因子,通过两次切变操作来旋转ＷＤＦ,给了分数傅里叶变换的一种新的分析该方法可以将原有的分数傅里叶分析从对称光路扩展到的一般的光路。     

广义Liénard系统的局部中心

本文利用比较方法研究了广义Liénard方程广义Liénard问题,给出了一个定理及三个推论,定理的条件相对比较弱,结果也比较实用。篇末文献中的相应结果可由推论导出。     

广义系统的稳定性分析

主要是分析了线性广义系统的矩阵束［Ｅ、Ａ］的不变子空间的结构，同时详细讨论了其强（弱）指数渐近稳定性，得到了一个其强（弱）指数渐近稳定的充分必要条件。