Статті в журналах: "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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

7

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

11

Xu, Congsheng, Jianmei Yuan, Dandan Wang, and Yuliang Mao. "Computational design of GeSe/graphene heterojunction based on density functional theory." Materials Research Express 6, no. 3 (December 19, 2018): 036305. http://dx.doi.org/10.1088/2053-1591/aaf5a0.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Toman, Usama T., Abdel-Karim SO Hassan, Farouk M. Owis, and Ahmed SA Mohamed. "Blade shape optimization of an aircraft propeller using space mapping surrogates." Advances in Mechanical Engineering 11, no. 7 (July 2019): 168781401986507. http://dx.doi.org/10.1177/1687814019865071.

Повний текст джерела

Анотація:

Propeller performance greatly influences the overall efficiency of the turboprop engines. The aim of this study is to perform a propeller blade shape optimization for maximum aerodynamic efficiency with a minimal number of high-fidelity model evaluations. A physics-based surrogate approach exploiting space mapping is employed for the design process. A space mapping algorithm is utilized, for the first time in the field of propeller design, to link two of the most common propeller analysis models: the classical blade-element momentum theory to be the coarse model; and the high-fidelity computational fluid dynamics tool as the fine model. The numerical computational fluid dynamics simulations are performed using the finite-volume discretization of the Reynolds-averaged Navier–Stokes equations on an adaptive unstructured grid. The optimum design is obtained after few iterations with only 56 computationally expensive computational fluid dynamics simulations. Furthermore, an optimization method based on design of experiments and kriging response surface is used to validate the results and compare the computational efficiency of the two techniques. The results show that space mapping is more computationally efficient.

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Li, Xiao Guang. "Research on the Development and Applications of Computer Science and Technology." Advanced Materials Research 926-930 (May 2014): 2406–9. http://dx.doi.org/10.4028/www.scientific.net/amr.926-930.2406.

Повний текст джерела

Анотація:

Computer science (abbreviated CS or CompSci) is the scientific and practical approach to computation and its applications. It is the systematic study of the feasibility, structure, expression, and mechanization of the methodical processes (or algorithms) that underlie the acquisition, representation, processing, storage, communication of, and access to information, whether such information is encoded in bits and bytes in a computer memory or transcribed engines and protein structures in a human cell. A computer scientist specializes in the theory of computation and the design of computational systems. Its subfields can be divided into a variety of theoretical and practical disciplines. The computational complexity theory which explores the fundamental properties of computational and intractable problems, are highly abstract, while fields such as computer graphics emphasize real-world visual applications.

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Zhang, Ran, Thomas Auzinger, and Bernd Bickel. "Computational Design of Planar Multistable Compliant Structures." ACM Transactions on Graphics 40, no. 5 (October 31, 2021): 1–16. http://dx.doi.org/10.1145/3453477.

Повний текст джерела

Анотація:

This article presents a method for designing planar multistable compliant structures. Given a sequence of desired stable states and the corresponding poses of the structure, we identify the topology and geometric realization of a mechanism—consisting of bars and joints—that is able to physically reproduce the desired multistable behavior. In order to solve this problem efficiently, we build on insights from minimally rigid graph theory to identify simple but effective topologies for the mechanism. We then optimize its geometric parameters, such as joint positions and bar lengths, to obtain correct transitions between the given poses. Simultaneously, we ensure adequate stability of each pose based on an effective approximate error metric related to the elastic energy Hessian of the bars in the mechanism. As demonstrated by our results, we obtain functional multistable mechanisms of manageable complexity that can be fabricated using 3D printing. Further, we evaluated the effectiveness of our method on a large number of examples in the simulation and fabricated several physical prototypes.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Dolev, Danny, Keijo Heljanko, Matti Järvisalo, Janne H. Korhonen, Christoph Lenzen, Joel Rybicki, Jukka Suomela, and Siert Wieringa. "Synchronous counting and computational algorithm design." Journal of Computer and System Sciences 82, no. 2 (March 2016): 310–32. http://dx.doi.org/10.1016/j.jcss.2015.09.002.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Epps, Brenden P., and Richard W. Kimball. "Unified Rotor Lifting Line Theory." Journal of Ship Research 57, no. 04 (December 1, 2013): 181–201. http://dx.doi.org/10.5957/jsr.2013.57.4.181.

