G(o)del中单个或两个原子生成公式的真度分布

以Godel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题.得到任一由单个或两个原子生成的公式的真度必为0,1/6,2-6,1/2,4/6,5/6,1之一.进而按照真度将由单原子或两个廉子生成的公式集进行了细致的分类.     

L*系统中由单个原子生成公式的真度分布

以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。     

Π系统中公式的真值函数及真度分布

以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。     

L*系统中的函数决定公式问题

基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。     

n值命题逻辑中公式列的收敛性

在[n]值[R0]命题逻辑系统中给出了公式列按真度收敛的定义,研究了公式列按度量收敛、按赋值收敛及按真度收敛的性质,给出了三种收敛各自的充分必要条件,在公式列是有限原子的条件下证明了公式列按度量收敛、按赋值收敛及按真度收敛是相互等价的。     

二值命题逻辑中基于条件真度的近似推理

以公式真度为基础,给出了二值命题逻辑中基于条件真度的逻辑度量的真度表示式,提出了两类在信息Г下的误差不大于ε结论模式,证明了两类结论模式的等价性,并讨论了基于条件真度和真度的近似推理及其关系问题。     

模态逻辑公式的真度理论

在模态逻辑系统中,对可能世界进行了深入的分析,首次提出了完整模型的概念,并且在这个完整模型的框架下定义了模态公式的真度概念,建立了公式的真度理论。并且证明了：若模态公式[φ]不含任何模态词,即经典逻辑公式,它对应的模态真度[τ(φ)]就由区间退化为一个点,并且这个点就是该公式的Borel型真度值。     

模态逻辑中公式的模态真度

在模态逻辑中提出了公式的模态真度理论,即Δ真度与΢真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。     

多值模态逻辑的计量化方法

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.     

连续值Luk系统中公式的Γ-真度及其性质

对Lukasiewicz系统中的真度理论进行了进一步的研究。将n值Lukasiewicz系统中公式相对于有限理论的ΣΓ-真度理论与连续值Lukasiewicz系统中公式的积分真度相结合,在连续值Lukasiewicz系统中引入了公式相对于有限理论的Γ-真度理论,讨论了其中的主要性质;在公式集F(S)上引入了任意两公式相对于有限理论的Γ-伪距离,从而拓宽了真度理论的应用范围。     

求解Ramsey数下界的模拟退火算法

对于图G_1、G_2,2色广义Ramsey数R(G_1,G_2)是指最小正整数P,使得每一个p阶的图G,或者G包含G_1,或者G的补图包含G_2。用改进的模拟退火算法求解得到了R(W_m,K_n),R(B_m,K_n),R(F_m,K_n),类型的一些Ramsey数的下界。     

蕴涵算子族R（q，p）-LGN及其三I支持算法

给出了一族新的左连续三角模族T_（q,p）-LGN族及其伴随蕴涵算子族R_（q,p）-LGN,它包括Lukasiewicz蕴涵算子、Gödel蕴涵算子及R0蕴涵算子; 提出了基于蕴涵算子族的模糊推理的思想,并给出了基于蕴涵算子族R_（q,p）-LGN的FMP模型的三I支持算法。     

环F2+uF2+u2F2上的线性码及其Gray像

记R=F₂+uF₂+u²F₂,R₁=F₂+uF₂,定义了从Rⁿ到F³ⁿ₂的Gray映射Ф以及从Rⁿ₁到Rⁿ的映射f。通过对环R上线性码C的生成矩阵的研究,给出了线性码C的对偶码C^⊥和Gray像Ф（C）的生成矩阵,并且Ф（C）与Ф（C^⊥）是F₂上的对偶码。通过映射f将环R₁上的线性码与环R上的一类线性码对应起来。     

函数单向S-粗集对偶生成的■-模型

利用函数单向S-粗集对偶,给出R-函数等价类[u(x)]的-模型与-t阶单向动态模型的生成及有关概念,给出■-模型与■-单向动态模型生成及有关概念,提出■-单向动态模型序关系定理及动态分离定理,■-模型的动态特征依赖于属性集α上的属性删除。利用这些讨论,给出■-模型生成原理及应用。     

Gdel区间值逻辑系统的广义拟重言式

吴洪博博士将王国俊教授在R0逻辑系统中的广义重言式理论推广到Gdel逻辑系统中,通过定义两个同构映射,得到其逻辑系统F(S)的一个分划。将这一理论推广到区间值模糊命题逻辑系统中,定义了两个新的区间同构映射,最终得到区间值逻辑系统F(S)的一个分划。     

基于支持向量机的思维脑电信号特征分类研究

探索一种实用的基于想象运动思维脑电的脑-机接口(BCI)方式,为实现BCI应用奠定比较坚实的理论和实验基础。对6名受试者进行三种不同时段(箭头出现2s、1s和0s后提示按键)情况下想象左右手运动思维作业的信号采集实验,利用小波变换和支持向量机对实验数据进行离线处理。对三种情况下的延缓时间△t0、△t1和△t2分析发现:△t0与△t1和△t2之间都有显著性差别(p<0.05),而△t1与△t2之间没有显著差别(p>0.05);平均分类正确率分别达到68.00%、80.00%和56.67%(p<0.05);实际按键前0.5~1s左右,想象左右手运动的思维脑电特征信号都发生了明显改变。通过合理的实验设计获取的信号有助于识别正确率的提高,为BCI系统中思维任务的特征提取与识别分类提供了新思路和方法。     

系统Hα中的子代数的广义重言式理论

将多值逻辑系统H_α（0≤α≤1）中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H_1/2的序稠密子代数中给出F（S）的一个分划,并把系统H_1/2中的相关结论推广到系统H_α（0≤α≤1）中。     

关于最优双环网的构造

在刘焕平等人工作的基础上,给出一个改进的h（h≥0）紧优双环网络的构造算法。利用VC++6.0编程来实现这一算法,对任意给定N,找出s（1<s<N）使得双环网络G（N;1,s）h（h≥0）紧优。首次给出了N在一亿之内,所有h（0≤h≤7）紧优双环网的个数及对应h的最小N值。并根据实验所得数据,指出Augilo和Fiol的求紧优双环网络算法的不足与错误。     

（m，p1）约束规范的动态调度算法研究

（m,p¹）有效解决了µ-pattern中第一个数字为0时部分约束规范失效的问题。在弱硬实时调度算法研究的基础上,针对（m,p¹）约束规范,提出了一个动态弱硬实时调度算法,分析与仿真结果表明,算法效果良好。