期刊文献+
共找到46篇文章
< 1 2 3 >
每页显示 20 50 100
Spatio-temporal epidemic type aftershock sequence model for Tangshan aftershock sequence
1
作者 Shaochuan Lue Yong Li 《Earthquake Science》 CSCD 2011年第5期401-408,共8页
Shallow earthquakes usually show obvious spatio-temporal clustering patterns. In this study, several spatio-temporal point process models are applied to investigate the clustering characteristics of the well-known Tan... Shallow earthquakes usually show obvious spatio-temporal clustering patterns. In this study, several spatio-temporal point process models are applied to investigate the clustering characteristics of the well-known Tangshan sequence based on classical empirical laws and a few assumptions. The relative fit of competing models is compared by Akalke Information Criterion. The spatial clustering pattern is well characterized by the model which gives the best fit to the data. A simulated aftershock sequence is generated by thinning algorithm and compared with the real seismicity. 展开更多
关键词 spatio-temporal model Tangshan aftershock sequence Laplace type clustering thinning simulation Akaike information criterion
下载PDF
基于时序序列分解和IBAS LSTM的滑坡数据预测模型
2
作者 荆严飞 党建武 +1 位作者 王阳萍 岳彪 《兰州交通大学学报》 CAS 2024年第2期58-67,共10页
针对传统静态机器学习模型在周期项位移预测中的缺陷和动态神经网络超参数人工选择困难的问题,在时序序列分解的基础上,提出一种新的滑坡预测耦合模型。首先,用最大相关最小冗余算法对周期项位移筛选合适的环境特征,作为长短期记忆人工... 针对传统静态机器学习模型在周期项位移预测中的缺陷和动态神经网络超参数人工选择困难的问题,在时序序列分解的基础上,提出一种新的滑坡预测耦合模型。首先,用最大相关最小冗余算法对周期项位移筛选合适的环境特征,作为长短期记忆人工神经网络的输入。然后,在天牛须搜索算法搜索过程中引入反馈机制,以避免原算法中出现远离最优解的问题;在算法迭代过程中将固定的递减因子改为动态递减因子,以提升前期全局和后期局部的寻优能力;利用改进的天牛须搜索算法对长短期记忆人工神经网络超参数进行寻优,以获得最佳的网络参数组合。最后,重构趋势项和周期项预测结果,得到最终预测位移。以发耳滑坡为例进行分析,结果表明:相较于其他方法,所提模型在平均绝对误差、均方根误差以及拟合度等方面更具优势。 展开更多
关键词 动态神经网络模型 时序序列分解 灰色模型 长短期记忆人工神经网络 天牛须搜索算法
下载PDF
基于新分区策略的ST-GCN人体动作识别
3
作者 杨世强 李卓 +3 位作者 王金华 贺朵 李琦 李德信 《计算机集成制造系统》 EI CSCD 北大核心 2023年第12期4040-4050,共11页
人体动作识别是智能监控、人机交互、机器人等领域的一项重要技术,基于人体骨架序列的动作识别方法在面对复杂背景以及人体尺度、视角和运动速度等变化时具有先天优势。时空图卷积神经网络模型(ST-GCN)在人体行为识别中具有卓越的识别性... 人体动作识别是智能监控、人机交互、机器人等领域的一项重要技术,基于人体骨架序列的动作识别方法在面对复杂背景以及人体尺度、视角和运动速度等变化时具有先天优势。时空图卷积神经网络模型(ST-GCN)在人体行为识别中具有卓越的识别性能,针对ST-GCN网络模型中的分区策略只关注局部动作的问题,设计了一种新的分区策略,通过关联根节点与更远节点,加强身体各部分信息联系和局部运动之间的联系,将根节点的相邻区域划分为根节点本身、向心群、远向心群、离心群和远离心群等5个区域,同时为各区域赋予不同的权重,提升了模型对整体动作的感知能力。最后,分别在公开数据集和真实场景下进行实验测试,结果表明,在大规模数据集Kinetics-skeleton上获得了31.1%的Top-1分类准确率,相比原模型提升了0.4%;在NTU-RGB+D的两个子数据集上分别获得了83.7%和91.6%的Top-1性能指标,相比原模型提升了2.3%和3.3%;在真实场景下,所提模型对动作变化明显且区别大的动作如俯卧撑和慢跑识别率高,对局部运动和动作变化相近的动作如鼓掌和摇头识别率偏低,尚有进一步提高的空间。 展开更多
关键词 动作识别 深度学习 时空图卷积神经网络模型 分区策略 骨架序列
下载PDF
基于注意力机制—门控循环单元—BP神经网络的智能多工序工艺参数关联预测
4
作者 阴艳超 张曦 +1 位作者 唐军 张万达 《计算机集成制造系统》 EI CSCD 北大核心 2023年第2期487-502,共16页
鉴于流程制造工序间能质流耦合严重,性能指标影响因素众多,工艺参数时序特征显著,现有制造模式下难以精准预测产品质量,在分析流程制造工艺性能指标多维、强时序、关联耦合特征的基础上,提出一种基于注意力机制—门控循环单元-BP神经网... 鉴于流程制造工序间能质流耦合严重,性能指标影响因素众多,工艺参数时序特征显著,现有制造模式下难以精准预测产品质量,在分析流程制造工艺性能指标多维、强时序、关联耦合特征的基础上,提出一种基于注意力机制—门控循环单元-BP神经网络(Attention AM-GRU-BPNN)的多工序耦合参数关联预测方法。首先采用互信息方法筛选多态异构生产数据作为输入,建立ConvGRU自编码器,通过无监督学习对过程数据、工艺参数、操作参数等进行时序特征提取,同时引入时序注意力机制提取不同工序的耦合关联特征并进行向量嵌入,为不同工序的工艺参数分配注意力权重。在此基础上,设计Attention网络自学习不同时刻下工艺关联特征对质量性能指标的影响差异,再通过门控循环单元网络对重要的关联特征进行增强,并按照时序特征对单工序预测模型进行聚合,实现多工序时序特征融合,最后通过输出层BPNN神经网络精准预测产品工艺质量。实验表明,AM-GRU-BPNN有效提高了预测精度,从多工序角度为生产线工序的加工过程控制提供了依据。 展开更多
关键词 流程制造 多工序耦合 注意力机制—门控循环单元-BP神经网络 时序特征融合 关联预测
下载PDF
融合注意力机制的时间卷积知识追踪模型 被引量:4
5
作者 邵小萌 张猛 《计算机应用》 CSCD 北大核心 2023年第2期343-348,共6页
针对基于循环神经网络(RNN)的深度知识追踪模型存在的可解释性不足和长序列依赖问题,提出一种融合注意力机制的时间卷积知识追踪(ATCKT)模型。首先,在训练阶段学习学生历史交互的嵌入表示;然后,使用基于题目的注意力机制学习特定权重矩... 针对基于循环神经网络(RNN)的深度知识追踪模型存在的可解释性不足和长序列依赖问题,提出一种融合注意力机制的时间卷积知识追踪(ATCKT)模型。首先,在训练阶段学习学生历史交互的嵌入表示;然后,使用基于题目的注意力机制学习特定权重矩阵,从而识别并强化学生的历史交互对每一时刻知识状态不同程度的影响;最后,使用时间卷积网络(TCN)提取学生动态变化的知识状态,在这个过程中利用扩张卷积和深层神经网络扩大序列学习范围,缓解长序列依赖问题。将ATCKT模型与深度知识追踪(DKT)、卷积知识追踪(CKT)等四种模型在ASSISTments2009、ASSISTments2015、Statics2011和Synthetic-5这4个数据集上进行对比实验,实验结果显示,所提模型的曲线下面积(AUC)和准确率(ACC)均有显著提升,尤其在ASSISTments2015数据集上表现最佳,分别提升了6.83~20.14个百分点和7.52~11.22个百分点,并且该模型的训练时间与DKT模型相比减少了26%。可见,所提模型可以更准确地捕捉学生的知识状态,更高效地预测学生未来的表现。 展开更多
关键词 知识追踪 时间卷积网络 注意力机制 序列建模 教育数据挖掘
下载PDF
基于多尺度时空特征的篮球场景中人体姿态估计 被引量:2
6
作者 马骁 闫育东 《中南民族大学学报(自然科学版)》 CAS 北大核心 2023年第1期95-102,共8页
人体姿态估计是计算机视觉领域的研究热点之一,目标是从给定的图像或视频中识别人体的关节.由于篮球比赛视频中人体动作复杂多变,易产生运动模糊、遮挡等问题,导致现有的人体姿态算法对篮球动作姿态估计的准确率较低.针对这一问题,提出... 人体姿态估计是计算机视觉领域的研究热点之一,目标是从给定的图像或视频中识别人体的关节.由于篮球比赛视频中人体动作复杂多变,易产生运动模糊、遮挡等问题,导致现有的人体姿态算法对篮球动作姿态估计的准确率较低.针对这一问题,提出了一种基于多尺度时空关联特征的篮球动作姿态估计算法,构建基于Transformer的人体时序特征捕捉模块对序列层级的时空特征信息进行建模,以缓解运动模糊、遮挡等现象带来的负面影响.此外,针对人体外形复杂多变的问题,提出了基于可形变卷积的人体空间特征残差融合模块来获取更为充分的空间特征.与现有算法相比,该算法在自行构建的篮球场景人体运动数据集、姿态估计公开基准数据集PoseTrack2017和PoseTrack2018均取得较好的效果. 展开更多
关键词 姿态估计 时空建模 卷积神经网络 视频序列建模
下载PDF
The Modelling of Temporal Data in the Relational Database Environment
7
作者 孙远 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第2期163-174,共12页
This research takes the view that the modelling of temporal data is a fundamental step towards the solution of capturing semantics of time. The problemsinhereat in the mod6iling of time are not unique to datahase proc... This research takes the view that the modelling of temporal data is a fundamental step towards the solution of capturing semantics of time. The problemsinhereat in the mod6iling of time are not unique to datahase processing. Therepresentation of temporal knowledge and temporal reasoning arises in a widerange of other disciplines. ln this paper an account is given of a techniquefor modelling the semantics of temporal data and its associated normalizationmcthod. It discusses the techniques of processing temporal data by employinga Time Sequence (TS) data model. It shows a number of different strategieswhich are used to classify different data properties of temporal data, and it goeson.to develop the model of temporal data and addresses issues of temporal dataapplication design by introducing the concept of temporal data normalisation. 展开更多
关键词 temporal data re1ational database time sequence model temporal normalization
原文传递
黔中地区震旦纪含磷岩系时空变化及沉积模式 被引量:41
8
作者 陈国勇 杜远生 +4 位作者 张亚冠 陈庆刚 范玉梅 王泽鹏 谭华 《地质科技情报》 CAS CSCD 北大核心 2015年第6期17-25,共9页
黔中地区聚磷盆地是在南沱期沉积的基础上发展起来的,陡山沱早期海侵时期,福泉-瓮安-开阳-温泉一带为半封闭海湾,从东部上升的含磷酸盐洋流运移到此半封闭环境,产生了胶磷矿沉积,之后黔中古陆快速隆升,早期形成的胶磷矿处于滩相环境,受... 黔中地区聚磷盆地是在南沱期沉积的基础上发展起来的,陡山沱早期海侵时期,福泉-瓮安-开阳-温泉一带为半封闭海湾,从东部上升的含磷酸盐洋流运移到此半封闭环境,产生了胶磷矿沉积,之后黔中古陆快速隆升,早期形成的胶磷矿处于滩相环境,受波浪作用改造,形成砂屑磷块岩矿床;开阳地区富磷矿形成与矿层顶板及其间的假整合面对应,磷矿层形成后受强烈的暴露淋滤影响。在黔中古陆的南东侧外陆棚区,含磷组分难以聚集,形成厚度薄、品位低的磷块岩矿床;在灯影组沉积期-早寒武世期间,贵州大部分处在广阔陆表浅海环境,仅在织金形成相对深水泻湖相沉积,含磷酸盐的上升洋流运移至其中形成低品位磷块岩矿床。通过黔中地区震旦纪典型磷矿床含磷岩系及顶、底板地层的相剖面及时空变化分析,建立了黔中地区磷矿沉积模式。 展开更多
关键词 贵州 震旦纪 含磷岩系 时空变化 成矿模式
下载PDF
序列状态的林业资源时空数据模型研究 被引量:9
9
作者 夏凯 刘仁义 +3 位作者 刘南 张国江 谢炯 张丰 《测绘学报》 EI CSCD 北大核心 2013年第3期433-439,共7页
对林业地理实体时空演变过程进行分析,认为林业地理实体的演变总体上是渐变和突变交替的时空过程,而且各专题属性和空间分布的演变类型和演变频率不尽相同。在此基础上,提出由序列快照和事件方法组合而成的序列状态时空表达方法,以状态... 对林业地理实体时空演变过程进行分析,认为林业地理实体的演变总体上是渐变和突变交替的时空过程,而且各专题属性和空间分布的演变类型和演变频率不尽相同。在此基础上,提出由序列快照和事件方法组合而成的序列状态时空表达方法,以状态集表达时空对象在生命周期内的演化历程,并针对林业数据的特点,采用面向对象的数据组织方式设计了林业资源时空数据模型。模型可对不同演变类型进行组合,并实现了对渐变和突变的统一表达,另外,模型也允许采用不确定数据以加强对渐变过程的表达。通过原型系统验证了模型的可行性。 展开更多
关键词 时空数据模型 序列状态 林业 事件 序列快照
下载PDF
时间序列自回归模型预测茶园小绿叶蝉种群动态的探讨 被引量:10
10
作者 秦华光 李家才 +3 位作者 穆丹 胡强 黄毅 韩宝瑜 《安徽农业大学学报》 CAS CSCD 北大核心 2008年第4期564-570,共7页
选定西湖龙井茶叶原产地的优质丰产茶园、普通丰产茶园、山林间茶园、种质资源圃和茶-林间作等5类代表性茶园,从2007年4月20日~12月26日,5 d 1次调查假眼小绿叶蝉种群数量,作为时间序列自回归模型的数据源。据此对自回归模型预测假眼... 选定西湖龙井茶叶原产地的优质丰产茶园、普通丰产茶园、山林间茶园、种质资源圃和茶-林间作等5类代表性茶园,从2007年4月20日~12月26日,5 d 1次调查假眼小绿叶蝉种群数量,作为时间序列自回归模型的数据源。据此对自回归模型预测假眼小绿叶蝉种群动态的可行性、建模步骤及准确性验证进行了探讨。与其他相关预测模型相比,自回归模型显得简便易行实用。 展开更多
关键词 时间序列 自回归模型 茶园 假眼小绿叶蝉 预测
下载PDF
属性序列图:形式语法和语义 被引量:6
11
作者 张鹏程 周宇 +1 位作者 李必信 徐宝文 《计算机研究与发展》 EI CSCD 北大核心 2008年第2期318-328,共11页
在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用... 在基于场景的软件工程中,时态逻辑被广泛地用来推理并发系统的正确性.模型检验技术允许自动检验系统模型和给定的属性之间的一致性,这些属性常用线性时态逻辑公式来表示.不幸的是,由于这些公式具有复杂的结构使得模型检验技术很难应用在工业实践中.属性序列图可以用来解决这种问题,它是一种基于场景的可视化的语言,容易理解并且具有较强的表达能力,能够克服当前工业中常用的符号中存在的诸多表达缺陷.为了能够完全清晰地描述和理解属性序列图,使其能够广泛地应用,给出其形式语法和基于Bchi自动机的形式语义,并进行了实例研究,讨论了其应用前景. 展开更多
关键词 时态逻辑 场景 属性序列图 Büchi 自动机 模型检验
下载PDF
一种聚类隐马尔可夫模型的时空轨迹预测算法 被引量:19
12
作者 孙红 陈锁 《小型微型计算机系统》 CSCD 北大核心 2019年第3期472-476,共5页
随着"互联网+"的高速发展,大数据的不断产生,人们对时空轨迹的数据分析也越来越多.本文针对海量的用户轨迹数据进行研究,提出一种基于分区域的隐马尔可夫模型用以解决时空轨迹序列的预测问题.该模型首先通过聚类将一片区域内... 随着"互联网+"的高速发展,大数据的不断产生,人们对时空轨迹的数据分析也越来越多.本文针对海量的用户轨迹数据进行研究,提出一种基于分区域的隐马尔可夫模型用以解决时空轨迹序列的预测问题.该模型首先通过聚类将一片区域内的时空序列分成多个小区域,每个小区域内再通过聚类确定多个隐状态和发射序列,然后针对每个小区域进行隐马尔可夫模型的训练得出最终模型.预测时通过已知的时空序列,找到对应的区域模型,通过维特比算法计算出最佳隐状态序列,再结合转移矩阵做出下一个轨迹点的预测.实验表明,该模型具有较高的学习速度,且预测精度较高. 展开更多
关键词 时空轨迹序列 隐马尔可夫模型 聚类 子区域
下载PDF
汶川“5.12”地震序列余震时空分布的研究 被引量:7
13
作者 吴忠芳 周廷刚 +3 位作者 张元华 王婷 张力 李成范 《生态环境》 CSCD 北大核心 2008年第4期1662-1666,共5页
2008年5月12日汶川8.0级大地震发生后,余震成为了社会各界关注的焦点之一。利用中国地震台网发布的余震资料,通过GIS空间分析的准确定位和SPSS的统计分析研究了余震活动的空间、时间和强度的特点和规律,制作了强余震分布图、余震频度图... 2008年5月12日汶川8.0级大地震发生后,余震成为了社会各界关注的焦点之一。利用中国地震台网发布的余震资料,通过GIS空间分析的准确定位和SPSS的统计分析研究了余震活动的空间、时间和强度的特点和规律,制作了强余震分布图、余震频度图;用回归分析和最小二乘法拟合了强余震发生与主震相隔时间的关系。研究结果表明:余震震中沿着龙门山断裂带呈带状分布,主要发生在汶川与青川之间断层的拐点、端点和交叉点上;余震的次数随主震后的时间推移"先快后慢"逐渐衰减,并将会持续一段时间;余震的震级与时间基本上没有相关性;抛物线模型拟合出相隔天数与强震序数的回归方程可供余震预测参考。 展开更多
关键词 汶川 地震序列 余震 时空分布 抛物线模型
下载PDF
确定学习与基于数据的建模及控制 被引量:19
14
作者 王聪 陈填锐 刘腾飞 《自动化学报》 EI CSCD 北大核心 2009年第6期693-706,共14页
确定学习运用自适应控制和动力学系统的概念与方法,研究未知动态环境下的知识获取、表达、存储和利用等问题.针对产生周期或回归轨迹的连续非线性动态系统,确定学习可以对其未知系统动态进行局部准确建模,其基本要素包括:1)使用径向基函... 确定学习运用自适应控制和动力学系统的概念与方法,研究未知动态环境下的知识获取、表达、存储和利用等问题.针对产生周期或回归轨迹的连续非线性动态系统,确定学习可以对其未知系统动态进行局部准确建模,其基本要素包括:1)使用径向基函数(Radial basis function,RBF)神经网络;2)对于周期(或回归)状态轨迹满足部分持续激励条件;3)在周期(或回归)轨迹的邻域内实现对非线性系统动态的局部准确神经网络逼近(局部准确建模);4)所学的知识以时不变且空间分布的方式表达、以常值神经网络权值的方式存储,并可在动态环境下用于动态模式的快速识别或者闭环神经网络控制.本文针对离散动态系统,扩展了确定学习理论,提出一个根据时态数据序列对离散动态系统进行建模与控制的框架.首先,运用确定学习原理和离散系统的自适应辨识方法,实现对产生时态数据的离散非线性系统的未知动态进行局部准确的神经网络建模,并利用此建模结果对时态数据序列进行时不变表达.其次,提出时态数据序列的基于动力学的相似性定义,以及对离散动态系统产生的时态数据序列(亦可称为动态模式)进行快速识别方法.最后,针对离散非线性控制系统,实现了基于时态数据序列对控制系统动态的闭环辨识(局部准确建模).所学关于闭环动态的知识可用于基于模式的智能控制.本文表明确定学习可以为时态数据挖掘的研究提供新的途径,并为基于数据的建模与控制等问题提供新的研究思路. 展开更多
关键词 确定学习 时态数据序列 离散动态系统 基于数据的建模 部分持续激励条件 时态数据挖掘 动态模式识别 基于模式的控制
下载PDF
基于碳汇视角的旅游交通碳足迹时空模型研究 被引量:4
15
作者 杜鹏 杨蕾 黄羿 《资源开发与市场》 CAS CSSCI 2016年第3期313-316,F0002,共5页
交通碳足迹是旅游碳排放的重要组成部分,也是低碳旅游相关研究的基础之一。提出了一种具有开放性、可比性的旅游交通碳足迹模型,首次将区域生态环境的固碳能力作为时空差异性因子纳入模型,并在实证分析中得到了应用和验证。根据模型测... 交通碳足迹是旅游碳排放的重要组成部分,也是低碳旅游相关研究的基础之一。提出了一种具有开放性、可比性的旅游交通碳足迹模型,首次将区域生态环境的固碳能力作为时空差异性因子纳入模型,并在实证分析中得到了应用和验证。根据模型测算结果,2013年我国民航、公路、铁路和水运公共旅游交通碳足迹总量为357.6×108kg,其中东南沿海区域和中心城市较高,西南、西北、东北地区碳足迹相对较少,叠加碳排放承压时空差异因子后,高纬度内陆地区旅游交通碳排压力等级有所提升,而东南、西南等植被固碳能力较高区域的旅游碳排放压力等级有所降低。基于以上测算结果,提出应从旅游交通技术设施、管理水平、宣传教育、生态保护等方面促进低碳旅游交通发展。 展开更多
关键词 旅游交通 碳足迹 概念模型 时空差异 碳汇
下载PDF
基于深度学习的手语识别综述 被引量:22
16
作者 张淑军 张群 李辉 《电子与信息学报》 EI CSCD 北大核心 2020年第4期1021-1032,共12页
手语识别涉及计算机视觉、模式识别、人机交互等领域,具有重要的研究意义与应用价值。深度学习技术的蓬勃发展为更加精准、实时的手语识别带来了新的机遇。该文综述了近年来基于深度学习的手语识别技术,从孤立词与连续语句两个分支展开... 手语识别涉及计算机视觉、模式识别、人机交互等领域,具有重要的研究意义与应用价值。深度学习技术的蓬勃发展为更加精准、实时的手语识别带来了新的机遇。该文综述了近年来基于深度学习的手语识别技术,从孤立词与连续语句两个分支展开详细的算法阐述与分析。孤立词识别技术划分为基于卷积神经网络(CNN)、3维卷积神经网络(3D-CNN)和循环神经网络(RNN) 3种架构的方法;连续语句识别所用模型复杂度更高,通常需要辅助某种长时时序建模算法,按其主体结构分为双向长短时记忆网络模型、3维卷积网络模型和混合模型。归纳总结了目前国内外常用手语数据集,探讨了手语识别技术的研究挑战与发展趋势,高精度前提下的鲁棒性和实用化仍有待于推进。 展开更多
关键词 深度学习 手语识别 卷积网络 循环神经网络 长时序建模
下载PDF
迁移系统关于一类时态逻辑公式的满足度 被引量:1
17
作者 王国俊 王庆平 +2 位作者 时慧娴 罗清君 王伟 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第4期1-10,共10页
从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特... 从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计. 展开更多
关键词 规范 特征 最终自由 动态模型序列 T-范式 满足度
下载PDF
基于模型检验集成规划系统的机械装配序列规划 被引量:3
18
作者 古天龙 张勐 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1781-1790,共10页
为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配... 为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。 展开更多
关键词 装配序列规划 模型检验 规划领域定义语言 谓词逻辑 时态逻辑
下载PDF
时间序列分析技术在煤炭价格预测中的应用 被引量:15
19
作者 孙继湖 彭建萍 《地质技术经济管理》 2000年第3期33-40,共8页
本文主要根据所收集的数据资料 ,同时结合国内、国外的实际情况 ,以计量经济学和统计学为基础 ,采用近年来国际上经济分析中应用较多的现代时间序列分析与预测方法 ,具体的将随机论、概率论、线性差分方程应用到我国煤炭市场价格预测中 ... 本文主要根据所收集的数据资料 ,同时结合国内、国外的实际情况 ,以计量经济学和统计学为基础 ,采用近年来国际上经济分析中应用较多的现代时间序列分析与预测方法 ,具体的将随机论、概率论、线性差分方程应用到我国煤炭市场价格预测中 ,对煤炭市场价格进行分析、预测。 展开更多
关键词 时间序列 煤炭价格 模型 预测
下载PDF
时间序列关系推理研究概述 被引量:1
20
作者 陆小英 方格 《心理科学》 CSSCI CSCD 北大核心 2007年第2期380-382,共3页
时间序列关系推理是对事件发生的先后顺序关系的推理,是日常生活思维的重要方面。已有的研究关注3类推理问题,探查了不同任务变式下成人时间序列关系推理过程和推理策略,研究结果多支持心理模型理论。未来的研究应探明3类问题的性质,从... 时间序列关系推理是对事件发生的先后顺序关系的推理,是日常生活思维的重要方面。已有的研究关注3类推理问题,探查了不同任务变式下成人时间序列关系推理过程和推理策略,研究结果多支持心理模型理论。未来的研究应探明3类问题的性质,从心理逻辑理论的角度深化策略的研究结果,进一步揭示推理的机制。 展开更多
关键词 时间序列关系推理 心理模型理论 心理逻辑理论 推理策略
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部