Повний текст джерела

Анотація:

A unified lifting line method for the design and analysis of axial flow propellers and turbines is presented. The method incorporates significant improvements to the classical lifting line methods for propeller design to extend the method to the design of turbines. In addition, lifting line analysis methods are developed to extend the usefulness of the lifting line model to allow generation of performance curves for off-design analysis. The result is a fast computational methodology for the design and analysis of propellers or turbines that can be used in preliminary design and parametric studies. Design and analysis validation cases are presented and compared with experimental data.

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Bosse, Tibor, Rob Duell, Zulfiqar A. Memon, Jan Treur, and C. Natalie van der Wal. "Computational model-based design of leadership support based on situational leadership theory." SIMULATION 93, no. 7 (February 1, 2017): 605–17. http://dx.doi.org/10.1177/0037549717693324.

Повний текст джерела

Анотація:

This paper introduces the design of an agent-based leadership support system exploiting a computational model for development of individuals or groups. It is to be used, for example, as a basis for systems to support a group leader in the development of individual group members or a group as a whole. Using a computational model for Situational Leadership Theory and model-based reasoning techniques, the system monitors and analyzes the development level over time and provides support to the group leader by proposing for different points in time the most effective leadership behavior according to Situational Leadership Theory. The support model has been formally designed and, within a dedicated software environment, simulation experiments have been performed.

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Cheng, G., K. S. Choi, X. H. Hu, and X. Sun. "Computational material design for Q&P steels with plastic instability theory." Materials & Design 132 (October 2017): 526–38. http://dx.doi.org/10.1016/j.matdes.2017.07.029.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Maes, Pattie. "Computational reflection." Knowledge Engineering Review 3, no. 1 (March 1988): 1–19. http://dx.doi.org/10.1017/s0269888900004355.

Повний текст джерела

Анотація:

AbstractComputational reflection is the activity performed by a computational System when reasoning about (and by that possibly affecting) itself. This paper presents an introduction to computational reflection (thereafter called reflection). A definition of reflection is presented, its utility for knowledge engineering is discussed and architectures of languages that support it are studied. Examples of such procedural, logic-based, rule-based and object-oriented languages are presented. The paper elaborates on the design of these languages and the reflective functionality that results, elucidating concepts such as procedural reflection, declarative reflection, theory relativity of reflection, etc. The paper concludes with an assessment of outstanding problems and future developments in the area.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Fitzhorn, Patrick A. "Engineering design is a computable function." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 8, no. 1 (1994): 35–44. http://dx.doi.org/10.1017/s0890060400000445.

Повний текст джерела

Анотація:

AbstractComputational abstraction of engineering design leads to an elegant theory defining (1) the process of design as an abstract model of computability, the Turing machine; (2) the artifacts of design as enumerated strings from a (possibly multidimensional) grammar; and (3) design specifications or constraints as formal state changes that govern string enumeration. Using this theory, it is shown that engineering design is a computable function. A computational methodology based on the theory is then developed that can be described as a form follows function design paradigm.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Wu, Ping. "Digital Materials Design: Computational Methodologies as a Discovery Tool." MRS Bulletin 31, no. 12 (December 2006): 995–98. http://dx.doi.org/10.1557/mrs2006.227.

Повний текст джерела

Анотація:

