同态原则在定性推理中的应用

本文根据抽象代数的原理，提出良好的定性推理系统应遵循“同态原则”一然后根据该原则对现行的两种定性推理理论进行分析，结果表明:deKleer时‘基手组件”的定性推理系统与其所对应的定量分析系统不是同态的;'Kuipers的“基于约缈m的定性摧理索统与其成对应的定量分析系统是聆向态的.’s后本文还给出二个如何判断定性推理系统、与“实数集3}'是否存在同态映射的充分条件.     

一种基于身份的全同态签名方案

全同态签名方案在可验证外包计算等领域具有重要应用,但目前人们还没有提出基于身份的全同态签名方案.因此,本文给出了基于身份的全同态签名方案的安全定义,基于格问题构造了一个基于身份的层次型全同态签名方案,在标准模型下基于小整数解问题难解性严格证明了所提全同态签名方案满足选择性身份与选择性消息数据集合攻击下的存在性不可伪造性.     

分类学方法在天气学中的应用及新疆天气过程的分类阶层系统(一)

本文论述了在天气学中分类学方法的必要性及其应有的地位。探讨并提出了天气过程分类原则。根据所提出的原则,对57—71年(共计15年)资料进行普查,将影响新疆的1173次各种天气过程,归纳为五大系基本天气过程,并进一步分为十九类三十三型。初步按“系”—“类”—“型”阶层,建立了新疆天气过程的分类阶层系统.     

基于智能决策支持的舰艇机动系统

针对军用舰艇的特点,提出了一种基于智能决策支持系统的舰艇智能机动系统结构,论述了系统中模糊推理与空间分析的实现方法.该系统将决策支持系统和模糊专家系统相结合,使得舰艇机动决策既能充分利用专家经验,又能利用舰艇机动数学模型,体现了定性与定量分析的特点.另外,该系统将空间分析技术引入避碰研究,利用地理信息系统的信息辅助避碰决策.     

基于规则的维吾尔语、哈萨克语机器翻译

本文主要介绍基于规则的维吾尔语、哈萨克语机器翻译的设计与实现过程:(1)根据这两种语言之间的对应关系,构建了其词尾映射库、翻译规则库;(2)对源语言维吾尔语进行形态分析后,根据映射库和翻译规则,初步实现了基于规则的维吾尔语、哈萨克语机器翻译系统.在收集的维哈对齐的语料上做了实验,实验结果BLEU值为0.2,表明本文采取的方法是可行的.     

格序群的B—根

本文引入了强(F)条件并定义了1—群的B—根;证明了1—群的B—根是KypoIII-Amistur意义下的根且是遗传;推广了P.Conrad[1]的一个重要结论。我们将沿用[1]的概与记号,群的运算以“+”表,但并不要求运算是可换的,文中的1群间的同态一概指序同态,以后不再一一指出。     

带泊松跳的随机脉冲时滞偏微分方程的指数稳定性(英文)

带泊松跳的随机脉冲系统的适定性解的稳定性问题至今尚未得到解决.基于不动点理论,研究了随机脉冲时滞偏微分方程的适定性解的稳定性,得到了一些确保所证结论的充分条件.由于考虑了脉冲和泊松跳,文中的结论推广了Luo所得到的结论.     

具有唯一Pierece同态的l-群

Pierece证明了对于任意一个具有最小元0的分配格L,存在一个格态f:L→L满足:(1)Kerf=0;(2)f(a)=f(b)当且仅当a⊥=b⊥,这里a,b∈L,且对于x∈L,x⊥={y∈L:y∧x=0}。我们称这样的格同态为Pierece同态。本文我们将证明:如果G是一个Archimedeanl-群,则G+只有唯一的Pierece同态。     

三值移位寄存器与三值环形计数器

本文利用三值D型触发器和三值置态型触发器,提出了对三值移位寄存器和三值环形计数器的电路设计.讨论表明所设计的电路在结构和功能上与二值电路均有很好的对应关系,同时还揭示了三值环形计数器的各种结构与三值变量的极性变换有关.     

de Bruijn—Good图D_n~3的强同态

