Filters
Availability
Publication Year
Resource Type
Faculty
School/Institute
Publication Search Results
Sort
Results per page
1 - 7 of 7
-
(2005)Journal ArticleSoftware architecture evaluation involves evaluating different architecture design alternatives against multiple quality-attributes. These attributes typically have intrinsic conflicts and must be considered simultaneously in order to reach a final design decision. AHP (Analytic Hierarchy Process), an important decision making technique, has been leveraged to resolve such conflicts. AHP can help provide an overall ranking of design alternatives. However it lacks the capability to explicitly identify the exact tradeoffs being made and the relative size of these tradeoffs. Moreover, the ranking produced can be sensitive such that the smallest change in intermediate priority weights can alter the final order of design alternatives. In this paper, we propose several in-depth analysis techniques applicable to AHP to identify critical tradeoffs and sensitive points in the decision process. We apply our method to an example of a real-world distributed architecture presented in the literature. The results are promising in that they make important decision consequences explicit in terms of key design tradeoffs and the architecture`s capability to handle future quality attribute changes. These expose critical decisions which are otherwise too subtle to be detected in standard AHP results.
-
(2005)Journal ArticleThe cutting performance in abrasive waterjet (AWJ) multipass cutting with and without controlled nozzle oscillation is presented based on an experimental investigation cutting an 87% alumina ceramic. The cutting capacity in terms of the depth of cut and the kerf geometrical features is analyzed with respect to the process variables. It is found that multipass cutting is a viable means to increase the cutting performance and application domain of this technology, while a further increase in the cutting performance can be made by using a controlled nozzle oscillation technique.
-
(2005)Journal ArticlePredictive models for the particle velocity in an abrasive waterjet (AWJ) are developed following a CFD (computational fluid dynamics) study. A numerical study is then carried out to assess the models. It is shown that the predictive models can adequately predict this particle characteristic in an AWJ.
-
(2005)Journal ArticleDisassembly planning has become an important strategic issue in order to reduce the environmental impact and increase the value of end-of-life (EOL) products. However, disassembly could be costly due to the uncertainties involved in the process such as process complexities and alterations, hence, finding an optimum disassembly sequence is an important issue that needs further attention. In this paper, a selective disassembly methodology for EOL products is presented, which was developed by modifying the methodology developed by Nevins and Whitney (1989) for assembly. A Java-based computer program has been developed to carry out the disassembly sequence generations and the winnowing process. A single-hole punch was used as a case study to explain the concept and the efficiency of the methodology. The major advantage of this methodology is to provide a graphical representation of disassembly sequences at different stages of the process, which allows the user to visualise the disassembly process. As one expects, once the product under investigation becomes complex, the number of liaisons, and consequently the generation of all possible disassembly sequences becomes a tedious process. The proposed methodology will speed up this process, and in addition, an expert system is being developed to make the judgemental process of winnowing faster and easier.
-
(2005)Journal ArticleA cornerstone of the theory of proof nets for unit-free multiplicative linear logic (MLL) is the abstract representation of cut-free proofs modulo inessential rule commutation. The only known extension to additives, based on monomial weights, fails to preserve this key feature: a host of cut-free monomial proof nets can correspond to the same cut-free proof. Thus, the problem of finding a satisfactory notion of proof net for unit-free multiplicative-additive linear logic (MALL) has remained open since the inception of linear logic in 1986. We present a new definition of MALL proof net which remains faithful to the cornerstone of the MLL theory.
-
(2005)Journal ArticleSyren, a location-based, multi-speaker augmented audio reality installation was presented as a shipboard exhibit at the 12th International Symposium on Electronic Art in August 2004. It was conceived as a continuous 3-day spatial audio experience that augments the landscape through the Baltic archipelago with location-based audio media, spatialised through a 12- channel speaker array. As the ship tracks between Helsinki, Mariehamn, Stockholm and Tallinn, listeners on the upper deck hear sounds that are perceived to originate from geographic features. Our custom GIS is derived from electronic nautical charting information that includes coastlines, buoys and beacons. A handheld GPS provides both position and direction data that was used by a software system to drive parameters of the spatial audio presentation. The sound production for the artwork was created using the custom application that enabled the artist to place sound media in relation to a real-world map. An important component to this software was the ability to audition the audio experience without ever taking the journey.
-
(2005)Journal ArticleFollowing on from the June 2004 and November 2004 articles in "The Naval Architect" on ship squat by Dr C.B. Barrass, Mr P.J. Helmore proposes a regression equation for the calculation of the coefficient K for the prediction of the amount of squat.