Academic literature on the topic 'Computer-aided design Case studies'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Computer-aided design Case studies.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Computer-aided design Case studies":

1

Xin, Y., and W. B. Whiting. "Case Studies of Computer-Aided Design Sensitivity to Thermodynamic Data and Models." Industrial & Engineering Chemistry Research 39, no. 8 (August 2000): 2998–3006. http://dx.doi.org/10.1021/ie990617t.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Hamid, Nor Faharina Abdul, Nurul Jannah Zulkefle, Tengku Fazrina Tengku Mohd Ariff, ZuryatiAb Ghani, and Rohana Ahmad. "Computer Aided Design / Computer Aided Manufacturing (CAD / CAM) Post and Core - A Review." Journal of Evolution of Medical and Dental Sciences 10, no. 36 (September 6, 2021): 3143–51. http://dx.doi.org/10.14260/jemds/2021/640.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
BACKGROUND Nowadays, the use of computer aided design / computer aided manufacturing (CAD / CAM) in fabricating indirect restoration such as onlay, crown and bridge has increased tremendously. However, there is lack of clinical information and evidence on current material and fabrication techniques of CAD / CAM post and core. This paper describes the classification of the post and core system and review current perspectives on recent development of CAD / CAM post and core. An electronic search of the literature was performed via PubMed and Scopus database, using the keyword (post and core) and (CAD / CAM) and (CAD / CAM post and core) as MeSH term. Articles eligible for inclusion in the present review were published in English, journal article and dated from January 2000 until November 2020. A total of 31 publications consisting of 18 in-vitro studies, 7 case reports, 4 finite element analysis and 2 clinical techniques were included in this review. Analysis parameters included are options of chairside CAD / CAM materials, CAD / CAM system and milling machine used, advantages and disadvantages and future direction of CAD / CAM post and core. CAD /CAM post and core can be alternative option as compared to the custom-made post and core and prefabricated post and core. KEY WORDS Computer - Aided Design, Computer - Aided Manufacturing, Dental Material, Indirect Restoration, Post and Core
3

Wei, Hong-yuan. "Computer-aided design and scale-up of crystallization processes: Integrating approaches and case studies." Chemical Engineering Research and Design 88, no. 10 (October 2010): 1377–80. http://dx.doi.org/10.1016/j.cherd.2009.07.020.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Peel, Sean, Satyajeet Bhatia, Dominic Eggbeer, Daniel S. Morris, and Caroline Hayhurst. "Evolution of design considerations in complex craniofacial reconstruction using patient-specific implants." Proceedings of the Institution of Mechanical Engineers, Part H: Journal of Engineering in Medicine 231, no. 6 (December 25, 2016): 509–24. http://dx.doi.org/10.1177/0954411916681346.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Previously published evidence has established major clinical benefits from using computer-aided design, computer-aided manufacturing, and additive manufacturing to produce patient-specific devices. These include cutting guides, drilling guides, positioning guides, and implants. However, custom devices produced using these methods are still not in routine use, particularly by the UK National Health Service. Oft-cited reasons for this slow uptake include the following: a higher up-front cost than conventionally fabricated devices, material-choice uncertainty, and a lack of long-term follow-up due to their relatively recent introduction. This article identifies a further gap in current knowledge – that of design rules, or key specification considerations for complex computer-aided design/computer-aided manufacturing/additive manufacturing devices. This research begins to address the gap by combining a detailed review of the literature with first-hand experience of interdisciplinary collaboration on five craniofacial patient case studies. In each patient case, bony lesions in the orbito-temporal region were segmented, excised, and reconstructed in the virtual environment. Three cases translated these digital plans into theatre via polymer surgical guides. Four cases utilised additive manufacturing to fabricate titanium implants. One implant was machined from polyether ether ketone. From the literature, articles with relevant abstracts were analysed to extract design considerations. In all, 19 frequently recurring design considerations were extracted from previous publications. Nine new design considerations were extracted from the case studies – on the basis of subjective clinical evaluation. These were synthesised to produce a design considerations framework to assist clinicians with prescribing and design engineers with modelling. Promising avenues for further research are proposed.
5

DE VRIES, BAUKE, JORAN JESSURUN, NICOLE SEGERS, and HENRI ACHTEN. "Word graphs in architectural design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 19, no. 4 (November 2005): 277–88. http://dx.doi.org/10.1017/s0890060405050195.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
In computer-aided architectural design, words are an underemployed source of information. Through a series of case studies, we deduced a design annotation data model. All entities in this model can be captured from the design draft, except one: the word relation. Therefore, a system was developed that generates word graphs using single words from the draft as input. The system searches for semantic relations between words and for new intermediate words that can connect two existing words. The system has filters that select only those graphs that are considered interesting by the designers. The envisioned applications of word graphs in the context of computer-aided architectural design are to contribute to the architect's design and to enhance the fluency of the design. These expectations are met, but must be considered in relation to the architect's drafting behavior.
6

