Academic literature on the topic 'Computational Design Theory'

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 'Computational Design Theory.'

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 "Computational Design Theory"

1

Angiuli, Carlo, Robert Harper, and Todd Wilson. "Computational higher-dimensional type theory." ACM SIGPLAN Notices 52, no. 1 (May 11, 2017): 680–93. http://dx.doi.org/10.1145/3093333.3009861.

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

Wiltgen, B. J., and A. K. Goel. "A computational theory of evaluation in creative design." IBM Journal of Research and Development 63, no. 1 (January 2019): 1:1–1:11. http://dx.doi.org/10.1147/jrd.2019.2893901.

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

Bykov, V. I. "On the design of computational experiment in combustion theory." Russian Journal of Physical Chemistry B 6, no. 2 (March 2012): 289–92. http://dx.doi.org/10.1134/s1990793112020054.

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

Mourelatos, Zissimos P., and Jun Zhou. "A Design Optimization Method Using Evidence Theory." Journal of Mechanical Design 128, no. 4 (December 28, 2005): 901–8. http://dx.doi.org/10.1115/1.2204970.

Full text
Abstract:
Early in the engineering design cycle, it is difficult to quantify product reliability or compliance to performance targets due to insufficient data or information to model uncertainties. Probability theory cannot be, therefore, used. Design decisions are usually based on fuzzy information that is vague, imprecise qualitative, linguistic or incomplete. Recently, evidence theory has been proposed to handle uncertainty with limited information as an alternative to probability theory. In this paper, a computationally efficient design optimization method is proposed based on evidence theory, which can handle a mixture of epistemic and random uncertainties. It quickly identifies the vicinity of the optimal point and the active constraints by moving a hyperellipse in the original design space, using a reliability-based design optimization (RBDO) algorithm. Subsequently, a derivative-free optimizer calculates the evidence-based optimum, starting from the close-by RBDO optimum, considering only the identified active constraints. The computational cost is kept low by first moving to the vicinity of the optimum quickly and subsequently using local surrogate models of the active constraints only. Two examples demonstrate the proposed evidence-based design optimization method.
APA, Harvard, Vancouver, ISO, and other styles
5

Guoqiang, Chen, Tan Jianping, and Tao Yourui. "A Reliability-Based Multidisciplinary Design Optimization Method with Evidence Theory and Probability Theory." International Journal of Reliability, Quality and Safety Engineering 25, no. 01 (February 2018): 1850003. http://dx.doi.org/10.1142/s0218539318500031.

Full text
Abstract:
Uncertainties, including aleatory and epistemic uncertainties, always exist in multidisciplinary system. Due to the discontinuous nature of epistemic uncertainty and the complex coupled relation among subsystems, the computational efficiency of reliability-based multidisciplinary design optimization (RBMDO) with mixed aleatory and epistemic uncertainties is extremely low. A novel RBMDO procedure is presented in this paper based on combined probability theory and evidence theory (ET) to deal with hybrid-uncertainties and improve the computational efficiency. Firstly, based on Bayes method, a novel method to define the probability density function of the aleatory variables is proposed. Secondly, the conventional equivalent normal method (J-C method) is modified to reliability analysis with hybrid-uncertainties. Finally, a novel RBMDO procedure is suggested by integrating the modified J-C method into the frame of sequence optimization and reliability analysis (SORA). Numerical examples and engineering example are applied to demonstrate the performance of the proposed method. The examples show the excellence of the RBMDO method both in computational efficiency and accuracy. The proposed method provides a practical and effective reliability design method for multidisciplinary system.
APA, Harvard, Vancouver, ISO, and other styles
6

Tanaka, Kazuo. "Advanced Computational Intelligence in Control Theory and Applications." Journal of Advanced Computational Intelligence and Intelligent Informatics 3, no. 2 (April 20, 1999): 67. http://dx.doi.org/10.20965/jaciii.1999.p0067.

Full text
Abstract:
We are witnessing a rapidly growing interest in the field of advanced computational intelligence, a "soft computing" technique. As Prof. Zadeh has stated, soft computing integrates fuzzy logic, neural networks, evolutionary computation, and chaos. Soft computing is the most important technology available for designing intelligent systems and control. The difficulties of fuzzy logic involve acquiring knowledge from experts and finding knowledge for unknown tasks. This is related to design problems in constructing fuzzy rules. Neural networks and genetic algorithms are attracting attention for their potential in raising the efficiency of knowledge finding and acquisition. Combining the technologies of fuzzy logic and neural networks and genetic algorithms, i.e., soft computing techniques will have a tremendous impact on the fields of intelligent systems and control design. To explain the apparent success of soft computing, we must determine the basic capabilities of different soft computing frameworks. Give the great amount of research being done in these fields, this issue addresses fundamental capabilities. This special issue is devoted to advancing computational intelligence in control theory and applications. It contains nine excellent papers dealing with advanced computational intelligence in control theory and applications such as fuzzy control and stability, mobile robot control, neural networks, gymnastic bar action, petroleum plant control, genetic programming, Petri net, and modeling and prediction of complex systems. As editor of this special issue, I believe that the excellent research results it contains provide the basis for leadership in coming research on advanced computational intelligence in control theory and applications.
APA, Harvard, Vancouver, ISO, and other styles
7

Smith, Brian K. "Design and computational flexibility." Digital Creativity 17, no. 2 (January 2006): 65–72. http://dx.doi.org/10.1080/14626260600787589.

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

Thelen, Andrew, Leifur Leifsson, Anupam Sharma, and Slawomir Koziel. "RANS-based design optimization of dual-rotor wind turbines." Engineering Computations 35, no. 1 (March 5, 2018): 35–52. http://dx.doi.org/10.1108/ec-10-2016-0354.

