国家自然科学基金(60073039)

作品数：16被引量：63H指数：5
导出分析报告
相关作者：孙吉贵刘全张永刚于海鸿寇飞宏更多>>
相关机构：吉林大学苏州大学更多>>
相关期刊：《吉林大学学报（信息科学版）》《计算机工程与应用》《广西师范大学学报（自然科学版）》《计算机工程》更多>>
相关主题：TABLEAU大批量定制产品配置器产品配置调度问题更多>>
相关领域：自动化与计算机技术理学社会学经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
产品配置器的研究进展被引量：8
《吉林大学学报（理学版）》2006年第3期429-438,共10页李占山 寇飞宏 欧阳丹彤 孙吉贵 
国家自然科学基金(批准号:60073039;60273080);吉林省科技厅基金(批准号:20040526).
给出大批量定制生产方式与产品配置器的关系,并从理论研究与技术两个角度描述了产品配置的发展现状、研究内容、知识表示以及目前存在的问题,在此基础上提出基于图形知识的配置表示,指出了降低配置计算复杂性、提高配置求解效率的可行...
关键词：大批量定制 产品配置 产品配置器 配置知识表示 
产品构模器的设计与实现被引量：3
《吉林大学学报（理学版）》2005年第6期773-780,共8页任键 李占山 王崧 寇飞宏 孙吉贵 
国家自然科学基金(批准号:60073039;60273080);吉林省自然科学基金(批准号:20040526)
通过对大批量定制中产品配置问题的分析,给出了广义产品结构和广义产品结构约束两个概念,建立了广义产品结构模型,在此模型的基础上,利用Java,XML,SQL Server等主流的网络和数据库技术,设计并实施了一个产品构模器,实现了多种类型产品...
关键词：大批量定制 产品配置 产品配置器 产品构模器 
基于tableau的自动推理技术综述被引量：2
《计算机科学》2005年第11期1-4,15,共5页刘全 孙吉贵 于万钧 
国家自然科学基金(60073039);教育部骨干教师基金;吉林省自然科学基金(2000540)
tableau方法是一种接近于逻辑系统表示的自动推理方法,由于其直观性和通用性,易于计算机实现,成为目前最普及的自动推理方法之一。在提高系统效率方面,主要在相关技术和策略、理论和方法等方面进行了分析,并展望了未来的研究方向。
关键词：TABLEAU 技术 策略 理论 方法 TABLEAU方法 自动推理 技术综述 推理方法 计算机实现 
支持非覆盖维的扩展多维数据模型
《计算机科学》2005年第9期113-118,共6页李泽海 孙吉贵 赵君 于海鸿 
国家自然科学基金(批准号:60073039;60273080);吉林省杰出青年基金;吉林省科技发展计划重大项目资助课题
非覆盖维等复杂结构维的处理一直都是数据仓库领域的难题,本文在详细分析非覆盖维特性的基础上,提出了一个扩展的多维数据模型,改变了传统的级别间的映射关系的定义方式,定义了从父级别到子级别分区的映射关系,从而实现了对非覆盖维和...
关键词：数据仓库 联机分析处理 多维数据模型 非覆盖维 
翻译成整数规划的IP-tableau方法
《计算机工程与应用》2005年第11期33-36,76,共5页刘全 孙吉贵 
国家自然科学基金(编号:60073039;60273080)资助
由经典命题公式对应着0-1-整数规划的事实,提出将tableau方法与整数规划相结合的IP-tableau方法,并提升到一阶逻辑、多值逻辑以及无穷值逻辑。将tableau转化为IP方法后,可以采用许多提高IP效率的方法。另外在多值逻辑中,随着n值的增加,I...
关键词：整数规划 IP-tableau 一阶逻辑 多值逻辑 无穷值逻辑 
一种多值规则量词公式的tableau的方法
《计算机工程》2003年第8期128-130,136,共4页刘全 孙吉贵 窦全胜 
国家自然科学基金资助项目(60073039);吉林省自然科学基金资助项目(2000540)
在多值逻辑中，含有量词的tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明。但是由于扩展后的分枝非常庞大，使机器实现非常困难。文章通过对规则量词公式与一阶经典量词公式的对应关系的研究，使二者使用统一的扩展规则。
关键词：多值规则公式 量词 TABLEAU 
一种含等词的分阶段tableau算法
《计算机工程》2003年第8期44-46,142,共4页刘全 孙吉贵 张永刚 
国家自然科学基金资助项目(60073039); 吉林省自然科学基金资助项目(2000540)
在增添新的扩展规则的tableau方法的基础上提出了一种新的含等词tableau算法——分阶段tableau 。在该算法中，将tableau分成两个阶段，等词单独处理，利用提取不等式析取并在启发式的帮助下计算等价类的方法，进一步限制了tableau的搜...
关键词：等词 分阶段tableau 不等式析取 等价类 
一种模型不完备条件下的诊断方法
《广西师范大学学报（自然科学版）》2003年第A01期79-82,共4页林海 孙吉贵 
国家自然科学基金资助项目(60073039);吉林省自然科学基金资助项目(2000540)
基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,...
关键词：基于模型的诊断 不完备模型 诊断方法 
约束逻辑程序的一个新语义研究被引量：1
《广西师范大学学报（自然科学版）》2003年第A01期1-5,共5页张永刚 孙吉贵 
国家自然科学基金资助项目(60073039);吉林省自然科学基金资助项目(2000540)
首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度...
关键词：约束逻辑程序 多重回答约束 s-语义 
基于t-norm算子的模糊逻辑和模糊推理被引量：1
《吉林大学学报（理学版）》2003年第1期64-69,共6页刘云翔 孙吉贵 
国家自然科学基金(批准号:60073039).
提出基于范算子的模糊逻辑和推理,介绍范算子的使用方法和特点,给出合取通过t-norm进行计算、蕴涵通过残数进行计算的方法,并对等值、等价和模糊集合的语义进行讨论.同时利用等价关系理论对模糊环境进行说明,并给出了几个具体例子.
关键词：t-norm算子 模糊逻辑 模糊推理 假言推理 模糊等价 模糊集合 范算子 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部