Wu, Qun, Shou Qian Sun, and Zhan Xun Dong. "A Computer-Aided Ergonomics Evaluation System for Customized Furniture Design." Advanced Materials Research 102-104 (March 2010): 890–94. http://dx.doi.org/10.4028/www.scientific.net/amr.102-104.890.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Customized product development is facing the challenges of maintaining mass producibility and exploring customer perception on target products. The objective of this study was the application of ergonomic evaluation method for customized furniture design in virtual environment. At the first, the system architecture was built, and gordian techniques of the system were analyzed. Then a representative case was studied. In this case study, 3D scanning system and Motion Capture were used to get information of given user/users, REBA and Lifting Index (LI) of revised NIOSH lifting equation were selected as ergonomics evaluation methods. The prototype’s usability was verified by the result. This method can also be used to solve other relative problems.
7

Nguyen, Cong Hong Phong, Youngdoo Kim, Quang Thang Do, and Young Choi. "Implicit-based computer-aided design for additively manufactured functionally graded cellular structures." Journal of Computational Design and Engineering 8, no. 3 (May 13, 2021): 813–23. http://dx.doi.org/10.1093/jcde/qwab016.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Abstract Additive manufacturing has enabled the fabrication of complex structures such as cellular structures. Although numerous design frameworks have been proposed for cellular structures, their effectiveness was limited owing to the use of B-rep-based representation. To address the limitations in previous research, this study proposes an implicit-based computer-aided design framework customized for additively manufactured functionally graded cellular structures (AM-FGCSs). The proposed design framework effectively aids in both single- and multiscale structural optimization for designing FGCSs. Moreover, implicit-based modeling afforded a reliable geometric representation that could efficiently assist computation tasks such as visualization, validation, and process planning for fabrication. In addition, two case studies were conducted to demonstrate the effectiveness of the proposed framework for designing FGCSs. The first case study on a three-point bending beam design problem proved the practicality of implicit-based representation in multiscale structural design. Meanwhile, the second case study validated the proficiency of the proposed framework in process planning for fabrication and engineering analysis, the two most vital computation tasks in designing cellular structures.
8

Tefelski, D. B., T. Piotrowski, A. Polański, J. Skubalski, and V. Blideanu. "Monte-Carlo aided design of neutron shielding concretes." Bulletin of the Polish Academy of Sciences: Technical Sciences 61, no. 1 (March 1, 2013): 161–71. http://dx.doi.org/10.2478/bpasts-2013-0015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Abstract The process of design of building composites, like concrete is a complex one and involves many aspects like physical and mechanical properties, durability, shielding efficiency, costs of production and dismantlement etc. There are plenty of parameters to optimize and computer tools can help to choose the best solution. A computer aided design plays an important role nowadays. It becomes more accurate, faster and cheaper, so laboratories often apply computer simulation methods prior to field testing. In case of nuclear engineering, the radiation shielding problems are of much importance, because safety of such facilities is a key point. In this article the most effective methods for neutron shielding studies based on Monte-Carlo simulations of neutron transport and nuclide activation studies in concrete are presented. Two codes: MCNPX and CINDER’90 are extensively used to compare the shielding efficiency of commonly used concretes and to study the influence of concentration of B, Ba and Fe elements on shielding efficiency
9

Narayanan, C. M. "Studies on Computer-Aided Design and Analysis of Three-Phase Semifluidized Bed Bioreactors." Chemical Product and Process Modeling 10, no. 1 (March 1, 2015): 55–70. http://dx.doi.org/10.1515/cppm-2014-0029.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Abstract Attempts have been made to perform computer-aided analysis and simulation of the performance of a three-phase semifluidized bed bioreactor. The bioreactor is of biofilm type. Cocurrent operation with liquid (substrate solution) forming the continuous phase has been considered. Both air and feed solution are thus admitted from the bottom, the air moving up as tiny bubbles. Being semifluidized, the bioreactor is composed of a fully fluidized bed at the bottom and a packed bed at the top. The performance of the bioreactor is analysed by assuming it to be equivalent to two plug flow dispersion reactors (PFDRs) in series, each with a different value of dispersion number/axial dispersion coefficient. The performance equations (assuming dispersed flow) for both sections are written separately and then solved numerically using fourth-order Runge–Kutta method/successive over-relaxation method, based on appropriate boundary conditions. The specific case considered is the aerobic synthesis of Xanthan gum from cheese whey permeate, which follows Contois-type kinetic equation. The fractional gas holdup in both sections, height ratio of fluidized section to packed section and the semifluidization velocity are computed at the outset from selected experimental correlations (compiled from available literature). The results obtained from the developed software package, after verifying experimentally, are used to study and illustrate the performance characteristics of the bioreactor. It is observed that the three-phase semifluidized bed biofilm reactor of proposed design provides substantially large fractional conversion of substrate at large capacities, with relatively low reactor volume requirement.
10

