目标规划中权系数的几何意义 被引量：2

1

作者 左光纪 《运筹与管理》 CSCD 2001年第4期23-26,共4页

本文用平面仿射坐标的观点 ,解释了目标规划中权系数的几何意义。借助于坐标变换 。

关键词 目标规划 几何意义 偏差变量 权系数 仿射坐标 图解法

在线阅读 下载PDF 职称材料

点圈并图的匹配等价图数 被引量：8

2

作者 马海成 汪小玲 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期36-40,共5页

若两个图G和H的匹配多项式相等,称图G和H匹配等价.用δ(G)表示图G的所有不同构的匹配等价图的个数.设m1<m2<…<mk,且mi≠6,9,15(i=1,2,…,k),则δ(sK1∪t1Cm1∪…∪tkCmk)=∑ri=0δ((s-i)K1∪t1Cm1∪…∪tk-1Cmk-1),r=min{s,t... 若两个图G和H的匹配多项式相等,称图G和H匹配等价.用δ(G)表示图G的所有不同构的匹配等价图的个数.设m1<m2<…<mk,且mi≠6,9,15(i=1,2,…,k),则δ(sK1∪t1Cm1∪…∪tkCmk)=∑ri=0δ((s-i)K1∪t1Cm1∪…∪tk-1Cmk-1),r=min{s,tk}.由此推出δ(sK1∪tCm)=min{s,t}+1,δ(sK1∪t1Cm1∪t2Cm3)=∑ri=0min{s-i,t1}+r+1,r=min{s,t2}.对m=6,9或15,给出了δ(sK1∪tCm)的计算公式. 展开更多

关键词 图 匹配多项式 匹配等价

在线阅读 下载PDF 职称材料

构造色等价图的几种新方法 被引量：19

3

作者 马海成 《高校应用数学学报（A辑）》 CSCD 北大核心 2004年第2期135-140,共6页

给出了构造伴随等价图的几种新方法,因而也给出了构造色等价图的几种新方法.

关键词 色多项式 伴随多项式 色等价 伴随等价 非色惟一图

在线阅读 下载PDF 职称材料

K_1∪I_n的匹配等价图类 被引量：5

4

作者 马海成 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第5期127-130,共4页

完全刻画了K1∪In以及它的补图的匹配等价图类.

关键词 匹配多项式 匹配等价 匹配唯一

在线阅读 下载PDF 职称材料

一种基于双线性对的门限签名方案 被引量：1

5

作者 王萍姝 傅丽 《兰州理工大学学报》 CAS 北大核心 2009年第1期86-89,共4页

通过对现有门限签名方案的分析,发现很多门限签名方案存在安全上的缺陷,特别是在抵抗内部恶意成员的攻击方面.使用双线性映射工具,提出基于双线性对的门限签名方案.该方案通过可验证的方法来防止秘密分发者和秘密共享者的欺骗行为,利用... 通过对现有门限签名方案的分析,发现很多门限签名方案存在安全上的缺陷,特别是在抵抗内部恶意成员的攻击方面.使用双线性映射工具,提出基于双线性对的门限签名方案.该方案通过可验证的方法来防止秘密分发者和秘密共享者的欺骗行为,利用可信中心参与和增加签名者的身份信息来阻止抵抗群体内部成员的合谋攻击,克服了门限签名方案上的弱点.同其他方法进行分析对比,结果表明,该方案还具有验证简单,个体密钥能重复使用,效率高,安全性强的特点. 展开更多

关键词 双线性对 门限签名 合谋攻击 安全性

在线阅读 下载PDF 职称材料

人工智能中缺省逻辑的可表示性(英文) 被引量：1

6

作者 傅丽 王国俊 《工程数学学报》 CSCD 北大核心 2006年第5期886-890,共5页

本文基于缺省理论的扩充集来研究缺省理论的表示性问题。首先,得到了若干关于缺省理论等价的性质。其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。此外,提出了一些用于说明所得结果的例子。

关键词 缺省理论 无前提 正规 扩充 表示性

在线阅读 下载PDF 职称材料

图的粘连度与最大网络(英文) 被引量：1

7

作者 李银奎 王青宁 《工程数学学报》 CSCD 北大核心 2008年第1期138-142,共5页

图G的粘连度定义为T(G)=min{[|X|+m(G-X)]/[ω(G-X)]:XV(G),且ω(G-X)>1}。本文我们在考虑图的粘连度的界的基础上指出了其取值范围,随后讨论了顶点数和粘连度给定的最大图的边数,并给出了该图的构造方法。

关键词 粘连度 最大网络 非线性整数规划

在线阅读 下载PDF 职称材料

求解线性规划的快速换基迭代法 被引量：5

8

作者 左光纪 《运筹与管理》 CSCD 2000年第4期9-15,共7页

本文根据目标函数最速下降原理 ,改进了单纯形方法的换基迭代 ,以尽快得到线性规划问题的最优基。该方法还可用于运输问题的表上作业和图上作业。

关键词 线性规划 单纯形法 换基 迭代

在线阅读 下载PDF 职称材料

树的毁度的算法 被引量：3

9

作者 李银奎 《计算机工程与应用》 CSCD 北大核心 2006年第26期52-53,共2页

图G的毁度定义为r(G)=max｛ω(G-X)-｜X｜-m(G-X):X∈V(G),ω(G-X)>1｝,其中ω(G-X)表示G-X的连通分支数,m(G-X)表示G-X的最大连通分支的阶,此参数很好地刻画了网络图的脆弱性(见文[2])。若G为一般图,其毁度的计算为NPC问题(见文[3]... 图G的毁度定义为r(G)=max｛ω(G-X)-｜X｜-m(G-X):X∈V(G),ω(G-X)>1｝,其中ω(G-X)表示G-X的连通分支数,m(G-X)表示G-X的最大连通分支的阶,此参数很好地刻画了网络图的脆弱性(见文[2])。若G为一般图,其毁度的计算为NPC问题(见文[3])。文章给出了树的毁度的一个递归算法。 展开更多

关键词 毁度 树 递归算法

在线阅读 下载PDF 职称材料

一致凸Banach空间中渐近非扩张型映象不动点的具误差的迭代逼近 被引量：2

10

作者 傅丽 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期17-19,23,共4页

研究在一致凸Banach空间中,用具误差的Ishikawa迭代序列逼近一致L-Lipschitz渐近非扩张型映象的不动点问题,给出了具误差的Ishikawa迭代序列逼近渐近非扩张型映像不动点的强收敛定理.改进了一些文献的相关结果.

关键词 渐近非扩张映象 迭代序列 不动点 一致凸BANACH空间

在线阅读 下载PDF 职称材料

图的谱半径的上界(英文) 被引量：2

11

作者 扈生彪 《河北大学学报（自然科学版）》 CAS 2000年第3期232-234,共3页

利用组合矩阵方法 ,精细地刻画出连通图的最小度与谱半径的上界之间的关系 ,在一定条件下改进了以前的一个结果。

关键词 (0 1)-矩阵 谱半径 连通图 上界

在线阅读 下载PDF 职称材料

教师终身学习与学习化社会问题研究 被引量：2

12

作者 马登明 《陕西师范大学学报（哲学社会科学版）》 CSSCI 北大核心 2004年第S1期163-164,共2页

终身学习、终身教育、学习化社会理念提出时日已久。教师既是教育者又是学习者,具有双重角色。学习化社会是终身学习、终身教育的体系制度和环境氛围。三者之目的一致,志在提高人的素质,提高民族的素质,推进社会发展,实现个性解放。

关键词 教师 师资建设 终身教育 学习化社会

在线阅读 下载PDF 职称材料

概念学习算法中的模糊集 被引量：1

13

作者 傅丽 《计算机工程与应用》 CSCD 北大核心 2009年第14期58-59,65,共3页

概念学习可以形式化为寻找与训练实例最适合的可能假设的预定义空间,已有的多种算法(比如:Find-S、List-Then-E-liminate、candidate-Elimination等等)都是考虑Boolean-值(即{0,1})函数。用模糊集合的思想,把{0,1}-值函数扩展到[0,1]-值... 概念学习可以形式化为寻找与训练实例最适合的可能假设的预定义空间,已有的多种算法(比如:Find-S、List-Then-E-liminate、candidate-Elimination等等)都是考虑Boolean-值(即{0,1})函数。用模糊集合的思想,把{0,1}-值函数扩展到[0,1]-值,[0,1]单位区间的每一个实数,都可以用于考虑概念学习算法,而且,可以用模糊距离和贴近度定义假设与训练实例之集的相容性。 展开更多

关键词 模糊集合 概念学习 训练实例 假设空间 [0 1]-值

在线阅读 下载PDF 职称材料

两类图及补图的匹配惟一性 被引量：1

14

作者 申世昌 《东北师大学报（自然科学版）》 CAS CSCD 北大核心 2006年第4期41-44,共4页

设G是简单图,用μ(G,x)表示图G的匹配多项式,若μ(G,x)=μ(H,x),则称G与H是匹配等价的,记为H^G.若H^G可导出H G,则称图G是匹配惟一的.在此基础上研究了T形树的匹配惟一性,证明了T(m,m+1,m+2),T(m,m+1,m+3)(m≥1)及补图是匹配惟一的.

关键词 T形树 匹配多项式 匹配惟一性

在线阅读 下载PDF 职称材料

解整数线性规划中选择割平面的一个方法 被引量：1

15

作者 左光纪 《运筹与管理》 CSCD 2004年第2期1-4,共4页

本文指出了文[4]的一个错误。用最速下降规则,给出了选择割平面的一个新方法。一个复杂的例子说明,该方法有一定的实用价值。

关键词 整数线性规划 割平面 对偶单纯性方法 最速下降规则

在线阅读 下载PDF 职称材料

粗糙Galois连接

16

作者 傅丽 冉凯 《计算机工程与应用》 CSCD 北大核心 2008年第3期72-74,共3页

在粗糙集中讨论概念格,定义粗糙形式背景、粗糙概念,给出它们的性质,在粗糙形式背景中借助蕴涵算子研究上、下近似运算,并且定义和讨论了粗糙Galois连接。

关键词 粗糙集 粗糙概念 概念格 粗糙Galois连接

在线阅读 下载PDF 职称材料

点圈并图的匹配等价图数

17

作者 汪小玲 马海成 《计算机工程与应用》 CSCD 北大核心 2009年第2期61-62,65,共3页

若两个图G和H的匹配多项式相等,称图G和H匹配等价用(δG)表示图G的所有不同构的匹配等价图的个数。文[5]在{m1,m2}∩{6,9,15}=Ф的条件下计算了δ(sK1∪t1Cm1∪t2Cm2),在该文中计算了δ(sK1∪t1C3∪t2C6)、δ(sK1∪t1C6∪t2C9)是文[5]... 若两个图G和H的匹配多项式相等,称图G和H匹配等价用(δG)表示图G的所有不同构的匹配等价图的个数。文[5]在{m1,m2}∩{6,9,15}=Ф的条件下计算了δ(sK1∪t1Cm1∪t2Cm2),在该文中计算了δ(sK1∪t1C3∪t2C6)、δ(sK1∪t1C6∪t2C9)是文[5]的完善和补充。 展开更多

关键词 图 匹配多项式 匹配等价

在线阅读 下载PDF 职称材料

缺省逻辑的Roos扩充

18

作者 傅丽 《计算机工程与应用》 CSCD 北大核心 2006年第14期30-33,共4页

Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指... Reiter的缺省逻辑的一个缺陷是不能分情形进行推理,为了克服Reiter扩充的这一缺陷,Roos提出了缺省扩充的一种修正定义来解决这一问题。文中将讨论Roos扩充类似于Reiter扩充的一些性质,发现Reiter扩充的一些性质对Roos扩充不再成立,并指出它们的不同。 展开更多

关键词 Reiter扩充 Roos-扩充 半单调性 结论

在线阅读 下载PDF 职称材料

单圈图毁度的一个算法

19

作者 李银奎 《计算机工程与应用》 CSCD 北大核心 2010年第26期38-39,共2页

图G的毁度定义为r(G)=max{ω(G-X)-|X|-m(G-X):XV(G),ω(G-X)>1}其中ω(G-X)表示G-X的连通分支数,m(G-X)表示G-X的最大连通分支的阶。对于一般图G,其毁度的计算为NPC问题。将单圈图的毁度计算问题转化为树或圈的计算问题,从而提... 图G的毁度定义为r(G)=max{ω(G-X)-|X|-m(G-X):XV(G),ω(G-X)>1}其中ω(G-X)表示G-X的连通分支数,m(G-X)表示G-X的最大连通分支的阶。对于一般图G,其毁度的计算为NPC问题。将单圈图的毁度计算问题转化为树或圈的计算问题,从而提供了一个单圈图毁度的计算方法。 展开更多

关键词 毁度 单圈图 递归算法

在线阅读 下载PDF 职称材料

一类图的匹配唯一性

20

作者 申世昌 《河南师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第2期44-46,共3页

研究了图的匹配唯一性,给出了T(3,4,n)∪(s∪i=0Cpi)(n 5)及补图匹配唯一的充要条件.

关键词 图 匹配多项式 匹配唯一性

在线阅读 下载PDF 职称材料