期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
基于时间Petri网的工作流系统模型的线性推理 被引量:34
1
作者 刘婷 林闯 刘卫东 《电子学报》 EI CAS CSCD 北大核心 2002年第2期245-248,共4页
目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作... 目前工作流理论的研究主要集中在工作流管理模型的结构及正确性分析 ,很少有人研究与时间有关的工作流模型的性质 ,特别是模型中的时序关系推理及性能计算问题 .本文重点研究了这方面的问题 ,用时间Petri网表示工作流模型并对基本工作流模型进行时序分析 ,给出线性时间推理的规则 ,运用这些规则 ,可对复杂的工作流模型进行逐步化简 。 展开更多
关键词 工作流管理系统 时间PETRI网 线性推理
在线阅读 下载PDF
一种不确定时段的扩展时段时序逻辑:时间Petri网模型表示和线性推理 被引量:13
2
作者 林闯 刘婷 曲扬 《计算机学报》 EI CSCD 北大核心 2001年第12期1299-1309,共11页
针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有... 针对点 -时段时序逻辑的不足 ,提出了一种新的时段时序逻辑——扩展时段时序逻辑 ,对不确定时间段发生的事件具有较好的描述能力 .时间 Petri网模型表示的引入 ,增强了扩展时段时序逻辑的描述直观性及分析能力 ,为进行线性推理提供了有利的工具 .同时还提出了几种变迁间的实施推理规则 .运用这些规则可以简化复杂时序关系的 Petri网模型 ,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系 。 展开更多
关键词 点-时段时序逻辑 扩展时段时序逻辑 时间Peter网 线性推理 人工智能
在线阅读 下载PDF
描述逻辑εL的二阶线性推理机制 被引量:3
3
作者 王驹 陈光喜 余泉 《软件学报》 EI CSCD 北大核心 2017年第2期216-233,共18页
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数... 基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理论与工具.国际上该领域已有Lutz等人使用形式构模方法证明了ALC的保守扩充判定算法复杂度是二阶时间指数的,而轻量级的系统?L的算法复杂度是一阶时间指数的.但当前文献中的形式构模方法思路复杂,难以把握,几乎不能在实用的工程层面上实现.提出一种面向轻量级的描述逻辑系统家族(DL-Lite family)的统一的二阶线性推理机制,并给出该推理机制的完备性证明.该方法直观,思路清晰,从而在工程中容易实现.同时,该方法对?L,FL0,FL?,v L等DL-Lite家族的所有系统都有效.在该线序推理系统下,可以根据"空间换时间"的原则,设计和实现关于保守扩充判定的图推理机制,其复杂性(相对于空间的大小)是多项式的. 展开更多
关键词 描述逻辑 保守扩充 模块本体抽取 二阶线性推理机制 DL-Lite家族
在线阅读 下载PDF
基于FTCPN的工作流模型简化规则与线性推理研究 被引量:3
4
作者 庞辉 方宗德 赵勇 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第12期3069-3073,共5页
分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容。针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式... 分布式协同工作流系统的建模和时间性能计算是工作流的一个重要研究内容。针对传统的Petri网不能对工作流系统的不同事件和事件的时间性能进行分析和优化的问题,给出了模糊时间着色Petri网(Fuzzy-timing colored PetriNet,FTCPN)的形式化定义,并给出了基于FTCPN的工作流网四种基本组件模型的简化规则及其线性推理。最后,以汽车车身的协同概念设计流程为例,对提出的方法进行了应用和验证。研究表明:模糊时间着色Petri网能全面描述复杂工作流系统的不确定性时间信息和不同事例的工作状态,对丰富分布式工作流系统的建模理论具有一定的参考价值。 展开更多
关键词 模糊时间着色Petri网 工作流模型 简化规则 线性推理
在线阅读 下载PDF
一类贝叶斯网络的线性推理 被引量:2
5
作者 覃秋梅 张师超 《计算机科学》 CSCD 北大核心 1999年第10期67-70,共4页
贝叶斯网络提供了表示变量集之间概率依赖性的一个自然有效的方法,而且其推理方法是主观贝叶斯方法的一个扩展,具有坚实的概率理论基础,因此,许多人工智能的研究者都采用贝叶斯网络作为一种知识表示的方法,将其应用到各种问题领域。如:... 贝叶斯网络提供了表示变量集之间概率依赖性的一个自然有效的方法,而且其推理方法是主观贝叶斯方法的一个扩展,具有坚实的概率理论基础,因此,许多人工智能的研究者都采用贝叶斯网络作为一种知识表示的方法,将其应用到各种问题领域。如:故事理解、规划、电路错误检测和医学诊断等等。但是,贝叶斯网络已遭受到一些人工智能研究者的批评,因为它们需要大量的数值概率值使不确定关系量化, 展开更多
关键词 贝叶斯网络 线性推理 人工智能化 智能表示
在线阅读 下载PDF
工作记忆、表达方式和同质性对线性三段论推理影响的眼动研究 被引量:10
6
作者 白学军 张兴利 史瑞萍 《心理与行为研究》 2004年第3期519-523,528,共6页
采用眼动记录法,探讨了工作记忆、两个前提间的关系以及表达方式对线性三段论推理的影响。本实验采用2(表达方式:肯定、否定)×2(前提间的关系:同质、不同质)×2(工作记忆容量:高、低)的混合设计。通过分析总注视时间、第一次... 采用眼动记录法,探讨了工作记忆、两个前提间的关系以及表达方式对线性三段论推理的影响。本实验采用2(表达方式:肯定、否定)×2(前提间的关系:同质、不同质)×2(工作记忆容量:高、低)的混合设计。通过分析总注视时间、第一次注视时间、第二次注视时间和回视,发现线性三段论推理过程既有语言加工的参与又有表象加工的参与。推理过程中的语言表征过程和空间关系的建立都受到工作记忆容量的影响,被试的工作记忆容量越高,就越容易建立语言表征和空间的关系。 展开更多
关键词 线性三段论推理 工作记忆 前提 眼动
在线阅读 下载PDF
一种基于泰勒级数的简化的Kóczy线性插值推理方法 被引量:1
7
作者 王宝文 李瑞华 +3 位作者 刘文远 李霞 石岩 方淑芬 《小型微型计算机系统》 CSCD 北大核心 2005年第5期836-840,共5页
在传统的模糊推理方法中,如果出现模糊规则库稀疏的情况,模糊推理就得不出正确的推理结论.针对这个问题,Kóczy和Hirota提出了一种线性插值推理方法.线性插值推理方法解决了稀疏规则库情况下如何得出推理结论的问题,但是,用这种方... 在传统的模糊推理方法中,如果出现模糊规则库稀疏的情况,模糊推理就得不出正确的推理结论.针对这个问题,Kóczy和Hirota提出了一种线性插值推理方法.线性插值推理方法解决了稀疏规则库情况下如何得出推理结论的问题,但是,用这种方法得出的结论有时是不正规的模糊集.本文提出的基于泰勒级数的Kóczy线性插值推理方法,能保证“当模糊规则A1= >B1 ,A2 =>B2 和推理前件A* 是正规的线性隶属函数(三角形或者梯形)时,插值推理结论B* 也是正规的线性隶属函数(三角形或者梯形)”. 展开更多
关键词 线性插值推理 稀疏模糊规则库 泰勒级数
在线阅读 下载PDF
工作记忆和推理 被引量:22
8
作者 张清芳 朱滢 《心理学动态》 CSSCI CSCD 2000年第1期12-17,共6页
该文论述了工作记忆和推理之间的关系。首先论述了工作记忆和推理能力的关系,接着阐述了工作记忆各成分和各类推理的关系,最后简单介绍了神经心理学在这方面的研究成果。
关键词 工作记忆 推理 演绎推理 条件化推理 线性推理
在线阅读 下载PDF
汽车尾气超标智能监控系统的设计与实现 被引量:1
9
作者 荀启峰 《计算机测量与控制》 北大核心 2013年第11期3001-3003,共3页
传统的汽车尾气监控将尾气排放的数据采集后,简单表示出排放是否超标,无法将尾气排放信息智能融合后形成诊断模型;设计并实现了一款使用与内部的汽车尾气超标智能监控系统,通过嵌入式的微控制器I-8431与Modle6800传感器群上下位机形成... 传统的汽车尾气监控将尾气排放的数据采集后,简单表示出排放是否超标,无法将尾气排放信息智能融合后形成诊断模型;设计并实现了一款使用与内部的汽车尾气超标智能监控系统,通过嵌入式的微控制器I-8431与Modle6800传感器群上下位机形成汽车排气管处的硬件互联,对尾气成分分别检测,防止混合气体采集时带来的数据噪声,将采集的排气数据加载到经过优化权重的神经网络信息融合模型中,通过神经网络强大的非线性推理汽车尾气排出前的污染情况,实际的系统测试中,通过不同配比与浓度的汽车尾气分析,这种方法尾气检测准确率高达99.7%,具有很高的实用价值。 展开更多
关键词 尾气智能监控 优化神经网络 线性推理
在线阅读 下载PDF
一个可供借鉴的果农技术培训模式 被引量:2
10
作者 赵新英 边芬艳 《新疆林业》 2009年第1期35-36,共2页
新疆林果业近十年快速发展,每年以百万亩的规模增长。据2005年普查统计,全疆73-3万公顷,果农总人数为189.6万人,其中参加过相关林果技术培训的果农人数仅为33.4万人。2005年到2007年全疆新增果园13.3万公顷,线性推理,近两年新... 新疆林果业近十年快速发展,每年以百万亩的规模增长。据2005年普查统计,全疆73-3万公顷,果农总人数为189.6万人,其中参加过相关林果技术培训的果农人数仅为33.4万人。2005年到2007年全疆新增果园13.3万公顷,线性推理,近两年新增果农人数应有34万人,林果业从业人员也已高达223.6万人,人均0.37公顷果园,果品总产量446万吨,农民人均林果纯收入超过450元。2008年共完成林果新定植面积10万公顷,林果总面积超过97.6万公顷,其中,环塔里木盆地林果面积达79.6万公顷;果品总产量460万吨,产值128亿, 展开更多
关键词 技术培训 果农 培训模式 借鉴 林果业 塔里木盆地 线性推理 从业人员
在线阅读 下载PDF
一个基于知识排序的线性正向推理算法
11
作者 吴信东 《科学通报》 EI CAS CSCD 北大核心 1991年第3期230-232,共3页
一、引言 基本正向推理算法山中,每个“匹配-冲突求解-执行”的三阶周期都涉及到知识库中各条知识的匹配问题,对每个周期中能够匹配的可用知识又涉及到当时执行或不执行的问题。有些知识可能在一次问题求解的整个过程中都不能被匹配,但... 一、引言 基本正向推理算法山中,每个“匹配-冲突求解-执行”的三阶周期都涉及到知识库中各条知识的匹配问题,对每个周期中能够匹配的可用知识又涉及到当时执行或不执行的问题。有些知识可能在一次问题求解的整个过程中都不能被匹配,但必须每次周期都进行检测; 展开更多
关键词 正向推理 线性推理算法 偏序排序
原文传递
基于Petri网的时间约束问题 被引量:1
12
作者 王文彬 刘文远 《河北大学学报(哲学社会科学版)》 CSSCI 北大核心 2010年第3期99-102,共4页
为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型。首先给出条件模糊时间Petri网工作流的定义。然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时... 为了解决复杂工作流模型中时间约束造成工作流崩溃问题,提出条件模糊时间Petri网工作流模型。首先给出条件模糊时间Petri网工作流的定义。然后给出模糊时间Petri网的三种基本模式的模糊时间推理,得到每种模式下Petri网工作流模型,同时在理论上验证所提出模型的必要性。最后通过实例说明根据条件模糊时间Petri网工作流建模,可以有效地避免由于时间约束造成的工作流崩溃问题。 展开更多
关键词 工作流 模糊时间PETRI网 时间约束 线性推理
在线阅读 下载PDF
基于时间Petri网的铁通调度指挥系统建模与分析 被引量:2
13
作者 王振江 刘云 《北京电子科技学院学报》 2006年第2期19-22,共4页
在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型。在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系。利用在线性时间复杂度内解决时间推理问题的线性推理... 在分析了铁通调度指挥系统(TDS)建模存在的问题后,本文提出了基于时间Petri网的铁通调度指挥系统工作流模型。在此模型中,用时间Petri网表示工作流模型,并分析了基本结构的时序关系。利用在线性时间复杂度内解决时间推理问题的线性推理规则,本文用时间Petri网建立了TDS停机停线的工作流模型。最后,对TDS停机停线的时间性能进行了分析。 展开更多
关键词 工作流 铁通调度指挥系统 时间PETRI网 线性推理
在线阅读 下载PDF
基于时间Petri网的公文管理工作流模型 被引量:1
14
作者 常颖莉 张亚玲 李惠斌 《信息技术》 2007年第8期117-121,共5页
工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规... 工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。 展开更多
关键词 高校公文管理系统 时间PETRI网 工作流模型 时序分析 线性推理
在线阅读 下载PDF
An integrated model for supplier selection process 被引量:2
15
作者 Oboulhas Conrad +4 位作者 Tsahat ONESIME 徐晓飞 占德臣 沙磊 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2003年第1期43-50,共8页
In today’s highly competitive manufacturing environment, the supplier selection process becomes one of crucial activities in supply chain management. In order to select the best supplier(s) it is not only necessary t... In today’s highly competitive manufacturing environment, the supplier selection process becomes one of crucial activities in supply chain management. In order to select the best supplier(s) it is not only necessary to continuously tracking and benchmarking performance of suppliers but also to make a tradeoff between tangible and intangible factors some of which may conflict. In this paper an integration of case based reasoning (CBR), analytical network process (ANP) and linear programming (LP) is proposed to solve the supplier selection problem. 展开更多
关键词 supplier selection case based reasoning ANP linear programming
在线阅读 下载PDF
Reproducing wavelet kernel method in nonlinear system identification
16
作者 文香军 许晓鸣 蔡云泽 《Journal of Harbin Institute of Technology(New Series)》 EI CAS 2008年第2期248-254,共7页
By combining the wavelet decomposition with kernel method, a practical approach of universal multiscale wavelet kernels constructed in reproducing kernel Hilbert space (RKHS) is discussed, and an identification sche... By combining the wavelet decomposition with kernel method, a practical approach of universal multiscale wavelet kernels constructed in reproducing kernel Hilbert space (RKHS) is discussed, and an identification scheme using wavelet support vector machines (WSVM) estimator is proposed for nordinear dynamic systems. The good approximating properties of wavelet kernel function enhance the generalization ability of the proposed method, and the comparison of some numerical experimental results between the novel approach and some existing methods is encouraging. 展开更多
关键词 wavelet kernels support vector machine (SVM) reproducing kernel Hilbert space (RKHS) nonlinear system identification
在线阅读 下载PDF
A nonlinear combination forecasting method based on the fuzzy inference system
17
作者 董景荣 YANG +1 位作者 Jun 《Journal of Chongqing University》 CAS 2002年第2期78-82,共5页
It has been shown in recent economic and statistical studies that combining forecasts may produce more accurate forecasts than individual ones. However, the literature on combining forecasts has almost exclusively foc... It has been shown in recent economic and statistical studies that combining forecasts may produce more accurate forecasts than individual ones. However, the literature on combining forecasts has almost exclusively focused on linear combining forecasts. In this paper, a new nonlinear combination forecasting method based on fuzzy inference system is present to overcome the difficulties and drawbacks in linear combination modeling of non-stationary time series. Furthermore, the optimization algorithm based on a hierarchical structure of learning automata is used to identify the parameters of the fuzzy system. Experiment results related to numerical examples demonstrate that the new technique has excellent identification performances and forecasting accuracy superior to other existing linear combining forecasts. 展开更多
关键词 nonlinear combination forecasting fuzzy inference system hierarchical structure learning automata
在线阅读 下载PDF
管理技术——创新、学习及成熟度(中)
18
作者 Roaney Turner Anne Keegan 薛岩 《项目管理技术》 2003年第2期19-22,共4页
在基于项目的组织中实现创新 在本节我们将探讨如何在项目环境中进行创新.首先我们来了解一下人们进行改变,进而实现创新的规律;然后我们介绍两种截然不同的管理创新的方法,即常用的线性推理方法和有机推进法;最后,我们对它们的优缺点... 在基于项目的组织中实现创新 在本节我们将探讨如何在项目环境中进行创新.首先我们来了解一下人们进行改变,进而实现创新的规律;然后我们介绍两种截然不同的管理创新的方法,即常用的线性推理方法和有机推进法;最后,我们对它们的优缺点做一个比较,看看它们各自适用于什么情况. 展开更多
关键词 创新 线性推理
原文传递
Penalized profile least squares-based statistical inference for varying coefficient partially linear errors-in-variables models 被引量:2
19
作者 Guo-liang Fan Han-ying Liang Li-xing Zhu 《Science China Mathematics》 SCIE CSCD 2018年第9期1677-1694,共18页
The purpose of this paper is two fold. First, we investigate estimation for varying coefficient partially linear models in which covariates in the nonparametric part are measured with errors. As there would be some sp... The purpose of this paper is two fold. First, we investigate estimation for varying coefficient partially linear models in which covariates in the nonparametric part are measured with errors. As there would be some spurious covariates in the linear part, a penalized profile least squares estimation is suggested with the assistance from smoothly clipped absolute deviation penalty. However, the estimator is often biased due to the existence of measurement errors, a bias correction is proposed such that the estimation consistency with the oracle property is proved. Second, based on the estimator, a test statistic is constructed to check a linear hypothesis of the parameters and its asymptotic properties are studied. We prove that the existence of measurement errors causes intractability of the limiting null distribution that requires a Monte Carlo approximation and the absence of the errors can lead to a chi-square limit. Furthermore, confidence regions of the parameter of interest can also be constructed. Simulation studies and a real data example are conducted to examine the performance of our estimators and test statistic. 展开更多
关键词 diverging number of parameters varying coefficient partially linear model penalized likelihood SCAD variable selection
原文传递
Data-based prediction and causality inference of nonlinear dynamics 被引量:6
20
作者 Huanfei Ma Siyang Leng Luonan Chen 《Science China Mathematics》 SCIE CSCD 2018年第3期403-420,共18页
Natural systems are typically nonlinear and complex, and it is of great interest to be able to reconstruct a system in order to understand its mechanism, which cannot only recover nonlinear behaviors but also predict ... Natural systems are typically nonlinear and complex, and it is of great interest to be able to reconstruct a system in order to understand its mechanism, which cannot only recover nonlinear behaviors but also predict future dynamics. Due to the advances of modern technology, big data becomes increasingly accessible and consequently the problem of reconstructing systems from measured data or time series plays a central role in many scientific disciplines. In recent decades, nonlinear methods rooted in state space reconstruction have been developed, and they do not assume any model equations but can recover the dynamics purely from the measured time series data. In this review, the development of state space reconstruction techniques will be introduced and the recent advances in systems prediction and causality inference using state space reconstruction will be presented. Particularly, the cutting-edge method to deal with short-term time series data will be focused on.Finally, the advantages as well as the remaining problems in this field are discussed. 展开更多
关键词 nonlinear system prediction causality inference time series data
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部