期刊文献+
共找到1,174篇文章
< 1 2 59 >
每页显示 20 50 100
铁路集装箱堆场混堆区箱位分配优化模型与算法 被引量:12
1
作者 段刚 陈莉 +2 位作者 陈志忠 李引珍 何瑞春 《铁道学报》 EI CAS CSCD 北大核心 2011年第7期1-7,共7页
针对铁路集装箱堆场混堆区中的零散箱箱位分配问题,在集装箱到达时间和离开时间已知的条件下,建立一个计划期内以倒箱次数最少为目标的多时段动态集装箱堆场箱位分配模型。在计划期内将每时段起重机作业按顺序划分为提箱和卸车两个过程... 针对铁路集装箱堆场混堆区中的零散箱箱位分配问题,在集装箱到达时间和离开时间已知的条件下,建立一个计划期内以倒箱次数最少为目标的多时段动态集装箱堆场箱位分配模型。在计划期内将每时段起重机作业按顺序划分为提箱和卸车两个过程,采用5组0-1变量刻画两种作业、作业前后集装箱的状态以及箱位的状态,由此建立非线性0-1规划模型。考虑到模型所刻画的问题具有NP-hard性质,设计遗传算法求解。算例表明:该模型及算法能够有效地优化堆场内零散箱的箱位分配,提高集装箱堆场的作业效率。 展开更多
关键词 集装箱堆场 混堆 多时段 箱位分配 0-1规划 遗传算法
在线阅读 下载PDF
模糊推理的三I逄法的R_L型支持度分析 被引量:11
2
作者 孙长银 宋士吉 +1 位作者 费树岷 冯纯伯 《应用数学》 CSCD 北大核心 2001年第1期126-130,共5页
在文献 [1 ]提出的三 I算法的支持度理论的基础上 ,全面展开了基于L ukasiewicz蕴涵算子 RL的三 I算法的理论 ,给出了模糊 MP算法与模糊 MT算法的计算公式 ,并考虑了三 I算法制还原性问题 ;进一步研究了三 I算法的支持度理论 ,分析了支... 在文献 [1 ]提出的三 I算法的支持度理论的基础上 ,全面展开了基于L ukasiewicz蕴涵算子 RL的三 I算法的理论 ,给出了模糊 MP算法与模糊 MT算法的计算公式 ,并考虑了三 I算法制还原性问题 ;进一步研究了三 I算法的支持度理论 ,分析了支持度的性质 ,得到了一般化的 α-三 IFMP公式与 α-三 I FMT公式 . 展开更多
关键词 模糊推理 三I算法 支持度 蕴涵算子 RL型 三I逄法 α-三IFMT公式
在线阅读 下载PDF
认知逻辑中逻辑全知问题及其解决方法 被引量:11
3
作者 杨鲲 陈建中 +1 位作者 孙德刚 刘大有 《吉林大学自然科学学报》 CAS CSCD 1999年第3期40-43,共4页
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L,
关键词 认知逻辑 逻辑全知 模态逻辑 AGENT 公理系统
在线阅读 下载PDF
基于三变量通用阈值逻辑门的三变量逻辑函数查表综合 被引量:9
4
作者 肖林荣 陈偕雄 许冠 《浙江大学学报(理学版)》 CAS CSCD 2004年第3期280-285,共6页
介绍并讨论了逻辑函数的分类和通用阈值逻辑门,提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例.
关键词 函数分类 通用闽值逻辑门 逻辑综合 三变量 逻辑函数 布尔代数
在线阅读 下载PDF
珠江口水域化学耗氧量、溶解氧、无机磷与有机磷的三维水质数学模拟 被引量:22
5
作者 林卫强 李适宇 《海洋学报》 CAS CSCD 北大核心 2003年第3期129-137,共9页
1 引言 珠江沿岸城市排污量大,对污染源治理能力十分有限,大量污染物通过河流或直接排放到珠江口,河口区半封闭的地形及潮水顶托使得污染物不易输送出外海,致使珠江口水质恶化,原有海洋生态环境遭到破坏,反过来制约了经济的发展。
关键词 化学耗氧量 溶解氧 无机磷 有机磷 水质模型 数学模拟
在线阅读 下载PDF
概念的派生逻辑及其在测绘学中的应用 被引量:8
6
作者 童新华 韦杰文 +1 位作者 钟业勋 朱重光 《桂林理工大学学报》 CAS 北大核心 2013年第1期86-89,共4页
提出了在基本概念A的基础上,通过限制条件G与A的结合,派生出新的概念族C的概念派生逻辑,揭示了概念派生的机理和某种规律。用测绘学及相关学科中的若干应用实例,说明这概念派生逻辑具有科学价值和实用意义。
关键词 限制条件 派生逻辑 测绘学
在线阅读 下载PDF
基于ArcSDE与Oracle空间数据集成的应用 被引量:7
7
作者 周梅 杨锴 谭顺平 《广西大学学报(自然科学版)》 CAS CSCD 2007年第4期407-410,共4页
主要介绍利用ArcSDE和Oracle9i建立空间数据库来存储、管理空间数据和属性数据的原理及技术优势.本空间数据库以ArcGIS Engine作为开发平台,以.NET的核心语言C#为开发语言,建立客户端与数据库的连接,同时给出相应的连接代码,并成功应用... 主要介绍利用ArcSDE和Oracle9i建立空间数据库来存储、管理空间数据和属性数据的原理及技术优势.本空间数据库以ArcGIS Engine作为开发平台,以.NET的核心语言C#为开发语言,建立客户端与数据库的连接,同时给出相应的连接代码,并成功应用到广西红树林资源管理系统中,取得较好的效果. 展开更多
关键词 SDE 关系数据库管理系统 空间数据 属性数据 ArcGIS 红树林
在线阅读 下载PDF
R_0代数及其基本结构 被引量:30
8
作者 程国胜 王国俊 《数学物理学报(A辑)》 CSCD 北大核心 1999年第S1期584-588,共5页
以R0-Lindenbaum代数为背景,提出了较蕴涵格稍强的R0代数概念,在讨论了其基本性质的基础上给出了R0代数的两个等价系统,并从商代数的角度研究了Ro代数的基本结构.
关键词 Ro代数 等价系统 同余关系 商代数
在线阅读 下载PDF
三I算法的统一形式 被引量:12
9
作者 傅丽 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期12-17,共6页
给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表... 给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论. 展开更多
关键词 三I算法 蕴涵算子 正则 统一形式 三角模 对偶性 乘积 CRI算法 连续
在线阅读 下载PDF
基于事例推理系统中事例相似度评估方法若干问题的探讨 被引量:6
10
作者 许志端 杨兰蓉 张金隆 《厦门大学学报(自然科学版)》 CAS CSCD 北大核心 2000年第4期441-445,共5页
对基于事例推理系统中事例相似度评估方法存在若干问题进行探讨,采用对事例匹配过程及几种匹配函数进行研究和分析的方法,认为当前常用的匹配函数在支持不良结构决策领域的CBR系统中并不十分有效,因此必须寻求一种有效的事例相似... 对基于事例推理系统中事例相似度评估方法存在若干问题进行探讨,采用对事例匹配过程及几种匹配函数进行研究和分析的方法,认为当前常用的匹配函数在支持不良结构决策领域的CBR系统中并不十分有效,因此必须寻求一种有效的事例相似度评估方法来改善此类CBR系统的事例检索性能. 展开更多
关键词 基于事例推理 事例相似度 评估方法 人工智能
在线阅读 下载PDF
区间值模糊推理的FOOL方法的细致化 被引量:5
11
作者 王国俊 王向云 宋建社 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第3期6-19,共14页
给出了FMP的三I解的一般形式 ,证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理 .在分析了规则后件相对于前件的敏感性的基础上提出了 p 敏感参数概念 ,从而定义了 p 综合距离与 ( p θ)相对激活度 .将关于区间值模糊... 给出了FMP的三I解的一般形式 ,证明了关于区间值模糊推理的单调性定理、下确界定理以及存在性定理 .在分析了规则后件相对于前件的敏感性的基础上提出了 p 敏感参数概念 ,从而定义了 p 综合距离与 ( p θ)相对激活度 .将关于区间值模糊推理的FOOL方法细致化为 ( p θ)算法 。 展开更多
关键词 三I解 区间值模糊推理 单调性 存在性 (p-θ)相对激活度 (p-θ)算法
在线阅读 下载PDF
基于信息网格的炮兵子网研究 被引量:3
12
作者 秦永平 裴斌 +2 位作者 汪群山 王健 王丽萍 《计算机工程与设计》 CSCD 北大核心 2007年第19期4677-4679,共3页
介绍了美军网格中心战及全球信息网格的相关情况,强调了全军信息网格建设的重要性;给出了基于信息网格的炮兵子网结构,并给出了两种存在形式,即炮兵管理虚拟子网和交战动态虚拟子网;研究了炮兵网格的基本结构及炮兵网格化改造的重点内容... 介绍了美军网格中心战及全球信息网格的相关情况,强调了全军信息网格建设的重要性;给出了基于信息网格的炮兵子网结构,并给出了两种存在形式,即炮兵管理虚拟子网和交战动态虚拟子网;研究了炮兵网格的基本结构及炮兵网格化改造的重点内容;最后提出了基于GRID Service的协同作战解决方案。 展开更多
关键词 信息网格 网络中心战 炮兵 全球信息网格 网格服务
在线阅读 下载PDF
区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的构造 被引量:9
13
作者 乔希民 吴洪博 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2016年第2期127-133,共7页
以区间集和滤子理论作为研究区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的工具,通过引入区间集上非交换剩余格〈∈,∈■Q〉-fuzzy滤子的概念,讨论了生成〈∈,∈■Q〉-fuzzy滤子的几种方法,彰显模糊逻辑推演系统被视为代数滤子的镜像.
关键词 非可换模糊逻辑 区间集 区间集上非交换剩余格 〈∈ Q〉-fuzzy滤子 构造性方法
在线阅读 下载PDF
区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画 被引量:10
14
作者 乔希民 吴洪博 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2015年第6期1127-1133,共7页
基于区间集思想与滤子理论,讨论区间集上非交换剩余格与区间集上非交换剩余格Fuzzy滤子,给出了区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的代数结构及若干等价性特征刻画的表示定理.
关键词 非可换模糊逻辑 区间集 区间集上非交换剩余格 〈∈ ∈∪Q〉-Fuzzy滤子 特征刻画
在线阅读 下载PDF
基于自适应集成分类器的数据流概念漂移算法 被引量:7
15
作者 姜爱克 赵峰 张杰 《统计与决策》 CSSCI 北大核心 2016年第7期13-17,共5页
数据流具有连续、实时、有序及无限等特点,使用传统的数据挖掘技术来处理数据流的分类面临着严重的挑战,很难处理数据流中的概念漂移问题。文章结合现有的决策树分类挖掘算法,提出了自适应集成分类器方法,构建了数据流概念漂移的自适应... 数据流具有连续、实时、有序及无限等特点,使用传统的数据挖掘技术来处理数据流的分类面临着严重的挑战,很难处理数据流中的概念漂移问题。文章结合现有的决策树分类挖掘算法,提出了自适应集成分类器方法,构建了数据流概念漂移的自适应集成分类模型,通过不断更新训练样例的权重与属性类别,将训练样例从现有的数据集中分离出来,并被确定为新类别属性的训练样例,以达到对数据流中概念漂移现象的有效检测,仿真结果也证明该方法的适应性和可靠性。 展开更多
关键词 数据流 概念漂移 决策树 集成分类器
在线阅读 下载PDF
模为合数时多值模代数的模减与模除运算 被引量:6
16
作者 王伶俐 陈偕雄 吴训威 《电子学报》 EI CAS CSCD 北大核心 1998年第5期17-20,共4页
本文提出并分析了模为合数时多值逻辑中模加与模乘运算的逆运算──模减与模除运算.它的引入使模减、模除运算的基数(模)的取值域从素数扩展到合数,从而完善了对模代数中的模减、模除运算的研究.
关键词 模减运算 模除运算 模代数 多值逻辑
在线阅读 下载PDF
集装箱堆场作业计划模型及算法 被引量:10
17
作者 江南 钱迈 +1 位作者 渠洪涛 史峰 《铁道学报》 EI CAS CSCD 北大核心 2009年第5期8-16,共9页
寻求能够自动生成集装箱堆场作业计划的方法,使得堆场的使用及作业更为合理有序。首先,进行堆场集装箱集合的划分,得到静态码垛模型,通过箱大区和箱小区解决半自由箱和非自由箱问题及堆场碎片问题。其次,定义集装箱码放顺序的全序关系,... 寻求能够自动生成集装箱堆场作业计划的方法,使得堆场的使用及作业更为合理有序。首先,进行堆场集装箱集合的划分,得到静态码垛模型,通过箱大区和箱小区解决半自由箱和非自由箱问题及堆场碎片问题。其次,定义集装箱码放顺序的全序关系,得到动态码垛模型,并设计求解该模型的箱小区判定算法和单箱码箱取箱算法。引入动态全序概念,说明动态全序构造方法。结合取箱时空箱位的暂扣问题,得到循环箱码垛模型,设计循环箱单箱码箱取箱算法,及构造动态全序算法和暂扣标记设置解除算法。再次,分析一个作业计划派工单中各个作业之间的部分序关系。最后,算例表明循环箱码垛模型及相应算法能够适应集装箱堆场上频繁码箱取箱作业,整体上看箱位使用频率基本均衡,并且呈现循环滚动使用态势。 展开更多
关键词 集装箱 作业计划 箱位分配 堆场 货场
在线阅读 下载PDF
拥堵集装箱堆场箱位分配优化模型与算法 被引量:4
18
作者 江南 余宏志 谭周提 《铁道学报》 EI CAS CSCD 北大核心 2011年第11期8-15,共8页
拥堵型集装箱堆场中,寻求最佳箱位分配的理论及实现方法,使得倒箱作业尽量减少。针对堆场场地紧张和大部分箱属于零散货主或零散去向情况,设计箱码垛模型。该模型能有效减少异类箱叠压现象,同时充分利用堆场空间。设计堆场箱存储结构及... 拥堵型集装箱堆场中,寻求最佳箱位分配的理论及实现方法,使得倒箱作业尽量减少。针对堆场场地紧张和大部分箱属于零散货主或零散去向情况,设计箱码垛模型。该模型能有效减少异类箱叠压现象,同时充分利用堆场空间。设计堆场箱存储结构及码箱取箱算法,前者解决箱分类问题,后者则提供码垛模型具体应用的方法。随机全序解决了大点箱问题,使得箱及箱位的使用均衡。设计算法解决堆场碎片问题,为堆场作业空闲时段进行堆场整理提供方法。算例表明:码箱取箱算法能够充分实现箱码垛模型的目标,结果符合人们传统管理思维方式,即:追求同类箱尽可能码垛在一起;多种异类箱叠压时,同类箱尽量聚在一起;被压住的异类箱种类尽可能少。 展开更多
关键词 集装箱 存储分配 箱位分配 堆场 货场
在线阅读 下载PDF
概念格在二值命题逻辑命题集约简中的应用 被引量:11
19
作者 李立峰 张东晓 《电子学报》 EI CAS CSCD 北大核心 2007年第8期1538-1542,共5页
概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能... 概念格的属性约简理论和命题逻辑系统中命题集的约简理论似乎是独立发展的两个研究分支,本文在二值命题逻辑中引入由命题集Γ所诱导的形式背景的概念,并基于此建立了概念格;在二值命题逻辑中提出了命题集Γ的约简理论,即在保持Γ推理能力不变的前提下对Γ中的成员进行约简;运用概念格的方法从Γ及其子集的关系出发给出了Γ约简的判定定理以及求Γ约简的方法. 展开更多
关键词 完备性定理 形式背景 Γ约简 概念格
在线阅读 下载PDF
逻辑系统的代数状态空间方法的基础、现状及其应用 被引量:8
20
作者 程代展 齐洪胜 《控制理论与应用》 EI CAS CSCD 北大核心 2014年第12期1632-1639,共8页
逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问... 逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景. 展开更多
关键词 矩阵半张量积 逻辑动态系统 代数状态空间方程 纯状态与混合状态 控制与博弈
在线阅读 下载PDF
上一页 1 2 59 下一页 到第
使用帮助 返回顶部