Rozprawy doktorskie na temat „Support modes”

Le travail décrit dans ce document a démarré par une requête des ingénieurs de la société Telelogic Technologies Toulouse (TTT) qui développent l'environnement SCADE. Leurs clients, utilisateurs de SCADE, souhaitent en effet pouvoir décrire certaines parties de leurs programmes par des graphes d'états. Les ingénieurs de TTT proposaient d'attacher des équations LUSTRE aux états d'un automate. Nous avons comparé ces besoins à ce qu'offrait l'approche par édition de liens de programmes LUSTRE et ARGOS, sur laquelle le laboratoire Vérimag travaille depuis 1993. Nous avons identifié, dans les besoins des utilisateurs de SCADE, la notion de mode de fonctionnement, qui semble difficile à décrire avec les approches suivies jusque là dans la combinaison de langages synchrones. Nous avons cherché dans la littérature cette notion de mode de fonctionnement. On trouve de nombreuses références à des modes, mais aucune des approches ne correspond exactement à nos besoins. C'est constatations justifient donc l'étude 'une nouvelle construction spécifique pour décrire les modes de fonctionnement, dans un langage flot de données comme LUSTRE. Nous définissons les automates de modes et nous leur donnons une sémantique précise. Pour pouvoir essayer cette construction nous réalisons une traduction simple en LUSTRE des automates de modes. Les différents essais que nous avons réalisés montrent que cette construction correspond effectivement aux besoins des utilisateurs. L'étape suivante de notre travail a été de définir la traduction des automates de modes non plus en LUSTRE, mais en DC (un format interne de la chaîne de compilation de LUSTRE vers C). L'implantation de cette traduction a été achevée pour les automates de modes utilisant un sous-ensemble du langage LUSTRE dans les équations. Cette réalisation nous permet d'utiliser les automates de modes sur des études de cas de taille importante.

This thesis will report on mixed method research which examined secondary Support Teachers Learning Difficulties (STLDs) and their modes of operation in New South Wales (NSW) government schools, Australia. Four modes of operation were identified in the literature as consultancy, team teaching, in-class support and withdrawal. An additional area of other duties was also included to examine the time when STLDs were not functioning in the four identified modes of operation. NSW government policy is in keeping with the literature as it recommends that STLDs should spend the majority of their time in consultancy and team teaching while in class with a minimum of withdrawal of students from their main classrooms for individual or small group instruction. STLDs, however, did not appear to be functioning in the recommended way. A number of factors identified in the literature, which may influence the modes of operation, can be grouped under the heading of school culture thus this research involved the examination of the effects of school culture on the modes of operation with the aim of expanding our understanding of the functioning of STLDs and providing suggestions for improvement. The theoretical base of social constructionism has informed this research which included survey and case study methods. Case studies of the STLDs in three secondary schools led to the conclusion that, in conjunction with factors such as flexibility and commitment, the involvement of the STLD in a sub-culture of learning support may lead to functioning in the recommended modes of operation.

This thesis has two distinct research threads. One thread examines the effectiveness of technology support on the performance of focus groups. Unlike previous research, the work described in this thesis addresses the fundamental issue that groups are social systems, and that comprehensive measurement of the effectiveness of group activities requires assessment of both the task-oriented and social aspects of the group activity. In this research, four different communication modes are used to compare group effectiveness. The second research thread in this thesis is the use of Systems Thinking, and specifically Soft Systems Methodology (SSM), as the framework for inquiring into the effects of technology support on group effectiveness. The strategy in this thesis for developing and evaluating hypotheses extends the general descriptions and guidance in the literature on using SSM for hypothesis testing. Systems thinking also provides the basis for examining the prevailing ???profile deviation??? view that the better the fit between the group task and the technology support the greater the group performance. Using the six perspectives of fit developed by Venkatraman (1989), the most common GSS models and other models developed to examine Task-Technology Fit (TTF) are analysed. The results show that group performance models are most often tested from a ???profile deviation??? perspective and TTF models developed from a profile deviation perspective claim to have predictive and descriptive validity for assessing the level of group performance. To assess whether an SSM based approach can improve the predictive and/or descriptive analysis of the impact of technology support on group work, a field experiment was conducted at the Australian Defence Force Academy. Twenty focus groups of officer cadets assessed their military training program using a GSS in one of four communication modes. The results showed little predictive or descriptive support for the profile deviation perspective of TTF when measuring the group???s overall effectiveness, task effectiveness, participant satisfaction or group relations. The alternative ???gestalt??? perspective, operationalised in this research by using SSM, provided a more comprehensive approach to examining the effectiveness of technology support for group work.

This thesis aims to provide a brief exposition of some chosen modes of convergence; namely uniform convergence, pointwise convergence and L1 convergence. Theoretical discussion is complemented by simple applications to scientific computing. The latter include solving differential equations with various methods and estimating the convergence, as well as modelling problematic situations to investigate odd behaviors of usually convergent methods.

The purpose of this study was to gain an understanding of parents’ and teachers’ perceptions of parent-teacher communication, its purpose and how it is implemented in resource-constrained school settings. I employed a collective case study design involving four cases, namely parents of Grade 3 learners, parents of Grade 6 learners, Grade 3 teachers and Grade 6 teachers. I followed a qualitative research approach in order to gain rich, contextual information that portrays the perceptions of the participants. I identified three primary schools to participate by combining purposeful and convenience sampling strategies, and purposefully selected 11 teachers and eight parents as participants. Eight semi-structured interviews and two focus group discussions were conducted to collect data. In addition, I relied on observation, field notes and a research diary. Following inductive thematic data analysis, I identified the following themes: general modes of parent-teacher communication, purposes of parent-teacher communication, role-players and their expectations, factors negatively impacting parent-teacher communication, and strategies to move towards effective parent-teacher communication. Findings of the study indicate that the participating schools utilised written communication, telephone contact and meetings in person to exchange information with parents, in support of learners’ performance. Children, School Management Teams and the Department of Basic Education were identified as additional important role-players in communication. However, the attitudes, behaviours and preferences of teachers and parents as well as resource-constrained contexts can negativity influence parent-teacher communication. On the other hand, more effective use of technology, the creation of more opportunities for open dialogue and the commitment of all role-players can potentially enhance regular two-way communication between parents and teachers.
Dissertation (MEd)--University of Pretoria, 2017.
Educational Psychology
MEd
Unrestricted

Cette thèse vise à développer et à tester un modèle d'explication de la probabilité pour les firmes d'exécuter une fonction de support en interne, ou par la voie contractuelle, avec des prestataires externes, qui intègre les apports de l'approche par les ressources et les compétences à la théorie des coûts de transaction, qui reste la théorie principale de référence. Ce modèle est testé dans le contexte des opérations logistiques des firmes de distribution de détail en France. Les résultats de l'étude font apparaître particulièrement l'importance des avantages comparés entre les prestataires et le donneur d'ordre, en terme de coûts et de compétences, et une dissociation des critères de spécialisation, de spécificité des activités et de contribution de l'activité à l'avantage stratégique. Une plus grande incertitude externe pousse à l'internalisation, ce qui remet en cause la vision des formes externes comme source de flexibilité pour les firmes
In this dissertation, we propose an integrative model to disentangle the predictive power of transaction cost theory and resource based approach, in order to explain the probability of firms executing a support function in-house, or through contracting with external providers. We test the model in the context of logistic operatons of the larger retail firms in France. Overall results show that both theories provide complementary explanations for the probability of firms organizing their logistics in-house or through external providers. The results also show the importance of the comparative advantages, in terms of both costs and competencies, between service providers and clients. We also distinguish the criteria of asset specificity, asset specialization and contribution of the activity to the strategic advantage of the focal firm. External uncertainty seems to reinforce, by itself, the probability to keep an activity in-house, in opposition to a vision which recommends using outsourcing as a flexibility device

