Using observation ageing to improve Markovian model learning in QoS engineering

Markovian models are widely used to analyse quality-of-service properties of both system designs and deployed systems. Thanks to the emergence of probabilistic model checkers, this analysis can be performed with high accuracy. However, its usefulness is heavily dependent on how well the model captures the actual behaviour of the analysed system. Our work addresses this problem for a class of Markovian models termed discrete-time Markov chains (DTMCs). We propose a new Bayesian technique for learning the state transition probabilities of DTMCs based on observations of the modelled system. Unlike existing approaches, our technique weighs observations based on their age, to account for the fact that older observations are less relevant than more recent ones. A case study from the area of bioinformatics workflows demonstrates the effectiveness of the technique in scenarios where the model parameters change over time.

Uncertainty propagation in the model web:a case study with e-Habitat

eHabitat is a Web Processing Service (WPS) designed to compute the likelihood of finding ecosystems with equal properties. Inputs to the WPS, typically thematic geospatial "layers", can be discovered using standardised catalogues, and the outputs tailored to specific end user needs. Because these layers can range from geophysical data captured through remote sensing to socio-economical indicators, eHabitat is exposed to a broad range of different types and levels of uncertainties. Potentially chained to other services to perform ecological forecasting, for example, eHabitat would be an additional component further propagating uncertainties from a potentially long chain of model services. This integration of complex resources increases the challenges in dealing with uncertainty. For such a system, as envisaged by initiatives such as the "Model Web" from the Group on Earth Observations, to be used for policy or decision making, users must be provided with information on the quality of the outputs since all system components will be subject to uncertainty. UncertWeb will create the Uncertainty-Enabled Model Web by promoting interoperability between data and models with quantified uncertainty, building on existing open, international standards. It is the objective of this paper to illustrate a few key ideas behind UncertWeb using eHabitat to discuss the main types of uncertainties the WPS has to deal with and to present the benefits of the use of the UncertWeb framework.

The uncertainty enabled model web (UncertWeb)

UncertWeb is a European research project running from 2010-2013 that will realize the uncertainty enabled model web. The assumption is that data services, in order to be useful, need to provide information about the accuracy or uncertainty of the data in a machine-readable form. Models taking these data as imput should understand this and propagate errors through model computations, and quantify and communicate errors or uncertainties generated by the model approximations. The project will develop technology to realize this and provide demonstration case studies.

Assessing the effectiveness of five-year mechanical engineering technology programs of junior colleges in Taiwan, R.O.C.: An application of the CIPP evaluation model

The purpose of this study was to evaluate the mechanical engineering technology curriculum effectiveness at the junior college in Taiwan by using the CIPP evaluation model. The study concerned the areas of the curriculum, curriculum materials, individualized instruction, support services, teaching effectiveness, student achievement, and job performance. A descriptive survey method was used with questionnaires for data collection from faculty, students, graduates, and employers.^ All categories of respondents tended to agree that the curriculum provides appropriate occupational knowledge and skills. Students, graduates, and faculty tended to be satisfied with the curriculum; faculty tended to be satisfied with student achievement; graduates tended to be satisfied with their job preparation; and employers were most satisfied with graduates' job performance.^ Conclusions were drawn in the context, input, process, and product of the CIPP model. In Context area: Students were dissatisfied with curriculum flexibility in students characteristics. Graduates were dissatisfied with curriculum design for student's adaptability in new economic and industrial conditions; practicum flexibility in student characteristics; and course overlap. Both students and graduates were dissatisfied with practicum credit hours. Both faculty and students were dissatisfied with the number of required courses.^ In Input area: Students, faculty, and graduates perceived audiovisuals and manipulative aids positively. Faculty and students perceive CAI implementation positively. Students perceived textbooks negatively.^ In Process area: Faculty, students, and graduates perceived all support service negatively. Faculty tended to perceive the ratios of graduates who enter advanced study and related occupation, and who passed the professional skills certification, negatively. Students tended to perceive teaching effectiveness in terms of instructional strategies, the quality of instruction, overall suitability, and receivable, negatively. Graduates also tended to identify the instructional strategies as a negative perception. Faculty and students perceived curriculum objectives and practicum negatively. Both faculty and students felt that instructors should be more interested in making the courses a useful learning experience.^ In Product area: Employers were satisfied with graduates' academic preparation and job performance, adaptability, punctuality, and their ability to communicate, cooperate, and meet organization needs. Graduates were weak in terms of equipment familiarity and supervisory ability.^ In sum, the curriculum of the five-year mechanical engineering technology programs of junior college in Taiwan has served adequately up to this time in preparing a work force to enter industry. It is now time to look toward the future and adapt the curriculum and instruction for the future needs of this high-tech society. ^

