期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
R^n空间中单位球面覆盖的半径问题
被引量:
7
1
作者
张晶晶
《数学研究》
CSCD
2007年第1期109-113,共5页
Banach空间X中的一个闭球族B是X的球覆盖,如果B中的任一元素不包含原点作为其内点,且B中元素之并覆盖了X的单位球面SX.一个球覆盖B称为是极小的当且仅当B的势小于或等于X中所有球覆盖的势.文献[1]证明了在Rn中球覆盖的极小势为n+1,本文...
Banach空间X中的一个闭球族B是X的球覆盖,如果B中的任一元素不包含原点作为其内点,且B中元素之并覆盖了X的单位球面SX.一个球覆盖B称为是极小的当且仅当B的势小于或等于X中所有球覆盖的势.文献[1]证明了在Rn中球覆盖的极小势为n+1,本文重点利用文献[4]所给出的n维空间中n-单形与其外接超球面间的若干关系,证明了在有限维欧氏空间Rn中极小球覆盖的最小半径为n/2,且当极小球覆盖中(n+1)个球的球心恰好为球面n/2SX的内接正则n-单形的顶点时可以取到.
展开更多
关键词
球覆盖
覆盖半径
极小
势
下载PDF
职称材料
R^n空间中单位球面的极小球覆盖
被引量:
6
2
作者
施慧华
张皛晶
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第5期621-623,共3页
考虑如下问题:对一个Banach空间X,已知其单位球面SX可以被n+1个不含原点为其内点的闭球所覆盖,则其最小覆盖半径是多少?本文针对一特殊空间Rn,首先证明了在Rn中,若有一点集{xi}im=1满足一定条件,则可给出一特殊的球覆盖,且此覆盖的半径...
考虑如下问题:对一个Banach空间X,已知其单位球面SX可以被n+1个不含原点为其内点的闭球所覆盖,则其最小覆盖半径是多少?本文针对一特殊空间Rn,首先证明了在Rn中,若有一点集{xi}im=1满足一定条件,则可给出一特殊的球覆盖,且此覆盖的半径即为最小半径.进一步本文还给出了在Rn中若任意给定r≥32,可找到一个以r为覆盖半径的球覆盖,且此覆盖的势为极小的.
展开更多
关键词
球覆盖
R^N
覆盖半径
极小
势
下载PDF
职称材料
基于动态极小势参数矩阵求解极小碰集的方法
3
作者
魏霞
赵相福
黄森
《计算机集成制造系统》
EI
CSCD
北大核心
2023年第5期1657-1667,共11页
在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率。鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,...
在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率。鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度。实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准ISCAS-85电路数据集上仍具有高效稳定的性能。
展开更多
关键词
基于模型的诊断
极小
碰集
极小
冲突集
参数矩阵
极小
势
下载PDF
职称材料
用MDMC-HS-tree方法计算极小碰集
4
作者
佘晓娓
赵相福
《浙江师范大学学报(自然科学版)》
CAS
2016年第4期399-405,共7页
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小...
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.
展开更多
关键词
极小
碰集
基于模型诊断
极大度
极小
势
碰集树
下载PDF
职称材料
分子记忆对基因表达过程中的能量消耗影响
5
作者
杨喜艳
张家军
《江西师范大学学报(自然科学版)》
CAS
北大核心
2020年第2期215-220,共6页
一方面,分子记忆广泛存在于基因表达过程中;另一方面,由热动力学的观点,基因表达过程必然消耗能量.这引起一个未探索的问题:分子记忆如何影响基因表达的能量消耗.由此,通过分析一个代表性的、带记忆的基因表达模型,结果发现:分子记忆越...
一方面,分子记忆广泛存在于基因表达过程中;另一方面,由热动力学的观点,基因表达过程必然消耗能量.这引起一个未探索的问题:分子记忆如何影响基因表达的能量消耗.由此,通过分析一个代表性的、带记忆的基因表达模型,结果发现:分子记忆越强,基因表达消耗越多能量;极小势和能量消耗之间存在反比例关系,这表明基因表达越稳定,需要消耗的能量越多.这些结果表明分子记忆是一个不可忽略的因素,它能有意义地影响基因表达过程中的能量消耗.
展开更多
关键词
分子记忆
基因表达
能量消耗
极小
势
下载PDF
职称材料
基于模型诊断的一种新编码方法
6
作者
周慧思
欧阳丹彤
+1 位作者
田新亮
张立明
《计算机研究与发展》
EI
CSCD
北大核心
2023年第1期95-102,共8页
基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominato...
基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominator-oriented encoding,DOE)方法.面向观察的编码(observation-oriented encoding,OOE)方法使用2种方法对MBD模型进行约简.首先,利用系统观测和统治组件输出的一些过滤边来约简系统描述和观测.其次,通过查找基于观测的过滤节点来过滤更多的组件,进而有效约简组件的编码规模.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD编码方法DOE和传统的基础编码(basic encoding,BE)相比,上述2种约简方法有效减少了MBD实例的编码子句数量比,降低MaxSAT求解器求解诊断的难度,进而能在更短的时间内返回一个诊断解.
展开更多
关键词
基于模型诊断
最大可满足性问题
基于统治关系的编码
顶层诊断
极小
势
诊断
下载PDF
职称材料
题名
R^n空间中单位球面覆盖的半径问题
被引量:
7
1
作者
张晶晶
机构
厦门大学数学科学学院
出处
《数学研究》
CSCD
2007年第1期109-113,共5页
文摘
Banach空间X中的一个闭球族B是X的球覆盖,如果B中的任一元素不包含原点作为其内点,且B中元素之并覆盖了X的单位球面SX.一个球覆盖B称为是极小的当且仅当B的势小于或等于X中所有球覆盖的势.文献[1]证明了在Rn中球覆盖的极小势为n+1,本文重点利用文献[4]所给出的n维空间中n-单形与其外接超球面间的若干关系,证明了在有限维欧氏空间Rn中极小球覆盖的最小半径为n/2,且当极小球覆盖中(n+1)个球的球心恰好为球面n/2SX的内接正则n-单形的顶点时可以取到.
关键词
球覆盖
覆盖半径
极小
势
Keywords
Ball-covering
Minimal cardinal
Radius of a ball-covering
分类号
O189 [理学—数学]
下载PDF
职称材料
题名
R^n空间中单位球面的极小球覆盖
被引量:
6
2
作者
施慧华
张皛晶
机构
厦门大学数学科学学院
出处
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2006年第5期621-623,共3页
文摘
考虑如下问题:对一个Banach空间X,已知其单位球面SX可以被n+1个不含原点为其内点的闭球所覆盖,则其最小覆盖半径是多少?本文针对一特殊空间Rn,首先证明了在Rn中,若有一点集{xi}im=1满足一定条件,则可给出一特殊的球覆盖,且此覆盖的半径即为最小半径.进一步本文还给出了在Rn中若任意给定r≥32,可找到一个以r为覆盖半径的球覆盖,且此覆盖的势为极小的.
关键词
球覆盖
R^N
覆盖半径
极小
势
Keywords
ball-covering
R^n
radius
minimal
分类号
O177.2 [理学—数学]
下载PDF
职称材料
题名
基于动态极小势参数矩阵求解极小碰集的方法
3
作者
魏霞
赵相福
黄森
机构
烟台大学计算机与控制工程学院
浙江师范大学数学与计算机科学学院
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2023年第5期1657-1667,共11页
基金
国家自然科学基金资助项目(61972360,62072392)。
文摘
在基于模型的故障诊断与测试过程中,求解极小碰集是诊断与测试的一个关键步骤,极大地影响了故障诊断的最终效率。鉴于此,提出一种基于动态极小势的参数矩阵计算极小碰集的新算法JMatrix,利用参数矩阵描述冲突集合簇中元素与集合的关系,每次动态选取当前矩阵中势最小的集合进行分解,将大问题逐步分解成规模更小的子问题,并在碰集求解过程中通过加入剪枝策略和启发式信息,避免了对无解空间的搜索;在对每一个碰集进行极小化时,根据原始冲突集合簇的矩阵特性,可以快速地找到特定元素所在的集合,从而加快极小化的速度。实验结果表明,所提算法JMatrix不但在大量人工测试数据集上较其他经典极小碰集求解算法具有更高的效率,而且在国际基准ISCAS-85电路数据集上仍具有高效稳定的性能。
关键词
基于模型的诊断
极小
碰集
极小
冲突集
参数矩阵
极小
势
Keywords
model-based diagnosis
minimal hitting set
minimal conflict set
parameter matrix
minimal cardinality
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
用MDMC-HS-tree方法计算极小碰集
4
作者
佘晓娓
赵相福
机构
浙江师范大学数理与信息工程学院
出处
《浙江师范大学学报(自然科学版)》
CAS
2016年第4期399-405,共7页
基金
国家自然科学基金资助项目(61003101)
浙江省自然科学基金资助项目(LY16F020004
Y1100191)
文摘
产生待诊断设备冲突集的所有极小碰集是基于模型诊断的一个重要步骤,极小碰集即为该设备的候选诊断.HS-tree算法产生的节点数目较多,效率较低.因此,提出了基于极大度和极小势的MDMC-HS-tree方法.每次选择势最小的集合进行扩展,以便减小树的宽度;并删减包含势最小集合中度最大元素的集合,不断将大问题化简为小问题.实验结果表明:本算法能够产生所有极小碰集,且在计算大规模碰集时产生相对较少的节点,为实际设备故障诊断提供较可行的方法.
关键词
极小
碰集
基于模型诊断
极大度
极小
势
碰集树
Keywords
minimal hitting set
model-based diagnosis
max degree
minimal cardinality
HS-tree
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
分子记忆对基因表达过程中的能量消耗影响
5
作者
杨喜艳
张家军
机构
广东金融学院金融数学与统计学院
中山大学数学学院
出处
《江西师范大学学报(自然科学版)》
CAS
北大核心
2020年第2期215-220,共6页
基金
国家自然科学基金(11601094,11631005,11475273,11775314)
广州市科技基金(201707010117)
+1 种基金
广东省自然科学基金(2018A0303130120)
广东省教育科学规划课题(2018GXJK119)资助项目。
文摘
一方面,分子记忆广泛存在于基因表达过程中;另一方面,由热动力学的观点,基因表达过程必然消耗能量.这引起一个未探索的问题:分子记忆如何影响基因表达的能量消耗.由此,通过分析一个代表性的、带记忆的基因表达模型,结果发现:分子记忆越强,基因表达消耗越多能量;极小势和能量消耗之间存在反比例关系,这表明基因表达越稳定,需要消耗的能量越多.这些结果表明分子记忆是一个不可忽略的因素,它能有意义地影响基因表达过程中的能量消耗.
关键词
分子记忆
基因表达
能量消耗
极小
势
Keywords
molecular memory
gene expression
energy consumption
potential minimum
分类号
O242 [理学—计算数学]
Q141 [理学—数学]
下载PDF
职称材料
题名
基于模型诊断的一种新编码方法
6
作者
周慧思
欧阳丹彤
田新亮
张立明
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
出处
《计算机研究与发展》
EI
CSCD
北大核心
2023年第1期95-102,共8页
基金
国家自然科学基金项目(62076108,61872159,61672261)。
文摘
基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominator-oriented encoding,DOE)方法.面向观察的编码(observation-oriented encoding,OOE)方法使用2种方法对MBD模型进行约简.首先,利用系统观测和统治组件输出的一些过滤边来约简系统描述和观测.其次,通过查找基于观测的过滤节点来过滤更多的组件,进而有效约简组件的编码规模.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD编码方法DOE和传统的基础编码(basic encoding,BE)相比,上述2种约简方法有效减少了MBD实例的编码子句数量比,降低MaxSAT求解器求解诊断的难度,进而能在更短的时间内返回一个诊断解.
关键词
基于模型诊断
最大可满足性问题
基于统治关系的编码
顶层诊断
极小
势
诊断
Keywords
model-based diagnosis(MBD)
maximum satisfiability(MaxSAT)
dominator-oriented encoding(DOE)
top-level diagnosis(TLD)
cardinality-minimal diagnosis
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
R^n空间中单位球面覆盖的半径问题
张晶晶
《数学研究》
CSCD
2007
7
下载PDF
职称材料
2
R^n空间中单位球面的极小球覆盖
施慧华
张皛晶
《厦门大学学报(自然科学版)》
CAS
CSCD
北大核心
2006
6
下载PDF
职称材料
3
基于动态极小势参数矩阵求解极小碰集的方法
魏霞
赵相福
黄森
《计算机集成制造系统》
EI
CSCD
北大核心
2023
0
下载PDF
职称材料
4
用MDMC-HS-tree方法计算极小碰集
佘晓娓
赵相福
《浙江师范大学学报(自然科学版)》
CAS
2016
0
下载PDF
职称材料
5
分子记忆对基因表达过程中的能量消耗影响
杨喜艳
张家军
《江西师范大学学报(自然科学版)》
CAS
北大核心
2020
0
下载PDF
职称材料
6
基于模型诊断的一种新编码方法
周慧思
欧阳丹彤
田新亮
张立明
《计算机研究与发展》
EI
CSCD
北大核心
2023
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部