This dissertation presents a sampling-based method that can be used for uncertainty quantification and deterministic or probabilistic optimization. The objective is to simultaneously address several difficulties faced by classical techniques based on response values and their gradients. In particular, this research addresses issues with discontinuous and binary (pass or fail) responses, and multiple failure modes. All methods in this research are developed with the aim of addressing problems that have limited data due to high cost of computation or experiment, e.g. vehicle crashworthiness, fluid-structure interaction etc.The core idea of this research is to construct an explicit boundary separating allowable and unallowable behaviors, based on classification information of responses instead of their actual values. As a result, the proposed method is naturally suited to handle discontinuities and binary states. A machine learning technique referred to as support vector machines (SVMs) is used to construct the explicit boundaries. SVM boundaries can be highly nonlinear, which allows one to use a single SVM for representing multiple failure modes.One of the major concerns in the design and uncertainty quantification communities is to reduce computational costs. To address this issue, several adaptive sampling methods have been developed as part of this dissertation. Specific sampling methods have been developed for reliability assessment, deterministic optimization, and reliability-based design optimization. Adaptive sampling allows the construction of accurate SVMs with limited samples. However, like any approximation method, construction of SVM is subject to errors. A new method to quantify the prediction error of SVMs, based on probabilistic support vector machines (PSVMs) is also developed. It is used to provide a relatively conservative probability of failure to mitigate some of the adverse effects of an inaccurate SVM. In the context of reliability assessment, the proposed method is presented for uncertainties represented by random variables as well as spatially varying random fields.In order to validate the developed methods, analytical problems with known solutions are used. In addition, the approach is applied to some application problems, such as structural impact and tolerance optimization, to demonstrate its strengths in the context of discontinuous responses and multiple failure modes.

One of the inevitable negative effects of software evolution is design erosion. Refactoring is a technique that aims at counteracting this phenomenon by successively improving the design of software without changing its observable behaviour. Design erosion occurs also in the context of executable UML models, i.e. models that are detailed enough to be automatically compiled to executable applications. This thesis presents results of a study on applying refactoring to the area of maintenance of executable UML models. It contains an overview of recent approaches to UML model refactoring and to executable modelling, followed by identification of refactoring areas in models built in Telelogic TAU, a state-of-the art UML CASE tool. It proposes a systematic approach to specification of both executable UML model refactorings as well as associated bad smells in models. Additionally, it shows how refactorings can be implemented in Telelogic TAU.

Electronic government (e-Government) projects create numerous benefits and opportunities for both governments and citizens worldwide. Accordingly, the increasing interest in e-Government raises the issue of how governments can increase citizen adoption and usage of their on-line services. The successful adoption of Information Communication Technologies (ICTs), the explosive increase in Internet usage and the rapid development of e-commerce in private sectors have placed pressure on public organisations to interact electronically with citizens. Conversely, the success of e-Government does not depend only on the supplier side, but also on the demand side and the willingness to adopt the on-line service. The concept of e-Government was developed and implemented initially in industrialised countries. Consequently, it should not be assumed that this concept is automatically appropriate for developing countries. Thus far, e-Government still faces major challenges as it continues to expand in developing countries. Moreover, when introducing e-Government to developing nations, it is anticipated that more effort will be necessary than in developed countries. The objective of various e-Government initiatives has moved in the past decade towards establishing services offering greater accessibility for citizens. As a result, it is necessary to examine all possible factors to explain citizens' adoption and usage of such systems. Hence, numerous models of e-Government adoption and intention to use and their extensions have been proposed and applied to empirical studies. Obviously, e-Government has occurred due to the technological revolution following the diffusion of the Internet and the success of information systems (IS) in organisations and e-Commerce. However, regardless of their success within the general IS context, the models are limited in terms of considering the diversity of users; they tend to assume that all end-users are homogeneous. The end-users of e-Government systems are more diverse than e-Commerce, with comparisons of wider layers of user groups (for example, elderly and less well-educated people) who are more likely to encounter problems while interacting with e-Government systems. IS literature confirmed that users’ technical capabilities and management support are influenced by their technical knowledge and expertise. Therefore, this research argues that perceived support quality is a new way of looking at citizens’ adoption and usage in the e-Government system’s field and a major factor of e-Government system’s acceptance, particularly in developing countries. This study is the first to examine the roles of perceived support quality and support satisfaction in the context of government-to-citizen (G2C), and it aims to advance knowledge within the field of e-Government by revealing the roles of perceived support quality and satisfaction towards behaviour intention and usage in developing countries. The proposed model builds upon Wixom and Todd’s (2005) theoretical model, which, in turn, was based on the integration of DeLone and McLean model (1992) into the technology acceptance model (TAM). The strength of the integrated model lies in its ability to guide both IT design and predict usage behaviours towards the system under investigation, and assume the overall theoretical model to maintain validity in G2C settings. Thirteen hypotheses were formulated to test the proposed research model. Behaviour intention to use e-Government services was proposed as the dependent variable, while the independent variables were information quality; information satisfaction; system quality; system satisfaction; social influence; performance expectancy; effort expectancy; perceived support quality and support satisfaction. A quantitative approach was deemed best suited to test the proposed model. Using a survey method (i.e. paper-based and an on-line survey), a total of 1252 responses was collected; however, only 628 were analysed. To test the proposed e-Government model, the state of Kuwait was chosen as the application area and the official website of Kuwait Government On-line Services (KGOS) was selected, since it offers a number of services on-line. Elements were citizens who have had prior experience with the KGOS website, and the survey was conducted from 5th August to 10th October 2010. Structural equation modelling (SEM) was selected as the statistical analysis technique with the Analysis of Moment Structures (AMOS) software. A total of 40 percent of the variance among the factors of support satisfaction, system satisfaction, information quality, effort expectancy and performance expectancy was explained by behavioural intention to use an e-Government system. All hypotheses were supported except for one. The findings confirm the significance to the support quality perceived by citizens, and also provide insights into whether user satisfaction literature and TAMs should be integrated to explain citizens’ intention to use e-Government systems. Thus, in terms of the theoretical implications, this study highlights the significance of recognising theoretical relationships when performing empirical research in e-Government settings. Consequently, to capture both the technical aspects and the services provided on-line, a new variable was introduced and renamed ‘perceived support quality’. Additionally, the model offers managers a new perspective for dealing with e-Government adoption by signifying the importance of support quality perceived by citizens. The proposed model provides government decision-makers in developing countries with an appropriate approach to determining which factors require attention in order to reap the highest benefits from e-Governments’ projects. This suggests paying less attention to the social influence (SI) factor and consider instead improving the quality of on-line support citizens demand.

One of deficiencies in the Z tools is that there is limited support for model checking Z specifications. To build a model checker directly for a Z specification would take considerable effort and time due to the abstraction of the language. Translating inputs of a Z specification into a language that an existing model checker tool accepts is an alternative method. Researchers at the University of Sheffield implemented a translation tool which took a Z specification and translated it into the input for the Symbolic Analysis Laboratory (SAL) tool, a framework for combining different tools for abstraction, program analysis, theorem proving and model checking, which they called Z2SAL. In this paper, support for model checking Z specifications is discussed, in which the ability of the existing Z2SAL is extended. This support includes a translation for generic constant and schema calculus. Instead of translating these aspects of the Z language into the SAL language as Z2SAL does, a Z specification containing these two notations will be pre-processed,in which a generic constant definition will be redefined to its equivalent axiomatic definition, and schema calculus will be expanded to a new schema definition. This paper discusses the implementation of these types of support, and illustration of some working examples. The discussion also includes other several issues related to a new approach in translating Z functions and constants in SAL language, which originates from the type incompatibility obtained during execution by the SAL tool, an approach to a SAL translation of embedded theorems on Z specifications, and a manual experiment on applying an abstraction on Z specifications. Results have been gathered during our experiments with the implemented support. Several of these results could be translated by Z2SAL and be executed by the SAL tool.

Due to the increase of the market demand, Senseair needs to increase the throughput from 4,000 to 10,000 and to 100,000 in the future. The market is expanding greatly, which requires production line to be improved at a faster pace. To seize the opportunity, effective improvements need to be implemented. But the complexity of the production line makes it particularly difficult to predict the performance of the production line. Hence, computer simulation tool, Plant Simulation, is utilized to simulate the performance of the production line. Based on the collected data from the actual production system, a digital twin is built in Plant Simulation. Various experiments are conducted to examine how to increase the throughput in an effective and efficient manner. The result shows the possibilities to reach 10,000 throughput goal but the extreme difficulties to reach 100,000 throughput goal. Consequently, an automated assembly production line is designed based on the manual assembly production line. After tests, the automated production line is proved to be able to meet the higher demand. Improvement suggestions are provided to Senseair for both the current manual assembly production line and the new automated assembly production line.
På grund av den ökande efterfrågan på marknaden måste Senseair öka kapaciteten, först från 4 000 till 10 000 och därefter upp till 100 000. Marknaden expanderar kraftigt, vilket kräver att produktionslinan förbättras i snabbare takt. För att ta till vara möjligheten måste effektiva förbättringar genomföras. Komplexiteten i produktionslinan gör det dock särskilt svårt att förutsäga produktionslinans prestanda. Datorsimuleringsverktyget, Plant Simulation, används därför för att simulera produktionslinans prestanda. Baserat på insamlade data från det faktiska produktionssystemet byggdes en digital tvilling i Plant Simulation. Olika experiment genomfördes för att undersöka hur man kan öka genomströmningen på ett optimalt och effektivt sätt. Resultaten visar att det är möjligt att nå genomströmningsmålet på 10000 men att det är extremt svårt att nå genomströmningsmålet på 100 000. En automatiserad produktionslina baserad på den manuella monteringsproduktionslinan konstrueras därför. Efter tester har den automatiserade produktionslinan visat sig kunna möta den högre efterfrågan. Förslag på förbättringar presenteras för Senseair för både den aktuella manuella produktionslinan och den nya automatiska produktionslinan.

