Automated Testing of Planning Models

2009 ◽  
pp. 90-105 ◽  
Author(s):  
Klaus Havelund ◽  
Alex Groce ◽  
Gerard Holzmann ◽  
Rajeev Joshi ◽  
Margaret Smith
Keyword(s):  
Automated Testing ◽  
Planning Models

'Planning Economic Integration7, by L.B.M. Mennes, Rotterdam University Press, 1973.

1973 ◽  
Vol 12 (4) ◽  
pp. 438-439
Author(s):  
G. M. Radhul
Keyword(s):  
Economic Integration ◽  
Point Of View ◽  
Planning Model ◽  
Integration Policy ◽  
Medium Term ◽  
Future Production ◽  
Planning Models ◽  
Partici Pant ◽  
The Impact ◽  
Integration Area

The book under review deals with economic integration among deve¬loping countries from the point of view of planning. The author believes that it is useful to approach economic integration from a planning point of view and to develop planning models for it, because the theory of economic integration relevant for developing countries should be directed towards the impact of integration on future investments and future production. The type of models used in the book are the multisector linear programming models and the method of analysis is essentially a comparison of two situations; one with economic integration and the other without. For each prospective partici¬pant a medium term planning model is drawn up taking account of its economic situation in some base year. The results of these single country planning models are analysed and compared to those of a similar planning model for the integration area as a whole. The consequences of the integration policy are then evaluated.

Planning with Semi-input-output Method with Empirical Application to Nigeria. By Arie Kuyvenhoven. Leiden: Martinus Nijhoff Social Sciences Division. 1978. xi + 266 pp.

1980 ◽  
Vol 19 (3) ◽  
pp. 247-249
Author(s):  
A. R. Kemal
Keyword(s):  
Social Sciences ◽  
Developing Countries ◽  
Final Demand ◽  
The Other ◽  
Production Structure ◽  
Input Output ◽  
Output Analysis ◽  
Input Output Analysis ◽  
Comparative Cost ◽  
Planning Models

Input -output analysis is being widely used in developing countries for planning purposes. For a given level of final demand, input-output analysis allows us to project the required level of gross output to ensure consistency of plan. These projections are made on the assumption that the existing production structure is optimal and it implies that an increase in demand will be met through the expansion of domestic output even when it can be satisfied through an increase in imports. On the other hand, according to the semi-input-output method, we do not have to increase the output of international sectors in order to meet the increase in demand because the level and composition of these activities should be determined by comparative- cost considerations. These are the only national sectors in which output must increase in order to avoid shortage. The semi-input -output method has been such a useful and important contribution, yet, regrettably, its influence on the planning models had been rather limited.

Terminal-Year Investment In Finite-Horizon Planninq Models (Notes & Comments)

1970 ◽  
Vol 10 (2) ◽  
pp. 272-280
Author(s):  
Richard C. Porter
Keyword(s):  
Functional Form ◽  
Finite Horizon ◽  
Planning Models ◽  
Highly Sensitive ◽  
Output Ratio ◽  
Horizon Planning

A common problem of finite-horizon planning models is that there is no logical determinant of investment in the final year (s). Where post-horizon production is not valued by a model, later-year investment, whose sole function is creation of capacity for post-horizon output, looks as incongruous as last rites for an atheist. A number of artificial devices have been developed to handle this difficulty1, but one predominates: to assume that terminal-year investment is a function of terminal-year output. The purpose of this note is to show: 1) how varied and arbitrary are the assumed functions (Section I); 2) that the terminal-year variables and the apparent feasibility of the resulting Plan are highly sensitive to the choice of function (Section II); and 3) that the arbitrariness of functional form is inevitable in the sense that generally acceptable criteria do not much restrict the choice (Section III). Throughout this note, we shall neglect four complexities that are not essential to the problem at hand. One, the marginal capital-output ratio (

scholarly journals Urban Design and Walkability: Lessons Learnt from Iranian Traditional Cities

2021 ◽  
Vol 13 (10) ◽  
pp. 5731
Author(s):  
Elmira Jamei ◽  
Khatereh Ahmadi ◽  
Hing Wah Chau ◽  
Mehdi Seyedmahmoudian ◽  
Ben Horan ◽  
...  
Keyword(s):  
Urban Design ◽  
Urban Form ◽  
Design Parameters ◽  
Design Elements ◽  
Study Approach ◽  
Planning And Design ◽  
Planning Models ◽  
Mixed Use ◽  
Residential Quarters ◽  
Objectively Measured

Physical activity is connected to public health in many ways, and walking is its most popular form. Modern planning models have been applied to cities to manage rapid urban expansions. However, this practice has led to low level of walkability and strong car-dependency in today’s cities. Hence, this study aims to provide a review of the most promising urban design parameters affecting walkability, using Frank Lawrence’s theory of “Objectively Measured Urban Form” (density, connectivity and accessibility, and mixed-use development) as the basis of discussion. The second part of this paper takes a case study approach, through discussing the main design elements of traditional Iranian cities (mosques, bazaars, residential quarters, and alleyways) and analyses their impacts on promoting walkability. This study concludes that incorporating inherent values of traditional urban design elements will complement modern planning and design practices.

scholarly journals Capacity credit of storage in long-term planning models and capacity markets

2021 ◽  
Vol 194 ◽  
pp. 107070
Author(s):  
Tim Mertens ◽  
Kenneth Bruninx ◽  
Jan Duerinck ◽  
Erik Delarue
Keyword(s):  
Capacity Markets ◽  
Planning Models

scholarly journals Path Planning for Mobile-Anchor Based Wireless Sensor Networks Localization: Obstacle-Presence Schemes

Sensors ◽  
2021 ◽  
Vol 21 (11) ◽  
pp. 3697
Author(s):  
Dogan Yildiz ◽  
Serap Karagol
Keyword(s):  
Path Planning ◽  
Negative Impact ◽  
Wireless Sensor ◽  
Localization Accuracy ◽  
Planning Models ◽  
Main Challenge ◽  
Current Location ◽  
Proposed Model ◽  
Logical Method ◽  
Weighted Centroid Localization

In many Wireless Sensor Network (WSN) applications, the location of the nodes in the network is required. A logical method to find Unknown Nodes (UNNs) in the network is to use one or several mobile anchors (MAs) equipped with GPS units moving between UNNs and periodically broadcast their current location. The main challenge at this stage is to design an optimum path to estimate the locations of UNNs as accurately as possible, reach all nodes in the network, and complete the localization process as quickly as possible. This article proposes a new path planning approach for MA-based localization called Nested Hexagon Curves (NHexCurves). The proposed model’s performance is compared with the performance of five existing static path planning models using Weighted Centroid Localization (WCL) and Accuracy Priority Trilateration (APT) localization techniques in the obstacle-presence scenario. With the obstacle-handling trajectories used for the models, the negative impact of the obstacle on the localization is reduced. The proposed model provides full coverage and high localization accuracy in the obstacle-presence scenario. The simulation results show the advantages of the proposed path planning model with the H-curve model over existing schemes.

Sign in / Sign up

Export Citation Format

Share Document