Full text
Abstract:
Purpose An improvement in the energy efficiency of wind turbines can be achieved using dual rotors. Because of complex flow physics, the design of dual-rotor wind turbines (DRWTs) requires repetitive evaluations of computationally expensive partial differential equation (PDE) simulation models. Approaches for solving design optimization of DRWTs constrained by PDE simulations are investigated. The purpose of this study is to determine design optimization algorithms which can find optimal designs at a low computational cost. Design/methodology/approach Several optimization approaches and algorithms are compared and contrasted for the design of DRWTs. More specifically, parametric sweeps, direct optimization using pattern search, surrogate-based optimization (SBO) using approximation-based models and SBO using kriging interpolation models with infill criteria are investigated for the DRWT design problem. Findings The approaches are applied to two example design cases where the DRWT fluid flow is simulated using the Reynolds-averaged Navier−Stokes (RANS) equations with a two-equation turbulence model on an axisymmetric computational grid. The main rotor geometry is kept fixed and the secondary rotor characteristics, using up to three variables, are optimized. The results show that the automated numerical optimization techniques were able to accurately find the optimal designs at a low cost. In particular, SBO algorithm with infill criteria configured for design space exploitation required the least computational cost. The widely adopted parametric sweep approach required more model evaluations than the optimization algorithms, as well as not being able to accurately find the optimal designs. Originality/value For low-dimensional PDE-constrained design of DRWTs, automated optimization algorithms are essential to find accurately and efficiently the optimal designs. More specifically, surrogate-based approaches seem to offer a computationally efficient way of solving such problems.
APA, Harvard, Vancouver, ISO, and other styles
9

Dixon, John R. "On research methodology towards a scientific theory of engineering design." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 1, no. 3 (August 1987): 145–57. http://dx.doi.org/10.1017/s0890060400000251.

Full text
Abstract:
The goal of this paper is to raise awareness and generate discussion about research methodology in engineering design. Design researchers are viewed as a single communicating community searching for scientific theories of engineering design; that is, theories that can be tested by formal methods of hypothesis testing. In the paper, the scientific method for validating theories is reviewed, and the need for operational definitions and for experiments to identify variables and meaningful abstractions is stressed. The development of a design problem taxonomy is advocated. Generating theories is viewed as guided search. Three types of design theories are described: prescriptive, cognitive descriptive, and computational. It is argued that to seek prescriptions is premature and that, unless the human and institutional variables are reduced to knowledge and control, cognitive descriptive theories will be impossibly complex. A case is made for a computational approach, though it also shown that computational and cognitive research approaches can be mutually supportive.
APA, Harvard, Vancouver, ISO, and other styles
10

Elmenreich, Wilfried, and Imre J. Rudas. "Computational Cybernetics." Journal of Advanced Computational Intelligence and Intelligent Informatics 8, no. 5 (September 20, 2004): 453. http://dx.doi.org/10.20965/jaciii.2004.p0453.

Full text
Abstract:
This issue contains selected papers from the International IEEE Conference on Computational Cybernetics that took place in August 2003 in Hungary at the site of lake Balaton. Computational Cybernetics is the synergetic integration of Cybernetics and Computational Intelligence techniques. Cybernetics was defined by Wiener as "the science of control and communication, in the animal and the machine". The word "cybernetics" itself stems from the Greek "kybernetes" that means pilot or governor. Thus, the science of computational Cybernetics is especially concerned with the comparative study of automatic control systems. Furthermore, Computational Cybernetics covers not only mechanical, but biological (living), social and economical systems and for this uses computational intelligence based results of communication theory, signal processing, information technology, control theory, the theory of adaptive systems, the theory of complex systems (game theory, operational research), and computer science. We have selected 14 papers from the conference covering the fields of system design and modeling, neural networks, and fuzzy control, which resemble the great variety of computational cybernetics. While it is sometimes difficult to integrate over these differing fields, we expect the evolution of future intelligent systems at the service of mankind by the synergetic integration of these different areas. It is our hope that the papers in this issue will inspire and help our readers in the development of advanced intelligent systems.
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Computational Design Theory"

1

Shomali, Farid Manawel. "The gnomonic theory of architecture : a computational theory of the geneology of design." Thesis, University of Strathclyde, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.248560.

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

Wang, Haihang. "PAOFLOW-Aided Computational Materials Design." Thesis, University of North Texas, 2019. https://digital.library.unt.edu/ark:/67531/metadc1609102/.

Full text
Abstract:
Functional materials are essential to human welfare and to provide foundations for emerging industries. As an alternative route to experimental materials discovery, computational materials designs are playing an increasingly significant role in the whole discovery process. In this work, we use an in-house developed python utility: PAOFLOW, which generates finite basis Hamiltonians from the projection of first principles plane-wave pseudopotential wavefunctions on pseudo atomic orbitals(PAO) for post-process calculation on various properties such as the band structures, density of states, complex dielectric constants, diffusive and anomalous spin and charge transport coefficients. In particular, we calculated the dielectric function of Sr-, Pb-, and Bi-substituted BaSnO3 over wide concentration ranges. Together with some high-throughput experimental study, our result indicates the importance of considering the mixed-valence nature and clustering effects upon substitution of BaSnO3 with Pb and Bi. We also studied two prototype ferroelectric rashba semiconductors, GeTe and SnTe, and found the spin Hall conductivity(SHC) can be large either in ferroelectric or paraelectric structure phase. Upon doping, the polar displacements in GeTe can be sustained up to a critical hole concentration while the tiny distortions in SnTe vanish at a minimal level of doping. Moreover, we investigated the sensitivity of two dimensional group-IV monochalcogenides to external strain and doping, which reveal for the first time giant intrinsic SHC in these materials, providing a new route for the design of highly tunable spintronics devices based on two-dimensional materials.
APA, Harvard, Vancouver, ISO, and other styles
3

