Увійти

Готові списки джерел за темами / Engineering design reasoning / Книги

Книги з теми "Engineering design reasoning"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Engineering design reasoning.

Автор: Grafiati

Опубліковано: 10 грудня 2022

Оновлено: 28 січня 2023

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

Оберіть тип джерела:

Ознайомтеся з топ-41 книг для дослідження на тему "Engineering design reasoning".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

1947-, Brown David C., ed. Engineering design: Representation and reasoning. 2nd ed. New York: Cambridge University Press, 2012.

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

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

2

Andrzej, Kraslawski, ed. Case based design: Applications in process engineering. Berlin: Springer, 2008.

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

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

3

1953-, Balachandran M., and Zhang Dong Mei, eds. Case-based reasoning in design. Mahwah, N.J: Lawrence Erlbaum Associates, 1995.

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

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

4

Wang, Charlie C. L. Geometric Modeling and Reasoning of Human-Centered Freeform Products. London: Springer London, 2013.

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

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

5

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

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

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

6

Kunz, Wolfgang. Reasoning in Boolean Networks: Logic Synthesis and Verification using Testing Techniques. Boston, MA: Springer US, 1997.

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

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

7

J, Berndt Donald, and Kandel Abraham, eds. Automated database applications testing: Specification representation for automated reasoning. Singapore: World Scientific, 2010.

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

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

8

Panagiotis, Manolios, and Moore J. Strother 1947-, eds. Computer-aided reasoning: An approach. Boston: Kluwer Academic Publishers, 2000.

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

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

9

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

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

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

10

LPAR (Conference) (17th 2010 Yogyakarta, Indonesia). Logic for programming, artificial intelligence, and reasoning: 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings. Berlin: Springer, 2010.

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

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

11

Joohyung, Lee, Lierler Yuliya, Pearce David, and SpringerLink (Online service), eds. Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

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

12

Dale, Miller, Sattler Uli, and SpringerLink (Online service), eds. Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

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

13

Fangzhen, Lin, Schaub Torsten, and SpringerLink (Online service), eds. Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

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

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

14

1959-, Voronkov A. (Andreĭ), and SpringerLink (Online service), eds. Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

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

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

15

Varlamov, Oleg. Mivar databases and rules. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1508665.

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

Анотація:

The multidimensional open epistemological active network MOGAN is the basis for the transition to a qualitatively new level of creating logical artificial intelligence. Mivar databases and rules became the foundation for the creation of MOGAN. The results of the analysis and generalization of data representation structures of various data models are presented: from relational to "Entity — Relationship" (ER-model). On the basis of this generalization, a new model of data and rules is created: the mivar information space "Thing-Property-Relation". The logic-computational processing of data in this new model of data and rules is shown, which has linear computational complexity relative to the number of rules. MOGAN is a development of Rule - Based Systems and allows you to quickly and easily design algorithms and work with logical reasoning in the "If..., Then..." format. An example of creating a mivar expert system for solving problems in the model area "Geometry"is given. Mivar databases and rules can be used to model cause-and-effect relationships in different subject areas and to create knowledge bases of new-generation applied artificial intelligence systems and real-time mivar expert systems with the transition to"Big Knowledge". The textbook in the field of training "Computer Science and Computer Engineering" is intended for students, bachelors, undergraduates, postgraduates studying artificial intelligence methods used in information processing and management systems, as well as for users and specialists who create mivar knowledge models, expert systems, automated control systems and decision support systems. Keywords: cybernetics, artificial intelligence, mivar, mivar networks, databases, data models, expert system, intelligent systems, multidimensional open epistemological active network, MOGAN, MIPRA, KESMI, Wi!Mi, Razumator, knowledge bases, knowledge graphs, knowledge networks, Big knowledge, products, logical inference, decision support systems, decision-making systems, autonomous robots, recommendation systems, universal knowledge tools, expert system designers, logical artificial intelligence.

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

16

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

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

17

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

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

18

Dym, Clive L. Engineering Design: Representation And Reasoning. Cambridge University Press, 2014.

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

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

19

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

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

20

C, Brown David, and Clive L. Dym. Engineering Design: Representation and Reasoning. Cambridge University Press, 2012.

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

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

21

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

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

22

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

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

23

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

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

24