Ko, Kaon, and Salvator-John Liotta. "Decoding Culture Parametrically: Digital Tea House Case Studies." International Journal of Architectural Computing 9, no. 4 (December 2011): 325–38. http://dx.doi.org/10.1260/1478-0771.9.4.325.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
This paper reviews the Digital Tea House, a workshop held at the University of Tokyo with the aim to build three pavilions for hosting tea ceremony. As first attempts on cultivating formal innovations resulting from digital design process applied to construction of tea houses, the works convey that parametric design can be a mechanism through which architects are able to produce new images of a tea house and renew its conceptual meanings, and that it can be a tool to retain architecture convergent with cultural values. The authors analyze issues addressed in the workshop that range from applications of computational design, interpretations of tradition, structural stability, to solutions for quick physical materialization within limited time and budget. This paper clarifies the following: First, that parametric processes are not contradictory to traditional cultural principles; and second, how traditional elements of the tea house were decoded and formally reinterpreted through parametric designs.

Dissertations / Theses on the topic "Computer-aided design Case studies":

1

Ho, Wai Man. "Case studies in computer experiments, applications of uniform design and modern modeling techniques." HKBU Institutional Repository, 2001. http://repository.hkbu.edu.hk/etd_ra/290.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ducrou, Jon. "Design for conceptual knowledge processing case studies in applied formal concept analysis /." Access electronically, 2007. http://www.library.uow.edu.au/adt-NWU/public/adt-NWU20080919.093612/index.html.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yang, Quangang Mechanical &amp Manufacturing Engineering Faculty of Engineering UNSW. "The development of an integrated design system and its embedded frameworks for information handling, design space characterization and problem solving." Awarded by:University of New South Wales. School of Mechanical and Manufacturing Engineering, 2007. http://handle.unsw.edu.au/1959.4/29545.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
In today's highly competitive landscape, new product development strategies are imperatives for companies to create and sustain competitive advantages. The objective of this research is to develop an integrated approach to automate, or aid, the design problem solving process. An Integrated Design System (IDS) is proposed focusing on the parametric and detail design. In this system, generation and evaluation of new design problems occur quickly and easily by changing the inputs for the design model. The IDS provides an integrated platform to incorporate available application programs such as CAD and FEM tools into a single system. Four major frameworks, namely information handling, problem decomposition, design space characterization, and problem solving, are proposed and embedded in it to implement the product development process. The information handling includes five aspects. A naming protocol is devised to organize the historical design cases. A search algorithm is proposed to retrieve a design case. A system-generated report is used to distribute the design information. A constraint definition frame is presented to define the relationships between design parameters. Two schemas, information matrix and constraint tree, are developed to represent information in the IDS. A diagonal-centered decomposition scheme is developed utilizing a Genetic Algorithm to decompose a complex design problem. In addition to the conventional genetic operators, two novel genetic operators, unequal position crossover and insertion mutation, are proposed. To characterize the design space, two methods, Incremental Response Method (IRM) and Artificial Neural Network (ANN), are presented. The IRM is derived from response surface method, while the back-propagated ANN is coded to be self-evaluated. The presented problem solving algorithm constitutes the solving mechanism of the IDS. Based on the assessment of the design objectives, all design parameters are given a priority index to facilitate the parameter selection. An independent recursive method is introduced in this algorithm to handle the design constraints. The case studies are performed on two design problems: a hard disk drive actuator arm and a shaft. The results show that the system can automatically align parameter values towards the objective values in a reasonable manner, and thus verify the feasibility of the embedded frameworks.
4

