Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

2009

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 3181 - 3210 of 4158

Full-Text Articles in Engineering

Effects Of Aggregate Structure On Hot-Mix Asphalt Rutting Performance In Low Traffic Volume Local Pavements, Yong-Rak Kim, Hee Mun Park, Francisco Thiago Sacramento Aragão, Jamilla Emi Sudo Lutif Jan 2009

Effects Of Aggregate Structure On Hot-Mix Asphalt Rutting Performance In Low Traffic Volume Local Pavements, Yong-Rak Kim, Hee Mun Park, Francisco Thiago Sacramento Aragão, Jamilla Emi Sudo Lutif

Department of Mechanical and Materials Engineering: Faculty Publications

The objective of this study is to evaluate the effect of mix gradations associated with the Superpave restricted zone on rutting potential specifically for low traffic volume roadways. Although the elim-ination of the restricted zone requirement in Superpave mix design is highly recommended, some questions still remain unanswered as the research conclusions supporting the elimination of the re-stricted zone were largely made for medium to high traffic volume roadways, where aggregates are highly crushed and of good quality. The applicability of such research conclusions based on high traffic volume mixes needs to be verified for low volume mixes because many …


Agent Based Modeling In Computer Graphics And Games, Brian Macnamee Jan 2009

Agent Based Modeling In Computer Graphics And Games, Brian Macnamee

Books/Book Chapters

As graphics technology has improved in recent years, more and more importance has been placed on the behavior of virtual characters in applications set in virtual worlds in areas such as games, movies and simulations. The behavior of virtual characters should be believable in order to create the illusion that these virtual worlds are populated with living characters. This has led to the application of agent-based modeling to the control of these virtual characters. There are a number of advantages of using agent-based modeling techniques which include the fact that they remove the requirement for hand controlling all agents in …


Farming Systems Education: Case Study Of Swedish Test Pilots, Lennart Salomonsson, Anna Nilsson, Sofia Palmer, Adam Roigart, Charles A. Francis Jan 2009

Farming Systems Education: Case Study Of Swedish Test Pilots, Lennart Salomonsson, Anna Nilsson, Sofia Palmer, Adam Roigart, Charles A. Francis

Department of Agronomy and Horticulture: Faculty Publications

We describe and analyze a pedagogical experiment that introduced a broad and holistic perspective on complete farming systems, systemic learning tools, and a participatory learning strategy at an early stage in agronomy education. The paper describes the adventure of three students, who came from a conventional agronomy program at the Swedish University of Agricultural Sciences (SLU), who were frustrated with the lack of integrated approaches to the study of agricultural systems and a strong focus on molecular-level processes in their first year of education. They encountered a narrow focus in most courses and the overall curricula of agricultural education that …


Analytical Regularization Method For Electromagnetic Wave Diffraction By Axially Symmetrical Thin Annular Strips, Fati̇h Di̇kmen, Yury Alexanderovich Tuchkin Jan 2009

Analytical Regularization Method For Electromagnetic Wave Diffraction By Axially Symmetrical Thin Annular Strips, Fati̇h Di̇kmen, Yury Alexanderovich Tuchkin

Turkish Journal of Electrical Engineering and Computer Sciences

A new mathematically rigorous and numerically efficient method based on the combination of Orthogonal Polynomials Method, and Analytical Regularization Method, for electromagnetic wave diffraction by a model structure for various antennae such as Fresnel zone plates is proposed. It can be used as validation tool for the other (more general or less accurate) numerical methods and physical approaches. The initial boundary value problem is equivalently reduced to the infinite system of the linear algebraic equations of the second kind, i.e. to an equation of the type (I+H) x=b in the space l_2 with compact operator H. This equation can be …


Program And Proceedings: Nebraska Academy Of Sciences 1880–2009, 129th Anniversary Year, One Hundred-Nineteenth Annual Meeting Jan 2009

Program And Proceedings: Nebraska Academy Of Sciences 1880–2009, 129th Anniversary Year, One Hundred-Nineteenth Annual Meeting

Nebraska Academy of Sciences: Programs and Proceedings

Program

Aeronautics and Space Science

Collegiate Academy: Biology

Earth Science

Collegiate Academy: Chemistry and Physics

Biological and Medical Sciences

Nebraska Wesleyan University Health and Sciences Graduate School Fair

