Enriching Reverse Engineering with Annotations

Much of the knowledge about software systems is implicit, and therefore difficult to recover by purely automated techniques. Architectural layers and the externally visible features of software systems are two examples of information that can be difficult to detect from source code alone, and that would benefit from additional human knowledge. Typical approaches to reasoning about data involve encoding an explicit meta-model and expressing analyses at that level. Due to its informal nature, however, human knowledge can be difficult to characterize up-front and integrate into such a meta-model. We propose a generic, annotation-based approach to capture such knowledge during the reverse engineering process. Annotation types can be iteratively defined, refined and transformed, without requiring a fixed meta-model to be defined in advance. We show how our approach supports reverse engineering by implementing it in a tool called Metanool and by applying it to (i) analyzing architectural layering, (ii) tracking reengineering tasks, (iii) detecting design flaws, and (iv) analyzing features.

How to Improve the Production Process for interactive TV with semi-formal Methods

The central question for this paper is how to improve the production process by closing the gap between industrial designers and software engineers of television(TV)-based User Interfaces (UI) in an industrial environment. Software engineers are highly interested whether one UI design can be converted into several fully functional UIs for TV products with different screen properties. The aim of the software engineers is to apply automatic layout and scaling in order to speed up and improve the production process. However, the question is whether a UI design lends itself for such automatic layout and scaling. This is investigated by analysing a prototype UI design done by industrial designers. In a first requirements study, industrial designers had created meta-annotations on top of their UI design in order to disclose their design rationale for discussions with software engineers. In a second study, five (out of ten) industrial designers assessed the potential of four different meta-annotation approaches. The question was which annotation method industrial designers would prefer and whether it could satisfy the technical requirements of the software engineering process. One main result is that the industrial designers preferred the method they were already familiar with, which therefore seems to be the most effective one although the main objective of automatic layout and scaling could still not be achieved.

Ontologies and Methods for Interoperability of Engineering Analysis Models (EAMS) in an E-Design Environment

ABSTRACT ONTOLOGIES AND METHODS FOR INTEROPERABILITY OF ENGINEERING ANALYSIS MODELS (EAMS) IN AN E-DESIGN ENVIRONMENT SEPTEMBER 2007 NEELIMA KANURI, B.S., BIRLA INSTITUTE OF TECHNOLOGY AND SCIENCES PILANI INDIA M.S., UNIVERSITY OF MASSACHUSETTS AMHERST Directed by: Professor Ian Grosse Interoperability is the ability of two or more systems to exchange and reuse information efficiently. This thesis presents new techniques for interoperating engineering tools using ontologies as the basis for representing, visualizing, reasoning about, and securely exchanging abstract engineering knowledge between software systems. The specific engineering domain that is the primary focus of this report is the modeling knowledge associated with the development of engineering analysis models (EAMs). This abstract modeling knowledge has been used to support integration of analysis and optimization tools in iSIGHT FD , a commercial engineering environment. ANSYS , a commercial FEA tool, has been wrapped as an analysis service available inside of iSIGHT-FD. Engineering analysis modeling (EAM) ontology has been developed and instantiated to form a knowledge base for representing analysis modeling knowledge. The instances of the knowledge base are the analysis models of real world applications. To illustrate how abstract modeling knowledge can be exploited for useful purposes, a cantilever I-Beam design optimization problem has been used as a test bed proof-of-concept application. Two distinct finite element models of the I-beam are available to analyze a given beam design- a beam-element finite element model with potentially lower accuracy but significantly reduced computational costs and a high fidelity, high cost, shell-element finite element model. The goal is to obtain an optimized I-beam design at minimum computational expense. An intelligent KB tool was developed and implemented in FiPER . This tool reasons about the modeling knowledge to intelligently shift between the beam and the shell element models during an optimization process to select the best analysis model for a given optimization design state. In addition to improved interoperability and design optimization, methods are developed and presented that demonstrate the ability to operate on ontological knowledge bases to perform important engineering tasks. One such method is the automatic technical report generation method which converts the modeling knowledge associated with an analysis model to a flat technical report. The second method is a secure knowledge sharing method which allocates permissions to portions of knowledge to control knowledge access and sharing. Both the methods acting together enable recipient specific fine grain controlled knowledge viewing and sharing in an engineering workflow integration environment, such as iSIGHT-FD. These methods together play a very efficient role in reducing the large scale inefficiencies existing in current product design and development cycles due to poor knowledge sharing and reuse between people and software engineering tools. This work is a significant advance in both understanding and application of integration of knowledge in a distributed engineering design framework.

Proceedings of the Twelfth Annual Biochemical Engineering Symposium