Wyche, Susan Porter. "Investigating religion and computing: a case for using standpoint theory in technology evaluation studies." Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/37317.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
This research focuses on the development and study of Information and Communication Technology (ICT) that support religious practices and the use of standpoint theory in ICT evaluation studies. Three phases makeup this work: formative studies to understand how megachurches, their members and leaders use ICT in ways tied to their Protestant Christian faith and the design of a technology probe, a photo sharing website named ChurchShare. The final and most significant phase is the evaluation of this probe in two churches. I deployed ChurchShare in a Christian church comprised of U.S. born individuals and argue this initial deployment took place with â ideal users,â or those I intended to use the application and who represent the traditional targets of HCC (Human-Centered Computing) research. More than 200 photos were uploaded to ChurchShare and findings suggest that the technology probe was successfully integrated into the churchâ s worship services. Standpoint theory guided the second deployment study that was conducted with individuals who are marginalized in HCC researchâ "Kenyan immigrants. Participants rejected ChurchShare and zero pictures were uploaded to the website. I compare findings from both deployments and conclude that conducting ICT evaluation studies with marginalized users leads to more objective findings than conducting such studies with ideal users. I end with a discussion describing how standpoint theory can be incorporated into HCC, focusing on how this approach offers a practical way for researchers to uncover value differences between themselves and the people who interact with their work.
5

Pietsch, Susan Mary. "The effective use of three dimensional visualisation modelling in the routine development control of urban environments : a thesis submitted to Adelaide University in candidacy for the degree of Doctor of Philosophy." Title page, contents and abstract only, 2001. http://web4.library.adelaide.edu.au/theses/09PH/09php626.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
"June 2001." Includes bibliographical references (leaves 346-352) Investigates technical and cultural issues in using three dimensional computer visualisation modelling in a busy Australian city planning office, the local Council of the City of Adelaide, taking two directions: a modelling approach that emphasizes abstract, quick to create 3D models; and, by examining the social and organizational issues. This dual view paints a broader picture of the potential of 3D modelling within planning practice including the impediments and possible solutions to them.
6

Yip, Wan-hung, and 葉韞紅. "The relative functions of text and drawing in computer-supported collaborative problem-solving." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2000. http://hub.hku.hk/bib/B31225494.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Berry, Brandon. "VaDeR: Visualizing a Development Record A Study of Claims-Centric Scenario-Based Design." Thesis, Virginia Tech, 2004. http://hdl.handle.net/10919/9995.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The scenario-based design process, particularly with an emphasis on claims, captures and shares design knowledge that has promise in teaching design. However, the best methods are not fully understood yet. This thesis examines the areas of scenario-based design, claims relationships, and learning through cases with the goal of learning what can be improved to better support these processes. In investigating those areas, an information visualization tool is created for learning design through case studies. The tool combined claims from multiple visualization techniques to create an approach for supporting problem-based learning goals. In creating the tool, scenario-based design was used, with a particular emphasis on claims for driving the development and evaluation. All design rationale was captured in claims to create a tool that addressed the current problem issues identified. A recently developed claims relationship framework, used for the first time in development efforts, aided in structuring the design rationale. Using these relationships, the design was tracked from requirements analysis to problem claims to design claims and finally to claims that formed the basis of an evaluation. This thesis presents a case study of using claims relationships to drive the development and evaluation of a tool for supporting problem-based learning through case studies of scenario-based design. In creating a novel tool for learning about cases, a unique example of claims-centric scenario based design emerges, presenting as open questions new directions for merging scenarios, claims, and cases in knowledge storage, access, and learning systems.
Master of Science
8

Clegg, David Edward. "Implementing computer aided design in small businesses." Thesis, Sheffield Hallam University, 1992. http://shura.shu.ac.uk/19477/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The lack of real and speedy success in the implementation of Computer Aided Design (CAD) in small firms has been a cause for concern for the author for some years. Whilst much has been written about the implementation of Management Information Systems and about Advanced Manufacturing Technology in large firms, the literature on small firms is very sparse, and the implementer has nowhere to go for guidance. This research looks at the implementation of CAD in six small firms against the background of the current literature in associated areas. It focusses on the aspects of implementation most commonly featured in the implementation texts, developing some 32 Propositions on the basis of the six cases. A review of the propositions suggests a parallel between their sequence and what may be regarded as a "traditional" business plan, which addresses the questions:- where are we now? - where do we want to go?- how do we plan to get there?- what steps must we take?- how will we know when we get there? The link between the propositions and the structure is strong, and the consequence is clear. If the propositions indicate a structure, then a structure developed specifically to incorporate the propositions should result in a methodology for implementation. The framework for this methodology is developed, based upon five phases or stages:- strategy- company audit- design- action- review. The framework has been tested and amended, and the inputs to the phases have been identified. Sources for these inputs have also been specified where necessary. The framework provides a significant step forward in the understanding of Computer Aided Design implementation in small firms. In particular:- it is constructed using "hard" data- it provides guidance on a "best" way of implementing- it forms the basis of an implementation "toolkit"- it addresses the needs of the small firm, which can least afford specialist help and can least afford failure.
9

Ahmed, Syed Adeel. "Usability Studies with Virtual and Traditional Computer Aided Design Environments." ScholarWorks@UNO, 2006. http://scholarworks.uno.edu/td/477.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
For both the CAVETM and the adaptable technology possessed by the University of New Orleans, crystal eye glasses are used to produce a stereoscopic view, and an ascension flock of birds tracking system is employed for tracking of the user's head position and position of a wand in 3D space. It is argued that with these immersive technologies along the use of gestures and hand movements should provide a more natural interface with the immersive virtual environment. This allows a more rapid and efficient set of actions to recognize geometry, interaction with a spatial environment, the ability to find errors, or navigate through an environment. The wand interface is used to provide an improved means of interaction. This study quantitatively measures the differences in interaction when compared with traditional human computer interfaces. This work uses competitive usability in four different Benchmarks: 1) navigation, 2) error detection/correction, 3) spatial awareness, and 4) a “shopping list” of error identifications. This work expands on [Butler & Satter's, 2005] work by conducting tests in the CAVETM system, rather than principally employing workbench technology. During testing, the testers are given some time to “play around” with the CAVETM environment for familiarity before undertaking a specific exercise. The testers are then instructed regarding tasks to be completed, and are asked to work quickly without sacrificing accuracy. The research team timed each task, counted errors, and recorded activity on evaluation sheets for each Benchmark test. At the completion of the testing scenarios involving Benchmarks 1, 2, 3, or 4, the subjects were given a survey document and asked to respond by checking boxes to communicate their subjective opinions.
10

Asare, Edmund K. "An Ethnographic Study of the Use of Translation Tools in a Translation Agency: Implications for Translation Tool Design." Kent State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=kent1310587792.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Computer-aided design Case studies":

1

Dimian, Alexandre C. Chemical process design: Computer-aided case studies. Weinheim: Wiley-VCH, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kaufmann, Matt. Computer-Aided Reasoning: ACL2 Case Studies. Boston, MA: Springer US, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Matt, Kaufmann, Manolios Panagiotis, and Moore J. Strother 1947-, eds. Computer-aided reasoning: ACL2 case studies. Boston: Kluwer Academic Publishers, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

W, Sheppard John. Research Perspectives and Case Studies in System Test and Diagnosis. Boston, MA: Springer US, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Maher, Mary Lou. Case-based reasoning in design. Mahwah, N.J: Lawrence Erlbaum Associates, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

D, Collins Paul. CAD implementation at R&M Corporation: Workplace changes and performance outcomes. West Lafayette, Ind: Institute for Research in the Behavioral, Economic, and Management Sciences, Krannert Graduate School of Management, Purdue University, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Goos, Peter. Optimal design of experiments: A case study approach. Hoboken, N.J: Wiley, 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Braha, Dan. A mathematical theory of design: Foundations, algorithms, and applications. Boston: Kluwer, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

McConn, Charlotte Eudy. Business computer systems: Design, programming andmaintenance, with case studies. Englewood Cliffs, N.J: Prentice Hall, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kurosu, Masaaki, ed. Human-Computer Interaction. Design and User Experience Case Studies. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-78468-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Computer-aided design Case studies":

1

Bridges, A. H. "Case Studies in Computer-Aided Visual Impact Analysis." In Architectural Design and CAD, 63–68. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4684-8387-1_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Guellouz, Mohamed Sadok, Kaouther Ghachem, Abdelmajid Jemni, and Maher Ben Chiekh. "CFD Aided Design: Case Studies." In Energy and Exergy for Sustainable and Clean Environment, Volume 2, 449–68. Singapore: Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-16-8274-2_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Choi, Joonwon, Adam Chlipala, and Arvind. "Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols." In Computer Aided Verification, 317–39. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
AbstractCache-coherence protocols have been one of the greatest challenges in formal verification of hardware, due to their central complication of executing multiple memory-access transactions concurrently within a distributed message-passing system. In this paper, we introduce Hemiola, a framework embedded in Coq that guides the user to design protocols that never experience inconsistent interleavings while handling transactions concurrently. The framework provides a DSL, where any protocol designed in the DSL always satisfies the serializability property, allowing a user to verify the protocol assuming that transactions are executed one-at-a-time. Hemiola also provides a novel invariant proof method, for protocols designed in Hemiola, that only requires considering execution histories without interleaved memory accesses. We used Hemiola to design and prove hierarchical MSI and MESI protocols as case studies. We also demonstrated that the case-study protocols are hardware-synthesizable, by using a compilation/synthesis toolchain targeting FPGAs.
4