Scant research exists to illuminates the nature of organizational efforts, or support systems, designed to provide work teams with what is needed to be successful. The sample (N = 20) consists of experienced researchers and practitioners discussing work team implementations and the ongoing support needed for sustainability. The following seventeen team-based support systems were examined: (a) rewards and recognition, (b) team goal setting, (c) performance measurement, (d) performance appraisal, (e) team placement and structure, (f) communication and information systems, (g) culture, (h) training, (i) knowledge management, (j) business strategy, (k) leadership, (l) between teams integration, (m) resource distribution, (n) physical workspace, (o) program evaluation and renewal, (p) personnel selection system, and (q) work process design. This study uses a grounded theory approach to build a support system model and provide hypotheses for future research.

Data Science workflows have become a must to progress in many scientific areas such as life, health, and earth sciences. In contrast to traditional HPC workflows, they are more heterogeneous; combining binary executions, MPI simulations, multi-threaded applications, custom analysis (possibly written in Java, Python, C/C++ or R), and real-time processing. Furthermore, in the past, field experts were capable of programming and running small simulations. However, nowadays, simulations requiring hundreds or thousands of cores are widely used and, to this point, efficiently programming them becomes a challenge even for computer sciences. Thus, programming languages and models make a considerable effort to ease the programmability while maintaining acceptable performance. This thesis contributes to the adaptation of High-Performance frameworks to support the needs and challenges of Data Science workflows by extending COMPSs, a mature, general-purpose, task-based, distributed programming model. First, we enhance our prototype to orchestrate different frameworks inside a single programming model so that non-expert users can build complex workflows where some steps require highly optimised state of the art frameworks. This extension includes the @binary, @OmpSs, @MPI, @COMPSs, and @MultiNode annotations for both Java and Python workflows. Second, we integrate container technologies to enable developers to easily port, distribute, and scale their applications to distributed computing platforms. This combination provides a straightforward methodology to parallelise applications from sequential codes along with efficient image management and application deployment that ease the packaging and distribution of applications. We distinguish between static, HPC, and dynamic container management and provide representative use cases for each scenario using Docker, Singularity, and Mesos. Third, we design, implement and integrate AutoParallel, a Python module to automatically find an appropriate task-based parallelisation of affine loop nests and execute them in parallel in a distributed computing infrastructure. It is based on sequential programming and requires one single annotation (the @parallel Python decorator) so that anyone with intermediate-level programming skills can scale up an application to hundreds of cores. Finally, we propose a way to extend task-based management systems to support continuous input and output data to enable the combination of task-based workflows and dataflows (Hybrid Workflows) using one single programming model. Hence, developers can build complex Data Science workflows with different approaches depending on the requirements without the effort of combining several frameworks at the same time. Also, to illustrate the capabilities of Hybrid Workflows, we have built a Distributed Stream Library that can be easily integrated with existing task-based frameworks to provide support for dataflows. The library provides a homogeneous, generic, and simple representation of object and file streams in both Java and Python; enabling complex workflows to handle any data type without dealing directly with the streaming back-end.
Els fluxos de treball de Data Science s’han convertit en una necessitat per progressar en moltes àrees científiques com les ciències de la vida, la salut i la terra. A diferència dels fluxos de treball tradicionals per a la CAP, els fluxos de Data Science són més heterogenis; combinant l’execució de binaris, simulacions MPI, aplicacions multiprocés, anàlisi personalitzats (possiblement escrits en Java, Python, C / C ++ o R) i computacions en temps real. Mentre que en el passat els experts de cada camp eren capaços de programar i executar petites simulacions, avui dia, aquestes simulacions representen un repte fins i tot per als experts ja que requereixen centenars o milers de nuclis. Per aquesta raó, els llenguatges i models de programació actuals s’esforcen considerablement en incrementar la programabilitat mantenint un rendiment acceptable. Aquesta tesi contribueix a l’adaptació de models de programació per a la CAP per afrontar les necessitats i reptes dels fluxos de Data Science estenent COMPSs, un model de programació distribuïda madur, de propòsit general, i basat en tasques. En primer lloc, millorem el nostre prototip per orquestrar diferent programari per a que els usuaris no experts puguin crear fluxos complexos usant un únic model on alguns passos requereixin tecnologies altament optimitzades. Aquesta extensió inclou les anotacions de @binary, @OmpSs, @MPI, @COMPSs, i @MultiNode per a fluxos en Java i Python. En segon lloc, integrem tecnologies de contenidors per permetre als desenvolupadors portar, distribuir i escalar fàcilment les seves aplicacions en plataformes distribuïdes. A més d’una metodologia senzilla per a paral·lelitzar aplicacions a partir de codis seqüencials, aquesta combinació proporciona una gestió d’imatges i una implementació d’aplicacions eficients que faciliten l’empaquetat i la distribució d’aplicacions. Distingim entre la gestió de contenidors estàtica, CAP i dinàmica i proporcionem casos d’ús representatius per a cada escenari amb Docker, Singularity i Mesos. En tercer lloc, dissenyem, implementem i integrem AutoParallel, un mòdul de Python per determinar automàticament la paral·lelització basada en tasques de nius de bucles afins i executar-los en paral·lel en una infraestructura distribuïda. AutoParallel està basat en programació seqüencial, requereix una sola anotació (el decorador @parallel) i permet a un usuari intermig escalar una aplicació a centenars de nuclis. Finalment, proposem una forma d’estendre els sistemes basats en tasques per admetre dades d’entrada i sortida continus; permetent així la combinació de fluxos de treball i dades (Fluxos Híbrids) en un únic model. Conseqüentment, els desenvolupadors poden crear fluxos complexos seguint diferents patrons sense l’esforç de combinar diversos models al mateix temps. A més, per a il·lustrar les capacitats dels Fluxos Híbrids, hem creat una biblioteca (DistroStreamLib) que s’integra fàcilment amb els models basats en tasques per suportar fluxos de dades. La biblioteca proporciona una representació homogènia, genèrica i simple de seqüències contínues d’objectes i arxius en Java i Python; permetent gestionar qualsevol tipus de dades sense tractar directament amb el back-end de streaming.
Los flujos de trabajo de Data Science se han convertido en una necesidad para progresar en muchas áreas científicas como las ciencias de la vida, la salud y la tierra. A diferencia de los flujos de trabajo tradicionales para la CAP, los flujos de Data Science son más heterogéneos; combinando la ejecución de binarios, simulaciones MPI, aplicaciones multiproceso, análisis personalizados (posiblemente escritos en Java, Python, C/C++ o R) y computaciones en tiempo real. Mientras que en el pasado los expertos de cada campo eran capaces de programar y ejecutar pequeñas simulaciones, hoy en día, estas simulaciones representan un desafío incluso para los expertos ya que requieren cientos o miles de núcleos. Por esta razón, los lenguajes y modelos de programación actuales se esfuerzan considerablemente en incrementar la programabilidad manteniendo un rendimiento aceptable. Esta tesis contribuye a la adaptación de modelos de programación para la CAP para afrontar las necesidades y desafíos de los flujos de Data Science extendiendo COMPSs, un modelo de programación distribuida maduro, de propósito general, y basado en tareas. En primer lugar, mejoramos nuestro prototipo para orquestar diferentes software para que los usuarios no expertos puedan crear flujos complejos usando un único modelo donde algunos pasos requieran tecnologías altamente optimizadas. Esta extensión incluye las anotaciones de @binary, @OmpSs, @MPI, @COMPSs, y @MultiNode para flujos en Java y Python. En segundo lugar, integramos tecnologías de contenedores para permitir a los desarrolladores portar, distribuir y escalar fácilmente sus aplicaciones en plataformas distribuidas. Además de una metodología sencilla para paralelizar aplicaciones a partir de códigos secuenciales, esta combinación proporciona una gestión de imágenes y una implementación de aplicaciones eficientes que facilitan el empaquetado y la distribución de aplicaciones. Distinguimos entre gestión de contenedores estática, CAP y dinámica y proporcionamos casos de uso representativos para cada escenario con Docker, Singularity y Mesos. En tercer lugar, diseñamos, implementamos e integramos AutoParallel, un módulo de Python para determinar automáticamente la paralelización basada en tareas de nidos de bucles afines y ejecutarlos en paralelo en una infraestructura distribuida. AutoParallel está basado en programación secuencial, requiere una sola anotación (el decorador @parallel) y permite a un usuario intermedio escalar una aplicación a cientos de núcleos. Finalmente, proponemos una forma de extender los sistemas basados en tareas para admitir datos de entrada y salida continuos; permitiendo así la combinación de flujos de trabajo y datos (Flujos Híbridos) en un único modelo. Consecuentemente, los desarrolladores pueden crear flujos complejos siguiendo diferentes patrones sin el esfuerzo de combinar varios modelos al mismo tiempo. Además, para ilustrar las capacidades de los Flujos Híbridos, hemos creado una biblioteca (DistroStreamLib) que se integra fácilmente a los modelos basados en tareas para soportar flujos de datos. La biblioteca proporciona una representación homogénea, genérica y simple de secuencias continuas de objetos y archivos en Java y Python; permitiendo manejar cualquier tipo de datos sin tratar directamente con el back-end de streaming.

