欢迎来到密室推理时间

1

作者 砂砂 《侦探冒险王》 2016年第10期46-47,共2页

当你还沉浸在阿加莎·克里斯蒂用各种神奇的毒药作为犯罪手段时。抽着海泡石烟斗，留着强盗式胡子的菲尔博士一定对你露出不屑的表情。

关键词 推理时间 犯罪手段 海泡石

在线阅读 下载PDF 职称材料

小天体柔性着陆任务规划的动态时间约束推理方法 被引量：2

2

作者 王棒 徐瑞 +2 位作者 李朝玉 朱圣英 梁子璇 《宇航学报》 EI CAS CSCD 北大核心 2024年第2期212-221,共10页

针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现... 针对小天体柔性着陆任务规划中的复杂耦合时间约束一致性推理效率问题,建立任务规划时间约束网络,通过划分时间约束类型,设计约束动态添加策略,提出动态弧一致时间约束推理方法,限制新添加约束的传播范围,局部求解时间网络一致性,实现规划过程中时间约束网络一致性的高效维护。最后,构建小天体着陆规划场景,生成着陆任务规划活动及时间约束。仿真结果表明,与现有时间约束推理方法相比,所提出方法提高了时间约束推理效率,进而可为小天体柔性着陆任务规划提供支撑。 展开更多

关键词 小天体探测 柔性着陆器 着陆任务规划 动态弧一致 时间约束推理

在线阅读 下载PDF 职称材料

面向常识的时间推理 被引量：14

3

作者 徐晋晖 毛希平 +1 位作者 刘桂霞 石纯一 《软件学报》 EI CSCD 北大核心 2000年第6期809-815,共7页

常识和时间推理是人工智能研究的两个主要课题 .Allen等人提出的时间推理缺少时间点、时区和时距的统一表示 ;过分考虑计算 ,缺少规则推理 ;求解算法难以应用于多 Agent环境并且没有考虑常识不一致性 .该文提出一种时间信息表示网络 ,... 常识和时间推理是人工智能研究的两个主要课题 .Allen等人提出的时间推理缺少时间点、时区和时距的统一表示 ;过分考虑计算 ,缺少规则推理 ;求解算法难以应用于多 Agent环境并且没有考虑常识不一致性 .该文提出一种时间信息表示网络 ,分析了约束之间的推导规则 ,给出了常识时间问题的多 Agent合作满足弱路径一致性的求解方法 .该文的工作改进了 Meiri,Wetprasit和 Sattar等人的工作 ,为时间推理结合常识特性和适应多 Agent合作环境提供了可行的方案 . 展开更多

关键词 常识 时间推理 时间点 时区 时距 定量约束 定性约束

在线阅读 下载PDF 职称材料

敏捷卫星调度的时间约束推理方法 被引量：16

4

作者 廉振宇 谭跃进 严珍珍 《系统工程与电子技术》 EI CSCD 北大核心 2013年第6期1206-1211,共6页

敏捷卫星机动能力的增强带来观测机会的增多和观测时间窗口的增长,具有很大的应用潜能。但管控中由于观测开始时间是一个具有连续值域的变量,传统非敏捷卫星调度问题的组合优化建模方法不再适用。介绍了敏捷卫星的时间依赖、可控与不可... 敏捷卫星机动能力的增强带来观测机会的增多和观测时间窗口的增长,具有很大的应用潜能。但管控中由于观测开始时间是一个具有连续值域的变量,传统非敏捷卫星调度问题的组合优化建模方法不再适用。介绍了敏捷卫星的时间依赖、可控与不可控事件混合、资源过度受限等特性;给出了时间约束网络概念及敏捷卫星调度中的时间约束推理问题描述;分析了时间约束网络与距离图的等价性,借鉴Johnson算法对稀疏网络的特殊处理,采用重赋权技术,提出针对敏捷卫星调度的改进循环检测算法检查时间约束;建立了分支剪枝搜索算法,以约束规划方式获得时间一致解。最后通过实例验证所提方法的有效性,实验结果表明该方法能够较好地实现敏捷卫星调度的时间约束的一致性检验和搜索求解。 展开更多

关键词 调度 时间推理 循环检测 敏捷卫星 时间依赖 简单时间网络

在线阅读 下载PDF 职称材料

态势估计中一种基于贝叶斯估计的统计时间推理方法 被引量：6

5