Junior Academy: Senior High Competition

Aeronautics and Space Science, Poster Session

History and Philosophy of Science

Teaching of Science and Math

Maiben Memorial Lecture: Donald Frey, Department of Family Practice, Creighton University Medical Center

Anthropology

Chemistry and Physics

Junior Academy, Junior High Competition


Monte-Carlo Ray-Trace Modelling Of Quantum Dot Solar Concentrators, Manus Kennedy Jan 2009

Monte-Carlo Ray-Trace Modelling Of Quantum Dot Solar Concentrators, Manus Kennedy

Doctoral

Due to the finite resources of fossil fuel and nuclear reserves, renewable energy technologies much provide an increasing proportion of future energy needs, if the world’s population are to expect a secure and sustainable developed society. Quantum dot solar concentrators (QDSCs) can potentially reduce the cost of photovoltaic (PV) electrical power generation and thereby further the growth in installed PV capacity. QDSCs can concentrate both the direct and diffuse components of solar radiation which makes them particularly suitable for climates where the diffuse component is predominant. A QDSC model has been developed based on Monte-Carlo ray-trace techniques. The model allows …


Inclusion Modification In Steel Castings Using Automated Inclusion Analysis, Vintee Singh Jan 2009

Inclusion Modification In Steel Castings Using Automated Inclusion Analysis, Vintee Singh

Masters Theses

"The objective of this research is to study the effects of changing the melt and ladle practices (deoxidation, slag, refractory types, etc.) in steel foundries on the cleanliness and toughness of steel castings. This study used an automated inclusion analyzer ASPEX PICA-1020, which provides a rapid and accurate method for determining the composition, size, number, and spacing of the inclusions present in steel samples. The first step in this research was to complete a series of industrial tests to benchmark the current foundry ladle practices with respect to cleanliness of the cast steel. Trials were conducted at steel foundries using …


A Study Of Cantilever-Free Instrumentation For Nanoscale Magnetic Measurements, Bruce Adair Altemus Jan 2009

A Study Of Cantilever-Free Instrumentation For Nanoscale Magnetic Measurements, Bruce Adair Altemus

Legacy Theses & Dissertations (2009 - 2024)

The evolution of the Atomic Force Microscope (AFM) into the Magnetic Force Microscope (MFM) and Magnetic Resonance Force Microscope (MRFM) has had a substantial impact on the characterization of nanoscale phenomena. Detection of 10-17 Newtons per root Hertz has occurred with use of an ultra-sensitive cantilever along with optical interferometry methods within these geometries. The sensitivity of these platforms is dependent on the characteristics of the cantilever, where increased length and a low Young's modulus increase the force sensitivity (meters/Newtons). Using IC fabrication techniques, the realization of generating cantilevers with this sensitivity is feasible, but stress compensation layers are required …


A Study Of Cantilever-Free Instrumentation For Nanoscale Magnetic Measurements, Bruce Adair Altemus Jan 2009

A Study Of Cantilever-Free Instrumentation For Nanoscale Magnetic Measurements, Bruce Adair Altemus

Legacy Theses & Dissertations (2009 - 2024)

The evolution of the Atomic Force Microscope (AFM) into the Magnetic Force Microscope (MFM) and Magnetic Resonance Force Microscope (MRFM) has had a substantial impact on the characterization of nanoscale phenomena. Detection of 10-17 Newtons per root Hertz has occurred with use of an ultra-sensitive cantilever along with optical interferometry methods within these geometries. The sensitivity of these platforms is dependent on the characteristics of the cantilever, where increased length and a low Young's modulus increase the force sensitivity (meters/Newtons). Using IC fabrication techniques, the realization of generating cantilevers with this sensitivity is feasible, but stress compensation layers are required …


Continuous Glucose Monitoring Microsensor With A Nanoscale Conducting Matrix And Redox Mediator, Daniel Pesantez Jan 2009

Continuous Glucose Monitoring Microsensor With A Nanoscale Conducting Matrix And Redox Mediator, Daniel Pesantez

Legacy Theses & Dissertations (2009 - 2024)

