期刊文献+
共找到412篇文章
< 1 2 21 >
每页显示 20 50 100
解0-1背包问题的蚁群算法 被引量:20
1
作者 秦玲 白云 +1 位作者 章春芳 陈崚 《计算机工程》 EI CAS CSCD 北大核心 2006年第6期212-214,共3页
针对经典的0-1背包问题,提出一种基于解的相异度的新的蚁群优化算法,该方法引入信息量的局部更新机制,并根据解的相异程度确定解的交叉概率。数值实验计算表明,该算法加快计算速度的同时保证了解的多样性,具有较好的通用性。
关键词 背包问题 蚁群算法 局部更新
在线阅读 下载PDF
用阈函数实现任意逻辑函数的新方法 被引量:16
2
作者 杜歆 郑茂生 陈偕雄 《浙江大学学报(理学版)》 CAS CSCD 2000年第3期286-291,共6页
本文讨论了任意逻辑函数化为阈函数的基于谱技术的设计方法 。
关键词 逻辑设计 阈函数 谱技术 逻辑函数 逻辑电路
在线阅读 下载PDF
一种动态自适应蚁群算法 被引量:20
3
作者 李开荣 陈宏建 陈崚 《计算机工程与应用》 CSCD 北大核心 2004年第29期149-152,共4页
针对传统蚁群算法容易出现早熟和停滞现象的缺陷,提出了一种动态自适应蚁群算法。该算法对传统的MMAS蚁群算法中的信息素进行自适应调整。实验结果表明,该算法比传统的蚁群算法和传统的MMAS蚁群算法具有更好的搜索全局最优解的能力,并... 针对传统蚁群算法容易出现早熟和停滞现象的缺陷,提出了一种动态自适应蚁群算法。该算法对传统的MMAS蚁群算法中的信息素进行自适应调整。实验结果表明,该算法比传统的蚁群算法和传统的MMAS蚁群算法具有更好的搜索全局最优解的能力,并具有更好的稳定性和收敛性。 展开更多
关键词 蚁群算法 自适应 信息素 优化
在线阅读 下载PDF
Fuzzy蕴涵代数与MV代数 被引量:83
4
作者 刘练珍 王国俊 《模糊系统与数学》 CSCD 1998年第1期20-25,共6页
*本文讨论Fuzzy蕴涵代数与MV代数之间的关系,并证明了在一定的条件下Fuzzy蕴涵代数是剩余格。
关键词 模糊蕴函代数 MV代数 剩余格 格蕴涵代数
在线阅读 下载PDF
格值命题逻辑系统L(X)(Ⅱ) 被引量:13
5
作者 秦克云 徐扬 宋振明 《模糊系统与数学》 CSCD 1998年第1期10-19,共10页
本文讨论以格蕴涵代数为真值域的格值命题逻辑系统L(X)的语法问题,给出了系统的公理和推演规则,并证明了系统的可靠性定理、演绎定理*及协调性定理。
关键词 格蕴涵代数 演绎定理 可靠性 格值命题逻辑
在线阅读 下载PDF
一种基于应变模态分析的舰船分布式挠曲姿态测量方法 被引量:13
6
作者 裴福俊 万德钧 《中国惯性技术学报》 EI CSCD 2005年第1期15-20,共6页
针对舰船所处的恶劣环境,以及舰船导航和武器系统对姿态测量精度日益提高的要求,根据应变模态分析理论,建立了应变信息与姿态信息的变换关系,并提出了利用光纤Bragg光栅(FBG)传感器测量甲板的应变,求取由挠曲变形引起的姿态信息误差的... 针对舰船所处的恶劣环境,以及舰船导航和武器系统对姿态测量精度日益提高的要求,根据应变模态分析理论,建立了应变信息与姿态信息的变换关系,并提出了利用光纤Bragg光栅(FBG)传感器测量甲板的应变,求取由挠曲变形引起的姿态信息误差的方法。通过对简易模型的实验,验证了这种方法是有效的并且具有较高的精度。 展开更多
关键词 舰船导航 甲板 应变模态 分析理论 武器系统 挠曲 姿态测量 分布式 传感器 光纤BRAGG光栅
在线阅读 下载PDF
Lukasiewicz多值逻辑系统中的广义重言式理论 被引量:26
7
作者 杨晓斌 张文修 《模糊系统与数学》 CSCD 2000年第1期8-12,共5页
引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统... 引入一类特殊的公式序列 Ak,k=1 ,2 ,… ,证明了在 Lukasiewicz多值逻辑系统 ,对任意真值 α∈Ln而言 ,可达 α-重言式类类不空 ,进一步证明了系统中广义重言式的类类互异定理。最后讨论了 Lukasiewicz多值逻辑系统与经典二值逻辑系统中重言式之间的关系。 展开更多
关键词 Lukasiewicz多值逻辑系统 Α-重言式 广义重言式
在线阅读 下载PDF
仿射分形插值函数与纵向尺度因子 被引量:7
8
作者 陈咸存 阮火军 郭秋丽 《高校应用数学学报(A辑)》 CSCD 北大核心 2007年第2期205-209,共5页
文中对一类仿射分形插值函数,用纵向尺度因子刻画了函数在特定值域分布的充分必要条件.
关键词 迭代函数系 仿射分形插值函数 纵向尺度因子
在线阅读 下载PDF
一种基于路径相似度的蚁群算法 被引量:5
9
作者 张鹏 林杰 邓可 《计算机工程与应用》 CSCD 北大核心 2007年第32期28-30,33,共4页
提出了路径相似度的概念,并根据较优可行解与最优解的相似度,来进行路径选择和信息素更新,以求能更快加速收敛和防止早熟、停滞现象。该算法根据截之间的相似度,自适应地调整路径选择策略和信息量更新策略。基于旅行商问题的实验验证了... 提出了路径相似度的概念,并根据较优可行解与最优解的相似度,来进行路径选择和信息素更新,以求能更快加速收敛和防止早熟、停滞现象。该算法根据截之间的相似度,自适应地调整路径选择策略和信息量更新策略。基于旅行商问题的实验验证了算法比一般蚁群算法具有更好的全局搜索能力、收敛速度和解的多样性。 展开更多
关键词 蚁群算法 路径相似度 旅行商问题
在线阅读 下载PDF
二值命题逻辑中伪距离的真度表示及其应用 被引量:10
10
作者 王廷明 王爱青 《青岛理工大学学报》 CAS 2008年第3期87-90,共4页
在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于... 在二值命题逻辑系统中引入程度化概念和方法是进行近似推理的基础.笔者以公式真度为基础,给出了二值命题逻辑中与有限理论的结论集相关的伪距离真度表示式;证明了近似推理中两类误差不大于ε的结论的等价性;讨论了有限理论的误差不大于ε结论在逻辑运算下的基本性质. 展开更多
关键词 二值命题逻辑 真度 有限理论 伪距离 近似推理
在线阅读 下载PDF
p值逻辑函数最佳仿射逼近的谱特征 被引量:9
11
作者 赵亚群 李世取 《工程数学学报》 CSCD 北大核心 1997年第4期73-79,共7页
给出了p(正整数p≥2)值逻辑函数与p值仿射函数符合率的Chrestenson谱表示,并用两种Chrestenson谱分别确定了p值逻辑函数的最佳仿射逼近函数。
关键词 p值逻辑函数 谱表示 最佳仿射逼近 逻辑函数
在线阅读 下载PDF
格蕴涵代数上的同余关系 被引量:11
12
作者 宋振明 徐杨 《应用数学》 CSCD 1997年第3期121-124,共4页
本文研究格蕴涵代数上的同余关系,给出了同余关系诱导的商格蕴涵代数,格蕴涵同态诱导的同命关系,滤子与同余关系之间的联系.
关键词 格蕴涵代数 同余关系 格蕴涵同态 滤子
在线阅读 下载PDF
格值命题逻辑系统L(X)(I) 被引量:9
13
作者 秦克云 徐扬 《模糊系统与数学》 CSCD 1997年第4期5-11,共7页
本文通过泛代数的概念与方法建立了以格蕴涵代数为真值域的格值命题逻辑系统L(X),并讨论了它的语义问题。
关键词 格蕴涵代数 多值逻辑 格值命题逻辑 模糊逻辑
在线阅读 下载PDF
MP~*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究 被引量:3
14
作者 顾红芳 白鹏 +1 位作者 肖奚安 朱梧槚 《数学杂志》 CSCD 2000年第3期305-310,共6页
本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从... 本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 . 展开更多
关键词 三值逻辑 命题联结词 语言表达能力 等效性
在线阅读 下载PDF
Fuzzy蕴涵代数 被引量:248
15
作者 吴望名 《模糊系统与数学》 CSCD 1990年第1期56-64,共9页
本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。
关键词 FI代数 滤子 同态 模糊蕴涵代数 布尔代数
在线阅读 下载PDF
MAX(1)和MARG(1)中公式改名的复杂性(英文) 被引量:3
16
作者 许道云 董改芳 王健 《软件学报》 EI CSCD 北大核心 2006年第7期1517-1526,共10页
改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题“对于给定的CNF公式H和F是否存在一个变元(或文字)改... 改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题“对于给定的CNF公式H和F是否存在一个变元(或文字)改名,使得(H)=F?”的计算复杂性.MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示.树同构的判定问题在线性时间内是可解的.证明了对于MAX(1)和MARG(1)中的公式,文字改名问题在线性时间内可解,变元改名问题在平方次时间内可解. 展开更多
关键词 计算复杂性 改名 极小不可满足公式
在线阅读 下载PDF
细胞自动机的演化与计算理论 被引量:6
17
作者 吕晓阳 孔令江 刘慕仁 《华南师范大学学报(自然科学版)》 CAS 1996年第2期43-49,共7页
本文介绍一维细胞自动机的基础原理,讨论了细胞自动机演化位形序列与形式语言的等价性,并给出90规则与150规则的正则语言集,同时还建立了Turing机仿真90规则的程序并给出相应的状态转移图.
关键词 形式语言 Turing机 细胞自动机 演化 自动机
在线阅读 下载PDF
关于部分K值逻辑Sheffer函数(Ⅰ) 被引量:6
18
作者 欧阳建权 刘任任 《湘潭大学自然科学学报》 CAS CSCD 2000年第3期5-10,共6页
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类正则可离函数集在P K
关键词 多值逻辑 完备性 SHEFFER函数 极大封闭集
在线阅读 下载PDF
广义部分Bent函数及其自相关函数特征和谱特征 被引量:5
19
作者 赵亚群 李世取 《工程数学学报》 CSCD 北大核心 1999年第4期91-96,共6页
给出了环Znm (m ≥2 为正整数) 上广义部分Bent函数的定义,讨论了广义部分Bent函数的等价条件,得到了广义部分Bent函数的自相关函数特征和Chrestenson 谱特征。
关键词 自相关函数 广义 部分BENT函数 C循环谱
在线阅读 下载PDF
P值逻辑函数的Chrestenson线性谱和循环谱的关系 被引量:5
20
作者 李世取 曾本胜 廉玉忠 《工程数学学报》 CSCD 北大核心 1997年第2期39-43,58,共6页
在P是素数时,给出了P值逻辑函数的Chrestenson线性谱和循环谱相互线性表出的关系式,并将它们的关系用于P值逻辑函数相关免疫性的研究.
关键词 P值逻辑函数 Chrestenson谱 线性谱 循环谱
在线阅读 下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部