This work presents the proceedings of the twelfth symposium which was held at Kansas State University on April 24, 1982. Since a number of the contributions will be published in detail elsewhere, only brief reports are included here. Some of the reports describe current progress with respect to ongoing projects. Requests for further information should be directed to Dr. Peter Reilly at Iowa State University, Dr. V. G. Murphy at Colorado State University, Dr. Rakesh Bajpai at University of Missouri, Dr. Ed Clausen at University of Arkansas, Dr. L. T. Fan and Dr. L. E. Erickson at Kansas State University. ContentsA Kinetic Analysis of Oleaginous Yeast Fermentation by Candida curvata on Whey Permeate, B.D. Brown and K.H. Hsu, Iowa State University Kinetics of Biofouling in Simulated Water Distribution Systems Using CSTR, T.M. Prakash, University of Missouri Kinetics of Gas Production by C. acetobutylicum, Michael Doremus, Colorado State University Large Scale Production of Methane from Agricultural Residues, O.P. Doyle, G.C. Magruder, E.C. Clausen, and J.L. Gaddy, University of Arkansas The Optimal Process Design for Enzymatic Hydrolysis of Wheat Straw, M.M Gharpuray and L.T. Fan, Kansas State University Extractive Butanol Fermentation, Michael Sierks, Colorado State University Yields Associated with Ethyl Alcohol Production, M.D. Oner, Kansas State University Estimation of Growth Yield and Maintenance Parameters for Microbial Growth on Corn Dust, B.O. Solomon, Kansas State University Milling of Ensiled Corn, Andrzej Neryng, Iowa State University Protein Extraction from Alfalfa, Ravidranath Joshi, Colorado State University Analysis of Disaccharides by Capillary Gas Chromatography, Z.L. Nikolov, Iowa State University Characterization of High Viscosity Fermentations in Tower Fermentors, S.A. Patel and C.H. Lee, Kansas State University Utilization of Sugars in Sorghum Molasses by Clostridium acetobutylicum B. Hong, K.C. Shin, and L.T. Fan, Kansas State University

Nano-mechanical transduction of polymer micro-cantilevers to detect bio-molecular interactions

Using variothermal polymer micro-injection molding, disposable arrays of eight polymer micro-cantilevers each 500 μm long, 100 μm wide and 25 μm thick were fabricated. The present study took advantage of an easy flow grade polypropylene. After gold coating for optical read-out and asymmetrical sensitization, the arrays were introduced into the Cantisens(®) Research system to perform mechanical and functional testing. We demonstrate that polypropylene cantilevers can be used as biosensors for medical purposes in the same manner as the established silicon ones to detect single-stranded DNA sequences and metal ions in real-time. A differential signal of 7 nm was detected for the hybridization of 1 μM complementary DNA sequences. For 100 nM copper ions the differential signal was found to be (36 ± 5) nm. Nano-mechanical sensing of medically relevant, nanometer-size species is essential for fast and efficient diagnosis.

A reverse crystal Engineering approach

The enormous impact of crystal engineering in modern solid state chemistry takes advantage from the connection between a typical basic science field and the word engineering. Regrettably, the engineering aspect of organic or metal organic crystalline materials are limited, so far, to descriptive structural features, sometime entangled with topological aspects, but only rarely with true material design. This should include not only the fabrication and structural description at micro- and nano-scopic level of the solids, but also a proper reverse engineering, a fundamental discipline for engineers. Translated into scientific language, the reverse crystal engineering refers to a dedicated and accurate analysis of how the building blocks contribute to generate a given material property. This would enable a more appropriate design of new crystalline material. We propose here the application of reverse crystal engineering to optical properties of organic and metal organic framework structures, applying the distributed atomic polarizability approach that we have extensively investigated in the past few years[1,2].

Nanometer-size anisotropy of injection-molded polymer micro-cantilever arrays

Understanding and controlling the structural anisotropies of injection-molded polymers is vital for designing products such as cantilever-based sensors. Such micro-cantilevers are considered as cost-effective alternatives to single-crystalline silicon-based sensors. In order to achieve similar sensing characteristics,structure and morphology have to be controlled by means of processing parameters including mold temperature and injection speed. Synchrotron radiation-based scanning small- (SAXS) and wide-angle x-ray scattering techniques were used to quantify crystallinity and anisotropy in polymer micro-cantilevers with micrometer resolution in real space. SAXS measurements confirmed the lamellar nature of the injection-molded semi-crystalline micro-cantilevers. The homogenous cantilever material exhibits a lamellar periodicity increasing with mold temperature but not with injection speed. We demonstrate that micro-cantilevers made of semi-crystalline polymers such as polyvinylidenefluoride, polyoxymethylene, and polypropylene show the expected strong degree of anisotropy along the injection direction.

Surface patterned polymer micro-cantilever arrays for sensing

Microinjection molding was employed to fabricate low-cost polymer cantilever arrays for sensor applications. Cantilevers with micrometer dimensions and aspect ratios as large as 10 were successfully manufactured from polymers, including polypropylene and polyvinylidenfluoride. The cantilevers perform similar to the established silicon cantilevers, with Q-factors in the range of 10–20. Static deflection of gold coated polymer cantilevers was characterized with heat cycling and self-assembled monolayer formation of mercaptohexanols. A hybrid mold concept allows easy modification of the surface topography, enabling customized mechanical properties of individual cantilevers. Combined with functionalization and surface patterning, the cantilever arrays are qualified for biomedical applications