This body of research focuses on supporting problem-stakeholders, decision-makers and problem-solvers faced with an ill-defined and complex real world problem. An ill-defined problem has a characteristic trait of continual refinement. That is, the definition of the problem changes throughout the problem investigation and resolution process. The central theme of this research is that a support system should provide problem stakeholders with a problem definition model for constructing and manipulating a representation of the definition of the problem as they understand it. The approach adopted herein is to first develop a problem definition model for ill-defined problems— the 6-Component problem definition model. With this model, it is then possible to move on to identifying the types of changes or modifications to the problem definition that problem stakeholders, decision makers and problem solvers may wish to explore. Importantly, there must be a connection between the surface representation of the problem and the underlying implementation of the support system. This research argues that by focusing the support system around the problem definition, it is possible to reduce the mismatch between the problem objectives and the representation of the problem that the support system offers. This research uses the Unified Modelling Language to record and explore the requirements that problem stakeholders, faced with an evolving problem definition, place on a support system. The 6-Component problem definition model is then embedded within a design for an evolutionary support system. This embedding, supported by collaboration diagrams, shows how a system using the 6-Component problem definition model will support stakeholders in their exploration, evaluation and resolution of an ill-defined and complex real-world problem. A case study provides validation of the effectiveness of the 6-Component problem definition model proposed and developed in this work. The case study uses the 6-Component problem definition model as a basis for implementing the Integration Workbench, an evolutionary support system for land-use planning. Stakeholders explore, communicate, evaluate and resolve the Tasmanian Regional Forest Agreement problem with assistance from the Integration Workbench.

This thesis is concerned with the development of small scale contractors in developing countries. The global trend towards privatisation has led to an increasing interest in the use of the private sector for the construction of buildings and infrastructure. In developing countries large projects are typically undertaken by large foreign contractors however, there are few small scale contractors to undertake small construction projects or maintenance work. The first stage of the study investigated three issues pertinent to the small scale contracting sector: 1. The problems experienced by small scale contractors and the inter-relationship of these problems 2. Contractor development projects to identify their support mechanisms and assess their level of success 3. A review of the construction industry framework in developed and developing countries to highlight the problems caused by their different structures. The second stage of the study proposes the use of a Contractor Support Agency as the most appropriate support mechanism for the development of the indigenous contracting sector and outlines the roles and activities that should be undertaken by the agency. The Contractor Support Agency model is reviewed by experts in the sector and the analysis of the results presented in the thesis. The thesis concludes that the proposed model is broadly correct and discusses small modifications that can be made to enhance its suitability in a range of different situations.

Thesis (M.B.A.)--Massachusetts Institute of Technology, Sloan School of Management; and, (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering; in conjunction with the Leaders for Manufacturing Program at MIT, 2008.
Includes bibliographical references (p. 103-109).
Over the last decade, the U.S. aircraft industry has experienced increasing levels of international integration as companies seek to access global talent and resources, cut production costs, spread financial risk, and secure access to airplane markets throughout the world. In an increasingly complex environment, decision makers seek an effective framework to evaluate the true benefits, costs and risks of sourcing alternatives-both relating to the short-term effects of selecting particular suppliers or groups of suppliers, as well as the long-term effects of redrawing their firm boundary and developing a more vertically disintegrated supply chain. This thesis is an examination of strategic sourcing decision practices at Boeing Commercial Airplanes, based on a six-month internship study with the Future Airplane Production group in Seattle, Washington. In this thesis we will discuss the application of strategic analysis, lean operational analysis, managerial accounting, and Failure Mode and Effects Analysis (FMEA) to improve existing sourcing analysis practices. An integrated decision support model is introduced to represent key sourcing decision factors, their relative importance, and the expected benefits, costs and risks to stakeholders related to each factor (comparing two sourcing alternatives). Using a weighted average, the model expressly indicates the relative value of each alternative. The model is applied to two case studies involving local insourcing and offshore outsourcing, respectively. This study demonstrates the need for incorporating explicit valuation of 'softer' strategic, operational and risk components along with the 'hard' financial analysis when making sourcing decisions.
by Victor A. Mroczkowski.
S.M.
M.B.A.

As more schools turn to School-Wide Positive Behavior Supports (SWPBS) for help with academic and problem behaviors in their schools, the need to adequately evaluate these programs on a socially relevant level increases. The present study employs social validation measures to evaluate Utah's Academic, Behavioral & Coaching Initiative (ABC-UBI), a Positive Behavior Support (PBS) initiative, on socially relevant issues. Participants from across the state of Utah who were active consumers of ABC-UBI's program, were polled for their opinion on the acceptability of the treatment goals, procedures and outcomes of the program. The results outlined several areas of much needed improvement including, but not limited to the amount of paperwork required for successful implementation and the usability of program procedures. Social validity continues to be an important construct to consider when evaluating programs for social relevancy.

The earliest stage of software development almost always involves converting requirements descriptions written in natural language (NLRs) into initial conceptual models, represented by some formal notation. This stage is time-consuming and demanding, as initial models are often constructed manually, requiring human modellers to have appropriate modelling knowledge and skills. Furthermore, this stage is critical, as errors made in initial models are costly to correct if left undetected until the later stages. Consequently, the need for automated tool support is desirable at this stage. There are many approaches that support the modelling process in the early stages of software development. The majority of approaches employ linguistic-driven analysis to extract essential information from input NLRs in order to create different types of conceptual models. However, the main difficulty to overcome is the ambiguous and incomplete nature of NLRs. Semantic-driven approaches have the potential to address the difficulties of NLRs, however, the current state of the art methods have not been designed to address the incomplete nature of NLRs. This thesis presents a semantic-driven automatic model construction approach which addresses the limitations of current semantic-driven NLR transformation approaches. Central to this approach is a set of primitive conceptual patterns called Semantic Object Models (SOMs), which superimpose a layer of semantics and structure on top of NLRs. These patterns serve as intermediate models to bridge the gap between NLRs and their initial conceptual models. The proposed approach first translates a given NLR into a set of individual SOM instances (SOMi) and then composes them into a knowledge representation network called Semantic Object Network (SON). The proposed approach is embodied in a software tool called TRAM. The validation results show that the proposed semantic-driven approach aids users in creating improved conceptual models. Moreover, practical evaluation of TRAM indicates that the proposed approach performs better than its peers and has the potential for use in real world software development.

Aquesta tesi presenta un marc per als models oberts de suport a les decisions en les organitzacions. El treball es vehicula a través d’un compendi d’articles on s’analitzen els fluxos d’entrada i de sortida de coneixement en les organitzacions, així como les tecnologies existents de suport a les decisions. Es presenten els factors subjacents que impulsen nous models per a formes obertes de suport a la decisió. La tesis presenta un estudi de les distintes tipologies de models de suport a les decisions tenint en compte diferents tipus d’organitzacions. En el primer estudi, paper#, es presenta l’evolució de les tecnologies de suport a les decisions i l’avançament de les noves tecnologies per als models oberts. Aquest estudi proporciona una visió des d’una perspectiva evolutiva de la relació entre el coneixement expert i la seva utilització en les tecnologies de suport a les decisions. La investigació revela l’entorn canviant que la tecnologia ofereix a l’hora de adquirir coneixement per a la presa de decisions i obre horitzons sobre el nou paper que els experts tenen en aquests entorns. Es suggereix que un canvi significatiu en la presa de decisions es basa en el desafiament entre el paper tradicional dels experts i no experts. Per últim, aquest treball explora les oportunitats d’integració de la intel•ligència artificial en la tecnologia de suport a les decisions i quins beneficis addicionals poden aportar les eines d’ intel•ligència col•lectiva en la presa de decisions. El segon estudi, paper#2, investiga sobre la tipologia anomenada "agregada" dins del marc d’entorns oberts per al suport a la presa de decisions. S’utilitza un problema de predicció com a fil conductor per a posar en relleu la complexitat de la previsió de la demanda dins de la industria del cinema. S’analitza com es pot utilitzar la tecnologia per a millorar l’eficàcia en les decisions. La investigació compara dues tecnologies de suport a les decisions: sistemes experts i eines d’intel•ligència col•lectiva, i il•lustra com l’industria del cinema utilitza cada una d’aquestes tecnologies en la previsió dels ingressos de taquilla. Per últim, aquest article explora els beneficis de l’ integració d’aquestes tecnologies de suport per a l’obtenció de prediccions més precises. El tercer estudi, article#3, presenta un estudi longitudinal durant un període de 10 anys que utilitza IBM “Innovation Jams” como un context per a la col•laboració a gran escala dins de la tipologia anomenada "plataforma". Aquest article investiga el paper de les “Innovation Jams”, en el canvi organitzacional i com IBM es compromet amb un nou model d’innovació en les organitzacions. En ell es descriuen les “Innovation Jams”, que han impulsat la innovació i consolidat la pràctica de la innovació oberta en IBM. En aquest article s’utilitza el gènere musical d’una "jamband" com una metàfora per a descriure el desenvolupament emergent i l’ús de les “Innovation Jams”, com una manera d’entendre el canvi organitzatiu. Aquest estudi longitudinal ofereix una visió actualitzada de la recerca en “Innovation Jams”, mostrant com han evolucionat des d’un concepte, a una eina de gestió i finalment a un servei. L’article conclou amb una discussió sobre les implicacions dels resultats i com aquests permeten teoritzar sobre nous models d’ innovació i el canvi en les organitzacions. La recerca duta a terme en aquesta tesi ofereix un marc per als models oberts de suport a la decisió, i suggereix que, les fonts internes i externes de coneixement poden ser utilitzades, més enllà de la innovació del producte o serveis, per a la presa de decisions amb el suport de tecnologies emergents. Les contribucions teòriques d’aquesta tesi sostenen que les organitzacions ja no poden confiar en la tecnologia de suport a les decisions que únicament es centren en la reducció de la frontera entre els aspectes racionals i no racionals de la conducta social humana, sinó que pel contrari, han de considerar la xarxa dinàmica de la organització per al suport a la decisió. D’altra banda, les implicacions pràctiques d’aquesta tesi animen les organitzacions a pensar estratègicament sobre com les tecnologies emergents poden ajudar en la presa de decisions i també com els models de decisió resultants poden ser utilitzats per a navegar per l’entorn complex existent, i, a la vegada, forjar vincles més forts amb els clients, proveïdors i la xarxa de l’organització.
Esta tesis presenta un marco para modelos abiertos de soporte a las decisiones en las organizaciones. El trabajo se vehicula a través de un compendio de artículos dónde se analizan los flujos de entrada y salida de conocimiento en las organizaciones, así como las tecnologías existentes de soporte a las decisiones. Se presentan los factores subyacentes que impulsan nuevos modelos para formas abiertas de soporte a la decisión. La tesis presenta un estudio de las distintas tipologías de modelos de soporte a las decisiones teniendo en cuenta distintos tipos de organizaciones. En el primer estudio paper#1 se presenta la evolución de las tecnologías de apoyo a las decisiones y el avance de las nuevas tecnologías para los modelos abiertos. Este estudio proporciona una visión desde una perspectiva evolutiva de la relación entre conocimiento experto y su utilización en las tecnologías de soporte a las decisiones. La investigación revela el entorno cambiante que la tecnología ofrece a la hora de adquirir conocimiento para la toma de decisiones y abre horizontes sobre el nuevo papel que los expertos tienen en estos entornos. Se sugiere que un cambio significativo en la toma de decisiones se basa en el desafío entre el papel tradicional de los expertos y no expertos. Por último, este trabajo explora las oportunidades de integración de la inteligencia artificial en la tecnología de soporte de decisiones y que beneficios adicionales pueden aportar las herramientas de inteligencia colectiva en la toma de decisiones. El segundo estudio, paper#2, investiga sobre la tipología llamada "agregada" dentro del marco de entornos abiertos para el soporte a la toma de decisiones. Se utiliza un problema de predicción como hilo conductor para poner en relieve la complejidad de la previsión de la demanda dentro de la industria del cine. Se analiza cómo se puede utilizar la tecnología para mejorar la eficacia en las decisiones. La investigación compara dos tecnologías de soporte a las decisiones: sistemas expertos y herramientas de inteligencia colectiva, e ilustra cómo la industria del cine utiliza cada una de estas tecnologías en la previsión de los ingresos de taquilla. Por último, este artículo explora los beneficios de la integración de estas tecnologías de apoyo para la obtención de predicciones más precisas. El tercer estudio, artículo #3, presenta un estudio longitudinal durante un período de 10 años que utiliza IBM “Innovation Jams”, como un contexto para la colaboración a gran escala dentro de la tipología llamada "plataforma". Este artículo investiga el papel de las “Innovation Jams”, en el cambio organizacional y como IBM se compromete con un nuevo modelo de innovación de la organización. En él se describen las “Innovation Jams”, que han impulsado la innovación y consolidado la práctica de la innovación abierta en IBM. En este artículo se utiliza el género musical de una "jamband" como una metáfora para describir el desarrollo emergente y el uso de las “Innovation Jams”, como una manera de entender el cambio organizativo. Este estudio longitudinal ofrece una visión actualizada de la investigación en “Innovation Jams”, mostrando cómo han evolucionado desde un concepto, a una herramienta de gestión y finalmente a un servicio. El artículo concluye con una discusión sobre las implicaciones de los resultados y como ellos permiten teorizar sobre nuevos modelos de innovación y el cambio en las organizaciones. La investigación llevada a cabo en esta tesis ofrece un marco para los modelos abiertos de apoyo a la decisión, y sugiere que el uso de fuentes internas y externas de conocimiento pueden ser utilizadas más allá de la innovación del producto o servicio para la toma de decisiones con el soporte de tecnologías emergentes. Las contribuciones teóricas de esta tesis sostienen que las organizaciones ya no pueden confiar en la tecnología de apoyo a las decisiones que únicamente se centran en la reducción de la frontera entre los aspectos racionales y no racionales de la conducta social humana, sino por el contrario, deben considerar la red dinámica de la organización para el apoyo a la decisión. Por otra parte, las implicaciones prácticas de esta tesis alienta a las organizaciones a pensar estratégicamente acerca de cómo las tecnologías emergentes pueden ayudar a la toma de decisiones y también cómo los modelos de decisión resultantes pueden ser utilizados para navegar por el entorno complejo existente y, a su vez, forjar vínculos más fuertes con los clientes, proveedores y más amplios de la red de la organización.
This thesis presents a framework for open models of decision support through a compendium of papers that links research on the inward and outward flows of knowledge to the organization and decision support technologies. The framework presents underlying factors driving new and more open models of decision support. A typology of decision support models is offered considering types of problems organizations and managers charged with decision-making face. Thesis essay #1 suggests a perspective of the changing landscape for decision support technology and the advancement of new technology for open models of decision support. This study provides insight from an evolutionary perspective of expertise that has shaped the field of decision support technologies. The investigation sets out to reveal the changing landscape of expertise in supporting decision-making using technology and sheds light on the new role that experts will play in organizational decision-making. It suggests that a significant change in how decision-making is being supported which challenge the traditional role of experts and non-experts. Finally, this paper explores opportunities for decision support technology integration and the added benefits artificial intelligence can bring to collective intelligence tools. Thesis essay #2 investigates the ‘aggregate’ typology within the open model decision support framework. A forecasting problem is used to highlight the complexity of demand forecasting in supply-chain management within the film industry and how technology is leveraged for effective supply-chain management decisions. The investigation compares two decision support technologies: expert systems and collective intelligence tools and illustrates how the film industry uses each in forecasting box-office revenue. Finally, this essay explores the combined benefits in integrating each support technology for more accurate forecasting. Thesis essay #3 is a longitudinal study over a 10 year period that uses IBM Innovation Jams as a context for large-scale collaboration within the ‘platform’ typology. This essay investigates the role of innovation jams on organizational change as IBM learned to engage with a new model of organizing innovation. It describes the role innovation jams have played in shaping the practice of open innovation at IBM. This essay uses the musical genre of a “jamband” as a metaphor to describe the emergent development and use of innovation jams as a way to understand organizational change. This longitudinal study brings innovation jam research up-to-date and presents innovation jams as they evolved from a concept, a management tool, and service. The essay concludes with a discussion on the implications of the findings for theorizing about new models of organizing innovation for organizational change. Research conducted in this thesis offers a framework of open models of decision support that suggests that the use of internal and external sources of knowledge can be leveraged beyond product or service innovation, to include decision-making supported by emerging technology. Theoretical contributions of this thesis argues that organizations can no longer rely on decision support technology that solely focus on bridging the boundary between rational and non-rational aspects of human social behavior but instead, must consider the larger dynamic organizational network for decision support. Moreover, practical implications of this thesis encourages organizations to think strategically about how emerging technology can support decision making and the resulting decision support models to navigate the complex environment they work in and in turn, to forge stronger links with customers, suppliers, and the wider organizational network.

Thesis (M.S. in Information Technology Management) Naval Postgraduate School, September 1995.
Thesis advisor(s): H. Bhargava,R.K. Wood. "September 1995." Bibliography: p. 43. Also available online.

ModelicaML is a UML/Modelica profile to support model-driven development of combined software/hardware UML/Modelica models. In order to support the development and maintenance of large ModelicaML models this thesis work has developed advanced enhancements to the ModelicaML profile, to enable users to more conveniently edit textual parts, i.e., action code, of ModelicaML models. This approach covers many of the concepts present in advanced language editors, i.e., code completion, error markers, as well as indentation and code template user support for developing and maintaining complex models. In large and complex models it is hard to remember all the parameters and values given in textual parts of UML diagrams. It is also very difficult to remember the complete set of components of a ModelicaML model. The ModelicaML enhancements developed in this work now supports features to facilitate advanced usage by showing all the components in just one key press. Two levels of Error Marker support have been developed to help user to find errors anywhere in a model without knowing the details. Moreover, ModelicaML has been extended with features like Modelica syntax highlighting and code completion. Furthermore, this work included upgrading and porting ModelicaML to run on the new Papyrus [13] on the new Eclipse versions. For example, by using the new features introduced in ModelicaML in this work the users do not have to remember all the variables from used base classes and derived classes.

Thesis (Ph. D.)--University of Oregon, 2006.
Typescript. Includes vita and abstract. Includes bibliographical references (leaves 191-198). Also available for download via the World Wide Web; free to University of Oregon users.

PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
O outsourcing vem crescendo como uma modalidade de negócios no Brasil ao longo da última década. Inicialmente concentrado nas funções de tecnologia da informação, logo se expandiu para a indústria de telecomunicações, após a privatização das operadoras de telefonia em 1998. No entanto, apesar dos grandes negócios realizados nos últimos 4 anos, e de sua implementação continuar sendo considerada complexa e de alto risco, há indicadores que apontam para uma forte tendência de crescimento desta prática no país ao longo dos próximos anos. A inserção do outsourcing num contexto estratégico, tratando- o como uma espécie de aliança estratégica, buscaria obter, então, não só melhores resultados referentes à sua implementação, mas também a construção de vantagens competitivas sustentáveis para ambas as partes envolvidas. O objetivo principal desta tese foi o de desenvolver um arcabouço analítico que pudesse auxiliar na implementação eficaz do outsourcing de funções críticas pelas empresas atuantes no país. Para tanto, iniciou-se a pesquisa por meio do desenvolvimento de sua fundamentação teórica, a qual buscou endereçar a conceituação do outsourcing, as implicações decorrentes de sua implementação e a sua categorização como um tipo de aliança estratégia. Depois de apresentada a fundamentação teórica, foi criada uma proposta de tipologia para o outsourcing, que, juntamente com os métodos selecionados para a pesquisa, serviu de base para a realização das fases subseqüentes da tese. Por fim, foi proposto um arcabouço, estruturado na forma de passos, para auxiliar a implementação do outsourcing de funções críticas, inserindo-o num contexto estratégico de forma a possibilitar a busca por vantagens competitivas sustentáveis. Novamente um novo estudo de caso foi apresentado, desta vez com o propósito de avaliar, preliminarmente, a possibilidade de utilização do arcabouço em um caso real de outsourcing dentro de um contexto estratégico. Os resultados obtidos por esta avaliação, e sustentados pelas atividades realizadas anteriormente, permitiram a contribuição desta tese tanto no campo acadêmico quanto na prática gerencial, tratando primeiramente o outsourcing como um meio para a formação de alianças estratégicas e fornecendo, para a prática gerencial, um arcabouço para orientar sua implementação de forma a se obter melhores resultados e a se buscar desenvolver vantagens competitivas sustentáveis.
Outsourcing has been growing as a mode of business in Brazil over the past decade. Initially concentrated in information technology functions, it soon expanded to the telecommunications industry following the privatization of telephony operators in 1998. However, in spite of the major business that have been closed over the past 4 years, and the fact that their implementation continues to be considered a complex, high-risk operation, there are indicators pointing to a strong trend towards growth in this activity over the next few years in Brazil. The insertion of outsourcing in a strategic context in which it is treated as a kind of strategic alliance would therefore seek not only better results concerning its implementation, but also the construction of sustainable competitive edges for both of the parties concerned.The main purposes of this thesis was to develop an analytical framework that can help companies operating in Brazil effectively outsource critical functions. Therefore, the research started from the development of its theoretical basis, which sought to address the definition of the outsourcing concept, the implications of its implementation, and its categorization as a kind of strategic alliance. Upon introduction of the theoretical basis, an outsourcing typology was proposed which, together with the selected research methods, served as a basis for the subsequent stages of the thesis.In conclusion, a framework was proposed in a step-by-step structure to assist in the outsourcing of critical functions, inserting it into a strategic context so as to allow sustainable competitive edges to be sought. A new study case was presented, this time for the purpose to preliminarily evaluate the possibility of using the framework in an actual outsourcing case within a strategic context. The results obtained from this evolution and supported by the activities that were previously conducted allowed this thesis to contribute to both the academic area and the managerial practice, treating outsourcing firstly as a means to form strategic alliances, and providing the managerial practice with a framework to guide its implementation in such a manner as to get better results and seek to develop sustainable competitive edges.

Thesis (M. Arch.)--Massachusetts Institute of Technology, Dept. of Architecture, 1988.
Includes bibliographical references (leaves 127-129).
In the 1980's corporate real estate has assumed a more active role in the strategic planning of American corporations. However, the tools to accurately evaluate the performance of corporate real property portfolios are still at a very rudimentary stage in their development. This thesis concentrates on the space inventory system of a large corporation and presents a model for determining fair comparisons between buildings across the portfolio. A technique is devised for identifying "outliers", that is, buildings whose performance is significantly different from other buildings of the same type. This technique shows how to classify buildings into groups, so that building class standards can be determined and trends identified. Artificial Intelligence tools such as decision-support systems can be helpful to encode the expertise for evaluating buildings' performance levels. Through the design of two working demos the thesis illustrates how that is possible, and points towards future alternatives. The author spent an academic semester as a consultant/ intern in the real estate division of a multinational corporation. For anonymity purposes, the corporation is called the Star Corporation. The Star Corp. provided the data used in the research, as well as the supervision and training in their in-house systems operation.
by Andres E. Schcolnik.
M.Arch.

Withdrawing a loved one from life support, or life-prolonging treatments, can be devastating, and it occurs with increasing frequency in our modern day hospitals. Families face difficult decisions that will ultimately end up in the demise of the patient. Guidance or assistance of any type that can make this complicated time easier, even if in the smallest way, can result in better outcomes. Identifying an ethical decision making model, and using it with consistency, is a noble and necessary objective. The purpose of this project was to review the literature related to cultural beliefs surrounding death, end-of-life decision making, and the models used in that process. The personal story of a family who faced the decision to withdraw life support of family member, and the decision making process inherent in that journey is also presented. This family's experience is considered within current context of decision making models in the literature. These decision making models are analyzed and provide the basis for the author's proposed model for future use in making decisions about withdrawing life support.

Learning by collaboratively writing scientific hyperbooks requires specific software tools. We present a model for creating, managing, and viewing hyperbooks. This model is comprised of a re-usable document repository (fragments repository), connected to a domain ontology. The model takes into account the notion of point of view, allowing a user to read the hyperbook according to a specific reading objective or to his or her profile. The model also includes an interface specification language for the creating different hypertext views of the hyperbook contents. The hyperbook model we propose is an example of virtual document model because the hyperdocuments the reader/writer actually sees are not stored but generated by assembling stored fragments according to an interface specification A purely declarative language allows the definition of the views that make up the interface of the hyperbook. We also present the architecture of a hyperbook management system which is based on a database management system and a hypertext view generation system for databases.

This work is motivated by the need of providing patients with a decision support system that facilitates the selection of the most appropriate treatment strategy in cancer treatment. Treatment options are currently subject to predetermined clinical pathways and medical expertise, but generally, do not consider the individual patient characteristics or preferences. Although genomic patient data are available, this information is rarely used in the clinical setting for real-life patient care. In the area of personalized medicine, the advancement in the fundamental understanding of cancer biology and clinical oncology can promote the prevention, detection, and treatment of cancer diseases. The objectives of this research are twofold. 1) To develop a patient-centered decision support model that can determine the most appropriate cancer treatment strategy based on subjective medical decision criteria, and patient's characteristics concerning the treatment options available and desired clinical outcomes; and 2) to develop a methodology to organize and analyze gene expression data and validate its accuracy as a predictive model for patient's response to radiation therapy (tumor radiosensitivity). The complexity and dimensionality of the data generated from gene expression microarrays requires advanced computational approaches. The microarray gene expression data processing and prediction model is built in four steps: response variable transformation to emphasize the lower and upper extremes (related to Radiosensitive and Radioresistant cell lines); dimensionality reduction to select candidate gene expression probesets; model development using a Random Forest algorithm; and validation of the model in two clinical cohorts for colorectal and esophagus cancer patients. Subjective human decision-making plays a significant role in defining the treatment strategy. Thus, the decision model developed in this research uses language and mechanisms suitable for human interpretation and understanding through fuzzy sets and degree of membership. This treatment selection strategy is modeled using a fuzzy logic framework to account for the subjectivity associated to the medical strategy and the patient's characteristics and preferences. The decision model considers criteria associated to survival rate, adverse events and efficacy (measured by radiosensitivity) for treatment recommendation. Finally, a sensitive analysis evaluates the impact of introducing radiosensitivity in the decision-making process. The intellectual merit of this research stems from the fact that it advances the science of decision-making by integrating concepts from the fields of artificial intelligence, medicine, biology and biostatistics to develop a decision aid approach that considers conflictive objectives and has a high practical value. The model focuses on criteria relevant to cancer treatment selection but it can be modified and extended to other scenarios beyond the healthcare environment.

An innovative theoretical model to quantify the risk of differential sticking is presented. The proposed risk assessment is based on the concept of likelihood versus consequence. The likelihood of the problem’s occurrence in a given wellbore segment (case) is evaluated from a knowledge-based model and translated by a similarity measure of relevant operational conditions between the target case and historical cases with known outcomes. The stand alone module performed satisfactorily and predicts the likelihood of occurrence by more than a chance probability, demonstrated by a rate of sixty eight percent (68%) correct predictions against field data from forty four wells drilled by different operators in several fields.The consequence assessment is performed through an unidimensional mechanistic model that predicts the downhole overpull (differential sticking force) and performed well while estimating reported overpulls from known field instances of the problem. Together, the models serve as a risk assessment tool able to correctly describe risk operational trends while designing or drilling wells, with critical situations being defined as high likelihood plus high potential overpulls. Both models utilizes unique experimental data about mechanical properties of drilling fluids filtercakes (hardness, torque resistance and adhesion-cohesion strength) under simulated downhole conditions, raised through the HTHP Mudcake Characterization Equipment developed during the course of this research work. Moreover, the study contributes towards the development of modern predictive models aiming at combining large amount of available operational drilling data (LWD, PWD, mudlogging, survey, drilling reports, etc), expert’s knowledge, laboratory data and phenomenological models in order to optimize drilling operations.