de Bruijn—Good 图(下面简称 D—G 图)在非线性移位寄存器与编码理论中应用较为广泛.对这种图,以前在二元域上研究较多.近来对有限域上的一般情况引起了人们的注意.万哲先、刘木兰确定了 k=2情况下 D—G 图的全部6个2—1同态.我们对 k>2的一般情况引入了强同态的概念,并证明了若干基本定理.利用这些基本定理,我们有可能找到 D—G 图的全部强同态.由于强同态的数目随 k 的增大增长极快,所以,受计算机容量与速度的限制,只能对较小的 k 得出具体结果.本文给出了我们利用计算机得到 k=3情况下 D—G 图的全部强同态.     

利用量纲分析法进行物理问题的定性推‘理

本文提出了定性推理的一种新方法-一量纲分祈法对物现问题的有关定性推理.文中介绍了它的工作机理和实现这种方法的LISP程序QDA及部分实例.并讨论了它的应用和局限性.     

基于贝叶斯网络的信息安全风险评估方法

在系统分析信息安全风险要素及评估过程的基础上，针对评估过程中的不确定性信息难以量化处理的问题，引入贝叶斯网络推理算法，并结合专家知识给出贝叶斯网络下的推理规则条件概率矩阵，从而构建了信息安全风险评估模型．最后以实例分析了基于此模型的风险评估方法．仿真结果表明该方法是一种有效的评估算法，较为准确地了反映了信息安全的风险等级，为信息安全风险评估提供了一种新的思路．     

一种用于诊断电子设备故障的专家系统

本文着重从分析电子设备故障诊断的人类专家的实际工作特点入手,指出单纯采用产生式规则的专家系统的不足之处,进而提出一个同时使用框架及产生式规则的专家系统—电子设备故障诊断专家系统;同时描述了该系统的部分算法及实现原理.通过分析该系统的建立过程,本文旨在强调这样一个观点:选择适合于领域特点的知识表示方法及适当的推理算法对于建立一个实用的专家系统是很重要的.     

BL代数的(∈,∈∨q)-模糊素滤子

利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL 代数中引入(∈,∈∨q) 模糊素滤子的概念并研究其性质.获得了BL 代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构（同态）像（原像）仍为(∈,∈∨q)-模糊素滤子这一结论.     

次协调逻辑下的自动推理

引进了一套次协调逻辑系统──注解逻辑的线性归结方法后，在探讨的过程中提出了若干命题，并用一个推理实例表明在该系统中产生次协调性后，仍然可以进行正常的推理．     

BCK-数的Fuzzy理想的同态象

本短文论证了 BCK-代数有 sup 性质的 Fuzzy 理想的同态象仍是 Fuzzy 理想,Fuzzy 关联理想的同态象仍是 Fuzzy 关联理想。     

基于Rete模式匹配算法的入侵检测系统

设计并实现了一个基于专家系统的网络入侵特征检测系统．针对当前入侵检测推理机制中存在的时间冗余性问题，在入侵检测推理过程中采用了Rete模式匹配算法，对推理机制进行了优化．实验结果表明，该系统在检出率和检测效率上要明显高于未采用Rete模式匹配算法的系统，采用Rete模式匹配算法能有效地克服时间冗余性问题，并改善了系统的性能．     

基于XML的次协调推理

标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制．     

非线性系统的多线性分离变量法

线性物理中两大普遍适用的傅立叶变换法和分离变量法都不能直接应用到非线性物理, 为此如何在非线性物理中建立相应的研究方法是众多物理学家和数学家们都非常关心的问题. 本文介绍了一种适用于非线性系统的分离变量法—–多线性分离变量法, 由其可以得到具有低维变量分离函数的多线性分离变量解. 特别地, 可积系统的多线性分离变量解通常包含有任意的低维变量分离函数.     

带有量子修正的Zakharov方程的精确非线性波解

利用动力系统定性理论和分支方法，研究了带有量子修正的Zakharov方程的精确非线性波解，给出了不同参数条件下的相图，沿相图中的特殊轨道进行了积分，得到量子Zakharov方程的4个孤立波解、7个奇异波解和24个周期波解共3类非线性波解。当参数取特殊值时，对部分周期波解取极限，给出了周期波解演化为相应的孤立波解和奇异波解的过程。