检索结果-南通市图书馆

基于时间区间内航线机型优化分配的机队规划方法

在线全文

学校读者我要写书评

暂无评论

系统工程理论与实践 2015年第1期35卷 168-174页

作者：汪瑜孙宏朱金福南京航空航天大学民航学院南京210016 中国民航飞行学院航空运输管理学院广汉618307

传统机队规划方法所形成的机队构成无法适应市场需求的波动,按照旅客需求的波动规律将航线上的时段进行分割形成时间区间,以时间区间内航线机型运行频次为决策变量,不同航线上机型的适航性限制、飞行机组的可用飞行时间、选定机型飞机... 详细信息

传统机队规划方法所形成的机队构成无法适应市场需求的波动,按照旅客需求的波动规律将航线上的时段进行分割形成时间区间,以时间区间内航线机型运行频次为决策变量,不同航线上机型的适航性限制、飞行机组的可用飞行时间、选定机型飞机的最少投放数等因素为约束条件,构造以航线机型分配的运营利润最大化为目标函数的时间区间内航线机型优化匹配模型,并结合Lagrange松弛算法求解机队规划问题.通过分析某航空公司19条航线、299个航班、6种候选机型的问题发现,该方法能够反映出航线上的机型分布特点,且形成的机队构成更能适应公司生产运营环境的变化,因此方法可行.

关键词：航空运输机队规划整数规划 Lagrange算法时间区间

在线全文

学校读者我要写书评

暂无评论

基于时间区间的并行行为与并发事件逻辑

计算机工程 2002年第3期28卷 13-15,17页

作者：朱娟刘玉树北京理工大学计算机科学工程系北京100081

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化... 详细信息

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架。文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化。文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法。

关键词：并行行为并发事件逻辑时间区间多主体系统神经网络

在线全文

学校读者我要写书评

暂无评论

基于时间区间的配电网重构

电力系统自动化 2006年第10期30卷 33-38页

作者：刘蔚韩祯祥浙江大学电气工程学院浙江省杭州市310027

提出了基于时间区间的静态重构算法和动态重构算法。算法以最优流法为基础,以一段时间内的能量损耗最小为目标函数。首先利用配电网负荷模式的特点对基于时间区间的最优流计算方法进行了改进,然后利用该计算方法求解配电网的静态重构问... 详细信息

提出了基于时间区间的静态重构算法和动态重构算法。算法以最优流法为基础,以一段时间内的能量损耗最小为目标函数。首先利用配电网负荷模式的特点对基于时间区间的最优流计算方法进行了改进,然后利用该计算方法求解配电网的静态重构问题。动态重构中需要考虑开关操作次数的约束,为此,动态重构算法中先利用降损估算公式对开关操作在整个时间区间内的降损效果进行评估和比较,然后提出了合理的启发式规则来确定开关的操作顺序,形成优化方案。69节点配电网的算例结果表明,提出的静态重构和动态重构算法是可行和有效的。

关键词：配电网动态重构静态重构负荷模式时间区间

在线全文

学校读者我要写书评

暂无评论

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

系统工程与电子技术 2002年第3期24卷 32-35页

作者：姚春燕胡卫东郁文贤河南郑州450002 国防科技大学自动目标识别重点实验室湖南长沙410073

在战场态势估计中 ,许多事件有一个持续过程 ,因此需要引入时间区间来表示这些事件发生的时间。态势估计中常常需要判断这些事件发生的时间顺序 ,而对事件发生的时间区间的推测或观测往往含有统计不确定性。利用似然比检验理论 ,建立了... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

基于时间区间关系的时态模糊描述逻辑研究

云南大学学报(自然科学版) 2014年第3期36卷 335-340页

作者：程昆夏幼明高佳乐云南师范大学信息学院

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语... 详细信息

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.

关键词：时态逻辑模糊描述逻辑时间区间不精确知识

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于时间区间的实用配电网重构方法

电力系统保护与控制 2008年第24期36卷 41-44,57页

作者：戴伟华梅贱生熊宁李倡洪南昌大学信息工程学院江西南昌330031 南昌供电公司江西南昌330006 上海交通大学电子信息与电气工程学院上海200240

目前,基于时间区间的配网动态重构还没有很好的解决办法。为把重构技术引入配网的实际运行中,提出一种基于时间区间的实用重构方法,它能快速、有效地求解二次以内的重构问题。首先,文章通过对基于时间区间的配网一次重构进行分析,得出... 详细信息

目前,基于时间区间的配网动态重构还没有很好的解决办法。为把重构技术引入配网的实际运行中,提出一种基于时间区间的实用重构方法,它能快速、有效地求解二次以内的重构问题。首先,文章通过对基于时间区间的配网一次重构进行分析,得出了关于最佳一次重构时间的推论,并用算例对其进行了验证。根据此推论,对二次重构进行了求解。由于不用考虑两次重构时间之间的组合问题,大大地提高了求解的速度。最后文章对实用法所能节省的网损进行了分析,进而讨论了多次动态重构的必要性。