Gutierrez, Rafael. "Computational Design of Nanomaterials." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2017. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-194029.

Full text
Abstract:
The development of materials with tailored functionalities and with continuously shrinking linear dimensions towards (and below) the nanoscale is not only going to revolutionize state of the art fabrication technologies, but also the computational methodologies used to model the materials properties. Specifically, atomistic methodologies are becoming increasingly relevant in the field of materials science as a fundamental tool in gaining understanding on as well as for pre-designing (in silico material design) the behavior of nanoscale materials in response to external stimuli. The major long-term goal of atomistic modelling is to obtain structure-function relationships at the nanoscale, i.e. to correlate a definite response of a given physical system with its specific atomic conformation and ultimately, with its chemical composition and electronic structure. This has clearly its pendant in the development of bottom-up fabrication technologies, which also require a detailed control and fine tuning of physical and chemical properties at sub-nanometer and nanometer length scales. The current work provides an overview of different applications of atomistic approaches to the study of nanoscale materials. We illustrate how the use of first-principle based electronic structure methodologies, quantum mechanical based molecular dynamics, and appropriate methods to model the electrical and thermal response of nanoscale materials, provides a solid starting point to shed light on the way such systems can be manipulated to control their electrical, mechanical, or thermal behavior. Thus, some typical topics addressed here include the interplay between mechanical and electronic degrees of freedom in carbon based nanoscale materials with potential relevance for designing nanoscale switches, thermoelectric properties at the single-molecule level and their control via specific chemical functionalization, and electrical and spin-dependent properties in biomaterials. We will further show how phenomenological models can be efficiently applied to get a first insight in the behavior of complex nanoscale systems, for which first principle electronic structure calculations become computationally expensive. This will become especially clear in the case of biomolecular systems and organic semiconductors.
APA, Harvard, Vancouver, ISO, and other styles
4

Bruce, Neil. "Evolutionary Design for Computational Visual Attention." Thesis, University of Waterloo, 2003. http://hdl.handle.net/10012/900.

Full text
Abstract:
A new framework for simulating the visual attention system in primates is introduced. The proposed architecture is an abstraction of existing approaches influenced by the work of Koch and Ullman, and Tompa. Each stage of the attentional hierarchy is chosen with consideration for both psychophysics and mathematical optimality. A set of attentional operators are derived that act on basic image channels of intensity, hue and orientation to produce maps representing perceptual importance of each image pixel. The development of such operators is realized within the context of a genetic optimization. The model includes the notion of an information domain where feature maps are transformed to a domain that more closely corresponds to the human visual system. A careful analysis of various issues including feature extraction, density estimation and data fusion is presented within the context of the visual attention problem.
APA, Harvard, Vancouver, ISO, and other styles
5

Holliday, Glenn E. "Supporting design: a computational theory of design and its implementation in a software support tool." Thesis, Virginia Tech, 1994. http://hdl.handle.net/10919/40670.

Full text
Abstract:
Most work in knowledge acquisition and manipulation has focused on expert systems. Expert systems solve one kind of problem: heuristic classification. This thesis extends some advances in knowledge engineering to a broader class of problem: design.

Design is examined as a generic activity, found in many fields of professional practice. A theoretical framework is developed that supports the refinement of design from high-level concepts through implementation. This framework includes a computational model that is shown to be completely general (Turing-equivalent). Therefore, the theory and model are suitable for representing any design project. They are applied specifically to software development.

Practical support for software designers is offered in a prototype software design system. Existing work in automated knowledge acquisition is used to transfer knowledge about a design from the designer to the automated tool. Consistent support for refinement of design choices at any level of detail makes design a maintainable activity. This opens new possibilities for automated code generation, automated maintenance, and the nlore effective management of software at a higher-level design representation.
Master of Science

APA, Harvard, Vancouver, ISO, and other styles
6

Bryant, Cari Rihan. "A computational theory for the generation of solutions during early conceptual design." Diss., Rolla, Mo. : University of Missouri-Rolla, 2007. http://scholarsmine.mst.edu/thesis/pdf/crb5ea_09007dcc8042a16d.pdf.

Full text
Abstract:
Thesis (Ph. D.)--University of Missouri--Rolla, 2007.
Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed April 15, 2008) Includes bibliographical references (p. 236-249).
APA, Harvard, Vancouver, ISO, and other styles
7

Grigoriadis, Kostas. "Computational and conceptual blends : the epistemology of designing with functionally graded materials." Thesis, Royal College of Art, 2018. http://researchonline.rca.ac.uk/3401/.

