期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
P^*4中保四元正则可离关系非最小覆盖的剔除 被引量:1
1
作者 周小强 刘任任 《计算机应用研究》 CSCD 北大核心 2009年第6期2090-2091,2094,共3页
为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的... 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。 展开更多
关键词 多值逻辑 完备性 正则可离关系 最小覆盖
在线阅读 下载PDF
P4^*中保四元正则可离关系最小覆盖之确定 被引量:1
2
作者 周小强 刘任任 《计算机科学》 CSCD 北大核心 2009年第9期176-177,192,共3页
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
关键词 多值逻辑 正则可离关系 SHEFFER函数 最小覆盖
在线阅读 下载PDF
一些特殊项链李代数的同态 被引量:18
3
作者 余德民 梅超群 郭晋云 《数学年刊(A辑)》 CSCD 北大核心 2009年第4期551-562,共12页
项链李代数是新的一类无限维李代数。定义了项链字的左右指标数组,并利用左右指标数组,把N_Q的基分成5类,并重点讨论了项链李代数的同态的性质。
关键词 项链李代数 左右指标数组 子代数
在线阅读 下载PDF
一种无约束全局优化的水平值下降算法 被引量:4
4
作者 彭拯 张海东 邬冬华 《应用数学》 CSCD 北大核心 2007年第1期213-219,共7页
本文研究无约束全局优化问题,建立了一种新的水平值下降算法(Level-value Descent Method,LDM).讨论并建立了概率意义下取全局最小值的一个充分必要条件,证明了算法LDM是依概率测度收敛的.这种LDM算法是基于重点度取样(Improtance Sampl... 本文研究无约束全局优化问题,建立了一种新的水平值下降算法(Level-value Descent Method,LDM).讨论并建立了概率意义下取全局最小值的一个充分必要条件,证明了算法LDM是依概率测度收敛的.这种LDM算法是基于重点度取样(Improtance Sampling)和Markov链Monte-Carlo随机模拟实现的,并利用相对熵方法(TheCross-Entropy Method)自动更新取样密度,算例表明LDM算法具有较高的数值精度和较好的全局收敛性. 展开更多
关键词 全局最优化 水平值下降算法 随机实现 相对熵方法
在线阅读 下载PDF
马氏风险过程 被引量:3
5
作者 王汉兴 颜云志 +2 位作者 赵飞 方大凡 郭兴明(推荐) 《应用数学和力学》 CSCD 北大核心 2007年第7期853-860,共8页
研究了一般马氏风险过程,它是经典风险过程的拓广.具有大额索赔的风险过程用此马氏风险模型来描述是适合的.在此模型中,索赔到达过程由一点过程来描述,该点过程是一马氏跳过程从0到t时间段内的跳跃次数.主要研究了此风险模型的破产概率... 研究了一般马氏风险过程,它是经典风险过程的拓广.具有大额索赔的风险过程用此马氏风险模型来描述是适合的.在此模型中,索赔到达过程由一点过程来描述,该点过程是一马氏跳过程从0到t时间段内的跳跃次数.主要研究了此风险模型的破产概率,得到了破产概率满足的积分方程,并应用本文引入的广更新方法,得到了破产概率的收敛速度上界. 展开更多
关键词 风险过程 破产概率 马氏跳过程
在线阅读 下载PDF
项链李代数的同构与同构群 被引量:2
6
作者 余德民 梅超群 郭晋云 《数学年刊(A辑)》 CSCD 北大核心 2013年第5期569-578,共10页
研究了一些特殊箭图的同构,这些特殊箭图包括垂直叠加的箭图和水平叠加的箭图.跟以前的研究方法相比,文中的研究方法是不同的和新颖的,即利用指标数组把复杂的李运算转换为多重指标集的运算.
关键词 箭图 项链字 项链李代数 同构
在线阅读 下载PDF
右s-unital环上的广义Morita理论(英文)
7
作者 欧阳柏玉 周立仁 《湖南师范大学自然科学学报》 CAS 北大核心 2008年第3期3-6,共4页
将经典的Morita等价理论推广到s-unital环.证明s-unital环上的两个酉模范畴等价可由共变的Hom与函子实现,而且能够导出同构的Morita context.
关键词 s-unital环 Morita-like等价 MORITA CONTEXT
在线阅读 下载PDF
非自治耗散型Schrodinger方程的吸引子的维数
8
作者 张再云 《长沙电力学院学报(自然科学版)》 2006年第4期104-106,共3页
考虑非自治耗散型Schrod inger方程的吸引子的维数,通过线性变分方法和广义Sobolev-L ieb-Th irring不等式,得到吸引子的Housdorff维数和分形维数的估计.
关键词 吸引子 非自治耗散型Schrodinger方程 Housdorff维数 分形维数
在线阅读 下载PDF
轮图相关图的临界群
9
作者 魏丽娟 姜倚兰 《湖南师范大学自然科学学报》 CAS 北大核心 2008年第4期12-15,共4页
图的临界群是图的生成树数目的一个加细.它是图的一个精细不变量.确定了修改轮图的临界群的结构,给出了它们的临界群的Smith标准形的精确形式,证明了它们的临界群总是循环群或两个循环群的直和.
关键词 临界群 沙堆群 图的Laplacian矩阵 Smith标准形 轮图
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部