The major limiting factor in kidney clinical transplantation is the shortage of transplantable organs. The current inability to distinguish viability from non-viability on a prospective basis represents a major obstacle in any attempt to expand organ donor criteria. Consequently, a way to measure and monitor a relevant analyte to assess kidney viability is needed. For the first time, the initial development and characterization of a metabolic microsensor to assess kidney viability is presented. The rate of glucose consumption appears to serve as an indicator of kidney metabolism that may distinguish reversible from irreversible kidney damage. The proposed MetaSense (Metabolic Sensor) …


Application And Extension Of Glauber Ising-Spin Dynamics In The Context Of A Single Chain Magnet System, Ryan Tucker Kristensen Jan 2009

Application And Extension Of Glauber Ising-Spin Dynamics In The Context Of A Single Chain Magnet System, Ryan Tucker Kristensen

Legacy Theses & Dissertations (2009 - 2024)

The Glauber Ising-spin dynamic with a local equilibrium approximation is applied to infinite and finite one-dimensional (anti-)ferromagnetic Ising chains with classic nearest neighbor interactions. The application of the Glauber dynamic and local equilibrium approximation is then extended to the one-dimensional ferrimagnetic chain with nearest neighbor interactions. Time dependant behavior and equilibrium states of the one-dimensional ferrimagnetic chain are then discussed in terms of the single chain magnet referred to as CoPhOMe, whose behavior empirical data to date suggest is consistent with a one-dimensional Ising ferrimagnet.


Nanocomposite Thin Films Of Au Nanoparticles Embedded In Yttria-Stabilized Zirconia For Plasmonic-Based Harsh Environment Gas Detection, Phillip Henry Rogers Jan 2009

Nanocomposite Thin Films Of Au Nanoparticles Embedded In Yttria-Stabilized Zirconia For Plasmonic-Based Harsh Environment Gas Detection, Phillip Henry Rogers

Legacy Theses & Dissertations (2009 - 2024)

Increased health concerns due to the emission of gases linked to the production of tropospheric ozone by petroleum based fuel burning engines has resulted in the codification of more stringent emissions regulations domestically. Emissions regulations on commercial jetliners are one of the areas to be met with stricter standards. Currently there is not a sensing technology that can detect the emissions gases in the exhaust stream of a jet turbine engine with lower detection limits that meet these standards.


Progress Towards Critical Dimension Low Vacuum Scanning Electron Microscopy, Vasiliki Tileli Jan 2009

Progress Towards Critical Dimension Low Vacuum Scanning Electron Microscopy, Vasiliki Tileli

Legacy Theses & Dissertations (2009 - 2024)

Low vacuum scanning electron microscopy (LVSEM) is proposed and evaluated for next generation Critical Dimension (CD) metrology. Its ability to control charging artifacts and hydrocarbon contamination in order to obtain high signal-to-noise ratio, high resolution image data from insulating materials make the technology an excellent match for the increased use of high-k dielectrics and shrinking feature size in the semiconductor industry. The presence of a gas in the LVSEM chamber means that the probe characteristics and secondary electron amplification, detection, and signal-to-noise ratio differ significantly from conventional high vacuum tools. In order for low vacuum CD approaches to be viable, …


Qualitative Mapping For Understanding The Collective Judgment Building Process : A Study Of The Federal Open Market Committee, Hyunjung Kim Jan 2009

Qualitative Mapping For Understanding The Collective Judgment Building Process : A Study Of The Federal Open Market Committee, Hyunjung Kim

Legacy Theses & Dissertations (2009 - 2024)

This study develops a mapping method for studying a collective judgment building process in a decision-making group. Environmental uncertainties and a lack of information require a decision maker to make judgments about various issues relevant to the decision task. In a group setting, the members together weave their structural model of the system with available information to build a collective judgment for the decision task.


Three-Dimensional Hydrogel Cell Culture Systems For Modeling Neural Tissue, John P. Frampton Jan 2009

Three-Dimensional Hydrogel Cell Culture Systems For Modeling Neural Tissue, John P. Frampton

Legacy Theses & Dissertations (2009 - 2024)

Two-dimensional (2-D) neural cell culture systems have served as physiological models for understanding the cellular and molecular events that underlie responses to physical and chemical stimuli, control sensory and motor function, and lead to the development of neurological diseases. However, the development of three-dimensional (3-D) cell culture systems will be essential for the advancement of experimental research in a variety of fields including tissue engineering, chemical transport and delivery, cell growth, and cell-cell communication. In 3-D cell culture, cells are provided with an environment similar to tissue, in which they are surrounded on all sides by other cells, structural molecules …


Biotechnology For Immune Cell Detection And Evaluation : Devices Specifically Designed To Capture, Detect Or To Evaluate Alterations In Leukocyte Structure And Function, Thomas Joseph Zieziulewicz Jan 2009

Biotechnology For Immune Cell Detection And Evaluation : Devices Specifically Designed To Capture, Detect Or To Evaluate Alterations In Leukocyte Structure And Function, Thomas Joseph Zieziulewicz

Legacy Theses & Dissertations (2009 - 2024)

The advent of Nano-biotechnology has opened a whole new area of biological study that has allowed us to pattern, manipulate, separate, evaluate and detect biological structures and functions that were previously not possible. This dissertation will describe different types of micro-fabricated devices that were designed to quantify and/or evaluate the functional activities of cells of the immune system. The micro-fabricated devices were developed in collaboration with our colleagues at Princeton University as part of our Cellular Micro-dynamics Program of the Nanobiotechnology Center (NBTC) at Cornell University.


Augmented Lagrangian Algorithms Under Constraint Partitioning, You Xu, Yixin Chen Jan 2009

Augmented Lagrangian Algorithms Under Constraint Partitioning, You Xu, Yixin Chen

All Computer Science and Engineering Research

We present a novel constraint-partitioning approach for solving continuous nonlinear optimization based on augmented Lagrange method. In contrast to previous work, our approach is based on a new constraint partitioning theory and can handle global constraints. We employ a hyper-graph partitioning method to recognize the problem structure. We prove global convergence under assumptions that are much more relaxed than previous work and solve problems as large as 40,000 variables that other solvers such as IPOPT [11] cannot solve.


Geodesic Grassfire For Computing Mixed-Dimensional Skeletons, Lu Liu, Tao Ju Jan 2009

Geodesic Grassfire For Computing Mixed-Dimensional Skeletons, Lu Liu, Tao Ju

All Computer Science and Engineering Research

Skeleton descriptors are commonly used to represent, understand and process shapes. While existing methods produce skeletons at a fixed dimension, such as surface or curve skeletons for a 3D object, often times objects are better described using skeleton geometry at a mixture of dimensions. In this paper we present a novel algorithm for computing mixed-dimensional skeletons. Our method is guided by a continuous analogue that extends the classical grassfire erosion. This analogue allows us to identify medial geometry at multiple dimensions, and to formulate a measure that captures how well an object part is described by medial geometry at a …


The Virtual Network Scheduling Problem For Heterogeneous Network Emulation Testbeds, Charlie Wisemen, Jonathan Turner Jan 2009

The Virtual Network Scheduling Problem For Heterogeneous Network Emulation Testbeds, Charlie Wisemen, Jonathan Turner

All Computer Science and Engineering Research

Network testbeds such as Emulab and the Open Network Laboratory use virtualization to enable users to define end user virtual networks within a shared substrate. This involves mapping users' virtual network nodes onto distinct substrate components and mapping virtual network links onto substrate paths. The mappings guarantee that different users' activities can not interfere with one another. The problem of mapping virtual networks onto a shared substrate is a variant of the general graph embedding problem, long known to be NP-hard. In this paper, we focus on a more general version of the problem that supports advance scheduling of virtual …


Online Bayesian Analysis, Ruibin Xi, Yongjin Kim, Nan Lin, Yixin Chen, Gruia-Catalin Roman Jan 2009

Online Bayesian Analysis, Ruibin Xi, Yongjin Kim, Nan Lin, Yixin Chen, Gruia-Catalin Roman

All Computer Science and Engineering Research

In the last few years, there has been active research on aggregating advanced statistical measures in multidimensional data cubes from partitioned subsets of data. In this paper, we propose an online compression and aggregation scheme to support Bayesian estimations in data cubes based on the asymptotic properties of Bayesian statistics. In the proposed approach, we compress each data segment by retaining only the model parameters and a small amount of auxiliary measures. We then develop an aggregation formula that allows us to reconstruct the Bayesian estimation from partitioned segments with a small approximation error. We show that the Bayesian estimates …


Efficient Tracking Of Many Objects In Structured Environments, Nathan Jacobs, Michael Dixon, Scott Satkin, Robert Pless Jan 2009