AbstractTo cope with the dynamic social and market demands for advanced materials, new research strategies have to be developed that go beyond the commonly accepted trial-and-error approaches. To this end, a computational materials design platform, digital materials design (DMD), has been created based on well-established fundamental laws, powerful computing, and computational technology. DMD based on computer simulation may produce data that identify overlooked materials behaviors, which then may lead to new theory to explain them, and further to the design of real experiments to fabricate and test the materials. In this review, an illustration of computational methods used in DMD will be given, followed by applications based on two case studies: (1) the design of chemical additives, and (2) the realization ofp-type ZnO. Similarly, many effective and efficient materials designs have been performed in the using DMD for various industrial applications, which further demonstrate that DMD, and computational modeling in general, is an invaluable tool for materials discovery.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Smithers, Tim, and Wade Troxell. "Design is intelligent behaviour, but what’s the formalism?" Artificial Intelligence for Engineering Design, Analysis and Manufacturing 4, no. 2 (May 1990): 89–98. http://dx.doi.org/10.1017/s0890060400002286.

Повний текст джерела

Анотація:

A methodology for studying and understanding the process of design, and ultimately for developing a computational theory of design is presented. In particular, the role of formalization in such an investigation is set out. This is done by first presenting the background to and development ofcomputational searchas a widely adopted problem solving paradigm in artificial intelligence research. It is then suggested why computational search provides an inadequate characterization of the design process and an alternative, that design is an exploration process is proposed. By developing certain ideas first put forward by Simon the authors seek to explain why this view is taken and how it forms a central part of their Artificial Intelligence in Design research programme. It is hoped to (eventually) develop a computational theory of design. The radically incomplete nature of this work necessarily prevents the authors from answering the question posed by the title of the paper but the title does provide a good focus for their efforts.

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Hanson, Jordan C. "Broadband RF Phased Array Design with MEEP: Comparisons to Array Theory in Two and Three Dimensions." Electronics 10, no. 4 (February 8, 2021): 415. http://dx.doi.org/10.3390/electronics10040415.

Повний текст джерела

Анотація:

Phased array radar systems have a wide variety of applications in engineering and physics research. Phased array design usually requires numerical modeling with expensive commercial computational packages. Using the open-source MIT Electrogmagnetic Equation Propagation (MEEP) package, a set of phased array designs is presented. Specifically, one and two-dimensional arrays of Yagi-Uda and horn antennas were modeled in the bandwidth [0.1–5] GHz, and compared to theoretical expectations in the far-field. Precise matches between MEEP simulation and radiation pattern predictions at different frequencies and beam angles are demonstrated. Given that the computations match the theory, the effect of embedding a phased array within a medium of varying index of refraction is then computed. Understanding the effect of varying index on phased arrays is critical for proposed ultra-high energy neutrino observatories which rely on phased array detectors embedded in natural ice. Future work will develop the phased array concepts with parallel MEEP, in order to increase the detail, complexity, and speed of the computations.

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Pold, Søren Bro, Olav W. Bertelsen, Lone Koefoed Hansen, Christian Ulrik Andersen, Shaowen Bardzell, and Jeffrey Bardzell. "Criticism – for Computational Alternatives." Aarhus Series on Human Centered Computing 1, no. 1 (October 5, 2015): 2. http://dx.doi.org/10.7146/aahcc.v1i1.21621.

Повний текст джерела

Анотація:

<div class="page" title="Page 1"><div class="layoutArea"><div class="column"><p><span>Criticism is a reflection on the dialectical relation between content and technology, a relation that is often political, tied to Marxist dialectics or to other concepts of criticism from aesthetic and literary theory. This workshop will ask how we can bridge between criticism of technology and design. If we are to envision and design critical alternatives, how can critical approaches to technology help? What do we need to take from criticism, which concepts of criticism and how can they be applied? </span></p></div></div></div>

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Sacks, E., and L. Joskowicz. "Computational Kinematic Analysis of Higher Pairs with Multiple Contacts." Journal of Mechanical Design 117, no. 2A (June 1, 1995): 269–77. http://dx.doi.org/10.1115/1.2826134.

Повний текст джерела

Анотація:

