关于格蕴涵代数的几点注记 被引量：3

1

作者 秦克云 陈志国 《西南交通大学学报》 EI CSCD 北大核心 2003年第1期1-3,共3页

给出了一般(2,1,0,0)型代数(L,→, ,0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴涵代数的结构提供了条件.

关键词 格蕴涵代数 有限链 T型代数 非全序四元格 格值逻辑系统 真值

下载PDF 职称材料

多个侧向链对横向量子线传输性质的调制

2

作者 孟海卫 姜东涛 戴振宏 《物理学报》 SCIE EI CAS CSCD 北大核心 2007年第2期1099-1104,共6页

利用递推格林函数方法,研究了与多个量子点间无相互作用的量子链相耦合的横向量子线的电子输运特性,发现量子链上格点的个数NU与侧向无限或有限量子链个数N对横向量子线输运性质的不同调制规律.由计算可知,利用格林函数可以方便的对传... 利用递推格林函数方法,研究了与多个量子点间无相互作用的量子链相耦合的横向量子线的电子输运特性,发现量子链上格点的个数NU与侧向无限或有限量子链个数N对横向量子线输运性质的不同调制规律.由计算可知,利用格林函数可以方便的对传输构型及传输链中的格点数进行调解,从而得到各种人为量子器件的输运性质. 展开更多

关键词 递推格林函数 无限链 有限链 电子输运

原文传递

离散合取聚合算子的迁移性

3

作者 詹行 苏勇 刘华文 《计算机科学与探索》 CSCD 北大核心 2015年第6期756-760,共5页

主要研究了有限链上合取聚合算子的迁移性问题;讨论了可分三角模关于取小三角模和LukasieLwicz三角模的α-迁移性;研究了含加法生成子的合取聚合算子类关于取小三角模和LukasieLwicz三角模的α-迁移性,其中主要利用了加法生成子来刻画... 主要研究了有限链上合取聚合算子的迁移性问题;讨论了可分三角模关于取小三角模和LukasieLwicz三角模的α-迁移性;研究了含加法生成子的合取聚合算子类关于取小三角模和LukasieLwicz三角模的α-迁移性,其中主要利用了加法生成子来刻画此类中元素的迁移性。结果表明:(1)可分三角模是关于取小三角模的α-迁移当且仅当α是其幂等元;(2)可分三角模是关于LukasieLwicz三角模的α-迁移当且仅当其是LukasieLwicz三角模;(3)含加法生成子的合取聚合算子类中的元素是关于取小三角模和LukasieLwicz三角模的α-迁移的条件。 展开更多

关键词 离散合取聚合算子 迁移性 有限链 加法生成子 三角模

下载PDF 职称材料

偏序集的几个同调性质

4

作者 Andrea Brini 池雄标 《韶关学院学报》 1985年第4期57-61,共5页

1.引言本文循沿 Quillen〔7〕及 Bjorner〔2〕原文之思路,给出 Bjrner 关于到偏序集中余的构造的 Mbius 函数的消没的几个结论的简单证明,同时推广 Bjrner 的其中一个结论。我们认为,这一探讨体现了对迄今为止所运用之技巧的简化。2.同... 1.引言本文循沿 Quillen〔7〕及 Bjorner〔2〕原文之思路,给出 Bjrner 关于到偏序集中余的构造的 Mbius 函数的消没的几个结论的简单证明,同时推广 Bjrner 的其中一个结论。我们认为,这一探讨体现了对迄今为止所运用之技巧的简化。2.同伦等价定理设 p 是一个偏序集,△(p)表示 p 的所有有限链的单纯复形。从几何角度认识单纯复形△(p),我们将 p 对应于拓扑空间|p|。 展开更多

关键词 偏序集 单纯复形 拓扑空间 同伦型 等价定理 单形 几何角度 简单证明 有限链 极点

下载PDF 职称材料

有限链上逻辑算子的分配性方程求解

5

作者 韩亮 刘华文 《山东大学学报（理学版）》 CAS CSCD 北大核心 2014年第2期29-35,共7页

主要讨论有限链L上的分配性方程F(G1(x,y),z)=G2(F(x,z),F(y,z))。分别针对以下情况对上述分配性方程的解进行特征刻画:(a)F为光滑三角模,G1=G2为光滑三角余模(F为光滑三角余模,G1=G2为光滑三角模);(b)F为S-蕴涵(或R-蕴涵),G1为光滑三... 主要讨论有限链L上的分配性方程F(G1(x,y),z)=G2(F(x,z),F(y,z))。分别针对以下情况对上述分配性方程的解进行特征刻画:(a)F为光滑三角模,G1=G2为光滑三角余模(F为光滑三角余模,G1=G2为光滑三角模);(b)F为S-蕴涵(或R-蕴涵),G1为光滑三角模且G2为光滑三角余模;(c)F为S-蕴涵(或R-蕴涵),G1为光滑三角余模且G2为光滑三角模;(d)F为S-蕴涵(或R-蕴涵),G1和G2均为光滑三角模;(e)F为S-蕴涵(或R-蕴涵),G1和G2均为光滑三角余模。 展开更多

关键词 有限链 分配性方程 三角模 三角余模 S-蕴涵 R-蕴涵

原文传递

有限链上的三角子模

6

作者 李伟才 覃锋 易志洪 《云南师范大学学报（自然科学版）》 2009年第1期9-17,共9页

为了构造有限链上的三角模,引入了有限链上的三角子模的概念,给出了生成有限链上的三角子模三角模的方法;然后讨论了有限链上的光滑三角子模的结构。

关键词 三角模 三角子模 有限链光滑性

下载PDF 职称材料

一种协调勘探和开采的遗传算法:收敛性及性能分析 被引量：22

7

作者 江瑞 罗予频 +1 位作者 胡东成 司徒国业 《计算机学报》 EI CSCD 北大核心 2001年第12期1233-1241,共9页

提出了一种新的遗传算法结构 .在该结构中 ,每一代的新种群由保留种群、繁殖种群和随机种群三部分组成 ,而它们的相对数量则由不同的参数进行控制 ,这体现了该算法在运行过程中对搜索空间勘探和开采操作的协调和权衡 .通过把该算法建模... 提出了一种新的遗传算法结构 .在该结构中 ,每一代的新种群由保留种群、繁殖种群和随机种群三部分组成 ,而它们的相对数量则由不同的参数进行控制 ,这体现了该算法在运行过程中对搜索空间勘探和开采操作的协调和权衡 .通过把该算法建模为齐次的有限 Markov链 ,该文证明了该算法具有全局收敛性 .对试验数据的分析表明 ,该算法能够有效协调算法对问题解空间的勘探和开采操作 ,因而在处理复杂问题时表现出较高的性能 . 展开更多

关键词 遗优算法 有限Markov链 收敛性 性能分析

下载PDF 职称材料

有限级信息素蚁群算法 被引量：17

8

作者 柯良军 冯祖仁 冯远静 《自动化学报》 EI CSCD 北大核心 2006年第2期296-303,共8页

提出一种新的蚁群算法,将信息素分成有限个级别,通过级别的更新实现对信息素的更新,并且信息素的更新量独立于目标函数值．文中采用有限马氏链的理论证明算法可以线性地收敛到全局最优解．针对TSP问题,通过与MMAS和ACS等蚁群算法的数值... 提出一种新的蚁群算法,将信息素分成有限个级别,通过级别的更新实现对信息素的更新,并且信息素的更新量独立于目标函数值．文中采用有限马氏链的理论证明算法可以线性地收敛到全局最优解．针对TSP问题,通过与MMAS和ACS等蚁群算法的数值实验结果进行比较,表明所提出的算法是有效的、鲁棒的． 展开更多

关键词 蚁群算法 有限马氏链 收敛性 TSP问题

下载PDF 职称材料

NCD系统的数学建模与稳态分析 被引量：8

9

作者 郑苏晋 成世学 《应用概率统计》 CSCD 北大核心 2003年第1期92-98,共7页

本文以有限齐次马尔科夫链对NCD(无索赔折扣)系统建模,严谨地证明了,任一NCD系统皆存在唯一的平稳分布.此外,给出了求解这一平稳分布的一般算法,并揭示了此平稳分布的结构.特别地,对两类给定的折扣类转移法则,还给出了平稳分布的显式.

关键词 数学建模 稳态分析 无索赔折扣 马尔科夫链 平稳分布 有限齐次马氏链 机动车辆 保险业务

下载PDF 职称材料

人工鱼群算法的全局收敛性证明 被引量：14

10

作者 黄光球 刘嘉飞 姚玉霞 《计算机工程》 CAS CSCD 2012年第2期204-206,共3页

研究人工鱼群算法,按候选解分量所在的区间,将搜索空间转化为离散空间,该空间中每个点即为一个人工鱼的位置状态,其能量(食物浓度)即为该点的目标函数值。分别将离散空间集合、人工鱼集合划分为若干个非空子集。在人工鱼觅食、聚群和追... 研究人工鱼群算法,按候选解分量所在的区间,将搜索空间转化为离散空间,该空间中每个点即为一个人工鱼的位置状态,其能量(食物浓度)即为该点的目标函数值。分别将离散空间集合、人工鱼集合划分为若干个非空子集。在人工鱼觅食、聚群和追尾移动过程中,计算其从一个位置状态转移到任意一个位置状态的转移概率。每个位置状态对应有限Markov链的一个状态,且满足可归约随机矩阵的稳定性条件,由此证明人工鱼群算法的全局收敛性。 展开更多

关键词 先进计算 人工鱼群算法 全局收敛性 有限Markov链

下载PDF 职称材料

求解组合优化问题的鱼群算法的收敛性证明 被引量：10

11

作者 黄光球 刘嘉飞 姚玉霞 《计算机工程与应用》 CSCD 2012年第10期59-63,88,共6页

为了证明求解组合优化问题的人工鱼群算法的全局收敛性,将人工鱼群算法的搜索空间定义为离散空间,其中的每个点即为一个人工鱼的位置状态,其食物浓度即为该点的目标函数值。根据食物浓度大小将整个离散空间集合分为若干个非空子集;将所... 为了证明求解组合优化问题的人工鱼群算法的全局收敛性,将人工鱼群算法的搜索空间定义为离散空间,其中的每个点即为一个人工鱼的位置状态,其食物浓度即为该点的目标函数值。根据食物浓度大小将整个离散空间集合分为若干个非空子集;将所有人工鱼集合也对应划分为若干个非空子集。在人工鱼的觅食、聚群和追尾过程中,人工鱼从一个位置状态转移到任意一个位置状态的转移概率可以计算出来;人工鱼移动过程中的每个位置状态对应于有限Markov链上的一个状态,且满足可归约随机矩阵的稳定性条件,据此证明了工鱼群算法具有全局收敛性。 展开更多

关键词 先进计算 组合优化 人工鱼群算法 全局收敛性 有限Markov链

下载PDF 职称材料

一类基因表达式程序设计的若干收敛定理及其推广 被引量：3

12

作者 陈明 丁立新 余建平 《小型微型计算机系统》 CSCD 北大核心 2013年第3期606-610,共5页

基因表达式编程算法(或称基因表达式程序设计)的基因型/表现型双实体为之带来许多不同于传统演化算法的优势,但建立其Markov模型时,我们须在两者之间作出权衡.为简化遗传算子概率结构的分析,本文以基因型空间为搜索空间,研究一类GEP在... 基因表达式编程算法(或称基因表达式程序设计)的基因型/表现型双实体为之带来许多不同于传统演化算法的优势,但建立其Markov模型时,我们须在两者之间作出权衡.为简化遗传算子概率结构的分析,本文以基因型空间为搜索空间,研究一类GEP在宽松条件下的收敛性.首先,针对由基因型-表现型映射所致的多峰适应值函数,重构带精英保留策略的GEP的Markov链模型转移矩阵.然后,通过建立依概率收敛速度的精确表达式、估计其上界,证明了算法依均值收敛、几乎必然收敛甚至完全收敛至全局最优值.与之前的严格假设下的若干结论相比,本文的模型更匹配算法的特性,收敛性结论更强且最优状态子集更小.另外,上述精确表达式也可以推广至自适应演化算法. 展开更多

关键词 基因表达式程序设计 完全收敛 几乎必然收敛 依均值收敛 依概率收敛 有限Markov链

下载PDF 职称材料

PNB聚合物的激子及其对静电场的响应 被引量：2

13

作者 黄代绘 李华 刘杰 《四川师范大学学报（自然科学版）》 CAS CSCD 2002年第2期178-182,共5页

在Baranowski B櫣ｔｔｅｒｎｅｒ Voit模型的框架内 ,得到了PNB聚合物有限长开链的自隐激子态 .研究了静电场对激子的影响 ,发现电场对激子的电荷密度、能级、扭角序参量、键序位形都有较明显的影响 ;并使激子吸收峰从红外波段进入可见... 在Baranowski B櫣ｔｔｅｒｎｅｒ Voit模型的框架内 ,得到了PNB聚合物有限长开链的自隐激子态 .研究了静电场对激子的影响 ,发现电场对激子的电荷密度、能级、扭角序参量、键序位形都有较明显的影响 ;并使激子吸收峰从红外波段进入可见光波段 .当电场超过 0 .74MV cm时 ,激子解离成一对正反纽结孤子 ,此时 ,激子吸收峰分裂成 1.1和 1.4eV左右的两个峰 ,分别对应于电子型孤子和空穴型孤子 .由此对实验上已观察到 1.0和 1.3eV两个短寿命低能吸收峰的成因作出了解释 . 展开更多

关键词 聚对苯亚胺 理论模型 激子 吸收峰 静电场 PNB聚合物 自由边界条件 有限长开链

下载PDF 职称材料

有限马氏链的状态常返性 被引量：1

14

作者 肖果能 《铁道科学与工程学报》 CAS CSCD 1991年第2期93-95,共3页

本文对有限马氏链给出状态常返性的充要条件.

关键词 矩阵 特征多项式 有限马氏链 常返性

下载PDF 职称材料

脉冲堆有限裂变链长的数学期望值分析(英文) 被引量：1

15

作者 刘建军 邹志高 张本爱 《原子核物理评论》 CAS CSCD 北大核心 2007年第1期80-84,共5页

讨论了在一个增殖系统引发一个持续裂变链所需要的平均中子数。在点堆模型基础上,考虑了在t0时刻系统引入一个源中子,在t时刻产生n个中子的概率(n,t0,t),推导了概率生成函数G(z;t0,t)所满足的偏微分方程,并得到了近似解。用近似解计算... 讨论了在一个增殖系统引发一个持续裂变链所需要的平均中子数。在点堆模型基础上,考虑了在t0时刻系统引入一个源中子,在t时刻产生n个中子的概率(n,t0,t),推导了概率生成函数G(z;t0,t)所满足的偏微分方程,并得到了近似解。用近似解计算了Godiva-II脉冲堆的有限裂变链长数学期望值,有限裂变链期望值反比于脉冲堆的反应性。 展开更多

关键词 脉冲堆 临界核系统 有限裂变链

下载PDF 职称材料

超有限Markov链的存在唯一性定理 被引量：1

16

作者 杨向群 《湘潭大学自然科学学报》 CAS CSCD 1998年第3期13-14,共2页

得出了超有限Ｍａｒｋｏｖ链的存在唯一性定理．

关键词 超过程 超有限Markov链 存在唯一性定理

下载PDF 职称材料

侧向耦合对量子线传输性质的调制

17

作者 田兆云 孟海卫 戴振宏 《烟台大学学报（自然科学与工程版）》 CAS 2007年第1期9-12,72,共5页

利用递推格林函数方法,研究了‘T’型介观结构中的侧向耦合量子链对主量子线输运性质的调制,发现了能量对称中心位置对于判断调制模型的输运特性起关键性作用.结果表明,格林函数方法的计算较为简捷,并且,可以较方便地用来研究其他各种... 利用递推格林函数方法,研究了‘T’型介观结构中的侧向耦合量子链对主量子线输运性质的调制,发现了能量对称中心位置对于判断调制模型的输运特性起关键性作用.结果表明,格林函数方法的计算较为简捷,并且,可以较方便地用来研究其他各种人造介观量子器件的输运性质. 展开更多

关键词 格林函数 有限量子链 无限量子链 电子输运

下载PDF 职称材料

关于平稳环境中的有限马氏链的尾σ-代数的一个注记

18

作者 黄自元 王汉兴 《应用数学与计算数学学报》 1998年第2期71-76,共6页

有限马氏链（时齐或非时齐）的尾σ-代数总是δ-平凡的。在环境过程是平稳遍历的情形,本文用十分初等的方法证明了一类平稳环境中的马氏链的尾σ-代数也是δ-平凡的。

关键词 随机环境 马氏链 尾α-代数 有限马氏链

下载PDF 职称材料

超瞬发临界系统有限裂变链集体效应

19

作者 高辉 谢奇林 +1 位作者 刘晓波 范晓强 《原子能科学技术》 EI CAS CSCD 北大核心 2012年第B09期8-10,共3页

本文以点堆模型为基础建立了集体有限裂变链模拟程序,以宏观方法研究有限裂变链在核系统内部的发展演化规律,并得到了实验结果的验证。采用该程序计算了有限裂变链的集体链长,得到了其分布规律。结果表明,平均集体链长随源强的增加而增... 本文以点堆模型为基础建立了集体有限裂变链模拟程序,以宏观方法研究有限裂变链在核系统内部的发展演化规律,并得到了实验结果的验证。采用该程序计算了有限裂变链的集体链长,得到了其分布规律。结果表明,平均集体链长随源强的增加而增大,随反应性的增加而减小。 展开更多

关键词 有限裂变链 集体链长 超瞬发临界

下载PDF 职称材料

有限BCK-链的构造

20

作者 孟杰 《西北大学学报（自然科学版）》 CAS CSCD 1989年第4期9-12,共4页

本文证明了n(≥3)阶BCK-链,有且仅有一个是可换的;一个是正定关联的;没有关联的。

关键词 BCK代数 有限BCK-链 正定关联

下载PDF 职称材料