布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。     

基于OpenMP的并行遗传算法求解SAT问题

为了提高SAT （boolean satisfiability） 问题求解效率,在OpenMP （open multi-processing） 编程框架下,将遗传算法与局部搜索算法结合,改进了混合遗传算法中的选择算法,将原有选择操作的时间复杂度降低到O(N)级别. 算法采用OpenMP中的编译制导语句#pragma omp parallel粗粒度并行化驱动混合遗传算法,采用#pragma omp single语句块实现了子种群间个体的同步迁移操作. 与同类算法HCGA （hybrid cloud genetic algorithm）比较分析表明:改进算法HGA （hybrid genetic algorithm）以及并行后的混合遗传算法CGPHGA （coarse-grained parallel hybrid genetic algorithm）在求解成功率和求解效率上都有显著提高,部分问题求解成功率提高达5倍.      

物流联盟的形成机理与协作博弈研究

近年来,随着信息技术和电子商务的飞速发展,物流模式不断变革,物流联盟应运而生.本文从经济学和系统学的角度对物流联盟的形成机理进行了分析.本文在协作博弈模型中引入风险偏好,分析了物流企业风险厌恶程度、联盟协同效应和各种成本系数等因素对物流企业投入和联盟协作的影响.分析表明,物流企业自营成本系数和合作成本系数对物流企业合作意愿影响较大,此外,运营成本和风险厌恶感较低的物流企业有更强的合作意愿,为了激励物流企业的积极性,应给予物流企业以适当的奖励和分成.所以,物流联盟应结合实际情况制定相应的准入制度和恰当的奖励制度.最后,给出一个例子验证了相关结论.     

φ-频繁闭项目挖掘问题及其算法

关联规则挖掘问题是数据挖掘领域一个重要的研究方向,φ-关联规则挖掘问题是它的一种推广形式。利用闭项目集的思想,提出了φ-频繁闭项目挖掘问题。它是φ-关联规则挖掘问题的一种替代,并给出了一种有效的挖掘算法,有效解决φ-关联规则挖掘问题中产生大量规则的问题。     

格蕴涵代数

本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质, 为从语义的角度研究格值逻辑系统奠定了必要的基础.      

基于并行链路的多分割副本复制

为限制重叠副本数据重复传播和未修改数据传播以及解决并行链路中多分割副本复制问题，基于并行链路中各个站点的副本复制状态，提出了2次传播单次复制策略、2次传播1次吞吐2次复制策略和并行传播2次吞吐3次复制策略．这3种策略的基本思想是将多分割副本分解后吞吐转播，最后再还原复制．     

格蕴涵代数中的格蕴涵代数方程

根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.     

关于格蕴涵代数模糊滤子的一个注记

在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质，指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系，并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。     

J-Resolution Fields of Generalized Literals of L14 P（X）

Introduction In order to study the lattice-valued logic system,Xu[1]proposed the concept of lattice implication alge-bra by combining the lattice with the implication alge-bra and discussed its properties systematically. InRefs.[2,3], a lattice-valued propositional logic sys-tem was established using the concepts of free alge-bra, which corresponds to the lattice implication alge-bra, and the semantic and syntactical problems of thissystem were discussed. Xu et al[4]extended the reso-lution p…     

关于N（2,2,0）代数

本文定义了一种新的（２，２，０）型代数（Ｓ，＊，Δ，０），简称为Ｎ（２，２，０）代数。研究了它的基本性质；初步探讨了关于Δ运算幂零和＊运算幂等的Ｎ（２，２，０）代数的特性；证明了：Δ运算幂零时，（Ｓ，Δ，０）构成一个结合的ＢＣＩ－代数；＊运算幂等时，（Ｓ，＊，Δ，０）合一问题是不可判定的。