Maher, Mary Lou, M. Bala Balachandran, and Dong Mei Zhang. Case-Based Reasoning in Design. Taylor & Francis Group, 2014.

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

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

25

Case Based Design Studies in Computational Intelligence. Springer, 2010.

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

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

26

Tong, Christopher. Artificial Intelligence in Engineering Design: Models of Innovative Design, Reasoning About Physical Systems, and Reasoning About Geometry (Artificial Intelligence in Engineering Design). Academic Pr, 1992.

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

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

27

Tong, Christopher. Artificial Intelligence in Engineering Design: Models of Innovative Design, Reasoning About Physical Systems, and Reasoning About Geometry (Artificial Intelligence in Engineering Design). Academic Pr, 1992.

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

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

28

Geometric Modeling And Reasoning Of Humancentered Freeform Products. Springer, 2012.

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

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

29

Hounsell, Marcelo da Silva. Feature-based validation reasoning for intent-driven engineering design. 1998.

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

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

30

Unknown. Artificial Intelligence in Engineering Design : Volume II: Models of Innovative Design, Reasoning about Physical Systems, and Reasoning about Geometry. Elsevier Science & Technology Books, 2012.

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

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

31

Automated Reasoning 4th International Joint Conference Proceedings. Springer, 2008.

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

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

32

Logic Programming And Nonmonotonic Reasoning 11th International Conference Proceedings. Springer, 2011.

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

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

33

Logic for Programming Artificial Intelligence and Reasoning Lecture Notes in Artificial Intelligence. Springer, 2011.

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

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

34

Kaufmann, Matt, Panagiotis Manolios, and J. Moore. Computer-Aided Reasoning: An Approach. Lulu Press, Inc., 2010.

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

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

35

Furbach, Ulrich, and Natarajan Shankar. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer London, Limited, 2006.

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

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

36

Automated Reasoning 6th International Joint Conference Ijcar 2012 Manchester Uk June 2629 2012 Proceedings. Springer, 2012.

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

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

37

(Editor), Ulrich Furbach, and Natarajan Shankar (Editor), eds. Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2007.

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

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

38

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings. Springer, 2008.

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

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

39

Kaufmann, Matt, Panagiotis Manolios, and J. Strother Moore. Computer-Aided Reasoning: An Approach (Advances in Formal Methods). Springer, 2000.

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

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

40

(Editor), Matt Kaufmann, Panagiotis Manolios (Editor), and J. Strother Moore (Editor), eds. Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods). Springer, 2000.

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

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

41

Rampinelli, Giuliano Arns, and Solange Machado. Manual de sistemas fotovoltaicos de geração distribuída: Teoria e prática. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-330-5.

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

Анотація:

This book started from a desire to contribute scientifically with the knowledge about photovoltaic solar energy – an art promoted and developed by members of School of Sun and the NTEEL Solar. It has been possible through the research groups from School of Sun Project and the Electric Energy Technological Nucleus – Solar (NTEEL Solar). The School of Sun is a project from Federal University of Santa Catarina (UFSC) which promotes scientific knowledge by the promotion of the information. The NTEEL Solar is a group which develops projects and scientific research in Photovoltaic Solar Energy and its applications. This work presents topics about the Brazilian electrical sector and its commercialization of energy, concepts about the reasoning and measurement of the solar radiation, characteristics and technologies of photovoltaic cells and modules; characteristics and technologies of inverters; monitoring and analysis of the photovoltaic systems; consumptions and generation profiles, rules and law, operation and maintenance of systems, softwares to dimension and simulate systems, and energy efficiency at buildings. It is a pleasure to share these research results from projects and scientific researches with you, dear reader. We would like to thank all the people that have been helping us with research so far, especially with this book. We are also thankful for the organizations which have been supporting us: the Federal University of Santa Catarina (UFSC), the School of Sun (UFSC), the Electric Energy Technological Nucleus – NTEEL Solar, Graduate Program in Energy and Sustainability (PPGES), the Undergraduate Program in Energy Engineering, the Coordination of Personnel Improvement of Graduate and Undergraduate Studies (CAPES), The National Council of Scientific and Technological Development (CNPq) and the Foundation of Support to Scientific Research and Innovation from Santa Catarina State (FAPESC). This book contributes scientifically to the promotion of renewable technology, reliable, competitive; towards sustainable development. We hope that you appreciate it and have a great reading.

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

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!