Evaluation of economic rent of hydropower: A case of Nepal

Like any other natural resources, hydro resources that are capable of generating electricity at cheaper cost give rise to economic rent. Nepal possesses huge amount of such cheaper hydro resources which is far in excess of the domestic demand. The existing rents levied by the governments are not found to address the potential value of resources. In this study hydro rent is calculated for two types of hydropower projects: (i) domestic demand oriented project and (ii) large and export oriented project. In doing so, the study uses the concept of hydro rent as a measure of cost savings achievable by the use of hydro resources over the least cost alternatives. The WASP-III+ optimisation software developed by IAEA has been used to derive two least cost generation expansion plans i.e. one with and the other without the nominated hydro resource. The difference in the costs of two plans gives the rent of the hydro resource.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

The judicious utilization of new technologies through authentic learning in higher education: A case study

Though technology holds significant promise for enhanced teaching and learning it is unlikely to meet this promise without a principled approach to course design. There is burgeoning discourse about the use of technological tools and models in higher education, but much of the discussion is fixed upon distance learning or technology based courses. This paper will develop and propose a balanced model for effective teaching and learning for “on campus” higher education, with particular emphasis on the opportunities for revitalisation available through the judicious utilisation of new technologies. It will explore the opportunities available for the creation of more authentic learning environments through the principled design. Finally it will demonstrate with a case study how these have come together enabling the creation of an effective and authentic learning environment for one pre-service teacher education course at the University of Queensland.