We present a computational kinematic theory of higher pairs with multiple contacts, including simultaneous contacts, intermittent contacts, and changing contacts. The theory systematizes single- and multiple-contact kinematic analysis by mapping it into geometric computation in configuration space. It derives the contact conditions, contact functions, and relations between contacts from the shapes and degrees of freedom of the parts. It helps identify common design flaws, such as undercutting, interference, and jamming, that cannot be systematically identified with current methods. We describe a program for the most common pairs: planar higher pairs with two degrees of freedom.

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Da’adoosh, Benny, Kon Kaito, Keishi Miyashita, Minoru Sakaguchi, and Amiram Goldblum. "Computational design of substrate selective inhibition." PLOS Computational Biology 16, no. 3 (March 20, 2020): e1007713. http://dx.doi.org/10.1371/journal.pcbi.1007713.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Smith, Adam, and Michael Mateas. "Computational Caricatures: Probing the Game Design Process with AI." Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 7, no. 3 (October 9, 2011): 14–18. http://dx.doi.org/10.1609/aiide.v7i3.12478.

Повний текст джерела

Анотація:

We propose the creation of computational caricatures as a design research practice that aims to advance understanding of the game design process and to develop the reusable technology for design automation. Computational caricatures capture and exaggerate statements about the game design process in the form of computational systems (i.e. software and hardware). In comparison with empirical interviews of game designers, arguments from established design theory, and the creation of neutral simulations of the design process, computational caricatures provide more direct access to inquiry and insight about design. Further, they tangibly demonstrate architectures and subsystems for a new generation of human-assisting design support systems and adaptive games that embed aspects of automated design in their runtime processes. In this paper, we frame the idea of computational caricature, review several existing design automation prototypes through the lens of caricature, and call for more design research to be done following this practice.

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Linhart, Chaim, and Ron Shamir. "The Degenerate Primer Design Problem: Theory and Applications." Journal of Computational Biology 12, no. 4 (May 2005): 431–56. http://dx.doi.org/10.1089/cmb.2005.12.431.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Liu, Wing Kam, and Cahal McVeigh. "Predictive multiscale theory for design of heterogeneous materials." Computational Mechanics 42, no. 2 (April 11, 2007): 147–70. http://dx.doi.org/10.1007/s00466-007-0176-8.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Kotulski, Leszek, and Grażyna Ślusarczyk. "Frequent Pattern Mining in a Design Supporting System." Key Engineering Materials 450 (November 2010): 1–4. http://dx.doi.org/10.4028/www.scientific.net/kem.450.1.

Повний текст джерела

Анотація:

This paper deals with reasoning about designs using frequent pattern mining methods. It also describes a prototype system supporting design and reasoning, where graph theory is applied to the computational process. Searching a large database of solutions for frequently occurring patterns allows us both to retrieve solutions of similar design tasks and to evaluate newly created innovative solutions.

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Thelen, Andrew, Leifur Leifsson, Anupam Sharma, and Slawomir Koziel. "Variable-fidelity shape optimization of dual-rotor wind turbines." Engineering Computations 35, no. 7 (October 1, 2018): 2514–42. http://dx.doi.org/10.1108/ec-12-2017-0502.

Повний текст джерела

Анотація:

Purpose Dual-rotor wind turbines (DRWTs) are a novel type of wind turbines that can capture more power than their single-rotor counterparts. Because their surrounding flow fields are complex, evaluating a DRWT design requires accurate predictive simulations, which incur high computational costs. Currently, there does not exist a design optimization framework for DRWTs. Since the design optimization of DRWTs requires numerous model evaluations, the purpose of this paper is to identify computationally efficient design approaches. Design/methodology/approach Several algorithms are compared for the design optimization of DRWTs. The algorithms vary widely in approaches and include a direct derivative-free method, as well as three surrogate-based optimization methods, two approximation-based approaches and one variable-fidelity approach with coarse discretization low-fidelity models. Findings The proposed variable-fidelity method required significantly lower computational cost than the derivative-free and approximation-based methods. Large computational savings come from using the time-consuming high-fidelity simulations sparingly and performing the majority of the design space search using the fast variable-fidelity models. Originality/value Due the complex simulations and the large number of designable parameters, the design of DRWTs require the use of numerical optimization algorithms. This work presents a novel and efficient design optimization framework for DRWTs using computationally intensive simulations and variable-fidelity optimization techniques.