Efficient Tracking Of Many Objects In Structured Environments, Nathan Jacobs, Michael Dixon, Scott Satkin, Robert Pless

All Computer Science and Engineering Research

We consider the special case of tracking objects in highly structured scenes. In the context of vehicle tracking in urban environments, we offer a fully automatic, end-to-end system that discovers and parametrizes the lanes along which vehicles drive, then uses just these pixels to simultaneously track dozens of objects. This system includes a novel active contour energy function used to parametrize the lanes of travel based only on the accumulation of spatio-temporal image derivatives, and a tracking algorithm that exploits longer temporal constraints made possible by our compact data representation; we believe both of these may be of independent interest. …


Throughput-Optimal Systolic Arrays From Recurrence Equations, Arpith C. Jacob, Jeremy D. Buhler, Roger D. Chamberlain Jan 2009

Throughput-Optimal Systolic Arrays From Recurrence Equations, Arpith C. Jacob, Jeremy D. Buhler, Roger D. Chamberlain

All Computer Science and Engineering Research

Many compute-bound software kernels have seen order-of-magnitude speedups on special-purpose accelerators built on specialized architectures such as field-programmable gate arrays (FPGAs). These architectures are particularly good at implementing dynamic programming algorithms that can be expressed as systems of recurrence equations, which in turn can be realized as systolic array designs. To efficiently find good realizations of an algorithm for a given hardware platform, we pursue software tools that can search the space of possible parallel array designs to optimize various design criteria. Most existing design tools in this area produce a design that is latency-space optimal. However, we instead wish …


Supercharged Planetlab Platform Architecture, Jonathan Turner, Patrick Crowley, John Dehart, Mart Haitjema, Fred Kuhns Kuhns, Ritun Patney, Michael Wilson, Charlie Wiseman, David Zar Jan 2009

Supercharged Planetlab Platform Architecture, Jonathan Turner, Patrick Crowley, John Dehart, Mart Haitjema, Fred Kuhns Kuhns, Ritun Patney, Michael Wilson, Charlie Wiseman, David Zar

All Computer Science and Engineering Research

This report describes the Supercharged Planetlab Platform (SPP), a system designed as a prototype of an internet-scale overlay hosting platform. Overlay networks have become an important vehicle for delivering Internet applications. Overlay network nodes are typically implemented using general purpose servers or clusters. The SPP offers a more integrated architecture, combining general-purpose servers with high performance Network Processor (NP) subsystems. SPP nodes have recently been deployed as part of the Global Environment for Network Innovation (GENI) and are available for use by research users.


Submodular Utility Optimization In Sensor Networks For Capacity Constraints, You Xu, Yixin Chen, Chenyang Lu, Sangeeta Bhattacharya, Abu Saifullah Jan 2009

Submodular Utility Optimization In Sensor Networks For Capacity Constraints, You Xu, Yixin Chen, Chenyang Lu, Sangeeta Bhattacharya, Abu Saifullah

All Computer Science and Engineering Research

With the fast development of wireless sensor network (WSN) technologies, WSNs have widely shifted from a specialized platform for a single application to an integrated infrastructure supporting multiple applications. It is hence a critical problem to allocate multiple applications to multiple sensors in order to maximize user utility subject to various resource constraints. The resulting constrained optimization problem is difficult since it is discrete, nonlinear, and not in closed-form. In this report, we develop an efficient optimization algorithm with rigorous approximation bounds for submodular monotonic optimization with multiple knapsack constraints. Based on a variance reduction formulation, we prove several important …


Feedback Thermal Control For Real-Time Systems, Yong Fu, Nicholas Kottenstette, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos, Hongan Wang Jan 2009

Feedback Thermal Control For Real-Time Systems, Yong Fu, Nicholas Kottenstette, Yingming Chen, Chenyang Lu, Xenofon D. Koutsoukos, Hongan Wang

All Computer Science and Engineering Research

Thermal control is crucial to real-time systems as excessive processor temperature can cause system failure or unacceptable performance degradation due to hardware throttling. Real-time systems face significant challenges in thermal management as they must avoid processor overheating while still delivering desired real-time performance. Furthermore, many real-time systems must handle a broad range of uncertainties in system and environmental conditions. To address these challenges, this paper presents Thermal Control under Utilization Bound (TCUB), a novel thermal control algorithm specifically designed for real-time systems. TCUB employs a feedback control loop that dynamically controls both processor temperature and CPU utilization through task rate …


The Design And Performance Of Cyber-Physical Middleware For Real-Time Hybrid Structural Testing, Huang-Ming Huang, Xiuyu Gao, Terry Tidewell, Christopher Gill Jan 2009

The Design And Performance Of Cyber-Physical Middleware For Real-Time Hybrid Structural Testing, Huang-Ming Huang, Xiuyu Gao, Terry Tidewell, Christopher Gill

All Computer Science and Engineering Research

Real-time hybrid testing of civil structures, in which computational models and physical components must be integrated with high fidelity at run-time represents a grand challenge in the emerging area of cyber-physical systems. Actuator dynamics, complex interactions among computers and physical components, and computation and communication delays all must be managed carefully to achieve accurate tests. To address these challenges, we have developed a novel middleware for integrating cyber and physical components flexibly and with suitable timing behavior within a Cyber-physical Instrument for Real-time hybrid Structural Testing (CIRST). This paper makes three main contributions to the state of the art in …


Achieving Coordination Through Dynamic Construction Of Open Workflows ** Please See Wucse-2009-14 **, Louis Thomas, Justin Luner, Grui-Catalin Roman, Christopher Gill Jan 2009

Achieving Coordination Through Dynamic Construction Of Open Workflows ** Please See Wucse-2009-14 **, Louis Thomas, Justin Luner, Grui-Catalin Roman, Christopher Gill

All Computer Science and Engineering Research

Workflows, widely used on the Internet today, typically consist of a graph-like structure that defines the orchestration rules for executing a set of tasks, each of which is matched at run-rime to a corresponding service. The graph is static, specialized directories enable the discovery of services, and the wired infrastructure supports routing of results among tasks. In this paper we introduce a radically new paradigm for workflow construction and execution called open workflow. It is motivated by the growing reliance on wireless ad hoc networks in settings such as emergency response, field hospitals, and military operations. Open workflows facilitate goal-directed …


Design And Evaluation Of A Practical, High Performance Crossbar Scheduler, Jonathan Turner Jan 2009

Design And Evaluation Of A Practical, High Performance Crossbar Scheduler, Jonathan Turner

All Computer Science and Engineering Research

The Least Occupied Output First (LOOFA) scheduler is one of several unbuffered crossbar schedulers that provides strong performance guarantees when operated with a speedup of 2 or more. Because LOOFA requires the computation of a maximal matching, it has been considered too slow for use in systems with link rates of 10 Gb/s or more. This paper studies an approximate variant of LOOFA described briefly in [16]. We introduce a general family of schedulers that allows for partial sorting and that includes the LOOFA scheduler as a special case. We show that all schedulers in this class are work-conserving and …


Enabling A Low-Delay Internet Service Via Built-In Performance Incentives, Maxim Podlesny, Sergey Gorinsky Jan 2009

Enabling A Low-Delay Internet Service Via Built-In Performance Incentives, Maxim Podlesny, Sergey Gorinsky

All Computer Science and Engineering Research

The single best-effort service of the Internet struggles to accommodate divergent needs of different distributed applications. Numerous alternative network architectures have been proposed to offer diversified network services. These innovative solutions failed to gain wide deployment primarily due to economic and legacy issues rather than technical shortcomings. Our paper presents a new simple paradigm for network service differentiation that accounts explicitly for the multiplicity of Internet service providers and users as well as their economic interests in environments with partly deployed new services. Our key idea is to base the service differentiation on performance itself, rather than price. We design …


Partial Order Based Reduction In Planning: A Unifying Theory And New Algorithms, You Xi, Yixin Chen Jan 2009

Partial Order Based Reduction In Planning: A Unifying Theory And New Algorithms, You Xi, Yixin Chen

All Computer Science and Engineering Research

Partial order based reduction (POR) has recently attracted research in planning. POR algorithms reduce search space by recognizing interchangable orders between actions and expanding only a subset of all possible orders during the search. POR has been extensively studied in model checking and proved to be an enabling technique for reducing the search space and costs. Recently, two POR algorithms, including the expansion core (EC) and stratified planning (SP) algorithms, have been proposed. Being orthogonal to the development of accurate heuristic functions, these reduction methods show great potential to improve the planning efficiency from a new perspective. However, it is …