A computer program and an associated instruction manual were developed to fill a need for a useful learning tool for the study of transmission network power-flow programming techniques. Past programs were found to use techniques that did not give the student "hands-on" programming lessons, but instead gave them practice at using "pull-down menu" type of programming experience. The PFLOW program written is intended to be used "hands-on" with a complete instruction manual included to help the student use the program successfully and study the complete analysis technique. This includes network modelling, structure of input data, understanding program software, and correct meaning of outputs based on the complete knowledge of program solution methods. Sample input and outputs are also included to help get the student started, and to demonstrate the use of the PFLOW program. This program should prove beneficial to those with a general background in power transmission systems analysis.

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Informática.
Traceability is becoming a necessary quality of any modern software system. The complexity in modern systems is such that, if we cannot rely on good techniques and tools it becomes an unsustainable burden, where software artifacts can hardly be linked to their initial requirements. Modern software systems are composed by a many artifacts (models, code, etc.). Any change in one of them may have repercussions on many components. The assessment of this impact usually comes at a high cost and is highly error-prone. This complexity inherent to software development increases when it comes to Software Product Line Engineering. Traceability aims to respond to this challenge, by linking all the software artifacts that are used, in order to reason about how they influence each others. We propose to specify, design and implement an extensible Traceability Framework that will allow developers to provide traceability for a product line, or the possibility to extend it for other development scenarios. This MSc thesis work is to develop an extensible framework, using Model-Driven techniques and technologies, to provide traceability support for product lines. We also wish to provide basic and advanced traceability queries, and traceability views designed for the needs of each user.

The purpose of greenhouse crop systems is to generate a high quality product at high production rates, consistently, economically, efficiently and in a sustainable way. To achieve this level of productivity, accurate monitoring and control of some processes of the entire biophysical system must be implemented. In addition, the proper selection of actions at the strategic, tactical and operational management levels must be implemented.Greenhouse management relies largely on human expertise to adjust the appropriate optimum values for each of the production and environmental parameters, and most importantly, to verify by observation the desired crop responses. The subjective nature of observing the plant responses, directly affects the decision-making process (DMP) for selecting these `optimums'. Therefore, in this study several decision support systems (DSS) were developed to enhance the DMP at each of the greenhouse managerial levels.A dynamic greenhouse environment model was implemented in a Web-based interactive application which allowed for the selection of the greenhouse design, weather conditions, and operational strategies. The model produced realistic approximations of the dynamic behavior of greenhouse environments for 28-hour simulation periods and proved to be a valuable tool at the strategic and operational level by evaluating different design configurations and control strategies.A Web-based crop monitoring system was developed for enhancing remote diagnosis. This DSS automatically gathered and presented graphically environmental data and crop-oriented parameters from several research greenhouses. Furthermore, it allowed for real-time visual inspection of the crop.An intelligent DSS (i-DSS) based on crop records and greenhouse environment data from experimental trials and from commercial operations was developed to characterize the growth-mode of tomato plants with fuzzy modeling. This i-DSS allowed the discrimination of "reproductive", "vegetative" and "balanced" growth-modes in the experimental systems, and the seasonal growth-mode variation on the commercial application.An i-DSS based on commercial operation data was developed to predict the weekly fluctuations of harvest rates, fruit size and fruit developing time with dynamic neural networks (NN). The NN models accurately predicted weekly and seasonal fluctuations of each variable, having correlation coefficients (R) of 0.96, 0.87 and 0.94 respectively, when compared with a dataset used for independent validation.

This thesis provides high level support for Performance Engineering in software architecture design via two research projects - Argo/MTE and MaramaMTE+. The Argo/MTE project extends the well established ArgoUML tool to support software architecture modelling and performance evaluation. The Argo/MTE research shows how commonly used Components Off The Shelf (COTS) tools can improve the usability and maintainability of an in-house technology, and how the use of standard model representations can improve tool integration. The MaramaMTE+ research integrates the traditional software architecture modelling with the web user behaviour modelling using the Marama meta-tool. The MaramaMTE+ research shows how model integration can extend the applicable domain of a software model; how a meta-tool can support efficient tool extension; and how to support automatic generation of web load testing plans. This thesis provides high level support for Model Integration and Transformation via the research project MaramaCRelation. The MaramaCRelation research provides a structured approach to interconnect domain-specific models. It maintains the rational of an interconnection of domain-specific models; records semantics maintained and lost across the interconnected models; tracks the evolvement of modeling elements through the traceability across the interconnected models; and maintains behavior synchronization across the interconnected models. The thesis has made contributions in software architecture design, software architecture performance evaluation, web load testing, and model integration and transformation. More specifically, the research of the thesis is aimed for improving the automatic support, analysis and design support, and systematic and structured support for Performance Engineering and Model Driven Engineering.
Whole document restricted until September 2012, but available by request, use the feedback form to request access.

Providing automated support for model selection is a significant research challenge in model management. Organizations maintain vast growing repositories of analytical models, typically in the form of spreadsheets. Effective reuse of these models could result in significant cost savings and improvements in productivity. However, in practice, model reuse is severely limited by two main challenges: (1) lack of relevant information about the models maintained in the repository, and (2) lack of end user knowledge that prevents them from selecting appropriate models for a given problem solving task. This study built on the existing model management literature to address these research challenges. First, this research captured the relevant meta-information about the models. Next, it identified the features based on which models are selected. Finally, it used Analytic Hierarchy Process (AHP) to select the most appropriate model for any specified problem. AHP is an established method for multi-criteria decision-making that is suitable for the model selection task. To evaluate the proposed method for automated model selection, this study developed a simulated prototype system that implemented this method and tested it in two realistic end-user model selection scenarios based on previously benchmarked test problems.

Dissertation (Ph.D.)--Worcester Polytechnic Institute.
Keywords: supported catalyst; spin coating; atomic layer deposition; carbon nanotubes; model catalyst; ferrocene; thin film coating. Includes bibliographical references. (p.256-258)

Thesis (M.S. in Operations Research)--Naval Postgraduate School, June 2009.
Thesis Advisor(s): Lucas, Thomas W. "June 2009." Description based on title screen as viewed on July 10, 2009. DTIC Identifiers: Social modeling, peace support operations model, design of experiment, PMESII models, irregular warfare models. Author(s) subject terms: PSOM, Design of Experiment, PMESII Models, Social Modeling, Peace Support Operations Model, Irregular Warfare Models, Simulation. Includes bibliographical references (p. 129-131). Also available in print.

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science
Nowadays, organizations are required to be part of a global collaborative world. Sometimes this is the only way they can access new and wider markets, reaching new opportunities, skills and sharing assets, e.g. tools, lessons learnt. However, due to the different sources of enterprise models and semantics, organizations are experiencing difficulties in exchanging vital information via electronic and in a seamlessly way. To solve this issue, most of them try to attain interoperability by establishing peer-to-peer mappings with different business partners, or in optimized networks using neutral data standards to regulate communications. Moreover, the systems are more and more dynamic, changing frequently to answer new customer’s requirements, causing new interoperability problems and a reduction of efficiency. This dissertation proposes a multi-agent system to monitor existing enterprise systems, by being capable of detecting morphism changes. With this, network harmonization breakings are timely detected, and possible solutions are suggested to regain the interoperable status, thus enhancing robustness for reaching sustainability of business networks.

Observations in the information technology (IT) support environment and generalizations from the literature regarding problem resolution behavior indicate that computer support staff seldom store reusable solution information effectively for IT problems. A comprehensive model of the processes encompassing problem arrival and assessment, expertise selection, problem resolution, and solution recording has not been available to facilitate research in this domain. This investigation employed the findings from a qualitative pilot study of IT support staff information behaviors to develop and explicate a detailed model of problem trajectory. Based on a model from clinical studies, this model encompassed a trajectory scheme that included the communication media, characteristics of the problem, decision points in the problem resolution process, and knowledge creation in the form of solution storage. The research design included the administration of an extensive scenario-based online survey to a purposive sample of IT support staff at a medium-sized state-supported university, with additional respondents from online communities of IT support managers and call-tracking software developers. The investigator analyzed 109 completed surveys and conducted email interviews of a stratified nonrandom sample of survey respondents to evaluate the suitability of the model. The investigation employed mixed methods including descriptive statistics, effects size analysis, and content analysis to interpret the results and verify the sufficiency of the problem trajectory model. The study found that expertise selection relied on the factors of credibility, responsibility, and responsiveness. Respondents referred severe new problems for resolution and recorded formal solutions more often than other types of problems, whereas they retained moderate recurring problems for resolution and seldom recorded those solutions. Work experience above and below the 5-year mark affected decisions to retain, refer, or defer problems, as well as solution storage and broadcasting behaviors. The veracity of the problem trajectory model was verified and it was found to be an appropriate tool and explanatory device for research in the IT domain.

Realistic predictions of service life of steel catenary risers (SCR) require an accurate characterization of seafloor stiffness in the region where the riser contacts the seafloor, the so-called touchdown zone. This thesis presents the initial stage of development of a simplified seafloor support model. This model simulates the seafloor-pipe interaction as a flexible pipe supported on a bed of springs. Constants for the soil springs were derived from finite element studies performed in a separate, parallel investigation. These supports are comprised of elasto-plastic springs with spring constants being a function of soil stiffness and strength, and the geometry of the trench within the touchdown zone. Deflections and bending stresses in the pipe are computed based on a finite element method and a finite difference formulation developed in this research project. The finite difference algorithm has capabilities for analyzing linear springs, non-linear springs, and springs having a tension cut-off. The latter feature simulates the effect of a pipe pulling out of contact with the soil. The model is used to perform parametric studies to assess the effects of soil stiffness, soil strength, trench geometry, amplitude of pipe displacements, pipe stiffness, and length of touchdown zone on pipe deflections and bending stresses. In conclusions, the seafloor stiffness (as characterized by the three spring parameters), the magnitude of pipe displacement, and the length of the touchdown zone all influence bending stresses in the pipe. Also, the tension cutoff effect, i.e., the pipe pulling away from the soil, can have a very large effect on bending stresses in the pipe. Neglecting this effect can lead to serious over-estimate of stress levels and excessive conservatism in design.

Dr Math is a math tutoring service implemented on the chat application Mxit. The service allows school learners to use their mobile phones to discuss mathematicsrelated topics with human tutors. Using the broad user-base provided by Mxit, the Dr Math service has grown to consist of tens of thousands of registered school learners. The tutors on the service are all volunteers and the learners far outnumber the available tutors at any given time. School learners on the service use a shorthand language-form called microtext, to phrase their queries. Microtext is an informal form of language which consists of a variety of misspellings and symbolic representations, which emerge spontaneously as a result of the idiosyncrasies of a learner. The specific form of microtext found on the Dr Math service contains mathematical questions and example equations, pertaining to the tutoring process. Deciphering the queries, to discover their embedded mathematical content, slows down the tutoring process. This wastes time that could have been spent addressing more learner queries. The microtext language thus creates an unnecessary burden on the tutors. This study describes the development of an automated process for the translation of Dr Math microtext queries into mathematical equations. Using the design science research paradigm as a guide, three artefacts are developed. These artefacts take the form of a construct, a model and an instantiation. The construct represents the creation of new knowledge as it provides greater insight into the contents and structure of the language found on a mobile mathematics tutoring service. The construct serves as the basis for the creation of a model for the translation of microtext queries into mathematical equations, formatted for display in an electronic medium. No such technique currently exists and therefore, the model contributes new knowledge. To validate the model, an instantiation was created to serve as a proof-of-concept. The instantiation applies various concepts and techniques, such as those related to natural language processing, to the learner queries on the Dr Math service. These techniques are employed in order to translate an input microtext statement into a mathematical equation, structured by using mark-up language. The creation of the instantiation thus constitutes a knowledge contribution, as most of these techniques have never been applied to the problem of translating microtext into mathematical equations. For the automated process to have utility, it should perform on a level comparable to that of a human performing a similar translation task. To determine how closely related the results from the automated process are to those of a human, three human participants were asked to perform coding and translation tasks. The results of the human participants were compared to the results of the automated process, across a variety of metrics, including agreement, correlation, precision, recall and others. The results from the human participants served as the baseline values for comparison. The baseline results from the human participants were compared with those of the automated process. Krippendorff’s α was used to determine the level of agreement and Pearson’s correlation coefficient to determine the level of correlation between the results. The agreement between the human participants and the automated process was calculated at a level deemed satisfactory for exploratory research and the level of correlation was calculated as moderate. These values correspond with the calculations made as the human baseline. Furthermore, the automated process was able to meet or improve on all of the human baseline metrics. These results serve to validate that the automated process is able to perform the translation at a level comparable to that of a human. The automated process is available for integration into any requesting application, by means of a publicly accessible web service.