Guo, Chen, Yingjie Victor Chen, and Zhenyu Cheryl Qian. "A User Study to Examine the Different Approaches in the Computer-Aided Design Process." In Design, User Experience, and Usability. Practice and Case Studies, 134–42. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-23535-2_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Katis, Andreas, Anastasia Mavridou, Dimitra Giannakopoulou, Thomas Pressburger, and Johann Schumann. "Capture, Analyze, Diagnose: Realizability Checking Of Requirements in FRET." In Computer Aided Verification, 490–504. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-13188-2_24.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
AbstractRequirements formalization has become increasingly popular in industrial settings as an effort to disambiguate designs and optimize development time and costs for critical system components. Formal requirements elicitation also enables the employment of analysis tools to prove important properties, such as consistency and realizability. In this paper, we present the realizability analysis framework that we developed as part of the Formal Requirements Elicitation Tool (FRET). Our framework prioritizes usability, and employs state-of-the-art analysis algorithms that support infinite theories. We demonstrate the workflow for realizability checking, showcase the diagnosis process that supports visualization of conflicts between requirements and simulation of counterexamples, and discuss results from industrial-level case studies.
6

Jaskiewicz, Tomasz. "Complex Multiplayer Urban Design System – Concept and Case Studies." In Lecture Notes in Computer Science, 300–309. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14122-5_34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wulf, Volker, Claudia Müller, Volkmar Pipek, David Randall, Markus Rohde, and Gunnar Stevens. "Practice-Based Computing: Empirically Grounded Conceptualizations Derived from Design Case Studies." In Computer Supported Cooperative Work, 111–50. London: Springer London, 2015. http://dx.doi.org/10.1007/978-1-4471-6720-4_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Fujimura, Kaori, Hitomi Sato, Takayoshi Mochizuki, Kubo Koichiro, Kenichiro Shimokura, Yoshihiro Itoh, Setsuko Murata, et al. "Why Does IT Support Enjoyment of Elderly Life? - Case Studies Performed in Japan." In Human-Computer Interaction. Interaction Design and Usability, 756–64. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73105-4_83.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

de Paula Barretto, Francisco, and Suzete Venturelli. "Artelligent: A Framework for Developing Interactive Computer Artwork Using Artificial Intelligent Agents." In Design, User Experience, and Usability: Users, Contexts and Case Studies, 471–89. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-91806-8_37.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

de Menezes, Marly, and Marcelo Falco. "The Relationship of the Studies of Ergonomic and Human Computer Interfaces – A Case Study of Graphical Interfaces in E-Commerce Websites." In Design, User Experience, and Usability. Practice and Case Studies, 474–84. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-23535-2_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer-aided design Case studies":

1

H. Fan, M., C. Walrath, C. Lee, A. Tits, W. Nye, M. Rimer, R. Grant, and W. Levine. "Two case studies in optimization-based computer-aided design of control systems." In 1985 24th IEEE Conference on Decision and Control. IEEE, 1985. http://dx.doi.org/10.1109/cdc.1985.268869.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Russo, Davide, and Valentino Birolini. "A Computer Aided Approach for Reformulating “Ill-Defined” Problems." In ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2011. http://dx.doi.org/10.1115/detc2011-47212.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
It is proven that a low accuracy in setup or an insufficient attention during the problem structuring [1] may affect the accuracy of the final solution [2], while a problem that is properly defined is virtually solved [3], especially for “ill-defined” problems. Many efforts have been made since the 1970s for improving problem assessment, managing problem information (their functioning, constraints and requirements) and avoiding psychological barriers and memory loads [4]. Other studies have been focused on overcoming trivial points of view, such as lateral thinking [5] and to systematize an abstraction path for the initial situation by using theoretical models as functional models [6], cause effect analysis, and contradictions [7]. This work takes into account this background in problem solving methods, especially root cause analysis [8] and TRIZ [7], the theory of inventive problem solving. In this paper, a set of steps, called BOB-UP® have been conceived in order to support designers during the correct reformulation of the initial problem. This procedure has the aim to reformulate every technical problems, turning an ill-defined initial problem into a well-defined final problem. In this paper the framework of the procedure based upon an inedited cause-effect analysis is widely shown. For completing each design step, ontologies, linguistic rules, modeling tools and sketches are carefully integrated. Novel and key points are extensively presented in this paper, together with an exemplary case about a toaster implementation. The overall procedure was translated into software to ease the completion. The output of such computer aided reformulation consists of a “well defined” problem reformulation. Unlike the most famous and traditional cause-effect approaches, in the BOB-UP® environment the user is guided step by step to identify the best level of detail, focusing on the undesired effect(s), and finally identify the crucial element on which intervention is needed. A preliminary validation, conducted with 9 industrial cases by 30 users selected from the teaching staff of the University, research assistants and PhD and Master Degree students in Mechanical Engineering, has demonstrated the effectiveness of the method.
3

Angster, Scott, Sankar Jayaram, and David Hutton. "Case Studies on the Use of Virtual Reality for an Integrated Design and Manufacturing System." In ASME 1997 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1997. http://dx.doi.org/10.1115/detc97/cie-4308.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Abstract Companies are being forced to create products at a highly accelerated rate and have turned to new design techniques such as virtual prototyping. One of the newest virtual prototyping tools is the use of virtual reality for design and manufacturing analysis. Many groups have developed systems that use virtual reality techniques such as virtual fly-throughs, simulations and three-dimensional visualization. Additionally, there is an increased amount of research in the area of human-integrated techniques or human-in-the-loop analysis using virtual reality. In the field of design and manufacturing, most work has either been in simulation or in the field of human interaction without the use of virtual reality. Although these provide valuable information, a system that couples human-interaction with virtual reality can provide more information than that provided by current computer-aided design and manufacturing software. One concern, however, is the accuracy of these systems and whether the data that is obtained from these systems can be utilized. This paper presents studies performed in a virtual environment for a design and manufacturing system.
4

Pryputniewicz, Ryszard J. "MEMS Design Education by Case Studies." In ASME 2001 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers, 2001. http://dx.doi.org/10.1115/imece2001/de-23291.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Abstract Advances in microelectromechanical systems (MEMS) technology are based on understanding of the issues involved in design, analysis, fabrication, characterization, and use of the finished products. Although this understanding is being developed “on the job” to satisfy immediate needs of rapid advances in the emerging MEMS technology, there is also growing demand for “academic” education in MEMS. Whether on-the-job or academic, development of the required understanding is no easy task because the MEMS field is very multidisciplinary. Those involved should be able to work simultaneously with topics relating to physics, chemistry, materials, computer science, engineering, as well as other relevant disciplines. To facilitate preparation of future engineers for work with MEMS, we have developed undergraduate and graduate courses addressing some of the crucial issues relating to MEMS. These courses are based on case studies that we have developed in our laboratories. The courses include lectures, laboratory experiments, student projects, and presentations. This paper describes selected case studies used in our courses as they relate to design education with MEMS.
5

de Villiers, Ruth. "Multi-Method Evaluations: Case Studies of an Interactive Tutorial and Practice System." In InSITE 2006: Informing Science + IT Education Conference. Informing Science Institute, 2006. http://dx.doi.org/10.28945/2940.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The teaching and learning of a complex section in Theoretical Computer Science 1 in a distance-education context has been enhanced by a supplementary interactive e-learning system with tutorial and practice functionality in a classic computer-aided instruction (CAI) style. A participative action research process was used to develop, evaluate and refine the application over a longitudinal period. Case studies are presented of evaluations by four different methods - questionnaire surveys, interviews, heuristic evaluation and a post-test. Their respective findings, relating to functionality, usability and contributions to learning, are given and discussed. The findings lead to reflection and lessons are learned regarding the design of e-learning applications. In an overview, the complementary roles of different evaluation techniques are discussed.
6

Zhou, Angela. "Cybernetics and human-computer interaction: Case studies of modern interface design." In 2014 IEEE Conference on Norbert Wiener in the 21st Century (21CW). IEEE, 2014. http://dx.doi.org/10.1109/norbert.2014.6893925.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Cobb, Corie L., and Alice M. Agogino. "Case-Based Reasoning for the Design of Micro-Electro-Mechanical Systems." In ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. ASMEDC, 2006. http://dx.doi.org/10.1115/detc2006-99120.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Although Micro-Electro-Mechanical Systems (MEMS) are forming the basis for a rapidly growing industry and fields of research, many MEMS designers still rely on back-of-the-envelope calculations due to a lack of efficient computer-aided design (CAD) tools that can assist with the initial stages of design exploration. This paper introduces case-based reasoning (CBR) techniques to the design of MEMS, as part of a larger MEMS synthesis framework currently under development at UC Berkeley. Having the ability to draw upon past design knowledge is advantageous to the MEMS designer, allowing reuse and modification of previous successful designs to help deal with the complexities of a new design problem. CBR utilizes past successful MEMS designs and sub-assemblies as building blocks stored in an indexed library. Reasoning tools find cases in the library with solved problems similar to the current design problem in order to propose promising conceptual designs. This paper discusses case representation and case library design as well as the results of case retrieval studies, focusing on MEMS resonant structures. The paper recommends strategies for integrating the MEMS case library with evolutionary computation when parameter optimization over the retrieved conceptual designs is not sufficient or there are gaps of knowledge in the case library.
8

Zhou, Wenda. "Recent advances in machine learning for geological and geophysical case studies." In International Conference on Computer Vision, Application, and Design (CVAD 2021), edited by Ziyan Zhang. SPIE, 2021. http://dx.doi.org/10.1117/12.2626783.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chuang, Wei-Chiao, Lai-Hsing Hsu, Gwo-Feng Huang, and Chih-Wei Lai. "Computer-Aided Grid-Editing System for Supporting the Design of Rapid Prototyping Transtibial Sockets." In ASME 2009 International Mechanical Engineering Congress and Exposition. ASMEDC, 2009. http://dx.doi.org/10.1115/imece2009-10758.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
This study is to develop an easily-used editing system for designing a transtibial socket that will be fabricated by a rapid prototyping (RP) machine. This study uses STL format data to construct the editing model. This grid-editing system is developed by employing C++/CLI and the OpenGL graphic interface. It could conveniently import three-dimensional scanner data and export appropriate data format for RP machines. The proposed system includes filtering the point data, generating mesh, and editing point data. After being edited, a socket is constructed by the mesh model. The socket model is then coupled with a base that will be used to connect a shank. Because the system only modifies the point data, it could have high efficiency and freedom while designing transtibial sockets. To achieve an easy-to-use program, the self-developed software is very distinct with other commercial software, such as colliding deformation and grid-editing methods. Based on the concept of virtual reality, users could operate this software intuitively. This system may allow a prosthetist to design RP sockets conveniently. The results of case studies demonstrated the feasibility of this grid-editing system for transtibial socket design.
10

Jun Wang, Ying Guo, Meihong Yang, and Gang Li. "A Service-oriented approach for domain architecture design and its case studies." In 2011 International Conference on Computer Science and Service System (CSSS). IEEE, 2011. http://dx.doi.org/10.1109/csss.2011.5974437.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer-aided design Case studies":

1

Bond, Laura S., Kenneth H. Crawford, Beth A. Symonds, James R. Anderson, and Sue Weideman. A Case Study of a Prototype Computer-Aided Architectural Design System. Fort Belvoir, VA: Defense Technical Information Center, August 1988. http://dx.doi.org/10.21236/ada199766.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Price, William A., and Edwin S. Alling. Computer-Aided Structural Engineering (CASE) Project. CBASIN--Structural Design of Saint Anthony Falls Stilling Basins According to Corps of Engineers Criteria for Hydraulic Structures. Computer Program X0098. Fort Belvoir, VA: Defense Technical Information Center, August 1989. http://dx.doi.org/10.21236/ada212545.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chamberlain, C. A., and K. Lochhead. Data modeling as applied to surveying and mapping data. Natural Resources Canada/CMSS/Information Management, 1988. http://dx.doi.org/10.4095/331263.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
The Geodetic Survey Division of the Canada Centre for Surveying is replacing the National Geodetic Data Base (NGDB) with the National Geodetic Information System (NGIS). For the NGIS to be successful, it was recognized that a sound, well engineered data mode was essential. The methodology chosen to design the data mode! was Nijssen's Information Analysis Methodology (NIAM), a binary modeling technique that is supported by a Computer Aided Software Engineering (CASE) tool, PC-IAST. An NGIS prototype has also been developed using Digital Equipment of Canada's Relational Database (Rdb) management system and COGNOS Corporations POWERHOUSE 4th generation language. This paper addresses the need for, and the advantages of using a strong engineering approach to data modeling and describes the use of the NIAM methodology in NGIS development. The paper identifies the relationship between the data mode!, data structures, the design and development of a database and the use of automated tools for systems development. In conclusion, critical success factors for the continuation of the N.G.I.S. developments are identified and the benefits that will accrue are enumerated.
4

Lutz, Carsten. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Aachen University of Technology, 2002. http://dx.doi.org/10.25368/2022.119.

Full text
APA, Harvard, Vancouver, ISO, and other styles
Abstract:
Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has been extended by various means of expressivity to account for new, more complex application areas such as schema integration for data warehouses [12, 3, 13]. Designing a conceptual model with such enriched ER diagrams is a nontrivial task: there exist complex interactions between the various means of expressivity, which quite often result in unnoticed inconsistencies in the ER schemas and in implicit ramifications of the modeling that have not been intended by the designer. To address this problem, Description Logics (DLs) have been proposed and succesfully used as a tool for reasoning about ER diagrams and thereby detecting the aforementioned anomalies [5, 6, 8].
5

[Towards computer-aided catalyst design: Three effective core potential studies of C-H activation]. Final report. Office of Scientific and Technical Information (OSTI), December 1998. http://dx.doi.org/10.2172/307845.

Full text
APA, Harvard, Vancouver, ISO, and other styles

To the bibliography