首页 > 最新文献

14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.最新文献

英文 中文
Machine learning for software engineering: case studies in software reuse 软件工程中的机器学习:软件重用中的案例研究
Justin S. Di Stefano, T. Menzies
There are many machine learning algorithms currently available. In the 21st century, the problem no longer lies in writing the learner but in choosing which learners to run on a given data set. We argue that the final choice of learners should not be exclusive; in fact, there are distinct advantages in running data sets through multiple learners. To illustrate our point, we perform a case study on a reuse data set using three different styles of learners: association rule, decision tree induction, and treatment. Software reuse is a topic of avid debate in the professional and academic arena; it has proven that it can be both a blessing and a curse. Although there is much debate over where and when reuse should be instituted into a project, our learners found some procedures which should significantly improve the odds of a reuse program succeeding.
目前有许多可用的机器学习算法。在21世纪,问题不再是编写学习器,而是选择在给定的数据集上运行哪些学习器。我们认为学习者的最终选择不应该是排他性的;事实上,通过多个学习器运行数据集有明显的优势。为了说明我们的观点,我们使用三种不同风格的学习器对重用数据集进行了案例研究:关联规则、决策树归纳和处理。软件重用在专业和学术领域都是一个激烈争论的话题;事实证明,它既是一种祝福,也是一种诅咒。尽管对于在什么地方和什么时候将重用引入到项目中存在很多争论,但是我们的学习者发现了一些可以显著提高重用项目成功几率的过程。
{"title":"Machine learning for software engineering: case studies in software reuse","authors":"Justin S. Di Stefano, T. Menzies","doi":"10.1109/TAI.2002.1180811","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180811","url":null,"abstract":"There are many machine learning algorithms currently available. In the 21st century, the problem no longer lies in writing the learner but in choosing which learners to run on a given data set. We argue that the final choice of learners should not be exclusive; in fact, there are distinct advantages in running data sets through multiple learners. To illustrate our point, we perform a case study on a reuse data set using three different styles of learners: association rule, decision tree induction, and treatment. Software reuse is a topic of avid debate in the professional and academic arena; it has proven that it can be both a blessing and a curse. Although there is much debate over where and when reuse should be instituted into a project, our learners found some procedures which should significantly improve the odds of a reuse program succeeding.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113984276","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
An agent-based approach to inference prevention in distributed database systems 分布式数据库系统中基于agent的推理预防方法
J. Tracy, LiWu Chang, I. S. Moskowitz
We propose an inference prevention agent as a tool that enables each of the databases in a distributed system to keep track of probabilistic dependencies with other databases and then use that information to help preserve the confidentiality of sensitive data. This is accomplished with minimal sacrifice of the performance and survivability gains that are associated with distributed database systems.
我们提出了一个推理预防代理作为一种工具,它使分布式系统中的每个数据库能够跟踪与其他数据库的概率依赖关系,然后使用该信息来帮助保护敏感数据的机密性。这是以最小的牺牲与分布式数据库系统相关的性能和生存性增益来实现的。
{"title":"An agent-based approach to inference prevention in distributed database systems","authors":"J. Tracy, LiWu Chang, I. S. Moskowitz","doi":"10.1109/TAI.2002.1180833","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180833","url":null,"abstract":"We propose an inference prevention agent as a tool that enables each of the databases in a distributed system to keep track of probabilistic dependencies with other databases and then use that information to help preserve the confidentiality of sensitive data. This is accomplished with minimal sacrifice of the performance and survivability gains that are associated with distributed database systems.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124224729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Context query in information retrieval 信息检索中的上下文查询
Chi-Hung Chi, Chen Ding, Kwok-Yan Lam
There is an important query requirement missing for search engines. With the wide variation of domain knowledge and user interest, a user would like to retrieve documents in which one query term is discussed in the context of another. Based on existing query mechanisms, what can be specified at most is the co-occurrence of multiple terms in a query. This is insufficient because the co-occurrence of two terms does not necessarily mean that one is discussed in the context of the other. In this paper we propose the context query for Web searching. A new query operator, called the 'in' operator, is used to specify context inclusion between two terms. Heuristic rules to identify context inclusion are suggested and implementation of the 'in' operator in search engines is proposed. Results show that both the precision and ranking relevance of Web searching are improved significantly.
搜索引擎缺少一个重要的查询需求。随着领域知识和用户兴趣的广泛变化,用户希望检索一个查询词在另一个查询词的上下文中讨论的文档。基于现有的查询机制,最多只能指定查询中多个术语的共存。这是不够的,因为两个术语的共同出现并不一定意味着其中一个是在另一个的背景下讨论的。本文提出了一种用于Web搜索的上下文查询方法。一个新的查询操作符,称为“in”操作符,用于指定两个术语之间的上下文包含。提出了识别上下文包含的启发式规则,并提出了搜索引擎中“in”操作符的实现方法。结果表明,该方法能显著提高网页搜索的精度和排序相关性。
{"title":"Context query in information retrieval","authors":"Chi-Hung Chi, Chen Ding, Kwok-Yan Lam","doi":"10.1109/TAI.2002.1180793","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180793","url":null,"abstract":"There is an important query requirement missing for search engines. With the wide variation of domain knowledge and user interest, a user would like to retrieve documents in which one query term is discussed in the context of another. Based on existing query mechanisms, what can be specified at most is the co-occurrence of multiple terms in a query. This is insufficient because the co-occurrence of two terms does not necessarily mean that one is discussed in the context of the other. In this paper we propose the context query for Web searching. A new query operator, called the 'in' operator, is used to specify context inclusion between two terms. Heuristic rules to identify context inclusion are suggested and implementation of the 'in' operator in search engines is proposed. Results show that both the precision and ranking relevance of Web searching are improved significantly.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129037679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A trace-scaling agent for parallel application tracing 用于并行应用程序跟踪的跟踪缩放代理
Felix Freitag, Jordi Caubet, Jesús Labarta
Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, however, easily leads to large trace files with hundreds of Megabytes. The storage, visualization, and analysis of such trace files is often difficult. We propose a trace-scaling agent for tracing parallel applications, which learns the application behavior in runtime and achieves a small, easy to handle trace. The agent dynamically identifies the amount of information needed to capture the application behavior. This knowledge acquired at runtime allows recording only the non-iterative trace information, which drastically reduces the size of the trace file.
跟踪和性能分析工具是开发高性能应用程序的重要组成部分。但是,使用当前的跟踪工具跟踪并行程序很容易产生数百兆字节的大型跟踪文件。这些跟踪文件的存储、可视化和分析通常是困难的。我们提出了一种跟踪扩展代理,用于跟踪并行应用程序,它可以在运行时学习应用程序的行为,并实现一个小的,易于处理的跟踪。代理动态地确定捕获应用程序行为所需的信息量。在运行时获得的这些知识允许只记录非迭代跟踪信息,这大大减少了跟踪文件的大小。
{"title":"A trace-scaling agent for parallel application tracing","authors":"Felix Freitag, Jordi Caubet, Jesús Labarta","doi":"10.1109/TAI.2002.1180844","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180844","url":null,"abstract":"Tracing and performance analysis tools are an important component in the development of high performance applications. Tracing parallel programs with current tracing tools, however, easily leads to large trace files with hundreds of Megabytes. The storage, visualization, and analysis of such trace files is often difficult. We propose a trace-scaling agent for tracing parallel applications, which learns the application behavior in runtime and achieves a small, easy to handle trace. The agent dynamically identifies the amount of information needed to capture the application behavior. This knowledge acquired at runtime allows recording only the non-iterative trace information, which drastically reduces the size of the trace file.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116849700","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Selection process of intelligent decision support tool for real-time monitoring system 实时监控系统智能决策支持工具的选择过程
H. Vafaie, M. Shaughnessy, T. Bethem, J. Burton
The decision support tool market has seen exponential growth in recent years, with the introduction of different tools for various applications and domains. These include tools for data mining, on-line analysis and reporting, and expert systems (rule-based and case-based systems). This paper presents an approach for evaluating and selecting intelligent decision supports tools suitable for capturing expert's knowledge and deploying this knowledge where applicable.
决策支持工具市场近年来呈指数级增长,为各种应用和领域引入了不同的工具。这些工具包括数据挖掘、在线分析和报告以及专家系统(基于规则和基于案例的系统)。本文提出了一种评估和选择智能决策支持工具的方法,用于捕获专家知识并在适用的地方部署这些知识。
{"title":"Selection process of intelligent decision support tool for real-time monitoring system","authors":"H. Vafaie, M. Shaughnessy, T. Bethem, J. Burton","doi":"10.1109/TAI.2002.1180802","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180802","url":null,"abstract":"The decision support tool market has seen exponential growth in recent years, with the introduction of different tools for various applications and domains. These include tools for data mining, on-line analysis and reporting, and expert systems (rule-based and case-based systems). This paper presents an approach for evaluating and selecting intelligent decision supports tools suitable for capturing expert's knowledge and deploying this knowledge where applicable.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123326252","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
TimeSleuth: a tool for discovering causal and temporal rules TimeSleuth:一个发现因果和时间规则的工具
K. Karimi, Howard J. Hamilton
Discovering causal and temporal relations in a system is essential to understanding how it works, and to learning to control the behaviour of the system. TimeSleuth is a causality miner that uses association relations as the basis for the discovery of causal and temporal relations. It does so by introducing time into the observed data. TimeSleuth uses C4.5 as its association discoverer, and by using a series of preprocessing and post-processing techniques to enable the user to try different scenarios for mining causality. The data to be mined should originate sequentially from a single system. TimeSleuth's use of a standard decision tree builder such as C4.5 puts it outside the current mainstream method of discovering causality, which is based on conditional independencies and causal Bayesian networks. This paper introduces TimeSleuth as a tool, and describes its functionality. It is an unsupervised tool that can handle and interpret temporal data. It also helps the user in analyzing the relationships among the attributes. There is also a mechanism to distinguish between causality and acausal relations. The user is thus encouraged to perform experiments and discover the nature of relationships among the data.
发现系统中的因果关系和时间关系对于理解系统如何工作以及学习控制系统的行为至关重要。TimeSleuth是一个因果关系挖掘器,它使用关联关系作为发现因果关系和时间关系的基础。它是通过在观测数据中引入时间来实现的。TimeSleuth使用C4.5作为关联发现器,通过使用一系列的预处理和后处理技术,使用户可以尝试不同的场景来挖掘因果关系。要挖掘的数据应该顺序地来自单个系统。TimeSleuth使用了标准的决策树构建器,比如C4.5,这使得它超越了目前发现因果关系的主流方法,这种方法是基于条件独立性和因果贝叶斯网络的。本文介绍了TimeSleuth这个工具,并描述了它的功能。它是一种可以处理和解释时间数据的无监督工具。它还可以帮助用户分析属性之间的关系。还有一种区分因果关系和因果关系的机制。因此,鼓励用户进行实验并发现数据之间关系的本质。
{"title":"TimeSleuth: a tool for discovering causal and temporal rules","authors":"K. Karimi, Howard J. Hamilton","doi":"10.1109/TAI.2002.1180827","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180827","url":null,"abstract":"Discovering causal and temporal relations in a system is essential to understanding how it works, and to learning to control the behaviour of the system. TimeSleuth is a causality miner that uses association relations as the basis for the discovery of causal and temporal relations. It does so by introducing time into the observed data. TimeSleuth uses C4.5 as its association discoverer, and by using a series of preprocessing and post-processing techniques to enable the user to try different scenarios for mining causality. The data to be mined should originate sequentially from a single system. TimeSleuth's use of a standard decision tree builder such as C4.5 puts it outside the current mainstream method of discovering causality, which is based on conditional independencies and causal Bayesian networks. This paper introduces TimeSleuth as a tool, and describes its functionality. It is an unsupervised tool that can handle and interpret temporal data. It also helps the user in analyzing the relationships among the attributes. There is also a mechanism to distinguish between causality and acausal relations. The user is thus encouraged to perform experiments and discover the nature of relationships among the data.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131842541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Object-based representation and classification of spatial structures and relations 基于对象的空间结构和关系表示与分类
F. Ber, A. Napoli
This paper is concerned with the representation and classification of spatial relations and structures in an object-based knowledge representation system. In this system, spatial structures are defined as sets of spatial entities connected with topological relations. Relations are represented by objects with their own properties. We propose to define two types of properties: the first are concerned with relations as concepts while the second are concerned with relations as links between concepts. In order to represent the second type of properties, we have defined facets that are inspired from the constructors of description logics. We describe these facets and how they are used for classifying spatial structures and relations on land-use maps. Links between the present work and related work in description logics are also discussed.
研究了基于对象的知识表示系统中空间关系和空间结构的表示和分类问题。在这个系统中,空间结构被定义为由拓扑关系连接的空间实体的集合。关系由具有自己属性的对象表示。我们建议定义两种类型的属性:第一类涉及作为概念的关系,而第二类涉及作为概念之间联系的关系。为了表示第二种类型的属性,我们定义了受描述逻辑构造函数启发的facet。我们描述了这些方面以及它们如何用于土地利用地图上的空间结构和关系分类。本文还讨论了本研究与描述逻辑相关研究之间的联系。
{"title":"Object-based representation and classification of spatial structures and relations","authors":"F. Ber, A. Napoli","doi":"10.1109/TAI.2002.1180814","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180814","url":null,"abstract":"This paper is concerned with the representation and classification of spatial relations and structures in an object-based knowledge representation system. In this system, spatial structures are defined as sets of spatial entities connected with topological relations. Relations are represented by objects with their own properties. We propose to define two types of properties: the first are concerned with relations as concepts while the second are concerned with relations as links between concepts. In order to represent the second type of properties, we have defined facets that are inspired from the constructors of description logics. We describe these facets and how they are used for classifying spatial structures and relations on land-use maps. Links between the present work and related work in description logics are also discussed.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121141134","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Diagnosis of component failures in the Space Shuttle main engines using Bayesian belief networks: a feasibility study 用贝叶斯信念网络诊断航天飞机主发动机部件故障的可行性研究
E. Liu, Du Zhang
Although the Space Shuttle is a high reliability system, its condition must he accurately diagnosed in real-time. Two problems plague the system - false alarms that may be costly, and missed alarms which may be not only expensive, but also dangerous to the crew. This paper describes the results of a feasibility study in which a multivariate state estimation technique is coupled with a Bayesian belief network to provide both fault detection and fault diagnostic capabilities for the Space Shuttle main engines (SSME). Five component failure modes and several single sensor failures are simulated in our study and correctly diagnosed. The results indicate that this is a feasible fault detection and diagnosis technique and fault detection and diagnosis can he made earlier than standard redline methods allow.
航天飞机是一个高可靠性的系统,但必须对其状态进行实时准确诊断。有两个问题困扰着这个系统——虚报可能代价高昂,漏报可能不仅代价高昂,而且对机组人员也有危险。本文描述了一项可行性研究的结果,该研究将多元状态估计技术与贝叶斯信念网络相结合,为航天飞机主发动机(SSME)提供故障检测和故障诊断能力。在我们的研究中模拟了五种组件故障模式和几种单传感器故障,并正确诊断了故障。结果表明,该方法是一种可行的故障检测与诊断技术,可以比标准的红线方法更早地进行故障检测与诊断。
{"title":"Diagnosis of component failures in the Space Shuttle main engines using Bayesian belief networks: a feasibility study","authors":"E. Liu, Du Zhang","doi":"10.1109/TAI.2002.1180803","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180803","url":null,"abstract":"Although the Space Shuttle is a high reliability system, its condition must he accurately diagnosed in real-time. Two problems plague the system - false alarms that may be costly, and missed alarms which may be not only expensive, but also dangerous to the crew. This paper describes the results of a feasibility study in which a multivariate state estimation technique is coupled with a Bayesian belief network to provide both fault detection and fault diagnostic capabilities for the Space Shuttle main engines (SSME). Five component failure modes and several single sensor failures are simulated in our study and correctly diagnosed. The results indicate that this is a feasible fault detection and diagnosis technique and fault detection and diagnosis can he made earlier than standard redline methods allow.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133733480","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Adjusted network flow for the shelf-space allocation problem 针对货架空间分配问题调整了网络流量
A. Lim, B. Rodrigues, Fei Xiao, Xingwen Zhang
In this paper, we study shelf space allocation optimization which is important to retail operations management. Our approach is to formulate a model that is applicable to operational realities and to seek solutions with realistic test data. This model is linked to the multidimensional knapsack problem. We first solve a simplified version of the problem to achieve maximum profit by transforming it into a network flow problem. Then, with simple adaptations we solve the general shelf space allocation problem with the help of the network flow model. The approach is simple and direct while experimental results improve on recent findings significantly and are very close to the optimal.
本文对货架空间优化配置进行了研究,这对零售经营管理具有重要意义。我们的方法是制定一个适用于实际操作的模型,并通过实际的测试数据寻求解决方案。这个模型与多维背包问题有关。我们首先通过将问题转化为网络流问题来解决问题的简化版本,以实现利润最大化。然后,通过简单的调整,利用网络流模型解决了一般货架空间分配问题。该方法简单、直接,实验结果与最近的研究结果有很大的改进,非常接近于最优。
{"title":"Adjusted network flow for the shelf-space allocation problem","authors":"A. Lim, B. Rodrigues, Fei Xiao, Xingwen Zhang","doi":"10.1109/TAI.2002.1180808","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180808","url":null,"abstract":"In this paper, we study shelf space allocation optimization which is important to retail operations management. Our approach is to formulate a model that is applicable to operational realities and to seek solutions with realistic test data. This model is linked to the multidimensional knapsack problem. We first solve a simplified version of the problem to achieve maximum profit by transforming it into a network flow problem. Then, with simple adaptations we solve the general shelf space allocation problem with the help of the network flow model. The approach is simple and direct while experimental results improve on recent findings significantly and are very close to the optimal.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122392673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Calculus of variations in discrete space for constrained nonlinear dynamic optimization 约束非线性动态优化的离散空间变分法
Yixin Chen, B. Wah
We propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and space. We first show that path dominance in dynamic programming cannot be applied when there are general constraints that span across multiple stages, and that node dominance, in the form of Euler-Lagrange conditions developed in optimal control theory in continuous space, cannot be extended to that in discrete space. This paper is the first to propose efficient dominance relations, in the form of local saddle-point conditions in each stage of a problem, for pruning states that will not lead to locally optimal paths. By utilizing these dominance relations, we develop efficient search algorithms whose complexity, despite exponential, has a much smaller base as compared to that without using the relations. Finally, we demonstrate the performance of our algorithms on some spacecraft planning and scheduling benchmarks and show significant improvements in CPU time and solution quality as compared to those obtained by the existing ASPEN planner.
我们提出了新的优势关系,可以显著加快离散时间和空间的非线性约束动态优化问题的求解过程。我们首先证明了动态规划中的路径优势不能应用于跨越多个阶段的一般约束,并且在连续空间中最优控制理论中以欧拉-拉格朗日条件形式提出的节点优势不能推广到离散空间。对于不会导致局部最优路径的剪枝状态,本文首次以问题每个阶段的局部鞍点条件的形式提出了有效的优势关系。通过利用这些优势关系,我们开发了高效的搜索算法,其复杂性尽管是指数级的,但与不使用这些关系相比,其基数要小得多。最后,我们在一些航天器规划和调度基准上验证了我们的算法的性能,与现有的ASPEN规划器相比,我们的算法在CPU时间和求解质量上有了显著的改进。
{"title":"Calculus of variations in discrete space for constrained nonlinear dynamic optimization","authors":"Yixin Chen, B. Wah","doi":"10.1109/TAI.2002.1180789","DOIUrl":"https://doi.org/10.1109/TAI.2002.1180789","url":null,"abstract":"We propose new dominance relations that can speed up significantly the solution process of nonlinear constrained dynamic optimization problems in discrete time and space. We first show that path dominance in dynamic programming cannot be applied when there are general constraints that span across multiple stages, and that node dominance, in the form of Euler-Lagrange conditions developed in optimal control theory in continuous space, cannot be extended to that in discrete space. This paper is the first to propose efficient dominance relations, in the form of local saddle-point conditions in each stage of a problem, for pruning states that will not lead to locally optimal paths. By utilizing these dominance relations, we develop efficient search algorithms whose complexity, despite exponential, has a much smaller base as compared to that without using the relations. Finally, we demonstrate the performance of our algorithms on some spacecraft planning and scheduling benchmarks and show significant improvements in CPU time and solution quality as compared to those obtained by the existing ASPEN planner.","PeriodicalId":197064,"journal":{"name":"14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2002-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127834044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
期刊
14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings.
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1