Endothelin 3 induces skin pigmentation in a keratin-driven inducible mouse model

Endothelin 3 (Edn3) is a ligand important to developing neural crest cells (NCC). Some NCC eventually migrate into the skin and give rise to the pigment-forming melanocytes found in hair follicles. Edn3's effects on NCC have been largely explored through spontaneous mutants and cell culture experiments. These studies have shown the Endothelin receptor B/Edn3 signaling pathway to be important in the proliferation/survival and differentiation of developing melanocytes. To supplement these investigations I have created doxycycline-responsive transgenic mice which conditionally over-express Edn3. These mice will help us clarify Edn3's role during the development of early embryonic melanoblasts, differentiating melanocyte precursors in the skin, and fully differentiated melanocytes in the hair follicle. The transgene mediated expression of Edn3 was predominantly confined to the roof plate of the neural tube and surface ectoderm in embryos and postnatally in the epidermal keratinocytes of the skin. Relative to littermate controls, transgenics develop increased pigmentation on most areas of the skin. My doxycycline-based temporal studies have shown that both embryonic and postnatal events are important for establishing and maintaining pigmented skin. The study of my Edn3 transgenic mice may offer some insight into the genetics behind benign dermal pigmentation and offer clues about the time periods important in establishing these conditions. This apparently abnormal development is echoed in a benign condition of human skin. Cases of dermal melanocytosis, such as common freckles, Mongolian spotting, and nevus of Ito demonstrate histological and etiological characteristics similar to those of the transgenic mice generated in this study.

Menu Engineering: A Model Including Labor

Menu engineering is a methodology to classify menu items by their contribution margin and popularity. The process discounts the importance of food cost percentage, recognizing that operators deposit cash, not percentages. The authors raise the issue that strict application of the principles of menu engineering may result in an erroneous evaluation of a menu item, and also may be of little use without considering the variable portion of labor. They describe an enhancement to the process by considering labor.

Design of a dynamic e-commerce system with engineering applications

The primary purpose of this thesis was to design and develop a prototype e-commerce system where dynamic parameters are included in the decision-making process and execution of an online transaction. The system developed and implemented takes into account previous usage history, priority and associated engineering capabilities. The system was developed using three-tiered client server architecture. The interface was the Internet browser. The middle tiered web server was implemented using Active Server Pages, which form a link between the client system and other servers. A relational database management system formed the data component of the three-tiered architecture. It includes a capability for data warehousing which extracts needed information from the stored data of the customers as well as their orders. The system organizes and analyzes the data that is generated during a transaction to formulate a client's behavior model during and after a transaction. This is used for making decisions like pricing, order rescheduling during a client's forthcoming transaction. The system helps among other things to bring about predictability to a transaction execution process, which could be highly desirable in the current competitive scenario.

A Model of Lung Tumor Angiogenesis in a Biomimetic Poly(ethylene glycol)-based Hydrogel System

Tumor angiogenesis is critical to tumor growth and metastasis, yet much is unknown about the role vascular cells play in the tumor microenvironment. A major outstanding challenge associated with studying tumor angiogenesis is that existing preclinical models are limited in their recapitulation of in vivo cellular organization in 3D. This disparity highlights the need for better approaches to study the dynamic interplay of relevant cells and signaling molecules as they are organized in the tumor microenvironment. In this thesis, we combined 3D culture of lung adenocarcinoma cells with adjacent 3D microvascular cell culture in 2-layer cell-adhesive, proteolytically-degradable poly(ethylene glycol) (PEG)-based hydrogels to study tumor angiogenesis and the impacts of neovascularization on tumor cell behavior.

In initial studies, 344SQ cells, a highly metastatic, murine lung adenocarcinoma cell line, were characterized alone in 3D in PEG hydrogels. 344SQ cells formed spheroids in 3D culture and secreted proangiogenic growth factors into the conditioned media that significantly increased with exposure to transforming growth factor beta 1 (TGF-β1), a potent tumor progression-promoting factor. Vascular cells alone in hydrogels formed tubule networks with localized activated TGF-β1. To study cancer cell-vascular cell interactions, the engineered 2-layer tumor angiogenesis model with 344SQ and vascular cell layers was employed. Large, invasive 344SQ clusters developed at the interface between the layers, and were not evident further from the interface or in control hydrogels without vascular cells. A modified model with spatially restricted 344SQ and vascular cell layers confirmed that observed 344SQ cluster morphological changes required close proximity to vascular cells. Additionally, TGF-β1 inhibition blocked endothelial cell-driven 344SQ migration.

Two other lung adenocarcinoma cell lines were also explored in the tumor angiogenesis model: primary tumor-derived metastasis-incompetent, murine 393P cells and primary tumor-derived metastasis-capable human A549 cells. These lung cancer cells also formed spheroids in 3D culture and secreted proangiogenic growth factors into the conditioned media. Epithelial morphogenesis varied for the primary tumor-derived cell lines compared to 344SQ cells, with far less epithelial organization present in A549 spheroids. Additionally, 344SQ cells secreted the highest concentration of two of the three angiogenic growth factors assessed. This finding correlated to 344SQ exhibiting the most pronounced morphological response in the tumor angiogenesis model compared to the 393P and A549 cell lines.

Overall, this dissertation demonstrates the development of a novel 3D tumor angiogenesis model that was used to study vascular cell-cancer cell interactions in lung adenocarcinoma cell lines with varying metastatic capacities. Findings in this thesis have helped to elucidate the role of vascular cells in tumor progression and have identified differences in cancer cell behavior in vitro that correlate to metastatic capacity, thus highlighting the usefulness of this model platform for future discovery of novel tumor angiogenesis and tumor progression-promoting targets.

Design of information architecture of the web site of the Faculty of Industrial Engineering and Tourism of the Universidad Central “Marta Abreu” de Las Villas (Cuba)

The information architecture supports information retrieval by users in Web environment. The design should be center in the information user, favoring usability. The Faculty of Industrial Engineering and Tourism of the Universidad Central "Marta Abreu" de Las Villas, lacks a site that enhances the disclosure of information to its members. Are presented as objectives of the study: 1) conduct a user survey to identify information needs of users, 2) establish guidelines for information architecture for the institution focused on users, 3) designing the information architecture for the institution and 4) designed to evaluate the proposal. Are presented as objectives of the study: 1) to realize a user study to identify the information needs of users, 2) establish guidelines for information architecture for the institution focused on users, 3) to design the information architecture for the institution and 4) to evaluate the proposal designed. To obtain results are used methods in the theoretical and empirical levels. Besides, are use techniques that favored the design and evaluation. Is designed the intranet of the Faculty of Industrial Engineering and Tourism. Is evaluated the proposed design for the validation of the results.

The effectiveness of corporate Web in small and médiumsized business: an analysis of Web Usability

Internet and the Web have changed the way that companies communicate with their publics, improving relations between them. Also providing substantial benefits for organizations. This has led to small and medium enterprises (SMEs) to develop corporate sites to establish relationships with their audiences. This paper, applying the methodology of content analysis, analyzes the main factors and tools that make the Websites usable and intuitive sites that promote better relations between SMEs and their audiences. Also, it has developed an index to measure the effectiveness of Webs from the perspective of usability. The results indicate that the Websites have, in general, appropriate levels of usability.

Engineering tools

The aim of this report is to give an overview of the results of Work Package 5 “Engineering Tools”. In this workpackage numerical tools have been developed for all relevant CHCP systems in the PolySMART demonstration projects (WP3). First, existing simulation platforms have been described and specific characteristics have been identified. Several different simulation platforms are in principle appropriate for the needs in the PolySMART project. The result is an evaluation of available simulation and engineering tools for CHCP simulation, and an agreement upon a common simulation environment within the PolySMART project. Next, numerical models for components in the demonstration projects have been developed. These models are available to the PolySMART consortium. Of all modeled components an overall and detailed working principle is formulated, including a parameter list and (in some cases) a control strategy. Finally, for four CHCP systems in the PolySMART project, a system simulation model has been developed. For each system simulation a separate deliverable is available (D5.5b to D5.5e) These deliverables replace deliverable 5.4 ‘system models’. The numerical models for components and systems developed in the Polysmart project form a valuable basis for the component development and optimisation and for the system optimisation, both within and outside the project. Developers and researchers interested in more information about specific models can refer to the institutes and contact persons involved in the model development. 

Theoretical Performance Model and Initial Experimentation of a Baffled-Tube Ram Accelerator

Thesis (Master's)--University of Washington, 2016-08

A three dimensional model of Caspian Sea circulation

Observations of Caspian Sea during August - September 1995 are used to develop a three dimensional numerical for calculating temperature and current. This period was chosen because of extensive set of observational data including surface temperature observations. Data from the meteorological buoy network on Caspian Sea are combined with routine observation at first order synoptic station around the lake to obtain hourly values of wind stress and pressure fields. Initial temperature distribution as a function of depth and horizontal coordinates are derived from ship cruises. The model has variable grid resolution and horizontal smoothing which filters out small scale vertical motion. The hydrodynamic model of Caspian Sea has 6 vertical levels and a uniform horizontal grid size of 50 km The model is driven with surface fluxes of heat and momentum derived from observed meteorological. The model was able to reproduce all of the basic feature of the thermal structure in Caspian sea and: larger scale circulation patterns tend to be cyclone, with cyclone circulation with each sub basin. Result has agreement with observations.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.