关键词：配电网动态重构必要性时间区间

基于时间区间关系的时态模糊描述逻辑及其推理

在线全文

学校读者我要写书评

暂无评论

基于时间区间关系的时态模糊描述逻辑及其推理

作者：程昆云南师范大学

学位级别：硕士

描述逻辑(Description Logic)是基于对象的知识表示的形式化，是一阶谓词逻辑的一个可判定子集，用于描述及推理概念知识。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的知识表示语言的最为重要的归一形式... 详细信息

描述逻辑(Description Logic)是基于对象的知识表示的形式化，是一阶谓词逻辑的一个可判定子集，用于描述及推理概念知识。除了知识表示以外，描述逻辑还用在其它许多领域，它被认为是以对象为中心的知识表示语言的最为重要的归一形式。描述逻辑的重要特征是很强的表达能力和可判定性，它能保证推理算法总能停止，并返回正确的结果。描述逻辑最开始只是用来表示静态知识的。为了考虑在时间上的变化，或者在一定动作下的变化，以及保持其语言的相对简单性，很自然地想到用相应的模态算子来扩展它，以保留其命题模态状态。众所周知，即使只是对简单的模态系统的综合，也可能会导致很复杂的系统。在本文的第一章中将谈到研究者们通过添加相应的算子来对描述逻辑进行的一些扩展（如时态、模糊、动态等）及其可判定性和推理算法的正确性。现实世界中大部分的信息都具有时间属性和模糊性、不精确性的特点，并通过分析时态逻辑和模糊描述逻辑可知，传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力，针对这一问题本文在模糊描述逻辑FALC的基础上通过添加时间属性算子，用Allen区间关系来表示时间区间关系，并结合Vague集的运算，本文提出一种基于时间区间关系的时态模糊描述逻辑——TFDL(IntervalAllen)，它是模糊描述逻辑FALC在时态上的扩展，它除了具有模糊描述逻辑能解决模糊现象的能力之外，同时它还可以表达知识信息在时态上的关系，增强了模糊描述逻辑的知识表达能力。本文主要的研究工作为如下几个方面：(1)给出了TFDL(IntervalAllen)的语法，语义和知识库的表示。文中公式的上标表示时间属性，下标表示模糊性，并根据语义对Allen区间关系作出解释，通过定义解释的四元组I (I, T, I0, I)对TFDL(IntervalAllen)中的概念及概念的逻辑运算作出解释;并分别对ABox、TBox和PBox进行语义上的解释。(2)在TFDL(IntervalAllen)的语义解释模型下，研究了TFDL(IntervalAllen)的一些重要的性质。本文分别给出了十条TFDL(IntervalAllen)概念模糊相等的基本性质和蕴涵关系推理，并阐述它们在语义上的合理性，同时也给出形式证明。(3)在模糊描述逻辑的概念可满足性算法Tableaux的基础上，提出了TFDL(IntervalAllen)的概念可满足性算法，通过引入模糊共轭的概念来构造冲突，特别要考虑时态上的关系;对TFDL(IntervalAllen)的概念可满足性判定算法的可终止性、可靠性和完全性都进行了较为完整的证明。另外，还对概念的模糊包含、概念的模糊相等和概念不相交问题转化为概念可满足性问题也给出了较为严格证明。

关键词：模糊描述逻辑时间区间不精确知识 Tableau算法

基于时间区间的RFID复杂事件处理方法的研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于时间区间的RFID复杂事件处理方法的研究

作者：黎聪哈尔滨工业大学

学位级别：硕士

RFID(Radio Frenquency Identification)技术,即无线射频识别技术,是采用无线射频方式进行非接触通讯,自动识别物品并获取数据的一种快速识别技术,已在各个领域得到广泛应用,这些领域包括生产、物流、交通、运输、医疗、防伪、跟踪、设... 详细信息

RFID(Radio Frenquency Identification)技术,即无线射频识别技术,是采用无线射频方式进行非接触通讯,自动识别物品并获取数据的一种快速识别技术,已在各个领域得到广泛应用,这些领域包括生产、物流、交通、运输、医疗、防伪、跟踪、设备和资产管理等。随着RFID技术的日益普及,企业大规模部署RFID设备,使得RFID技术的应用空前繁荣。但问题也随之产生,在采用RFID技术的应用中,大量的富含语义信息的RFID数据被实时的产生,大规模的数据的收集、管理、使用都成为制约RFID应用普及,亟待解决的问题。而且这些原始数据对于终端用户来说并没有实际意义。因为RFID数据本身是无意义的,没有与任何的实际应用场景相关联,它只是简单的RFID阅读器标识、RFID标签的标识和阅读器读到标签的时刻。原始的RFID数据只是在一个相当低的语义级别层次,而大多数的数据分析人员和管理决策者更关心的是高级别语义的抽象数据。RFID复杂事件处理技术的目的就是从大规模的实时RFID数据中提取出对企业有价值、有意义的数据信息。本文深入的分析了现有的RFID复杂事件处理方法,提出了一种基于时间区间的RFID复杂事件处理方法。首先,本文分析了在基于时间区间的事件模型下,RFID复杂事件之间存在的关系,定义了一个复杂事件模型,通过该模型可以定义各种符合实际应用需求的复杂事件,并为下一步的复杂事件检测给出了统一的数据模型。然后,本文根据RFID复杂事件处理的特点,对传统的Petri网进行了改进,提出了一个基于Petri网的事件检测模型,并提出了一系列与RFID复杂事件实际应用特点紧密相关的优化策略,从而有效地降低了在复杂事件处理过程中的内存消耗。本文的主要研究内容如下:(1)本文分析了基于时间区间的事件之间存在的各种关系,提出了一种基于时间区间的RFID复杂事件模型,该模型可以表达RFID复杂事件之间可能存在的各种关系,通过该模型,用户可以定义所需的RFID复杂事件模型。同时该模型为下一步的复杂事件检测统一了数据模型。(2)由于RFID复杂事件规则复杂,所以本文采用基于具有良好异步并发性的Petri网的方法来处理RFID复杂事件,并通过增加颜色Token来压缩Petri网的规模,通过增加哨函数和变迁操作表达式来实现对RFID复杂事件的关系匹配。(3)通过分析RFID复杂事件在实际应用中存在的特点,本文提出了一些列的优化策略,可以有效地降低在事件处理过程中的内存消耗。而且这些优化策略与RFID实际应用中的业务流程是紧密相关的,为如何根据实际业务流程来改进RFID复杂事件处理提供了良好的范例。(4)基于以上内容,本文设计并实现了一个基于RFID复杂事件处理系统,通过该系统可以进行复杂事件的构建、检测、存储等,通过该系统可以有效地监控业务流程。

关键词： RFID RFID复杂事件处理 RFID复杂事件关系时间区间 Petri网

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

路网空间中面向时间区间的空间文本查询研究

路网空间中面向时间区间的空间文本查询研究

作者：王朋飞华中师范大学

学位级别：硕士

随着基于位置的服务和地理定位技术的快速发展,产生了越来越多具有位置信息和文本描述信息的空间文本对象。空间文本对象的相关查询,在时空数据库领域中成为了人们研究的热点,一些研究成果也应运而生。然而现有的大多数研究工作主要考... 详细信息

随着基于位置的服务和地理定位技术的快速发展,产生了越来越多具有位置信息和文本描述信息的空间文本对象。空间文本对象的相关查询,在时空数据库领域中成为了人们研究的热点,一些研究成果也应运而生。然而现有的大多数研究工作主要考虑空间文本对象的空间邻近性和文本相关性,忽略了其具有的时间信息并且仅适用于欧式空间。而在很多实际的问题中,空间文本对象和查询均处于路网空间中并且用户需要考虑更多的信息,如开放时间,价格等来做出更好的选择。现有的研究工作和相关技术不能有效地利用时间信息来满足用户的查询需求。本文研究了路网空间中面向时间区间的空间文本查询（TASK）,查询中除了具有传统的空间文本约束,同时也考虑了空间文本对象的时间信息。本文的主要工作有以下三点。第一,本文提出了关键字热值的概念,通常是文本属性的值,例如关键字频率,价格,评分等。并针对TASK查询设计了一种新的相似度函数,该函数同时考虑了空间,文本和时间三个维度的信息,从而更好地评估空间文本对象和查询之间的相似性。第二,设计了一种新的层次索引结构GI-tree,将空间文本对象有效地组织起来。其中,距离矩阵（DM和SC）记录位置信息,关键字信息列表（KAI）记录了文本信息、文本属性值以及时间信息。提出了一种相似度函数来计算GI-tree节点与查询之间的分数。基于此,提出了基于最佳优先搜索策略的基础查询算法BM来处理TASK查询。实验结果表明,提出的算法是有效的,具有一定的应用价值。第三,为了提高查询效率,设计了一种由SBT-trees和GI-tree构成的新型混合索引结构SGI,它通过同时利用空间、文本和时间信息对不满足查询条件的空间文本对象进行剪枝。利用空间文本对象具有的时间信息,将对象有效地组织在相关的SBT-trees中。在此基础上,设计了高效的剪枝算法,缩小了搜索空间,提出了更合理的相似度函数来估计GI-tree节点与查询之间的分数,并通过启发式搜索策略来进一步优化,设计了一个高效的搜索框架来获得top-k的结果。在真实数据集上的实验结果表明了 SGI索引和相关算法的高效性以及可拓展性。

关键词：空间关键字查询时间区间文本属性 SGI索引