Стилі APA, Harvard, Vancouver, ISO та ін.

32

BRAHA, DAN. "Design-as-satisfiability: A new approach to automated synthesis." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 15, no. 5 (November 2001): 385–99. http://dx.doi.org/10.1017/s0890060401155022.

Повний текст джерела

Анотація:

This article addresses computational synthesis systems that attempt to find a structural description that matches a set of initial functional requirements and design constraints with a finite sequence of production rules. It has been previously shown by the author that it is computationally difficult to identify a sequence of production rules that can lead to a satisficing design solution. As a result, computational synthesis, particularly with large volumes of selection information, requires effective design search procedures. Many computational synthesis systems utilize transformational search strategies. However, such search strategies are inefficient due to the combinatorial nature of the problem. In this article, the problem is approached using a completely different paradigm. The new approach encodes a design search problem as a Boolean (propositional) satisfiability problem, such that from every satisfying Boolean-valued truth assignment to the corresponding Boolean expression we efficiently can derive a solution to the original synthesis problem (along with its finite sequence of production rules). A major advantage of the proposed approach is the possibility of utilizing recently developed powerful randomized search algorithms for solving Boolean satisfiability problems, which considerably outperform the most widely used satisfiability algorithms. The new design-as-satisfiability technique provides a flexible framework for stating a variety of design constraints, and also represents properly the theory behind modern constraint-based design systems.

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Çiçek, Ezgi, Zoe Paraskevopoulou, and Deepak Garg. "A type theory for incremental computational complexity with control flow changes." ACM SIGPLAN Notices 51, no. 9 (December 5, 2016): 132–45. http://dx.doi.org/10.1145/3022670.2951950.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Tepavcevic, Bojan, and Vesna Stojakovic. "Shape grammar in contemporary architectural theory and design." Facta universitatis - series: Architecture and Civil Engineering 10, no. 2 (2012): 169–78. http://dx.doi.org/10.2298/fuace1202169t.

Повний текст джерела

Анотація:

In the past decade, digital technologies had a great impact on contemporary architectural practice, design and theory. CAD/CAM technologies opened up new opportunities by allowing design and production of complex geometric shapes. One of the first applications of computational process in architecture was based on using shape grammars, a rule-based expert systems in artificial intelligence generating geometric shapes. Early applications of shape grammars in art and architecture started shortly after its invention during the 70ies and 80ies of the XX century, however, their potential as a generative design tool still has not been fully exploited in practice. Despite their popularity in academic circles, shape grammars have not found a widespread place/usage in computer aided architectural design. Role of shape grammar as a generative design and analysis tool and their influence on contemporary architectural design and theory are examined in this paper. Also, new and ongoing issues concerning shape grammars are discussed in order to indicate further directions of their usage.

Стилі APA, Harvard, Vancouver, ISO та ін.

35

Hafner, Jürgen, Christopher Wolverton, and Gerbrand Ceder. "Toward Computational Materials Design: The Impact of Density Functional Theory on Materials Research." MRS Bulletin 31, no. 9 (September 2006): 659–68. http://dx.doi.org/10.1557/mrs2006.174.

Повний текст джерела

Анотація:

The development of modern materials science has led to a growing need to understand the phenomena determining the properties of materials and processes on an atomistic level. The interactions between atoms and electrons are governed by the laws of quantum mechanics; hence, accurate and efficient techniques for solving the basic quantum-mechanical equations for complex many-atom, many-electron systems must be developed. Density functional theory (DFT) marks a decisive breakthrough in these efforts, and in the past decade DFT has had a rapidly growing impact not only on fundamental but also industrial research. This article discusses the fundamental principles of DFT and the highly efficient computational tools that have been developed for its application to complex problems in materials science. Also highlighted are state-of-the-art applications in many areas of materials research, such as structural materials, catalysis and surface science, nanomaterials, and biomaterials and geophysics.

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Brooks, P. C., and R. S. Sharp. "A computational procedure based on eigenvalue sensitivity theory applicable to linear system design." Journal of Sound and Vibration 114, no. 1 (January 1987): 13–18. http://dx.doi.org/10.1016/s0022-460x(87)80229-8.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Chai, Li, Jingxin Zhang, Cishen Zhang, and Edoardo Mosca. "Frame-Theory-Based Analysis and Design of Oversampled Filter Banks: Direct Computational Method." IEEE Transactions on Signal Processing 55, no. 2 (February 2007): 507–19. http://dx.doi.org/10.1109/tsp.2006.885786.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Cheng, Ji, Ping Jiang, Qi Zhou, Jiexiang Hu, Tao Yu, Leshi Shu, and Xinyu Shao. "A lower confidence bounding approach based on the coefficient of variation for expensive global design optimization." Engineering Computations 36, no. 3 (April 8, 2019): 830–49. http://dx.doi.org/10.1108/ec-08-2018-0390.

Повний текст джерела

Анотація:

PurposeEngineering design optimization involving computational simulations is usually a time-consuming, even computationally prohibitive process. To relieve the computational burden, the adaptive metamodel-based design optimization (AMBDO) approaches have been widely used. This paper aims to develop an AMBDO approach, a lower confidence bounding approach based on the coefficient of variation (CV-LCB) approach, to balance the exploration and exploitation objectively for obtaining a global optimum under limited computational budget.Design/methodology/approachIn the proposed CV-LCB approach, the coefficient of variation (CV) of predicted values is introduced to indicate the degree of dispersion of objective function values, while the CV of predicting errors is introduced to represent the accuracy of the established metamodel. Then, a weighted formula, which takes the degree of dispersion and the prediction accuracy into consideration, is defined based on the already-acquired CV information to adaptively update the metamodel during the optimization process.FindingsTen numerical examples with different degrees of complexity and an AIAA aerodynamic design optimization problem are used to demonstrate the effectiveness of the proposed CV-LCB approach. The comparisons between the proposed approach and four existing approaches regarding the computational efficiency and robustness are made. Results illustrate the merits of the proposed CV-LCB approach in computational efficiency and robustness.Practical implicationsThe proposed approach exhibits high efficiency and robustness in engineering design optimization involving computational simulations.Originality/valueCV-LCB approach can balance the exploration and exploitation objectively.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Rodrigo, G., and A. Jaramillo. "RiboMaker: computational design of conformation-based riboregulation." Bioinformatics 30, no. 17 (May 14, 2014): 2508–10. http://dx.doi.org/10.1093/bioinformatics/btu335.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Wimmer, Erich. "Computational materials design: A perspective for atomistic approaches." Journal of Computer-Aided Materials Design 1, no. 3 (October 1994): 215–42. http://dx.doi.org/10.1007/bf00712850.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Butt, Rizwan. "Design problem solved by optimal control theory." Korean Journal of Computational & Applied Mathematics 4, no. 1 (March 1997): 167–78. http://dx.doi.org/10.1007/bf03011387.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Ediz, Özgür, and Gülen Çağdaş. "A Computational Architectural Design Model Based on Fractals." Open House International 32, no. 2 (June 1, 2007): 36–45. http://dx.doi.org/10.1108/ohi-02-2007-b0005.

Повний текст джерела

Анотація:

Digital design technologies play a significant role in assisting the designer through conceptual architectural design. Computer supported design systems can generate various images at the early design phase and can contribute to seeking alternative architectural forms. Currently, different design approaches are being employed in the formation of architectural products. Examples of architecture that produce unusual forms are often encountered within unique conceptual approaches. The development of new design examples is supported by the digital production of forms, and three-dimensional models through varying geometric approaches. In this study, a design approach that uses computer aided architectural design to produce architectural forms will be suggested. This approach utilizes principles existing in the unique fractal dimension of elements based on a vocabulary relevant to a specific architectural language. By relying on the fractal dimension and features of an existing architectural pattern, this generative design approach supports creativity in the production of new forms. The proposed approach is evaluated as a creative tool in architectural design. The subject of architecture; buildings, spaces, surroundings, symbols of that particular society are also the elements of a meta-language which creates a fractal geometry based relation. It is possible to analyse this relation through a fractal geometry-based principle. In short, a fractal geometrical generative method is suggested. Also, recently-surfaced discussions about "Chaos Theory" and its effects on the design process via "Chaos and Self - Similarity" are studied. The significance of these different phenomena and disciplines upon architectural design are also studied for developing a possible creative tool.

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Esterline, Albert, and Sridhar Kota. "A general paradigm for routine design—theory and implementation." Artificial Intelligence for Engineering Design, Analysis and Manufacturing 6, no. 2 (May 1992): 73–93. http://dx.doi.org/10.1017/s0890060400002973.

Повний текст джерела

Анотація:

The concept of discretization of a design space is used to make initial selection of prior designs using specification matching, and to direct redesign with evaluation and iteration. A general paradigm for routine design has been developed and implemented in a system called IDS (Initial Design Selection.) For a given design domain, certain characteristics are identified that allow all specifications and models (which represent prior designs) in that design domain to be described in terms of their values or intervals that these values may lie in. These characteristics are seen as dimensions of a design space discretized into a finite number of partitions. Each partition is represented by a model, thought of as occupying its center. Each such model is associated with a deep model, which contains sufficient information for the modeled device, process, or system to be realized. Despite the fact that the models inhabiting the space are shallow, the paradigm comprises a relatively rich mathematical structure. This paper describes in detail a computational methodology to implement this domain-independent paradigm. The IDS paradigm presents a convenient and structured framework for acquiring and representing domain knowledge. This paper also briefly discusses an enhanced version of the system, which attempts iterative redesign directed by the particular mismatch between a specification and an otherwise promising model. To date, this methodology has been applied in a variety of design domains, including mechanism design, hydraulic component selection, assembly methods, and non-destructive testing methods.

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Rahwan, Iyad, and Kate Larson. "Logical mechanism design." Knowledge Engineering Review 26, no. 1 (February 7, 2011): 61–69. http://dx.doi.org/10.1017/s0269888910000421.

Повний текст джерела

Анотація:

AbstractGame theory is becoming central to the design and analysis of computational mechanisms in which multiple entities interact strategically. The tools of mechanism design are used extensively to engineer incentives for truth revelation into resource allocation (e.g. combinatorial auctions) and preference aggregation protocols (e.g. voting). We argue that mechanism design can also be useful in the design of logical inference procedures. In particular, it can help us understand and engineer inference procedures when knowledge is distributed among self-interested agents. We set a research agenda for this emerging area, and point to some early research efforts.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Dösinger, Christoph, Tobias Spitaler, Alexander Reichmann, Daniel Scheiber, and Lorenz Romaner. "Applications of Data Driven Methods in Computational Materials Design." BHM Berg- und Hüttenmännische Monatshefte 167, no. 1 (December 21, 2021): 29–35. http://dx.doi.org/10.1007/s00501-021-01182-3.

Повний текст джерела

Анотація:

AbstractIn today’s digitized world, large amounts of data are becoming available at rates never seen before. This holds true also for materials science where high-throughput simulations and experiments continuously produce new data. Data driven methods are required which can make best use of the information stored in large data repositories. In the present article, two of such data driven methods are presented. First, we apply machine learning to generalize and extend the results obtained from computationally intense density functional theory (DFT) simulations. We show how grain boundary segregation energies can be trained with gradient boosting regression and extended to many more positions in the grain boundary for a complete description. The second method relies on Bayesian inference, which can be used to calibrate models to give data and quantification of the model uncertainty. The method is applied to calibrate parameters in thermodynamic models of the Gibbs energy of Ti-W alloys. The uncertainty of the model parameters is quantified and propagated to the phase boundaries of the Ti-W system.

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Shen, Chun Gen, Gui Cheng Wang, Shu Lin Wang, and Gang Liu. "Determining Structural Modes of HSK Tool System Based on FEM and EMA." Advanced Materials Research 139-141 (October 2010): 1479–84. http://dx.doi.org/10.4028/www.scientific.net/amr.139-141.1479.

Повний текст джерела

Анотація:

In this research, we computationally analyzed the structural modes of an HSK63E type tool system and verified the results with experimental modal analysis (EMA). The computation was implemented using the finite element method (FEM) based on a linear-elastic theory, with which we computed the natural frequency and obtained the modal shapes under both free and operating conditions. With the method of experimental modal analysis, we also obtained structural modal parameters including the natural frequency, modal shapes and damping ratio under the same free and operating conditions. The computational data were compared with the experimental findings. The reasonable agreement between the two data sets indicated the validity and provided a theoretical basis for using computational methods for determining the natural characteristics and influencing factors of HSK tool system. With this validated FEM model, further analyses were performed to evaluate the unique dynamic performance of the HSK tool system, and to apply dynamic optimum design to other types of HSK tool system.

Стилі APA, Harvard, Vancouver, ISO та ін.

47

López-Estrada, Francisco-Ronay, and Guillermo Valencia-Palomo. "Advanced Mathematics and Computational Applications in Control Systems Engineering." Mathematical and Computational Applications 26, no. 1 (March 3, 2021): 20. http://dx.doi.org/10.3390/mca26010020.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Chen, Bor-Sen, Chia-Hung Chang, and Hsiao-Ching Lee. "Robust synthetic biology design: stochastic game theory approach." Bioinformatics 25, no. 14 (May 12, 2009): 1822–30. http://dx.doi.org/10.1093/bioinformatics/btp310.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Formisano, Alessandro, Raffaele Fresa, and Raffaele Martone. "Use of compensation theorem for the robustness assessment of electromagnetic devices optimal design." COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering 33, no. 3 (April 29, 2014): 834–45. http://dx.doi.org/10.1108/compel-10-2012-0228.

Повний текст джерела

Анотація:

Purpose – The purpose of this paper is to present the use of the compensation theorem (CT), well known in the analysis of linear electric networks, to compute sensitivity of the performance functions used in the robust design or tolerance analysis of electromagnetic devices. Design/methodology/approach – The CT is first illustrated in the case of a simple field analysis problem. Then, using numerical simulations, the effectiveness of compensation approach for assessing impact of the small modification of material properties is shown. The numerical simulations are performed with a finite elements code based on an integral formulation. Findings – The complexity of additional computations to assess the effect of small variations involved in sensitivity analysis can be reduced. Research limitations/implications – The method can be applied only to linear systems; in addition, although compensation applies to any variations, the reduction of computational complexity is achieved only for small variations, giving localized effects. Practical implications – The method proposed in the paper can speed up the computations of sensitivity arrays in the robust design and tolerance analysis of electromagnetic device, when numerical methods are applied. Originality/value – The use of CT in field computations is not new, but its adoption in the sensitivity computation is new to the best knowledge of authors.

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Szumska, Anna A., Henning Sirringhaus, and Jenny Nelson. "Symmetry based molecular design for triplet excitation and optical spin injection." Physical Chemistry Chemical Physics 21, no. 35 (2019): 19521–28. http://dx.doi.org/10.1039/c9cp03384j.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Статті в журналах з теми "Computational Design Theory"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями