Página 1 dos resultados de 10027 itens digitais encontrados em 0.028 segundos

Interdisciplinary programs evaluation methods: a review of literature and a model proposal for intensive projects involving academia and industry

Dias, Sara; Dias, Luis S.; Lima, Rui M.
Fonte: PAEE’2013 – International Symposium on Project Approach in engineering Education Publicador: PAEE’2013 – International Symposium on Project Approach in engineering Education
Tipo: Conferência ou Objeto de Conferência
Publicado em //2013 ENG
Relevância na Pesquisa
45.96%
The technological evolution occurred in the last twenty years led organizations to a different global business environment requiring them to be increasingly effective and competitive, implying changes in the way they work. The new paradigm focuses on interdisciplinary team work and so it is required from engineering graduates to have higher levels of transversal competences, like interpersonal communication and team work skills as well as to be able to solve complex engineering problems, in some situations involving areas outside engineers’ common initial training. These changes have clear implications in engineering education and in order to improve engineering education curricula, initiatives like multi and interdisciplinary programs have been implemented in Engineering Schools, with aim to improve the interaction between academia and business companies with win‐win relations. Some of these projects are intensively developed during a short period of time, at the company’s facilities. Along with these initiatives emerges the need to evaluate them. According to the literature, there is a lack of systematic evaluation systems of these projects, so the aim of the paper is to suggest an approach to evaluate interdisciplinary intensive projects...

A forward model-based analysis of cardiovascular system identification methods

Mukkamala, Ramakrishna, 1971-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 221 p.; 8339285 bytes; 8339092 bytes; application/pdf; application/pdf
ENG
Relevância na Pesquisa
45.91%
Cardiovascular system identification is a potentially powerful approach for intelligent patient monitoring of cardiovascular function. Rather than merely recording hemodynamic signals, the signals are mathematically analyzed so as to provide a dynamical characterization of the physiologic mechanisms responsible for generating them. The fundamental aim of this thesis is to develop and evaluate cardiovascular system identification methods based on a test bed of data generated from a forward model of the cardiovascular system whose dynamical properties are known. To this end, we developed a computer model of the human cardiovascular system which includes a lumped parameter model of the heart and circulation and a model of the short-term cardiovascular regulatory system continuously disturbed by resting physiologic perturbations. The short-term regulatory system consists of arterial and cardiopulmonary baroreflex systems and a direct neural coupling mechanism between respiration and heart rate. The resting physiologic perturbations include respiratory activity and stochastic disturbances to total peripheral resistance (TPR) and heart rate representing, for example, autoregulation of local vascular beds and higher brain center activity. We demonstrated that this model emulates experimental data in terms of steady-state pulsatility...

Principled computational methods for the validation discovery of genetic regulatory networks

Hartemink, Alexander J. (Alexander John), 1972-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 206 p.; 15864624 bytes; 15864380 bytes; application/pdf; application/pdf
ENG
Relevância na Pesquisa
45.94%
As molecular biology continues to evolve in the direction of high-throughput collection of data, it has become increasingly necessary to develop computational methods for analyzing observed data that are at once both sophisticated enough to capture essential features of biological phenomena and at the same time approachable in terms of their application. We demonstrate how graphical models, and Bayesian networks in particular, can be used to model genetic regulatory networks. These methods are well-suited to this problem owing to their ability to model more than pair-wise relationships between variables, their ability to guard against over-fitting, and their robustness in the face of noisy data. Moreover, Bayesian network models can be scored in a principled manner in the presence of both genomic expression and location data. We develop methods for extending Bayesian network semantics to include edge annotations that allow us to model statistical dependencies between biological factors with greater refinement. We derive principled methods for scoring these annotated Bayesian networks. Using these models in the presence of genomic expression data requires suitable methods for the normalization and discretization of this data.; (cont.) We present novel methods appropriate to this context for performing each of these operations. With these elements in place...

Coordinate system dependence of muscle forces predicted using optimization methods in musculoskeletal joints

