The main goal of model testing is to find system errors at the systems analysis and design stage and thereby reduce the cost of software testing and enhance the efficiency of system development. Prior researches proposed an Integrated Method which utilizes the artifacts from the Platform Independent Model (PIM) to construct the test path and constrained class tuples (CCT). These two can then be integrated to construct an Integrated Testing Model (ITM) for determining the test data and test cases for Model-Based Testing. This study develops a methodology which extracting the information from the Sequence Diagram and Class Diagram from the PIM to construct an ITM. The research methodology is articulated using the design science research methodology. A prototype embedded methodology has been developed. A usability evaluation is performed on the prototype to demonstrate its usability in terms of the factors, efficiency and effectiveness. With this methodology, the test paths, CCT and ITM can be generated automatically; thereby reducing the costs and increasing the efficiency of Model-Based Testing.

For an offshore platform structure applied to wave-energy conversion system, in order to catch the maximum waves to generate more powers, similar to wind-energy power generators, a range of angles for the devices normal to the propagating direction of incident waves is required, particularly when the power converting system has directional preference. That is one essential reason why a single mooring offshore platform system is so important in the development of an offshore wave-energy conversion system. The single mooring-system would allow the offshore wave-energy conversion system to turn freely in accordance to the action of strong directions of propagating waves and in this way, most energy induced from the incident waves can be caught and converted into reusable powers. The aims of this study are firstly, based on previous studies to further modify a single moored offshore platform system that may subject to less wave forces in the sea and, secondly, to verify the efficiency of single-moored system by carrying out an experimental testing on a simple single-moored floating platform system in the water tank.

<p>This thesis is about control and balance stability of leggedlocomotion. It also presents a combination of tools that makesit easier to design controllers for large and complicated robotsystems. The thesis is divided into four parts.</p><p>The first part studies and analyzes how walking machines arecontrolled, examining the literature of over twenty machinesbriefly, and six machines in detail. The goal is to understandhow the controllers work on a level below task and pathplanning, but above actuator control. Analysis and comparisonis done in terms of: i) generation of trunk motion; ii)maintaining balance; iii) generation of leg sequence andsupport patterns; and iv) reflexes.</p><p>The next part describes WARP1, a four-legged walking robotplatform that has been builtwith the long term goal of walkingin rough terrain. First its modular structure (mechanics,electronics and control) is described, followed by someexperiments demonstrating basic performance. Finally themathematical modeling of the robot’s rigid body model isdescribed. This model is derived symbolically and is general,i.e. not restricted to WARP1. It is easily modified in case ofa different number of legs or joints.</p><p>During the work with WARP1, tools for model derivation,control design and control implementation have been combined,interfaced and augmented in order to better support design andanalysis. These tools and methods are described in the thirdpart. The tools used to be difficult to combine, especially fora large and complicated system with many signals and parameterssuch as WARP1. Now, models derived symbolically in one tool areeasy to use in another tool for control design, simulation andfinally implementation, as well as for visualization andevaluation—thus going from equation to action.</p><p>In the last part we go back to“equation”wherethese tools aid the study of balance stability when complianceis considered. It is shown that a legged robot in a“statically balanced”stance may actually beunstable. Furthermore, a criterion is derived that shows when aradially symmetric“statically balanced”stance on acompliant surface is stable. Similar analyses are performed fortwo controllers of legged robots, where it is the controllerthat cause the compliance.</p><p><b>Keywords</b>legged locomotion, control, balance, leggedmachines, legged robots, walking robots, walking machines,compliance, platform stability, symbolic modeling</p>

Gemeinsamer Workshop von Universitaetsrechenzentrum und Professur Rechnernetze und verteilte Systeme (Fakultaet fuer Informatik) der TU Chemnitz. Workshop-Thema: Infrastruktur der ¨Digitalen Universitaet¨ WWW Privacy - P3P Platform of Privacy Preferencers Der Vortrag soll einen Einblick in das z.Zt. noch in der Entwicklung stehenden Protokolls P3P des W3C geben. Dabei wird das Grundprinzip von P3P, einige technische Realisierungsmoeglichkeiten sowie ein Demo-Einkaufssystem vorgestellt.

Sammanfattning - Abstract  Titel: Kritiska aspekter i en intern varumärkeskampanj och betydelsen av dem En studie om anställdas attityder i ett fallföretag Författare: Martina Karlsson och Susanna Vestin  Handledare: Thomas Michel  Institution: Blekinge tekniska högskola Kurs: Kandidatarbete i företagsekonomi, 15 högskolepoäng  Syfte: Syftet med denna studie är att analysera och identifiera vilka kritiska aspekter som finns i samband med en intern marknadsförings kampanj.  Metod: En kvantitativ enkät kommer användas vars svar kommer testas i en hypotes. Slutsats: Regionala skillnader råder vilket kopplas till de kritiska aspekterna.Viktiga aspekter för att lyckas med en intern varumärkeskampanj är uppföljning, återkoppling, tydlighet och strategi.  Nyckelord: intern varumärkeskampanj, kritisk aspekt, Swedbank, varumärkesplattform / Title: Critical aspects in a internal branding campaign and the meaning of it   A study about the employee’s attitudes in a case company  Authors: Martina Karlsson och Susanna Vestin  Supervisor: Thomas Michel Departement: Blekinge Tekniska högskola  Course: Bachelor’s thesis in Business Administration, 15 credits  Purpose: The purpose of this study is to analyze and identify critical aspects that is connected to the internal marketing campaign.  Method: A quantitative survey will be used and the results tested through a hypothesis  Results: There are regional differences, which can be connected to the critical aspects. Important aspects for the success of an internal branding campaign is the follow-up, feedback, clarity and strategy.  Keywords: internal branding campaign, customer satisfaction, Swedbank, brand platform

Modern software applications need to run on a variety of web and mobile platforms with diverse software and hardware-level features. Thus, developers of such software need to duplicate the testing and maintenance effort on a wide range of platforms. Often developers are not able to cope with this increasing demand and release software that is broken on certain platforms, thereby affecting a class of customers using such platforms. Hence, there is a need for automating such duplicate activities to assist the developer in coping with the ever increasing demand. The goal of my work is to improve the testing and maintenance of cross-platform web and mobile applications by developing automated techniques for comparing and matching the behavior of such applications across different platforms. To achieve this goal, I have identified three problems that are relevant in the context of cross-platform testing and maintenance: 1) automated identification of inconsistencies in the same application's behavior across multiple platforms, 2) detecting features that are present in the application on one platform, but missing on another platform version of the same application, and, 3) automated migration of test suites and possibly other software artifacts across platforms. I present three different scenarios for the development of {cross-platform} web and mobile applications, and formulate each of the three problems in the scenario where it is most relevant. To address and mitigate these problems in their corresponding scenarios, I present the principled design, development and evaluation of the two techniques, and a third preliminary technique to highlight the research challenges of test migration. The first technique, X-pert identifies inconsistencies in a web application running on multiple web browsers. The second technique, FMAP matches features between the desktop and mobile versions of a web application and reports any features found missing on either of the platform versions. The final technique, MigraTest attempts to automatically migrate test cases from a mobile application on one platform to its counterpart on another platform. To evaluate these techniques, I implemented them as prototype tools and ran these tools on real-world subject applications. The empirical evaluation of X-pert shows that it is accurate and effective in detecting real-world inconsistencies in web applications. In the case of FMAP, the results of my evaluation show that it was able to correctly identify missing features between desktop and mobile versions of the web applications considered, as confirmed by my analysis of user reports and software fixes for these applications. The third technique, MigraTest was able to efficiently migrate test cases between two mobile platform versions of the subject applications.

In March of 2000, March of 2001, and April of 2002, multibeam bathymetry and backscatter data were collected, which revealed several low-temperature hydrothermal submarine springs in the Mudhole Submarine Springs (MHSS) area that were investigated by SCUBA divers. High-resolution multibeam sonar provides a precise way of defining the geomorphology of the seafloor. The bathymetry data were used to understand (1) vent geomorphology and how it varied from vent to vent; (2) spatial patterns of active vents compared to extinct vents and known land springs identified by Kohout (1977) and Breland (1980); and (3) potential correlations between geochemical and geomorphological characteristics of the vents in the study area. SCUBA observations show that MHSS, Spring #3, New Spring, Northern Rusty, Rusty, and Near Rusty are active springs, while Dormant Spring and Sinister Spring were extinct or inactive at the time of the March 2001 cruise.During the April 2002 cruise the locations of Rusty Spring, New Spring and MHSS were confirmed. Two submarine springs, Creature Hole and Sparky Lee were also confirmed. Spring #3 is the deepest spring and Dormant Spring is the shallowest. There appears to be a rough spatial correlation between vents located on land and the vents on the seafloor, in which all known vents are either to the west or north of Lake Okeechobee. Vent distribution in the MHSS study area appears to correlate with the structural pattern of the local seafloor. Backscatter data and SCUBA observations show that fine to medium grain siliciclastic sediment bands overlie limestone hardbottom in a NE-SW orientation. Although vent geomorphologies are generally distinctive, vent activities generally correlate with the steepness of vent depressions.Most active vents had slopes of 6 degrees or greater, with the exception of Rusty Spring and Near Rusty Spring whose slopes ranged from 2.5 degrees and 6 degrees; whereas all the inactive vents had slopes of 5 degrees or less. Most active vents have "V"-shaped profiles versus the "U"-shaped profiles of most of the inactive vents. The inactive springs have shallower maximum depths and shallower ambient seafloor depths than the active vents.

The SACROC unit is an isolated carbonate platform style of reservoir that typifies a peak icehouse system. Icehouse carbonate platforms are one of the least well understood and documented carbonate reservoir styles due to the reservoir heterogeneities they embody. The current study is an attempt to recognize carbonate rock types defined based on rock fabrics by integrating log and core based petrophysical analysis in high-frequency cycle (HFC) scale sequence stratigraphic framework and to improve our ability to understand static and dynamic petrophysical properties of these reservoir rock types, and there by, improve our understanding of heterogeneity in the middle early to late early Canyon (Canyon 2) high frequency sequence (HFS) in the Northern Platform of the SACROC Unit. Based on core descriptions, four different sub-tidal depositional facies were defined in the Canyon 2 HFS. Identified depositional facies were grouped into three different reservoir rock types in respect to their rock fabrics in order for the HFC scale petrophysical reservoir rock type characteristic analysis. Composed of succession of the identified reservoir rocks, twenty different HFCs were determined within the HFC scale sequence stratigraphic framework. The overall trend in the HFCs demonstrate systematic coarsening upward cycles with high reservoir quality at the cycle tops and low reservoir quality at the cycle bottoms. It was observed in terms of systems tracts described within the cycle scale frame work that the overall stacking pattern for high stand systems tracts (HST) and transgressive systems tracts (TST) is aggradational. And, the reservoir rocks representing the HST are more porous and permeable than those of TST. In addition to that, it was detected that the diagenetic overprint on the HST reservoir rocks is more than that of the TST. According to the overall petrophysical observations, the grain-dominated packstone deposited during HST was interpreted as the best reservoir rock. Upon well log analysis on the identified reservoir rocks, some specific log responses were attributed to the identified reservoir rocks as their characteristic log signatures. / text

This report describes a method of incorporating decision analysis principles to enhance a simulation being created by The University of Texas at Austin’s Institute for Advanced Technology (IAT). The simulation is called Virtual Simulation Learning Platform (VSLP) and the scenario created to test the platform is called Virtual Platoon Leader (VPL). Recommendations include a method of implementing value-focused decision making, the implementation of decision tools to build a scenario within the simulation, a dialogue process between the developer and the subject matter expert, a design for the implementation of graphical user interfaces for the decision tools used to build a scenario and a user scoring methodology. / text

Artificial membranes composed of natural lipids are not stable when exposed to air/vacuum, surfactant, organic solvent, etc. Polymerizable lipids provide an opportunity to broaden the use of lipid membranes to study ligand-receptor pairs under harsh experimental conditions. This dissertation presents the utilization of polymerizable lipids in matrix assisted laser desorption and ionization-mass spectrometry (MALDI-TOF MS) for analysis of ligands bound to membrane receptors. This platform may be applied to rapid drug-screening for membrane receptors including transmembrane proteins. Bacterial toxins and their membrane receptors were used as model ligand-receptor pairs to demonstrate the feasibility of using polymerizable lipids to detect and identify ligands by MALDI-TOF MS. Cholera toxin B (CTB) was successfully detected bound to polymerized lipid membranes with incorporation of its membrane receptor, GM1, while no CTB was detected in non-polymerizable lipid membranes. This affinity capture platform based on poly(lipid) showed a high resistance to interferences. On-plate digestion of bound CTB was performed and 57% amino acid sequence coverage was achieved. Total internal reflection fluorescence microscopy (TIRF-M) was applied to compare CTB-GM1 binding affinity in polymerized and unpolymerized membranes. Under a static flow system, the binding between CTB and GM1 was found to be stronger in polymerized membranes than other membranes. However, the ligand concentration under a static flow system is not in excess and the apparent binding affinity is likely to be significantly different than the true value. The true binding affinity can be approached under a continuous flow system, however equilibration time was found to be too long to address experimentally. Membrane fluidity, which may be required to maintain the membrane receptor activity, is suppressed in poly(lipid) membranes compared to unpolymerized membranes. In order to maintain fluidity, a non-polymerizable lipid was mixed into a polymerized lipid. Fluorescence recovery after photobleaching (FRAP) data showed that fluidity of membrane composed of the mixed lipid was maintained compared to pure poly(lipid). Phase segregation of polymerized lipid and non-polymerizable lipid was detected by atomic force microscopy (AFM). CTB bound to GM1 in mixed lipid membranes was detected by MALDI-MS, indicating the mixed lipid membranes retain stability under MALDI-MS analysis conditions.