Full text
Abstract:
Operating within the landscape of new materialism and considering recent advances in the field of additive manufacturing, the thesis is proposing a novel method of designing with a new type of material that is known as functionally graded. Two of the additive manufacturing advances that are considered of radical importance and at the same time are central to the research have to do with the progressively increasing scales of the output of 3D printing, as well as with the expanding palette of materials that can now be utilised in the process. Regarding the latter, there are already various industrial research initiatives underway that explore ways that various materials can be combined in order to allow for the additive manufacturing of multi-material (otherwise known as functionally graded material) parts or whole volumes that are continuously fused together. In light of this and pre-empting this architectural-level integration and fusing of materials within one volume, the research initially outlines the anticipated impacts of the new way of building that this technology heralds. Of a total of six main anticipated changes, it then focuses on the impact that functionally graded materiality will have on how design is practiced. In this attempt to deal with the uncertainty of a material realm that is unruly and wilful, an initial criticism posed of the scant existing methods for designing with multi-materials in the computer is that they do not consider the intrinsic behaviour of materials and their natural propensity to structure themselves in space. Additionally, these models essentially follow a similarly arbitrary assignment of sub-materiality within larger multi-materials, to the hylomorphic imposition of form on matter. What is effectively proposed as a counter design technique is to computationally ‘predict’ the way materials will fuse and self-structure, with this self-arrangement being partially instigated by their physical properties. Correspondingly, this approach instigates two main objectives that will be pursued in the thesis: – The first goal, is to formulate an appropriate epistemology (also known as the epistemology of computer simulations-EOCS), which is directly linked to the use of computer simulations to design with (computational blending). This is effectively the creation of a methodological framework for the way to set out, run, and evaluate the results of the simulations. – The second goal, concerns the new design methodology proposed, in which the conventional material-less computer aided design methods are replaced by a process of constructing b-rep moulds and allowing digital materials to fuse with one another within these virtual frameworks. Drawing from a specific strand of materialist and cognitive theory (conceptual blending), the theoretical objective in effect is to demonstrate that form and material are not separate at any instance of the proposed process. The resulting original contribution of the design research is a process model that is created in an existing simulation software that can be used in a standard laptop computer in order to design with functionally graded materials. The various ‘stages’ of this model are mapped as a diagrammatic design work ow in the concluding end of the PhD, while its main parts are expanded upon extensively in corresponding chapters in the thesis.
APA, Harvard, Vancouver, ISO, and other styles
8

Huang, Lunmei. "Computational Material Design : Diluted Magnetic Semiconductors for Spintronics." Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-7800.

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

Raghothama, Jayanth. "Integrating Computational and Participatory Simulations for Design in Complex Systems." Doctoral thesis, KTH, Vårdlogistik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-208170.

Full text
Abstract:
The understanding and conceptualization of cities and its constituent systems such as transportation and healthcare as open and complex is shifting the debates around the technical and communicative rationales of planning. Viewing cities in a holistic manner presents methodological challenges, where our understanding of complexity is applied in a tangible fashion to planning processes. Bridging the two rationales in the tools and methodologies of planning is necessary for the emergence of a 'non-linear rationality' of planning, one that accounts for and is premised upon complexity. Simulations representing complex systems provide evidence and support for planning, and have the potential to serve as an interface between the more abstract and political decision making and the material city systems. Moving beyond current planning methods, this thesis explores the role of simulations in planning. Recognizing the need for holistic representations, the thesis integrates multiple disparate simulations into a holistic whole achieving complex representations of systems. These representations are then applied and studied in an interactive environment to address planning problems in different contexts. The thesis contributes an approach towards the development of complex representations of systems; improvements on participatory methods to integrate computational simulations; a nuanced understanding of the relative value of simulation constructs; technologies and frameworks that facilitate the easy development of integrated simulations that can support participatory planning processes. The thesis develops contributions through experiments which involved problems and stakeholders from real world systems. The approach towards development of integrated simulations is realized in an open source framework. The framework creates computationally efficient, scalable and interactive simulations of complex systems, which used in a participatory manner delivers tangible plans and designs.

QC 20170602

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

Linder, Mats. "Computational Studies and Design of Biomolecular Diels-Alder Catalysis." Doctoral thesis, KTH, Tillämpad fysikalisk kemi, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-101706.

Full text
Abstract:
The Diels-Alder reaction is one of the most powerful synthetic tools in organic chemistry, and asymmetric Diels-Alder catalysis allows for rapid construction of chiral carbon scaffolds. For this reason, considerable effort has been invested in developing efficient and stereoselective organo- and biocatalysts. However, Diels-Alder is a virtually unknown reaction in Nature, and to engineer an enzyme into a Diels-Alderase is therefore a challenging task. Despite several successful designs of catalytic antibodies since the 1980’s, their catalytic activities have remained low, and no true artificial ’Diels-Alderase’ enzyme was reported before 2010. In this thesis, we employ state-of-the-art computational tools to study the mechanism of organocatalyzed Diels-Alder in detail, and to redesign existing enzymes into intermolecular Diels-Alder catalysts. Papers I–IV explore the mechanistic variations when employing increasingly activated reactants and the effect of catalysis. In particular, the relation between the traditionally presumed concerted mechanism and a stepwise pathway, forming one bond at a time, is probed. Papers V–X deal with enzyme design and the computational aspects of predicting catalytic activity. Four novel, computationally designed Diels-Alderase candidates are presented in Papers VI–IX. In Paper X, a new parameterization of the Linear Interaction Energy model for predicting protein-ligand affinities is presented. A general finding in this thesis is that it is difficult to attain large transition state stabilization effects solely by hydrogen bond catalysis. In addition, water (the preferred solvent of enzymes) is well-known for catalyzing Diels- Alder by itself. Therefore, an efficient Diels-Alderase must rely on large binding affinities for the two substrates and preferential binding conformations close to the transition state geometry. In Papers VI–VIII, we co-designed the enzyme active site and substrates in order to achieve the best possible complementarity and maximize binding affinity and pre-organization. Even so, catalysis is limited by the maximum possible stabilization offered by hydrogen bonds, and by the inherently large energy barrier associated with the [4+2] cycloaddition. The stepwise Diels-Alder pathway, proceeding via a zwitterionic intermediate, may offer a productive alternative for enzyme catalysis, since an enzyme active site may be more differentiated towards stabilizing the high-energy states than for the standard mechanism. In Papers I and III, it is demonstrated that a hydrogen bond donor catalyst provides more stabilization of transition states having pronounced charge-transfer character, which shifts the preference towards a stepwise mechanism. Another alternative, explored in Paper IX, is to use an α,β -unsaturated ketone as a ’pro-diene’, and let the enzyme generate the diene in situ by general acid/base catalysis. The results show that the potential reduction in the reaction barrier with such a mechanism is much larger than for conventional Diels-Alder. Moreover, an acid/base-mediated pathway is a better mimic of how natural enzymes function, since remarkably few catalyze their reactions solely by non-covalent interactions.

