Show simple item record

dc.contributor.advisorTapamo, Jules-Raymond.
dc.contributor.advisorBlakeway, Flic C.
dc.creatorPrice, Catherine Susan.
dc.date.accessioned2015-10-16T06:45:23Z
dc.date.available2015-10-16T06:45:23Z
dc.date.created2009
dc.date.issued2009
dc.identifier.urihttp://hdl.handle.net/10413/12520
dc.descriptionM. Sc. University of KwaZulu-Natal, Durban 2009.en
dc.description.abstractThis dissertation aims to specify a forest harvest scheduling system which includes wood properties in the harvesting decisions for the long-term (strategic) planning horizon. This system will be used by plantation forestry companies which supply wood to pulp manufacturers, who desire a more uniform raw material entering pulp mills so that a more uniform product results. Vertically integrated forestry companies would benefit particularly, as the allocation of timber to mills, as well as the timber transport costs, are included in the system. It has been found from literature that only one forest harvest scheduling system exists which includes wood properties in the harvesting decision; however, this system was a short-term (operational) system. To our knowledge, no other system which includes wood properties in the harvesting decision has been reported. As the forest harvest scheduling system is affected by the forest, transport, mill and forest planning domains, their procedures and constraints, these domains were described first, and the forest harvest scheduling system described next. The system and the environments (or domains) were specified with two techniques: semi-formal and formal methods. The semi-formal method used the Zachman framework to structure the specification. The Business owner’s view of the system was used. This framework uses complementary models such as entity-relationship diagrams, business process diagrams and state charts to describe aspects of the same thing. The formal method specification used the Z notation which is based on set theory and predicate logic. The semi-formal and formal specifications together form a complementary specification. The semi-formal specification is more understandable by clients, but could contain inconsistencies. The formal specification is more precise, but because it uses mathematical notation, is not as well understood. The semi-formal specification describes more features, while the formal specification describes the features in depth. The forest harvest scheduling system specified uses wood properties in the harvesting and timber allocation decisions over the strategic planning horizon. When the system is implemented, wood having more uniform properties will be delivered to the mill, ensuring a more uniform pulp product.en
dc.language.isoen_ZAen
dc.subjectLogging.en
dc.subjectApplication logging (Computer science)en
dc.subjectForestry innovations.en
dc.subjectForests and forestry.en
dc.subjectWood-pulp.en
dc.subjectProduction scheduling.en
dc.subjectComputer scheduling.en
dc.subjectTheses--Computer science.en
dc.subject.otherPlantation forestry.en
dc.subject.otherForest harvest scheduling systems.en
dc.subject.otherTimber allocation.en
dc.subject.otherWood properties.en
dc.subject.otherSemi-formal specification.en
dc.subject.otherZachman framework (Business owner’s view).en
dc.subject.otherFormal specification.en
dc.subject.otherZ notation.en
dc.titleSpecifying a forest harvest scheduling system which includes wood properties.en
dc.typeThesisen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record