Three-dimensional Vortex Structures on Heated Micro-lattice in a Gas

This paper addresses the microscale heat transfer problem from heated lattice to the gas. A micro-device for enhanced heat transfer is presented and numerically investigated. Thermal creep induces 3-D vortex structures in the vicinity of the lattice. The gas flow is in the slip flow regime (Knudsen number Kn⩽0.1Kn⩽0.1). The simulations are performed using slip flow Navier–Stokes equations with boundary condition formulations proposed by Maxwell and Smoluchowski. In this study the wire thicknesses and distances of the heated lattice are varied. The surface geometrical properties alter significantly heat flux through the surface.

Influence of carbon enrichment on electrical conductivity and processing of polycarbosilane derived ceramic for MEMS applications

An analysis about the effect of carbon enrichment of allylhydridopolycarbosilane SMP10® with divinylbenzene (DVB) as a promising material for electrical conductive micro-electrical mechanical systems (MEMS) is presented. The liquid precursors can be micropipetted and cured in polytetrafluoroethylene (PTFE) molds to produce 14 mm diameter disc shaped samples. The effect of pyrolysis temperature and carbon content on the electrical conductivity is discussed. The addition of 28.7 wt.% of DVB was found to be the optimum amount. Carbon was preserved in the microstructure during pyrolysis and the ceramic yield increased from 77.5 to 80.5 wt.%. The electrical conductivity increased from 10−6 to 1 S/cm depending on the annealing temperature. Furthermore, the ceramic samples obtained with this composition were found to be in many cases crack free or with minimal cracks in contrast with the behavior of pure SMP10. Using the same process we demonstrate that also microsized ceramic samples can be produced.

Analysis of recurrent failure times: A time-dependent Yule process approach

Analysis of recurrent events has been widely discussed in medical, health services, insurance, and engineering areas in recent years. This research proposes to use a nonhomogeneous Yule process with the proportional intensity assumption to model the hazard function on recurrent events data and the associated risk factors. This method assumes that repeated events occur for each individual, with given covariates, according to a nonhomogeneous Yule process with intensity function λx(t) = λ 0(t) · exp( x′β). One of the advantages of using a non-homogeneous Yule process for recurrent events is that it assumes that the recurrent rate is proportional to the number of events that occur up to time t. Maximum likelihood estimation is used to provide estimates of the parameters in the model, and a generalized scoring iterative procedure is applied in numerical computation. ^ Model comparisons between the proposed method and other existing recurrent models are addressed by simulation. One example concerning recurrent myocardial infarction events compared between two distinct populations, Mexican-American and Non-Hispanic Whites in the Corpus Christi Heart Project is examined. ^

Proceedings of the 14th Annual Biochemical Engineering Symposium

The Annual Biochemical Engineering Symposium series is devoted to presentations by students on their research topics. The fourteenth event, held in 1984, was organized at the University of Missouri–Columbia. It was attended by the biochemical engineering faculty and the students from Colorado State University, Iowa State University, Kansas State University, University of Missouri–Columbia, University of Missouri–Rolla and Washington University, St. Louis. Contents"Estimation of Product Formation Kinetics and Microbial Yield Parameters for Anaerobic Organic Acid and Solvent Production," M.D. Oner, Kansas State University "Characterization of Soy Protein Texturization in a Complex Bioreactor," J.L. Ibave, Colorado State University "Acid and Solvent Fermentations Using Mixed Cultures," D. Stevens, University of Missouri–Columbia "Preliminary Process Design for Ethanol from Sweet Sorghum Ensilage Feedstock," Keith D. Lange, Colorado State University "Lamella Settlers in Ethanol Fermentation," Yong Jayanata, University of Missouri–Columbia "Bubble Size Distribution in the Down Flow Section of an Air-Lift Column," Snehal A. Patel and C.H. Lee, Kansas State University "The Sensitivity of Plant Cells to Shear Stress," Morris Z. Resenberg and Eric H. Dunlap, Washington University, St. Louis "Estimation of Growth Yield Parameters Associated with Microbial Growth," Hyeon Y. Lee, Kansas State University "Capillary Gas Chromatography of Trimethylsilylated Trisaccharides," Etienne J.M. Selosse, Iowa State University "Subsite Mapping of an Endo-Xylanase Labeled Xylooligo-saccharides," Bernard Y. Tao, Iowa State University "Cellulase Enzyme Recycle," Kate M.V. Baptie, Colorado State University "Non-Homogeneous Poisson Renewal Reward Process for Modelling Enzymatic Hydrolysis of Cellulose," M.M. Gharpuray and L.T. Fan, Kansas State University