Pierce, Janine E. (Janine Elizabeth), 1980-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 147 p.; 7203226 bytes; 7222064 bytes; application/pdf; application/pdf
EN_US
Relevância na Pesquisa
45.91%
Optimization methods are widely used to predict in-vivo muscle forces in musculoskeletal joints. Moment equilibrium at the joint center (usually defined as the origin of the joint coordinate system) has been used as a constraint condition for optimization procedures and the joint reaction moments were assumed to be zero. This research project, through the use of a three-dimensional elbow model, investigated the effect of joint center location on muscle forces predicted using a nonlinear static optimization method. The results demonstrated that moving the joint center medially and laterally along the flexion-extension axis caused dramatic variations in the predicted muscle forces. For example, moving the joint center from a position 5 mm medial to 5 mm lateral of the geometric elbow center caused the predicted biceps force to vary from 12% to 46% and the brachialis force to vary from 80% to 34% of the total muscle loading. The joint reaction force reduced by 24% with this medial to lateral variation of the joint center location. This data revealed that the muscle forces predicted using optimization methods are sensitive to the joint center location due to the zero joint reaction moment assumption in the moment constraint condition. For accurate prediction of muscle load distributions using optimization methods...

Nonparametric statistical methods for image segmentation and shape analysis

Kim, Junmo, 1976-
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 131 p.; 2294740 bytes; 2312676 bytes; application/pdf; application/pdf
ENG
Relevância na Pesquisa
45.91%
Image segmentation, the process of decomposing an image into meaningful regions, is a fundamental problem in image processing and computer vision. Recently, image segmentation techniques based on active contour models with level set implementation have received considerable attention. The objective of this thesis is in the development of advanced active contour-based image segmentation methods that incorporate complex statistical information into the segmentation process, either about the image intensities or about the shapes of the objects to be segmented. To this end, we use nonparametric statistical methods for modeling both the intensity distributions and the shape distributions. Previous work on active contour-based segmentation considered the class of images in which each region can be distinguished from others by second order statistical features such as the mean or variance of image intensities of that region. This thesis addresses the problem of segmenting a more general class of images in which each region has a distinct arbitrary intensity distribution. To this end, we develop a nonparametric information-theoretic method for image segmentation. In particular, we cast the segmentation problem as the maximization of the mutual information between the region labels and the image pixel intensities. The resulting curve evolution equation is given in terms of nonparametric density estimates of intensity distributions...

Reduced-basis methods applied to locally non-affine and locally non-linear partial differential equations

Solodukhov, Yuri Olegovich
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 196 p.; 9222955 bytes; 9234620 bytes; application/pdf; application/pdf
ENG
Relevância na Pesquisa
45.95%
In modern engineering and scientific applications there is a huge demand for solutions of parameter-based partial differential equations and associated outputs of interest expressed as functionals of these solutions. Areas that require solving partial differential equations include - but are not restricted to heat transfer, elasticity, and fluid dynamics. Since in most cases it is not feasible to obtain an analytic solution, many numerical approaches to obtain approximate numerical solutions - such as finite elements. finite differences, finite volumes have been developed. For applications like optimization. design, and inverse problems, where it is crucial to evaluate the field solution/output repeatedly, it might be overly computationally expensive to apply conventional numerical methods. To address this issue we present and compare two new reduced basis techniques for the rapid and reliable prediction of linear functional outputs of linear elliptic partial differential equations with locally non-affine parameter dependence: the partition of unity method (PUM) and the minimax coefficient approximation method (MCAM). We also describe the minimax coefficient approximation method (MCAM) in application to locally non-linear elliptic partial differential equations.; (cont.) The essential components for both the PUM and the MCAM are (i) (provably) rapidly convergent global reduced basis approximations Galerkin projection onto a low-dimensional space spanned by the solutions of the governing partial differential equation at N selected points in the parameter space; (ii) a posteriori error estimation - relaxations of the error-residual equation that provide inexpensive yet sharp and rigorous bounds for the error in the outputs of interest; and (iii) off- line/on-line computational procedures - methods which decouple the generation and projection stages of the approximation process. The operation count for the on-line stage - in which...

Visual-based methods in compliant mechanism optimization; Visual-based methods in CM optimization

Timm, Richard W. (Richard William)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 118 p.; 4137829 bytes; 4142732 bytes; application/pdf; application/pdf
ENG
Relevância na Pesquisa
45.92%
The purpose of this research is to generate visual-based methods for optimizing compliant mechanisms (CMs). Visual-based optimization methods use graphical representations (3-D plots) of CM performance to convey design information. They have many advantages over traditional optimization methods, such as enabling judgment-based design tradeoffs and ensuring robustness of optimized solutions. This research fulfilled the primary aims of determining (1) how to best convey decision-driving design information, and (2) how to interpret and analyze the results of a visual-based optimization method. Other useful tools resulting from this work are (3) a nondimensional model of a CM (a compliant four-bar mechanism) that may be used to maximize the information density of optimization plots, and (4) a new model of a compliant beam that establishes a link between beam stiffness and instant center location. This work presents designers with an optimization tool that may either be used to augment or replace current optimization methods.; by Richard W. Timm.; Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2006.; Includes bibliographical references (p. 103-105).

Gene-supplemented collagen-glycosaminoglycan scaffolds for nonviral gene delivery in articular cartilage tissue engineering

Capito, Ramille M. (Ramille Marie)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 260 p.
ENG
Relevância na Pesquisa
45.92%
Three-dimensional scaffolds and growth factors have been shown to be important for articular cartilage tissue engineering. A major problem in using recombinant proteins in vivo, however, is the inability to maintain therapeutic levels over prolonged times due to degradation or diffusion from the defect site. The goal of this thesis was to develop a method to employ type II collagen-glycosaminoglycan (CG) scaffolds for the nonviral delivery of the gene encoding for insulin-like growth factor (IGF)-I, as a novel means to provide a local, elevated, and prolonged release of a therapeutic growth factor via transfection of cells seeded or migrating within the scaffold. In vitro studies were performed to evaluate gene-supplemented CG (GSCG) scaffolds, including: 1) the type of expansion medium to use for growing chondrocytes prior to transfection, 2) methods of incorporating genes within scaffolds, 3) additional incorporation of transfection enhancers, and 4) the use of mesenchymal stem cells (MSCs) as an alternative cell source for articular cartilage tissue engineering.; (cont.) The medium used during monolayer expansion not only had a significant effect on subsequent biosynthesis and chondrogenesis in CG scaffolds, but also on gene transfer to chondrocyte monolayers. The expansion medium that resulted in enhanced 3-D biosynthesis and gene transfer to cells in monolayer was used throughout the rest of the studies. Greater plasmid retention within GSCG scaffolds was achieved by chemically cross-linking the plasmid IGF-1 (pIGF-1) to the scaffold (compared to simple plasmid absorption)...

Assessment of adaptive one-factor-at-a-time method vs. fractional factorial methods using reconfigurable paper aircraft; Assessment of aOFAT method vs. fractional factorial methods using reconfigurable paper aircraft

Persons, Jeffrey B
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 46 leaves
ENG
Relevância na Pesquisa
45.92%
Recent research has suggested that under certain conditions, adaptive one-factor-at-a-time (aOFAT) methods outperform more commonly used fractional factorial methods. This study sought to corroborate these claims by analyzing a case study of a real-life experiment. A full factorial experiment was conducted to collect data for simulations of fractional factorial and adaptive one-factor-at-a-time experiments. The experiment used a reconfigurable paper aircraft template with four three-level control factors. Results indicated that the exploitation of control factor interactions by adaptive one-factor-at-a-time occurred at similar rates as predicted by Frey and Wang (2006). AOFAT experiments proved particularly effective at avoiding factor levels that led to poor performance. with rates of avoidance approaching 100% for the worst levels. When bias in the full factorial experiment was eliminated, aOFAT methods even returned a higher (weighted average) leading quality indicator value than full factorial methods.; by Jeffrey B. Persons, Jr..; Thesis (S.B.)--Massachusetts Institute of Technology, Dept. of Mechanical Engineering, 2006.; Includes bibliographical references (leaf 46).

16.901 Computational Methods in Aerospace Engineering, Spring 2003; Computational Methods in Aerospace Engineering

Darmofal, David L.
Fonte: MIT - Massachusetts Institute of Technology Publicador: MIT - Massachusetts Institute of Technology
EN-US
Relevância na Pesquisa
45.96%
Introduction to computational techniques arising in aerospace engineering. Applications drawn from aerospace structures, aerodynamics, dynamics and control, and aerospace systems. Techniques include: numerical integration of systems of ordinary differential equations; finite-difference, finite-volume, and finite-element discretization of partial differential equations; numerical linear algebra; eigenvalue problems; and optimization with constraints.

Development of systematic and combinatorial approaches for the metabolic engineering of microorganisms

Alper, Hal (Hal Samuel)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 261 p.
ENG
Relevância na Pesquisa
45.95%
Explorations and optimizations through the genomic space are a daunting undertaking given the complexity and size of the possible search space. To approach this problem, systematic and combinatorial approaches were employed for the engineering of cellular phenotype in Escherichia coli. Initially, a computational method based on global cellular stoichiometry was employed to identify single and multiple gene knockout targets for lycopene production in E. coli. These targets led to substantial increases in lycopene production, but were limited in scope due to the nature of these models. Therefore, these approaches and targets were complemented with combinatorial searches to identify unknown and regulatory targets. When combined, these searches led to further increases of lycopene production and allowed for the visualization of the resulting metabolic landscape. A more exhaustive search was conducted in the background of eight genotypes which resulted in the formulation of the gene knockout search network. This network enables the investigation into how phenotype optimization is biased by search strategy.; (cont.) Collectively, these results demonstrated that despite the complexity and nonlinearity of genotype-phenotype spaces, most of the significant phenotypes were controlled and regulated by a small subset of key "gateway" nodes. Often...

RM methods for multiple fare structure environments; Revenue Management methods for multiple fare structure environments

Kayser, Matthew R. (Matthew Russell)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 115 p.
ENG
Relevância na Pesquisa
45.92%
The rapid growth of Low Cost Carriers (LCC) and their simplified fare structures has created "semi-restricted" fare structures where lower classes are undifferentiated except for price, while higher fare classes are still differentiated by various advance purchase and booking restrictions. The problem this causes is two-fold: first, traditional revenue management systems, which operate based on the assumption of demand independence, will see demand "spiral down" into the lowest booking classes as passengers will buy the lowest available fare in the absence of fare restrictions. Second, airlines must maximize network revenues across two different fare structures, a more-restricted structure used on markets without an LCC presence, and the semirestricted structure for markets where LCC competition exists. This thesis describes methods of dealing with these two problems: Hybrid Forecasting (HF), which forecasts "product-oriented" demand using traditional forecasting methods while simultaneously forecasting "price-oriented" demand for those passengers who will buy the lowest available fare, and Fare Adjustment (FA), which is used at the booking limit optimizer level to account for the sell-up potential of passengers (probability a passenger will book in a higher class if his original booking class is denied). Fare Adjustment allows the airline to deal with multiple fare structures separately. The goal of this thesis is to provide a comprehensive summary of results when an airline uses HF and FA simultaneously in two different multiple fare structure...

Convex relaxation methods for graphical models : Lagrangian and maximum entropy approaches

Johnson, Jason K. (Jason Kyle)
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 257 p.
ENG
Relevância na Pesquisa
45.93%
Graphical models provide compact representations of complex probability distributions of many random variables through a collection of potential functions defined on small subsets of these variables. This representation is defined with respect to a graph in which nodes represent random variables and edges represent the interactions among those random variables. Graphical models provide a powerful and flexible approach to many problems in science and engineering, but also present serious challenges owing to the intractability of optimal inference and estimation over general graphs. In this thesis, we consider convex optimization methods to address two central problems that commonly arise for graphical models. First, we consider the problem of determining the most probable configuration-also known as the maximum a posteriori (MAP) estimate-of all variables in a graphical model, conditioned on (possibly noisy) measurements of some variables. This general problem is intractable, so we consider a Lagrangian relaxation (LR) approach to obtain a tractable dual problem. This involves using the Lagrangian decomposition technique to break up an intractable graph into tractable subgraphs, such as small "blocks" of nodes, embedded trees or thin subgraphs. We develop a distributed...

Development and application of mass spectrometry-based metabolomics methods for disease biomarker identification

Tong, Lily Victoria
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 299 p.
ENG
Relevância na Pesquisa
45.95%
Human societies face diverse health challenges including a rapidly aging population, rising incidence of metabolic disease, and increasing antibiotic resistance. These problems involve complex interactions between genes and environment and are often not well understood. To address these challenges, high-throughput and reproducible advances in genome sequencing, transcript measurement, and protein measurement have been developed; the information resulting from these techniques has led to an increased understanding of cellular function and the identification of number of novel biomarkers for a variety of diseases.In recent years, the monitoring of such systems-level cellular behavior has naturally extended to the metabolite level, leading to the study of metabolomics. The rise of metabolomics corresponds hand in hand with the desire to address some of the phenotypic informational gaps left behind from genomics, transcriptomics, and proteomics. The study of metabolites carries several advantages. First, the number of metabolites in the human "metabolome," estimated at 2500 metabolites, remains a tractable number for analysis as compared to the 35,000 genes and 100,000-1,000,000 proteins. Metabolites also reliably provide an instantaneous "downstream" biochemical snapshot of a cell...

Galerkin, Least-Squares and GLS numerical approaches for advective-diffussive transport problems in engineering

Camprubí Estebo, Natalia; Colominas Ezponda, Ignasi; Navarrina, F.; Casteleiro, M.
Fonte: The International Center of Numerical Methods in Engineering Publicador: The International Center of Numerical Methods in Engineering
Tipo: Conferência ou Objeto de Conferência
ENG
Relevância na Pesquisa
45.92%
European Congress on Computational Methods in Applied Sciences and Engineering, Barcelona 11-14 september 2000; In this paper, a study of three FE numerical formulations (Galerkin, Least Squares and Galerkin/Least Squares) applied to the convective-diffuse problem is presented, focusing our attention in high Péclet-number problems. The election of these three approaches is not arbitrary, but based on the relations among them. First, we review the causes of appearance of numerical oscillations when a Galerkin formulation is used. Contrasting with the nature of the Galerkin method, the Least Squares methos has a rigorous foundation on the basis of minimizing the square residual, which ensures best numerical results. However, this improvement in the numerical solution implies an increment of the computational cost, wich normally becomes unaffordable in practice. The last one, know as GLS, is based on a stabilization of the Galerkin Method. GLS can be interpreted as a combination of the last two methods, being one to solve convective problems, because it unifies the advantages of the Galerkin and Least Squares Methods and cancels its disadventages. For each numerical method, a brief review is presented, the continuity and derivability requirements on the trial functions are stablished...

Modeling Kanban Processes in Systems Engineering

Turner, Richard; Madachy, Raymond; Ingold, Dan; Lane, Jo Ann
Fonte: Escola de Pós-Graduação Naval Publicador: Escola de Pós-Graduação Naval
Tipo: Artigo de Revista Científica
Relevância na Pesquisa
45.93%
Systems engineering processes using pull scheduling methods (kanban) are being evaluated with hybrid modeling and simulation. We are assessing integrated systems and software engineering at the enterprise level, where rapid response software development projects incrementally evolve capabilities of existing systems and/or systems of systems. A kanban-based scheduling system was defined and implemented with connected discrete, continuous and agent-based models. We are simulating the process performance vs. traditional methods of sharing systems engineering services across projects, and whether the overall value of the systems of systems over time is increased.; This material is based upon work supported, in whole or in part, by the U.S. Department of Defense through the Systems Engineering Research Center (SERC) under Contract H98230-08-D-0171. SERC is a federally funded University Affiliated Research Center managed by Stevens Institute of Technology.

Software product line scoping and requirements engineering in a small and medium-sized enterprise:an industrial case study