作者 姚春燕 郁文贤 庄钊文 《火力与指挥控制》 CSCD 1999年第1期48-52,共5页

统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，估计方差较大。文中建立的已知时间信息和... 统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，估计方差较大。文中建立的已知时间信息和未知时间变量之间的关系模型，将未知时间变量扩展为随机变量，将贝叶斯估计（ＢａｙｅｓＥｓｔｉｍａｔｉｏｎ，ＢＥ）引入时间推理。经过对两种推理算法的性能进行分析和比较，发现在一定范围内，基于ＢＥ的方法性能优于基于ＭＬＥ的方法。 展开更多

关键词 统计时间推理 态势估计 贝叶斯估计

在线阅读 下载PDF 职称材料

基于贝叶斯网络的态势估计时间推理方法 被引量：7

6

作者 孙兆林 杨宏文 胡卫东 《火力与指挥控制》 CSCD 北大核心 2007年第1期30-33,44,共5页

基于贝叶斯网络的态势估计方法是目前态势估计领域中的主要方法之一,然而,传统的贝叶斯网络不具备时间语义,因此无法解决态势估计中的时间推理问题。基于此,对贝叶斯网络进行改造,研究了时间贝叶斯网络的构建方法。通过一个战场想定,说... 基于贝叶斯网络的态势估计方法是目前态势估计领域中的主要方法之一,然而,传统的贝叶斯网络不具备时间语义,因此无法解决态势估计中的时间推理问题。基于此,对贝叶斯网络进行改造,研究了时间贝叶斯网络的构建方法。通过一个战场想定,说明了时间贝叶斯网络构建、推理的过程与方法,证明了提出方法的有效性。 展开更多

关键词 态势估计 时间推理 时间贝叶斯网络 时间随机变量 时间区间因果关系

在线阅读 下载PDF 职称材料

态势估计中一种模糊时间推理方法 被引量：2

7

作者 姚春燕 杨宏文 +2 位作者 胡卫东 郁文贤 庄钊文 《模糊系统与数学》 CSCD 2000年第3期66-71,共6页

时间推理是态势估计中的一个重要组成部分。本文研究了当两个模糊时间点之间的时间间隔已知时 ,综合来自不同推理路径的推理结果的方法 ,并建立了检验时间数据与专家知识模型符合程度的方法及时间网络的一致性检验方法。

关键词 模糊时间推理 态热估计 模糊时间点 时间间隔 模糊预测

在线阅读 下载PDF 职称材料

一种基于线性逻辑的时间Petri网推理方法 被引量：3

8

作者 高梅梅 吴智铭 《计算机研究与发展》 EI CSCD 北大核心 2000年第12期1452-1456,共5页

针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri... 针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种触发规则 ,在这些规则的基础上 ,提出了时间 Petri网运行行为的证明方法 ,此方法能清楚地分析时间 Petri网的运行行为和进行时间推理 . 展开更多

关键词 时间PETRI网 线性逻辑 时间推理

在线阅读 下载PDF 职称材料

模糊时间Petri网的时间推理及其在过程监测中的应用 被引量：3

9

作者 高梅梅 吴智铭 《控制与决策》 EI CSCD 北大核心 2001年第3期371-373,共3页

针对传统分析方法的不足 ,提出用线性逻辑给出模糊时间 Petri网描述和时间推理的方法。该方法能清楚地分析模糊时间 Petri网的运行行为 ,具体例子说明了其在系统过程监测和诊断中的应用。

关键词 模糊时间PETRI网 线性逻辑 时间推理 过程检测

在线阅读 下载PDF 职称材料

基于IFTBN的不确定性时间推理方法 被引量：1

10

作者 郑寇全 雷英杰 +1 位作者 王睿 邢雅琼 《系统工程与电子技术》 EI CSCD 北大核心 2014年第10期1994-1999,共6页

针对模糊贝叶斯网络模型对复杂不确定性时间信息描述和推理方面的局限性,给出了直觉模糊贝叶斯网络的定义,并将直觉模糊时序逻辑理论与贝叶斯网络推理相融合,构建了直觉模糊时间贝叶斯网络(intuitionistic fuzzy time Bayesian network,... 针对模糊贝叶斯网络模型对复杂不确定性时间信息描述和推理方面的局限性,给出了直觉模糊贝叶斯网络的定义,并将直觉模糊时序逻辑理论与贝叶斯网络推理相融合,构建了直觉模糊时间贝叶斯网络(intuitionistic fuzzy time Bayesian network,IFTBN)模型,提出了基于IFTBN的不确定性时间推理算法,较好地解决了态势估计中不确定性时间推理精度不高的问题,提高了军事态势评估系统形成正确战场感知的作战效能。最后通过典型实例验证了该时间推理方法的有效性和优越性。 展开更多

关键词 态势评估 直觉模糊集 贝叶斯网络 时间推理

在线阅读 下载PDF 职称材料

粤语-普通话双言者和普通话单言者周期性时间推理比较 被引量：4

11

作者 杨晨 张积家 《心理科学》 CSSCI CSCD 北大核心 2011年第4期782-787,共6页

通过4个实验,考察粤语-普通话双言者与普通话单言者周期性时间推理差异。实验1和实验2表明,无论时间以5为单位、不以5为单位还是以"字"为单位,双言者反应时均比单言者长。实验3和实验4表明,当时间为以5为单位时,双言者和单言... 通过4个实验,考察粤语-普通话双言者与普通话单言者周期性时间推理差异。实验1和实验2表明,无论时间以5为单位、不以5为单位还是以"字"为单位,双言者反应时均比单言者长。实验3和实验4表明,当时间为以5为单位时,双言者和单言者反应时更易受奇偶次任务影响;当时间以"字"为单位时,双言者反应时更易受图形次任务影响。研究表明,语言影响时间的表征方式和推理策略。普通话单言者对周期性时间推理主要采用数字表征和加工方式,粤语-普通话双言者交替使用数字和空间表象的表征和加工方式。粤语-普通话双言者对周期性时间推理慢于普通话单言者源于时间语义表征与加工方式的弱联结。 展开更多

关键词 时间推理 粤语 普通话双言者 普通话单言者

在线阅读 下载PDF 职称材料

态势估计中一种基于最大后验概率估计的时间推理方法 被引量：1

12

作者 姚春燕 郁文贤 庄钊文 《国防科技大学学报》 EI CAS CSCD 1998年第6期69-73,共5页

态势估计中统计时间推理在许多应用中非常重要。Ｋｉｒｉｌｏｖ的基于极大似然估计（ＭａｘｉｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，忽略了它的先验信息，估计方差较大。针对这... 态势估计中统计时间推理在许多应用中非常重要。Ｋｉｒｉｌｏｖ的基于极大似然估计（ＭａｘｉｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ，ＭＬＥ）的推理方法将未知时间变量看作常数，忽略了它的先验信息，估计方差较大。针对这一问题，本文首先建立了已知时间信息和未知时间变量之间的关系模型，这一模型可用来解释Ｋｉｒｉｌｏｖ的方法；然后在这一模型下，将未知时间变量扩展为随机变量，采用基于最大后验概率估计（ＭａｘｉｍｕｍａＰｏｓ－ｔｅｒｉｏｒｉＥｓｔｉｍａｔｉｏｎ，ＭＡＰ）的方法进行统计时间推理。对两种推理算法的性能进行了分析和比较，发现在较宽的范围内，基于ＭＡＰ的方法性能优于基于ＭＬＥ的方法。 展开更多

关键词 统计时间推理 态势估计 极大似然估计 MAP 军事

在线阅读 下载PDF 职称材料

日常生活事件时间关系推理的初步研究 被引量：1

13

作者 阮昆良 黄希庭 《心理科学》 CSSCI CSCD 北大核心 2006年第1期9-13,共5页

对时间推理的研究主要有两种范式,习俗周期性时间推理和时间关系推理。以往大多数研究集中在习俗周期性时间推理上,而时间关系推理研究则相对薄弱。本研究在以往研究的基础上,对日常生活事件的时间关系推理进行了研究。实验设计考虑了... 对时间推理的研究主要有两种范式,习俗周期性时间推理和时间关系推理。以往大多数研究集中在习俗周期性时间推理上,而时间关系推理研究则相对薄弱。本研究在以往研究的基础上,对日常生活事件的时间关系推理进行了研究。实验设计考虑了推理任务的模型数量、前提数量、无关前提以及有无肯定答案等因素,形成了六类推理任务。研究发现:推理任务的模型数量、前提数量、无关前提、是否有肯定答案以及推理者时间维度上的人格特征等都会影响个体的时间关系推理;被试一般是以呈现的前提顺序来表征推理任务的。但是,当被试意识到无关信息时,可以从整体上表征问题。 展开更多

关键词 时间关系推理 心理模型 形式规划 日常生活事件

在线阅读 下载PDF 职称材料

时间序列关系推理研究概述 被引量：1

14

作者 陆小英 方格 《心理科学》 CSSCI CSCD 北大核心 2007年第2期380-382,共3页

时间序列关系推理是对事件发生的先后顺序关系的推理,是日常生活思维的重要方面。已有的研究关注3类推理问题,探查了不同任务变式下成人时间序列关系推理过程和推理策略,研究结果多支持心理模型理论。未来的研究应探明3类问题的性质,从... 时间序列关系推理是对事件发生的先后顺序关系的推理,是日常生活思维的重要方面。已有的研究关注3类推理问题,探查了不同任务变式下成人时间序列关系推理过程和推理策略,研究结果多支持心理模型理论。未来的研究应探明3类问题的性质,从心理逻辑理论的角度深化策略的研究结果,进一步揭示推理的机制。 展开更多

关键词 时间序列关系推理 心理模型理论 心理逻辑理论 推理策略

在线阅读 下载PDF 职称材料

基于直觉模糊时间Petri网的不确定性时间推理方法

15

作者 任神河 郑寇全 +1 位作者 雷英杰 王睿 《火力与指挥控制》 CSCD 北大核心 2016年第11期30-35,40,共7页

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IF... 针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。 展开更多

关键词 直觉模糊集 PETRI网 时序逻辑 时间推理

在线阅读 下载PDF 职称材料

模糊时间Petri网及其时间推理方法

16

作者 高梅梅 吴智铭 《计算机科学》 CSCD 北大核心 2000年第7期11-14,31,共5页

Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述... Petri网是一种用网状图形表示系统模型的方法,它能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依赖(顺序)和不依赖(并发)关系。但传统的Petri网理论其不足之处在于:它的分析方法主要是可达树分析法和线性代数描述法。可达树分析法是针对某一个初始标识的,一个新的初始标识就意味着需要重新构造可达状态图; 展开更多

关键词 PETRI网 时间推理 模糊时间

在线阅读 下载PDF 职称材料

态势估计中的统计时间区间推理方法

17

作者 姚春燕 胡卫东 郁文贤 《系统工程与电子技术》 EI CSCD 北大核心 2002年第3期32-35,共4页

在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了... 在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了一种判别两个事件发生的不确定时间区间的顺序的新方法 ,并讨论了利用检验结果进行限制传播的方法 。 展开更多

关键词 统计时间推理 战场态势估计 时间区间 C^3I系统

在线阅读 下载PDF 职称材料

基于模糊时间Petri网的决策融合模型及时间推理

18

作者 李瑛 汪民乐 刘卫东 《现代防御技术》 北大核心 2006年第4期78-82,共5页

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指... 针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。 展开更多

关键词 指挥决策 模糊时间PETRI网 线性逻辑 时间推理 决策融合

在线阅读 下载PDF 职称材料

态势估计中一种基于概率时间网络的时间推理方法

19

作者 孙兆林 杨宏文 胡卫东 《计算机与现代化》 2005年第10期3-7,共5页

分析了时间推理在态势估计系统中的重要作用,介绍了时间区间理论。通过对态势估计系统中事件的分析,对相互排他过程和完备相互排他过程进行了建模。利用概率时间网络,对完备相互排他过程进行时间推理,并以一个具体的实例,对此过程进行... 分析了时间推理在态势估计系统中的重要作用,介绍了时间区间理论。通过对态势估计系统中事件的分析,对相互排他过程和完备相互排他过程进行了建模。利用概率时间网络,对完备相互排他过程进行时间推理,并以一个具体的实例,对此过程进行了说明。 展开更多

关键词 时间推理 贝叶斯网络 概率时间网络 相互排他过程 完备相互排他过程

在线阅读 下载PDF 职称材料

态势估计中基于假设检验的统计时间推理方法 被引量：4

20

作者 姚春燕 胡卫东 郁文贤 《国防科技大学学报》 EI CAS CSCD 1999年第6期59-62,共4页

在战场态势估计中，常常需要判断事件发生的时间顺序，而对事件发生时间的观测往往含有统计不确定性。这里将假设检验理论引入时间推理，建立了一种判别两个事件发生顺序的新方法，同时研究了在统计不确定性下时间顺序的传递性。

关键词 统计时间推理 态势估计 假设检验 战场

全文增补中