QC 20120903

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Computational Design Theory"

1

Wallis, W. D., ed. Computational and Constructive Design Theory. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4.

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

D, Wallis W., ed. Designs 2002: Further computational and constructive design theory. Boston: Kluwer Academic Publishers, 2003.

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

service), SpringerLink (Online, ed. The Language of Design: Theory and Computation. London: Springer London, 2009.

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

Association for Computing Machinery. ACM transactions on computational logic. New York, NY: Association for Computing Machinery, 2000.

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

Complexity: Theory and applications. New York, NY: Oxford University Press, 2004.

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

1940-, Kitagawa Hiroshi, Aihara T. 1964-, and Kawazoe Y. 1947-, eds. Mesoscopic dynamics of fracture: Computational materials design. Berlin: New York, 1998.

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

Integrated circuit defect-sensitivity: Theory and computational models. Boston: Kluwer Academic Publishers, 1993.

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

Jameson, Antony. Essential elements of computational algorithms for aerodynamic analysis and design. Hampton, Va: Institute for Computer Applications in Science and Engineering, NASA Langley Research Center, 1997.

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

Sasao, Tsutomu. Switching Theory for Logic Synthesis. Boston, MA: Springer US, 1999.

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

Krätzig, Wilfried B. Computational Mechanics of Nonlinear Response of Shells. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990.

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

Book chapters on the topic "Computational Design Theory"

1

Nevill, Gale E. "Computational Models of Design Processes." In Design Theory ’88, 82–116. New York, NY: Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4612-3646-7_8.

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

Wood, Kristin L., and Erik K. Antonsson. "Computational Tools for Preliminary Engineering Design." In Design Theory ’88, 297. New York, NY: Springer New York, 1989. http://dx.doi.org/10.1007/978-1-4612-3646-7_26.

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

Mathon, Rudolf. "Computational Methods in Design Theory." In Computational and Constructive Design Theory, 29–48. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4_3.

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

Ohno, Takahisa, and Tamio Oguchi. "Electronic Structure Theory for Condensed Matter Systems." In Computational Materials Design, 1–38. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-662-03923-6_1.

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

Venturelli, Suzete, Artur Cabral Reis, Gabriela Mutti, Nycacia Delmondes Florindo, Prahlada Hargreaves, Rodolfo Ward, and Tainá Luize Martins. "Affective Computational Interfaces." In Design, User Experience, and Usability. Design Philosophy and Theory, 510–20. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-23570-3_38.

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

Moura, Lucia. "Polyhedral Methods in Design Theory." In Computational and Constructive Design Theory, 227–54. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4_9.

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

Wallis, W. D. "A Bridge Club Design." In Computational and Constructive Design Theory, 1–12. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4_1.

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

Jameson, Antony. "Aerodynamic Design via Control Theory." In Recent Advances in Computational Fluid Dynamics, 377–401. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/978-3-642-83733-3_14.

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

Sharry, Martin J., and Anne Penfold Street. "Another Look at Large Sets of Steiner Triple Systems." In Computational and Constructive Design Theory, 255–335. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4_10.

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

van Rees, G. H. J. "(22, 33, 12, 8, 4)-BIBD, an Update." In Computational and Constructive Design Theory, 337–57. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4757-2497-4_11.

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

Conference papers on the topic "Computational Design Theory"

1

Piipponen, Samuli, and Eero Hyry. "Mechanism Design with Computational Algebra." In 2015 25th International Conference on Computer Theory and Applications (ICCTA). IEEE, 2015. http://dx.doi.org/10.1109/iccta37466.2015.9513430.

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

Jameson, Antony. "Optimum aerodynamic design using CFD and control theory." In 12th Computational Fluid Dynamics Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 1995. http://dx.doi.org/10.2514/6.1995-1729.

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

Witzigmann, Bernd. "Computational optoelectronics as analysis and design tool." In 2010 URSI International Symposium on Electromagnetic Theory (EMTS 2010). IEEE, 2010. http://dx.doi.org/10.1109/ursi-emts.2010.5637155.

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

Gu, Zhi, Avik Ranjan Adhikary, Zhengchun Zhou, and Pingzhi Fan. "A Computational Design of Aperiodic Mismatched Filtering Sequences." In 2022 IEEE International Symposium on Information Theory (ISIT). IEEE, 2022. http://dx.doi.org/10.1109/isit50566.2022.9834377.

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

Tatossian, Charles, and Siva Nadarajah. "Optimum Shape Design of Helicopter Rotors via Control Theory." In 18th AIAA Computational Fluid Dynamics Conference. Reston, Virigina: American Institute of Aeronautics and Astronautics, 2007. http://dx.doi.org/10.2514/6.2007-3951.

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

Mukras, Saad, Nam-Ho Kim, W. Gregory Sawyer, David B. Jackson, and Paul Swanson. "Design Theory and Computational Modeling Tools for Systems with Wear." In SAE World Congress & Exhibition. 400 Commonwealth Drive, Warrendale, PA, United States: SAE International, 2007. http://dx.doi.org/10.4271/2007-01-0892.

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

Hai-tao, Yuan, Ding Bin, and Sun Zheng-xiao. "Workflow Exception Forecasting Method Based on SVM Theory." In 2008 International Symposium on Computational Intelligence and Design (ISCID). IEEE, 2008. http://dx.doi.org/10.1109/iscid.2008.66.

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

Li, Mengmen, and Chao Han. "A DCT-SVD Domain Watermarking for Color Digital Image Based on Compressed Sensing Theory and Chaos Theory." In 2014 7th International Symposium on Computational Intelligence and Design (ISCID). IEEE, 2014. http://dx.doi.org/10.1109/iscid.2014.280.

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

Zhang, Jie, Gang Wang, Haobo Jiang, Fangzheng Zhao, and Guilin Tian. "Uniform Entropy Theory Based on Fingerprint Recognition." In 2018 11th International Symposium on Computational Intelligence and Design (ISCID). IEEE, 2018. http://dx.doi.org/10.1109/iscid.2018.00034.

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

Guo, Ling. "Risk Analysis Model Based on Prototype Theory." In 2012 5th International Symposium on Computational Intelligence and Design (ISCID). IEEE, 2012. http://dx.doi.org/10.1109/iscid.2012.14.

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

Reports on the topic "Computational Design Theory"

1

Haehnel, Robert, Yonghu Wenren, and Luke Allen. SAGE-PEDD theory manual : modeling windblown snow deposition around buildings. Engineer Research and Development Center (U.S.), August 2022. http://dx.doi.org/10.21079/11681/44942.

Full text
Abstract:
Numerical modeling of snowdrifting is a useful tool for assessing the impact of building design on operations and facility maintenance. Here we outline the theory for the SAGE-PEDD snowdrift model that has application for determining snowdrift accumulation around buildings. This model uses the SAGE computational fluid dynamics code to determine the flow field in the computational domain. A particle entrainment, dispersion, and deposition (PEDD) model is coupled to SAGE to simulate the movement and deposition of the snow within the computational domain. The report also outlines areas of future development that upgrades to the SAGE-PEDD model should address.
APA, Harvard, Vancouver, ISO, and other styles
2

Heymsfield, Ernie, and Jeb Tingle. State of the practice in pavement structural design/analysis codes relevant to airfield pavement design. Engineer Research and Development Center (U.S.), May 2021. http://dx.doi.org/10.21079/11681/40542.

Full text
Abstract:
An airfield pavement structure is designed to support aircraft live loads for a specified pavement design life. Computer codes are available to assist the engineer in designing an airfield pavement structure. Pavement structural design is generally a function of five criteria: the pavement structural configuration, materials, the applied loading, ambient conditions, and how pavement failure is defined. The two typical types of pavement structures, rigid and flexible, provide load support in fundamentally different ways and develop different stress distributions at the pavement – base interface. Airfield pavement structural design is unique due to the large concentrated dynamic loads that a pavement structure endures to support aircraft movements. Aircraft live loads that accompany aircraft movements are characterized in terms of the load magnitude, load area (tire-pavement contact surface), aircraft speed, movement frequency, landing gear configuration, and wheel coverage. The typical methods used for pavement structural design can be categorized into three approaches: empirical methods, analytical (closed-form) solutions, and numerical (finite element analysis) approaches. This article examines computational approaches used for airfield pavement structural design to summarize the state-of-the-practice and to identify opportunities for future advancements. United States and non-U.S. airfield pavement structural codes are reviewed in this article considering their computational methodology and intrinsic qualities.
APA, Harvard, Vancouver, ISO, and other styles
3

Mills, Kelly, Merijke Coenraad, Pati Ruiz, Quinn Burke, and Josh Weisgrau. Computational Thinking for an Inclusive World: A Resource for Educators to Learn and Lead. Digital Promise, December 2021. http://dx.doi.org/10.51388/20.500.12265/138.

Full text
Abstract:
Technology is becoming more integral across professional fields and within our daily lives, especially since the onset of the pandemic. As such, opportunities to learn computational thinking are important to all students—not only the ones who will eventually study computer science or enter the information technology industry. However, large inequalities continue to exist in access to equipment and learning opportunities needed to build computational thinking skills for students that experience marginalization. We call all educators to integrate computational thinking into disciplinary learning across PreK-12 education, while centering inclusivity, to equip students with the skills they need to participate in our increasingly technological world and promote justice for students and society at large. This report issues two calls to action for educators to design inclusive computing learning opportunities for students: (1) integrate computational thinking into disciplinary learning, and (2) build capacity for computational thinking with shared leadership and professional learning. Inspired by the frameworks, strategies, and examples of inclusive computational thinking integration, readers can take away practical implications to reach learners in their contexts.
APA, Harvard, Vancouver, ISO, and other styles
4

Riveros, Guillermo, Felipe Acosta, Reena Patel, and Wayne Hodo. Computational mechanics of the paddlefish rostrum. Engineer Research and Development Center (U.S.), September 2021. http://dx.doi.org/10.21079/11681/41860.

Full text
Abstract:
Purpose – The rostrum of a paddlefish provides hydrodynamic stability during feeding process in addition to detect the food using receptors that are randomly distributed in the rostrum. The exterior tissue of the rostrum covers the cartilage that surrounds the bones forming interlocking star shaped bones. Design/methodology/approach – The aim of this work is to assess the mechanical behavior of four finite element models varying the type of formulation as follows: linear-reduced integration, linear-full integration, quadratic-reduced integration and quadratic-full integration. Also presented is the load transfer mechanisms of the bone structure of the rostrum. Findings – Conclusions are based on comparison among the four models. There is no significant difference between integration orders for similar type of elements. Quadratic-reduced integration formulation resulted in lower structural stiffness compared with linear formulation as seen by higher displacements and stresses than using linearly formulated elements. It is concluded that second-order elements with reduced integration and can model accurately stress concentrations and distributions without over stiffening their general response. Originality/value – The use of advanced computational mechanics techniques to analyze the complex geometry and components of the paddlefish rostrum provides a viable avenue to gain fundamental understanding of the proper finite element formulation needed to successfully obtain the system behavior and hot spot locations.
APA, Harvard, Vancouver, ISO, and other styles
5

Allen, Jeffrey, Robert Moser, Zackery McClelland, Md Mohaiminul Islam, and Ling Liu. Phase-field modeling of nonequilibrium solidification processes in additive manufacturing. Engineer Research and Development Center (U.S.), December 2021. http://dx.doi.org/10.21079/11681/42605.

Full text
Abstract:
This project models dendrite growth during nonequilibrium solidification of binary alloys using the phase-field method (PFM). Understanding the dendrite formation processes is important because the microstructural features directly influence mechanical properties of the produced parts. An improved understanding of dendrite formation may inform design protocols to achieve optimized process parameters for controlled microstructures and enhanced properties of materials. To this end, this work implements a phase-field model to simulate directional solidification of binary alloys. For applications involving strong nonequilibrium effects, a modified antitrapping current model is incorporated to help eject solute into the liquid phase based on experimentally calibrated, velocity-dependent partitioning coefficient. Investigated allow systems include SCN, Si-As, and Ni-Nb. The SCN alloy is chosen to verify the computational method, and the other two are selected for a parametric study due to their different diffusion properties. The modified antitrapping current model is compared with the classical model in terms of predicted dendrite profiles, tip undercooling, and tip velocity. Solidification parameters—the cooling rate and the strength of anisotropy—are studied to reveal their influences on dendrite growth. Computational results demonstrate effectiveness of the PFM and the modified antitrapping current model in simulating rapid solidification with strong nonequilibrium at the interface.
APA, Harvard, Vancouver, ISO, and other styles
6

Russo, David, Daniel M. Tartakovsky, and Shlomo P. Neuman. Development of Predictive Tools for Contaminant Transport through Variably-Saturated Heterogeneous Composite Porous Formations. United States Department of Agriculture, December 2012. http://dx.doi.org/10.32747/2012.7592658.bard.

Full text
Abstract:
The vadose (unsaturated) zone forms a major hydrologic link between the ground surface and underlying aquifers. To understand properly its role in protecting groundwater from near surface sources of contamination, one must be able to analyze quantitatively water flow and contaminant transport in variably saturated subsurface environments that are highly heterogeneous, often consisting of multiple geologic units and/or high and/or low permeability inclusions. The specific objectives of this research were: (i) to develop efficient and accurate tools for probabilistic delineation of dominant geologic features comprising the vadose zone; (ii) to develop a complementary set of data analysis tools for discerning the fractal properties of hydraulic and transport parameters of highly heterogeneous vadose zone; (iii) to develop and test the associated computational methods for probabilistic analysis of flow and transport in highly heterogeneous subsurface environments; and (iv) to apply the computational framework to design an “optimal” observation network for monitoring and forecasting the fate and migration of contaminant plumes originating from agricultural activities. During the course of the project, we modified the third objective to include additional computational method, based on the notion that the heterogeneous formation can be considered as a mixture of populations of differing spatial structures. Regarding uncertainly analysis, going beyond approaches based on mean and variance of system states, we succeeded to develop probability density function (PDF) solutions enabling one to evaluate probabilities of rare events, required for probabilistic risk assessment. In addition, we developed reduced complexity models for the probabilistic forecasting of infiltration rates in heterogeneous soils during surface runoff and/or flooding events Regarding flow and transport in variably saturated, spatially heterogeneous formations associated with fine- and coarse-textured embedded soils (FTES- and CTES-formations, respectively).We succeeded to develop first-order and numerical frameworks for flow and transport in three-dimensional (3-D), variably saturated, bimodal, heterogeneous formations, with single and dual porosity, respectively. Regarding the sampling problem defined as, how many sampling points are needed, and where to locate them spatially in the horizontal x₂x₃ plane of the field. Based on our computational framework, we succeeded to develop and demonstrate a methdology that might improve considerably our ability to describe quntitaively the response of complicated 3-D flow systems. The results of the project are of theoretical and practical importance; they provided a rigorous framework to modeling water flow and solute transport in a realistic, highly heterogeneous, composite flow system with uncertain properties under-specified by data. Specifically, they: (i) enhanced fundamental understanding of the basic mechanisms of field-scale flow and transport in near-surface geological formations under realistic flow scenarios, (ii) provided a means to assess the ability of existing flow and transport models to handle realistic flow conditions, and (iii) provided a means to assess quantitatively the threats posed to groundwater by contamination from agricultural sources.
APA, Harvard, Vancouver, ISO, and other styles
7

Gungor, Osman, Imad Al-Qadi, and Navneet Garg. Pavement Data Analytics for Collected Sensor Data. Illinois Center for Transportation, October 2021. http://dx.doi.org/10.36501/0197-9191/21-034.

Full text
Abstract:
The Federal Aviation Administration instrumented four concrete slabs of a taxiway at the John F. Kennedy International Airport to collect pavement responses under aircraft and environmental loading. The study started with developing preprocessing scripts to organize, structure, and clean the collected data. As a result of the preprocessing step, the data became easier and more intuitive for pavement engineers and researchers to transform and process. After the data were cleaned and organized, they were used to develop two prediction models. The first prediction model employs a Bayesian calibration framework to estimate the unknown material parameters of the concrete pavement. Additionally, the posterior distributions resulting from the calibration process served as a sensitivity analysis by reporting the significance of each parameter for temperature distribution. The second prediction model utilized a machine-learning (ML) algorithm to predict pavement responses under aircraft and environmental loadings. The results demonstrated that ML can predict the responses with high accuracy at a low computational cost. This project highlighted the potential of using ML for future pavement design guidelines as more instrumentation data from future projects are collected to incorporate various material properties and pavement structures.
APA, Harvard, Vancouver, ISO, and other styles
8

Aursjø, Olav, Aksel Hiorth, Alexey Khrulenko, and Oddbjørn Mathias Nødland. Polymer flooding: Simulation Upscaling Workflow. University of Stavanger, November 2021. http://dx.doi.org/10.31265/usps.203.

Full text
Abstract:
There are many issues to consider when implementing polymer flooding offshore. On the practical side one must handle large volumes of polymer in a cost-efficient manner, and it is crucial that the injected polymer solutions maintain their desired rheological properties during transit from surface facilities and into the reservoir. On the other hand, to predict polymer flow in the reservoir, one must conduct simulations to find out which of the mechanisms observed at the pore and core scales are important for field behavior. This report focuses on theoretical aspects relevant for upscaling of polymer flooding. To this end, several numerical tools have been developed. In principle, the range of length scales covered by these tools is extremely wide: from the nm (10-9 m) to the mm (10-3 m) range, all the way up to the m and km range. However, practical limitations require the use of other tools as well, as described in the following paragraphs. The simulator BADChIMP is a pore-scale computational fluid dynamics (CFD) solver based on the Lattice Boltzmann method. At the pore scale, fluid flow is described by classical laws of nature. To a large extent, pore scale simulations can therefore be viewed as numerical experiments, and they have great potential to foster understanding of the detailed physics of polymer flooding. While valid across length scales, pore scale models require a high numerical resolution, and, subsequently, large computational resources. To model laboratory experiments, the NIORC has, through project 1.1.1 DOUCS, developed IORCoreSim. This simulator includes a comprehensive model for polymer rheological behavior (Lohne A. , Stavland, Åsen, Aursjø, & Hiorth, 2021). The model is valid at all continuum scales; however, the simulator implementation is not able to handle very large field cases, only smaller sector scale systems. To capture polymer behavior at the full field scale, simulators designed for that specific purpose must be used. One practical problem is therefore: How can we utilize the state-of-the-art polymer model, only found in IORCoreSim, as a tool to decrease the uncertainty in full field forecasts? To address this question, we suggest several strategies for how to combine different numerical tools. In the Methodological Approach section, we briefly discuss the more general issue of linking different scales and simulators. In the Validation section, we present two case studies demonstrating the proposed strategies and workflows.
APA, Harvard, Vancouver, ISO, and other styles
9

Taiber, Joachim. Unsettled Topics Concerning the Impact of Quantum Technologies on Automotive Cybersecurity. SAE International, December 2020. http://dx.doi.org/10.4271/epr2020026.

Full text
Abstract:
Quantum computing is considered the “next big thing” when it comes to solving computational problems impossible to tackle using conventional computers. However, a major concern is that quantum computers could be used to crack current cryptographic schemes designed to withstand traditional cyberattacks. This threat also impacts future automated vehicles as they become embedded in a vehicle-to-everything (V2X) ecosystem. In this scenario, encrypted data is transmitted between a complex network of cloud-based data servers, vehicle-based data servers, and vehicle sensors and controllers. While the vehicle hardware ages, the software enabling V2X interactions will be updated multiple times. It is essential to make the V2X ecosystem quantum-safe through use of “post-quantum cryptography” as well other applicable quantum technologies. This SAE EDGE™ Research Report considers the following three areas to be unsettled questions in the V2X ecosystem: How soon will quantum computing pose a threat to connected and automated vehicle technologies? What steps and measures are needed to make a V2X ecosystem “quantum-safe?” What standardization is needed to ensure that quantum technologies do not pose an unacceptable risk from an automotive cybersecurity perspective?
APA, Harvard, Vancouver, ISO, and other styles
10

Ratmanski, Kiril, and Sergey Vecherin. Resilience in distributed sensor networks. Engineer Research and Development Center (U.S.), October 2022. http://dx.doi.org/10.21079/11681/45680.

Full text
Abstract:
With the advent of cheap and available sensors, there is a need for intelligent sensor selection and placement for various purposes. While previous research was focused on the most efficient sensor networks, we present a new mathematical framework for efficient and resilient sensor network installation. Specifically, in this work we formulate and solve a sensor selection and placement problem when network resilience is also a factor in the optimization problem. Our approach is based on the binary linear programming problem. The generic formulation is probabilistic and applicable to any sensor types, line-of-site and non-line-of-site, and any sensor modality. It also incorporates several realistic constraints including finite sensor supply, cost, energy consumption, as well as specified redundancy in coverage areas that require resilience. While the exact solution is computationally prohibitive, we present a fast algorithm that produces a near-optimal solution that can be used in practice. We show how such formulation works on 2D examples, applied to infrared (IR) sensor networks designed to detect and track human presence and movements in a specified coverage area. Analysis of coverage and comparison of sensor placement with and without resilience considerations is also performed.
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography