检索结果-维普期刊中文期刊服务平台

基于DLP的无线传感器网络链路故障诊断技术的研究被引量：3: 1; 作者严楠周鸣争李钧《计算机应用研究》 CSCD 北大核心 2014年第6期1787-1790,1798,共5页; 在大型无线传感器网络中,如何有效实时监控系统中的故障链接是研究中的一个难点。链路故障检测和网络诊断起着至关重要的作用。链路故障检测还可以发现其他潜在的网络瓶颈,如网络分裂、路由错误等,而且故障节点还将影响其链接性能,包括... 展开更多; 关键词链路故障检测析取逻辑程序设计实时监控链路扫描推理数据库反馈; 在线阅读下载PDF 职称材料

基于事件逻辑的炼油企业动态调度系统: 2; 作者李歧强李明张平《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第12期1836-1840,共5页; 针对炼油生产动态调度问题,开发了基于事件逻辑的调度优化系统.在分析大量实际生产事件和调度专家处理经验的基础上定义动态事件,生成事件逻辑.将事件逻辑与广义析取规划相结合,建立了基于事件逻辑的动态调度模型.基于事件逻辑的动态调... 展开更多; 关键词事件逻辑炼油过程动态调度调度系统广义析取规划; 在线阅读下载PDF 职称材料

扩充析取逻辑程序的争论语义(英文) 被引量：2: 3; 作者王克文周立柱陈火旺《软件学报》 EI CSCD 北大核心 2000年第3期293-299,共7页; 该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大... 展开更多; 关键词析取逻辑程序明显否定争论推理语义; 在线阅读下载PDF 职称材料

基于广义析取规划的反应精馏优化被引量：1: 4; 作者潘雨刘伯潭盖晓龙《化学工程》 CAS CSCD 北大核心 2022年第4期17-22,共6页; 反应精馏是过程耦合强化的重要手段,对于受平衡限制的反应而言,能够在提高平衡转化率的同时降低过程的能耗与设备投资。但是过程多参数优化是亟需解决的关键问题。反应精馏过程的优化涉及整数变量与连续变量的同时求解,且相平衡的非理... 展开更多; 关键词反应精馏广义析取规划优化外部逻辑近似算法; 在线阅读下载PDF 职称材料

带函数析取逻辑程序的无基集及其应用: 5; 作者梅俊杰刘蕻 +1 位作者原国伟王以松《计算机科学与探索》 CSCD 北大核心 2015年第6期747-755,共9页; 基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合... 展开更多; 关键词析取逻辑程序回答集函数无基集; 在线阅读下载PDF 职称材料

题名基于DLP的无线传感器网络链路故障诊断技术的研究被引量：3: 1; 作者严楠周鸣争李钧; 机构安徽工程大学计算机与信息学院; 出处《计算机应用研究》 CSCD 北大核心 2014年第6期1787-1790,1798,共5页; 基金国家自然科学青年科学基金资助项目(61300170) 安徽省自然科学基金资助项目(1308085MF88) +1 种基金安徽工程大学优秀青年人才基金资助项目(2013RZR011); 文摘在大型无线传感器网络中,如何有效实时监控系统中的故障链接是研究中的一个难点。链路故障检测和网络诊断起着至关重要的作用。链路故障检测还可以发现其他潜在的网络瓶颈,如网络分裂、路由错误等,而且故障节点还将影响其链接性能,包括发送和接收。然而依次检查所有潜在链接会导致过高的传输存储成本,现有方法往往侧重于正在使用中的链接,忽略潜在链接,这样将无法为故障检测提供更多的支持。提出一种新型实时监测无线链路的链接扫描方案,该方案会在网络中发出探测报文,收集传感器节点接收到此报文的跳数,其中故障链路会出现接收的跳数与网络拓扑结构不匹配的现象,结合概率模型则能够推导出所有链路的状态。经过实验证明,该方案能够有效对无线传感器网络实施监控。; 关键词链路故障检测析取逻辑程序设计实时监控链路扫描推理数据库反馈; Keywords link fault diagnosis dlp（disjunctive logic programming） real-time monitor link scan DLV feedback; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于事件逻辑的炼油企业动态调度系统: 2; 作者李歧强李明张平; 机构山东大学控制科学与工程学院; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第12期1836-1840,共5页; 基金国家"863"高技术研究发展计划资助项目(2007AA04Z157); 文摘针对炼油生产动态调度问题,开发了基于事件逻辑的调度优化系统.在分析大量实际生产事件和调度专家处理经验的基础上定义动态事件,生成事件逻辑.将事件逻辑与广义析取规划相结合,建立了基于事件逻辑的动态调度模型.基于事件逻辑的动态调度建模方法增加了动态调度模型生成的快速性和灵活性,在保证调度优化性的同时获得较好的调度实时性.最后,以某炼油厂"原油供应不足"事件为例进行仿真实验.结果表明,基于事件逻辑的动态调度系统是可行、有效的.; 关键词事件逻辑炼油过程动态调度调度系统广义析取规划; Keywords event logic oil refinery dynamic scheduling scheduling system generalized disjunctive programming; 分类号 TB114.1 [理学—运筹学与控制论]; 在线阅读下载PDF 职称材料

题名扩充析取逻辑程序的争论语义(英文) 被引量：2: 3; 作者王克文周立柱陈火旺; 机构清华大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室国防科学技术大学计算机学院; 出处《软件学报》 EI CSCD 北大核心 2000年第3期293-299,共7页; 基金国家自然科学基金!No.6 98830 0 8 6 97730 2 7 国家基础研究发展规划项目 !No.G19990 32 70 4&&; 文摘该文探讨争论推理在扩充逻辑程序中的实现及其关系问题 .基于“相干原理”,建立了扩充逻辑程序的争论推理框架 ,多种争论推理形式都可以嵌入其中 .特别是提出了一种谨慎语义 Acc.同时又定义了良基语义的一种合理扩充 Mod,以处理较为大胆的推理形式 .另外也研究了相关的理论性质 .; 关键词析取逻辑程序明显否定争论推理语义; Keywords disjunctive logic program, explicit negation, argumentation, semantics.; 分类号 TP31 [自动化与计算机技术—计算机软件与理论] TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名基于广义析取规划的反应精馏优化被引量：1: 4; 作者潘雨刘伯潭盖晓龙; 机构天津科技大学化学工程与材料科学学院天津大学化学工程联合国家重点实验室; 出处《化学工程》 CAS CSCD 北大核心 2022年第4期17-22,共6页; 基金国家自然科学基金资助项目(21978218,U1862119)。; 文摘反应精馏是过程耦合强化的重要手段,对于受平衡限制的反应而言,能够在提高平衡转化率的同时降低过程的能耗与设备投资。但是过程多参数优化是亟需解决的关键问题。反应精馏过程的优化涉及整数变量与连续变量的同时求解,且相平衡的非理想性显著增强了过程的非线性。通过引入广义析取规划,以析取变量表示过程的整数变量,建立了反应精馏过程优化的数学模型。在此基础上采用外部逻辑近似算法将析取模型分解为混合整数线性规划问题与非线性规划问题进行模型求解。以典型工业案例甲酸甲酯水解制甲酸为例,验证反应精馏耦合强化过程的有效性与优化方法的可行性。; 关键词反应精馏广义析取规划优化外部逻辑近似算法; Keywords reactive distillation generalized disjunctive programming optimization logic-based outer approximation algorithm; 分类号 TQ021.8 [化学工程]; 在线阅读下载PDF 职称材料

题名带函数析取逻辑程序的无基集及其应用: 5; 作者梅俊杰刘蕻原国伟王以松; 机构贵州大学计算机科学与技术学院; 出处《计算机科学与探索》 CSCD 北大核心 2015年第6期747-755,共9页; 基金国家自然科学基金No.60963009~~; 文摘基于回答集(也称稳定模型)语义的带函数析取逻辑程序是一种重要的知识表示和推理方法。由于判定一个析取逻辑程序是否有回答集是困难的(Σ2完全的),目前还没有有效的方法来计算带函数析取逻辑程序的回答集,主要原因之一是检查一个集合是否是回答集是co NP完全的。提出了带函数析取逻辑程序无基集(unfounded sets)的概念,发现了空无基集(unfounded-free sets)与稳定模型之间的一一对应关系,在此基础上,证明了一个逻辑程序的模型是该程序的稳定模型当且仅当它们对应的一个命题公式是不可满足的,从而在理论上为计算带函数析取逻辑程序的回答集提供了一种有效的途径。; 关键词析取逻辑程序回答集函数无基集; Keywords disjunctive logic program answer set function unfounded set; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于DLP的无线传感器网络链路故障诊断技术的研究	严楠周鸣争李钧	《计算机应用研究》 CSCD 北大核心	2014	3	在线阅读下载PDF 职称材料
2	基于事件逻辑的炼油企业动态调度系统	李歧强李明张平	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
3	扩充析取逻辑程序的争论语义(英文)	王克文周立柱陈火旺	《软件学报》 EI CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
4	基于广义析取规划的反应精馏优化	潘雨刘伯潭盖晓龙	《化学工程》 CAS CSCD 北大核心	2022	1	在线阅读下载PDF 职称材料
5	带函数析取逻辑程序的无基集及其应用	梅俊杰刘蕻原国伟王以松	《计算机科学与探索》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料