da Silva, Ivonei Freitas; da Mota Silveira Neto, Paulo Anselmo; O'Leary, Pádraig; de Almeida, Eduardo Santana; de Lemos Meira, Silvio Romero
Fonte: Elsevier Publicador: Elsevier
Tipo: info:eu-repo/semantics/preprint; all_ul_research; ul_published_reviewed
ENG
Relevância na Pesquisa
45.93%
peer-reviewed; Software Product Line (SPL) engineering has been applied in several domains, especially in large-scale software development. Given the benefits experienced and reported, SPL engineering has increasingly garnered interest from small to medium-sized companies. It is possible to find a wide range of studies reporting on the challenges of running a SPL project in large companies. However, very little reports exist that consider the situation for small to medium-sized enterprises and these studies try develop universal truths for SPL without lessons learned from empirical evidence need to be contextualized. This study is a step towards bridging this gap in contextual evidence by characterizing the weaknesses discovered in the Scoping (SC) and Requirements (RE) disciplines of SPL. Moreover, in this study we conducted a case study in a Small to Medium sized Enterprises (SMEs) to justify the use of agile methods when introducing the SPL SC and RE disciplines through the characterization of their bottlenecks. The results of the characterization indicated that ineffective communication and collaboration, long iteration cycles, and the absence of adaptability and flexibility can increase the effort and reduce motivation during project development. These issues can be mitigated by agile methods.

Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods

Pena, Joaquin; Rouff, Christopher; Hinchey, Mike; Ruiz-Cortes, Antonio
Fonte: Association for Computing Machinery Publicador: Association for Computing Machinery
Tipo: Article; all_ul_research; ul_published_reviewed; none
ENG
Relevância na Pesquisa
45.93%
peer-reviewed; The need to collect new data and perform new science is causing the complexity of NASA missions to continually increase. This complexity needs to be controlled via new technological advancements and balanced with a reduction in mission and operation costs. Planned and hypothesized missions involve self-management,biological-inspiration based on swarms, and autonomous operation as a means of achieving these goals.We consider a tailored software engineering approach to developing such systems based on agent-oriented software engineering and formal methods. We report on the advances in modeling, implementing, and testing NASA swarm-based concept missions.

Performance collaborative, distributed systems engineering (CDSE) : lessons learned from CDSE enterprises; Performance CDSE : lessons learned from CDSE enterprises

Utter, Darlene Ann
Fonte: Massachusetts Institute of Technology Publicador: Massachusetts Institute of Technology
Tipo: Tese de Doutorado Formato: 291 p.
ENG
Relevância na Pesquisa
45.92%
The United States aerospace and defense budgets are shrinking, resources are scarce and requirements are more demanding: aerospace and defense enterprises are expected to deliver a more capable product in less time and with fewer resources. To achieve this tough mission, the enterprises that comprise the United States aerospace and defense industries must form strategic partnerships and collaborations to utilize their respective resources, knowledge, and expertise to meet their customers' needs. Collaboration, be it between competing companies or within different divisions of the same company, is necessary for the survival of each company and the defense industry. In the past. United States aerospace and defense company relationships consisted mostly of a prime contractor. with sub-contractors providing a specific hardware or software subsystem. as specified by the prime contractor. Today, aerospace and defense company relationships are moving more toward that of "partners" where the previous supplier or sub-contractor for hardware or software subsystems is now sharing in the overall system design and engineering efforts.; (cont.) Since the partner companies and intra-company divisions are still geographically distributed throughout the United States...

Experiences with alloy in undergraduate formal methods

Lutz, Michael
Fonte: ASEE - American Society for Engineering Education Publicador: ASEE - American Society for Engineering Education
Tipo: Proceedings
EN_US
Relevância na Pesquisa
45.93%
At the core of all engineering endeavors is the modeling of proposed system designs and the use of these models to determine system properties. While some models are physical, the vast majority use mathematics to both describe and analyze the consequences of design decisions. In the case of traditional engineering disciplines, most models are based on continuous mathematics, e.g., calculus and differential equations. The situation is quite different in software engineering, however, where the applicable models are more likely to be drawn from discrete mathematics, logic, and set theory. The term of art for such modeling approaches is formal methods.; Event: 2006 ASEE Annual Conference & Exposition Location: Chicago, IL Date: June 18-21, 2006