In this paper, a comprehensive production planning and scheduling model is developed for a typical semiconductor plant (fab). The proposed model includes two decision making policies on production planning and scheduling of the semiconductor manufacturing systems, release and dispatching policies. The proposed release and dispatching policies decides on flow of wafer lots in the fab in order to...

Local jurisdictions’ coastal zone land use plans play an important role in protecting critical coastal resources and ensuring coastal communities’ sustainable development. This study extends the previous national and regional measurement systems to local coastal zone land use planning. This study evaluates 46 California local jurisdictions’ coastal zone land use plans and analyzes the factors i...

Classical automated theorem proving of today is based on ingenious search techniques to find a proof for a given theorem in very large search spaces—often in the range of several billion clauses. But in spite of many successful attempts to prove even open mathematical problems automatically, their use in everyday mathematical practice is still limited. The shift from search based methods to mor...

The Queensland Government recently released a statutory planning document South East Queensland Regional Plan 2005-2026 to manage the rapid growth of its south east region. One of the strategies identified in the document is to establish a number of transit-oriented developments (TODs) to create compact, walkable communities around high capacity public transport nodes. The objective of the pape...

Agent oriented software engineering (AOSE) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. Despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. According to the defects resulted from weaknesses ...

This article presents empirical tests to examine if the comprehensive development area (CDA) where the town planning is more comprehensive has relatively higher economic values than the area outside CDA. The three hypothesis are: (i) CDAs have less environmental complaints than areas outside CDA; (ii) property sales price variances in CDAs are smaller than those in areas outside CDAs; and (iii)...

Due to the focused pursuit of economic growth in the process of the large-scale urban development of China, the phenomena of low land use efficiency and discordance of land use induce unwanted economic, social, and environmental costs. This paper presents a comprehensive study of urban land use efficiency and of the degree of land use coordination of 33 cities in China, using theoretical analys...

Transportation inequities, the consequences of decades auto-oriented planning alongside discriminatory land-use and transportation policy decisions resulting from structural racism, severely limit opportunities for people color other marginalized populations. While a growing body work has examined inequities with respect to long-range planning, less research examines how equity is incorporated ...

agent oriented software engineering (aose) is an emerging field in computer science  and  proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. according to the defects resulted from weaknesses ...

The major planning theories provide a theoretical foundation for environmental planning. This study extends the major planning theories and develops a robust conceptual framework to measure the key factors influencing local environmental-plan quality. A random sample of forty Californian local comprehensive land-use plans and associated planning processes is analyzed to identify the critical fa...