Log in

Relevant bibliographies by topics / Computer-aided assessment systems

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Computer-aided assessment systems'

Author: Grafiati

Published: 10 January 2023

Last updated: 28 January 2023

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

Select a source type:

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

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

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

Journal articles on the topic "Computer-aided assessment systems"

1

Dabolins, Janis. "TEACHING OF COMPUTER AIDED DESIGN SYSTEMS." SOCIETY. INTEGRATION. EDUCATION. Proceedings of the International Scientific Conference 5 (May 25, 2018): 248–59. http://dx.doi.org/10.17770/sie2018vol1.3143.

Full text

Abstract:

The objective of this paper is to analyze and describe computer-aided design training and its aspects. A traditional and technology-supported learning process is described with the purpose of analyzing computer-aided design training and provision of knowledge assessment, and identifying problems in the CAD system training. The article analyzes the learning process by defining its objectives, the necessity of student characterization, motivation analysis, the necessity of feedback and other basic components; it analyzes the training methods, provides insight into technology-supported learning process, identifies the provision and types of computer-aided design training and knowledge assessment as well as describes feedback and its role in the training process.Elaboration of an intellectual learning system would solve the problems associated with lack of feedback, lack of adaptivity and the emergence of plagiarism (since only the end result of the design is subjected to the test and not the whole process of creating it, it is easy to pass another’s work for one’s own). A solution to these problems would facilitate the work of the teacher and improve student learning outcomes.

APA, Harvard, Vancouver, ISO, and other styles

2

Behloul, F., B. P. F. Lelieveldt, A. Boudraa, M. F. Janier, D. Revel, and J. H. C. Reiber. "Neuro-fuzzy systems for computer-aided myocardial viability assessment." IEEE Transactions on Medical Imaging 20, no. 12 (2001): 1302–13. http://dx.doi.org/10.1109/42.974925.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Elfring, Robert, Matías de la Fuente, and Klaus Radermacher. "Assessment of optical localizer accuracy for computer aided surgery systems." Computer Aided Surgery 15, no. 1-3 (February 2010): 1–12. http://dx.doi.org/10.3109/10929081003647239.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Richard, Heller, and Guilan Shi. "Melanoma Screening with Computer Aided Dermoscopy System Based on the ABCD Criteria." Dermatology and Dermatitis 4, no. 1 (August 9, 2019): 01–04. http://dx.doi.org/10.31579/2578-8949/052.

Full text

Abstract:

Melanoma mortality rates are the highest amongst skin cancer patients. The 5-year survival rate is 92% if melanoma is diagnosed at an early stage and is localized. If melanoma has spread to other parts of the body, survival is only 13%. Therefore, it is particularly important to develop approaches that can enhance early and accurate diagnosis of melanoma. Dermatoscopy has been widely used to identify early tumor growth. With the addition of computer technology, digital dermatoscopy systems are capable of accurately assessing skin surface features modeled along the ABCD criteria and have been used for clinical assessment of pigmented skin lesions. This paper introduces a non-invasive computerized dermoscopy system that considers lesions on the skin for `diagnosis.

APA, Harvard, Vancouver, ISO, and other styles

5

Konstantinidis, P. A., G. C. Koltsakis, and A. M. Stamatelos. "Computer aided assessment and optimization of catalyst fast light-off techniques." Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 211, no. 1 (January 1, 1997): 21–37. http://dx.doi.org/10.1243/0954407971526191.

Full text

Abstract:

Strict future legislation standards are forcing the car industry to employ new techniques for reducing exhaust gas emissions. Most of these techniques focus on accelerating the appearance of catalyst light-off and are thus called fast light-off techniques (FLTs). Optimized exhaust systems comprising FLTs will be able to meet the forthcoming legislation standards for the United States [low emissions vehicle (LEV) and ultra-low emissions vehicle (ULEV)] and the European Union (Stage III). The most promising active and passive FLT systems are briefly reviewed. Computer aided optimization of such systems can be realized with the help of specific computational tools, which are briefly presented in this paper, and according to a concept optimization methodology, which is also discussed. The results indicate an increased sensitivity of FLT systems’ performance over the selected values of certain design and operating parameters that were featured in the examples presented. Moreover, by comparing the computational results with knowledge gained from experiments and testing, the paper indicates that, given the suitable computational tools, the optimization procedure can take place in a most cost-effective manner by substituting many experiments with computer test case runs.

APA, Harvard, Vancouver, ISO, and other styles

6

Barua, Ishita, Michael Bretthauer, and Yuichi Mori. "Computer-aided quality assessment (CAQ): the next step for artificial intelligence in colonoscopy?" Mini-invasive Surgery 6, no. 5 (2022): 28. http://dx.doi.org/10.20517/2574-1225.2022.05.

Full text

Abstract:

Recent developments and breakthroughs in artificial intelligence (AI) for colonoscopy have the potential to improve the quality of colonoscopy. Computer-aided detection for colorectal polyps has been shown to increase the adenoma detection rate by more than 10%. Furthermore, recently developed computer-aided quality assessment (CAQ) systems, such as real-time withdrawal speed monitoring, are expected to provide additional gain in colonoscopy practice. However, the added clinical value of combining AI techniques is uncertain. This paper provides an overview of the latest evidence on CAQ systems and identifies knowledge gaps that need to be filled before widespread implementation.

APA, Harvard, Vancouver, ISO, and other styles

7

Parsons, Kenneth C. "Computer Aided Design of the Thermal Environment." Proceedings of the Human Factors Society Annual Meeting 33, no. 8 (October 1989): 512–16. http://dx.doi.org/10.1177/154193128903300801.

Full text

Abstract:

The use in design, of knowledge and understanding of human thermal comfort, heat stress and cold stress, is often complex and time consuming. A computer based system (IBM-PC) was developed to allow human factors practitioners to assess and manipulate knowledge, data and simulations of human response to thermal environments, thus allowing computer aided design. A description of the system, its design and development and examples of its use are provided. The role of such systems in design and assessment should be considered by human factors practitioners.

APA, Harvard, Vancouver, ISO, and other styles

8

Gentile, U., S. Marrone, R. Nardone, and E. Bellini. "Computer-aided security assessment of water networks monitoring platforms." International Journal of Critical Infrastructure Protection 31 (December 2020): 100390. http://dx.doi.org/10.1016/j.ijcip.2020.100390.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Paprocki, Marcin. "The use of methods and computer aided systems in the ecological design of product development." Mechanik 91, no. 1 (January 8, 2018): 73–75. http://dx.doi.org/10.17814/mechanik.2018.1.17.

Full text

Abstract:

Presented are two concepts of the process planning design procedure and the cost estimation aided by CAPP systems. Methods aiding ecological design of the product development, such as DFMA, DFE, FMEA, QFD and LCA, are presented too. The Eco-indicator 99 method which is used in the assessment of product life cycle impact on the environment (LCIA) is discussed. The paper recommends complementing the strategic enterprise backbone with the environmental component of the product life cycle assessment (Ecological Backbone).

APA, Harvard, Vancouver, ISO, and other styles

10

Gardner, Lauren, Toby Gillgrass, and Mark Devlin. "The role of three-dimensional imaging in patients with cleft lip and palate." Faculty Dental Journal 4, no. 3 (July 2013): 118–23. http://dx.doi.org/10.1308/204268513x13703528618960.

Full text

Abstract:

Three-dimensional (3D) imaging is revolutionising patient assessment, diagnosis, management and treatment planning. Restorative dentistry is using optical scanning such as the computer aided design/computer aided manufacture systems to help with tooth preparation design and construction of fixed prosthodontics. Other specialties in dentistry are frequently employing cone beam computed tomography (CBCT) to facilitate 3D imaging. This article outlines how CBCT and 3D sterophotogrammetry have been used in the management of cleft lip and palate with reference to the cleft team based at Glasgow Dental Hospital.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Computer-aided assessment systems"

1

Blake, Etoile Saint-Melson. "Computer aided techniques for the reliability assessment of engineering systems." Thesis, London South Bank University, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279708.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Davis, Raymond. "The spatial assessment of environmental engineering systems using database generated design algorithms." Thesis, Queen's University Belfast, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356878.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ezingeard, Jean-Noel. "Heuristic methods to aid value assessment in the management of Manufacturing Information and Data Systems." Thesis, Brunel University, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.336661.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Marr, J. G. D. "Computer-aided detection systems for HPLC : Development, assessment and application of digital techniques for peak purity validation in HPLC utilising photodiode array detection." Thesis, University of Bradford, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.384261.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Jensen, Matthew Lynn. "The Effects of an Expert System on Novice and Professional Decision Making with Application in Deception Detection." Diss., The University of Arizona, 2007. http://hdl.handle.net/10150/193557.

Full text

Abstract:

One effective way for organizations to capture expert knowledge and experience is to encapsulate it within an expert system (ES) and make that system available to others. While ES users have access to the system's knowledge, they shoulder the difficult task of appropriately incorporating the ES recommendations into the decision-making process.One proposed application of an ES is in the realm of deception detection. Humans are inherently poor at recognizing deception when it occurs and their confidence in their judgments is poorly calibrated to their performance. An ES has the potential to significantly improve deception detection; however, joining an ES and a human decision maker creates many important questions that must be addressed before such a system will be useful in a field environment. These questions concern changes in decision outcomes, decision processes, and the decision maker that result from ES use.To examine these questions, a prototype system was created that implements new and unobtrusive methods of deception detection. Kinesic analysis examines the body movement of a potential deceiver and linguistic analysis reviews the structure of utterances from a potential deceiver. This prototype, complete with explanations, was utilized in two experiments that examined the effects of access to the prototype, accuracy level of the prototype, user training in deception detection, and novice or professional lie-catcher status of the users.Use of the prototype system was found to significantly improve professional and novice accuracy rates and confidence alignment. Training was found to have no effect on novice accuracy rates. Accuracy level of the prototype significantly elevated accuracy rates and confidence alignment among novices; however, this improvement was imperceptible to the novices. Novices using the prototype performed on a level equivalent to professionals using the prototype. Neither professional nor novice users of the prototype exceeded the performance of the prototype system alone. Implications of these findings include emphasizing the development of computer-based tools to detect deception and defining a new role for human users of such tools.

APA, Harvard, Vancouver, ISO, and other styles

6

Batmaz, Firat. "Semi-Automatic assessment of students' graph-based diagrams." Thesis, Loughborough University, 2011. https://dspace.lboro.ac.uk/2134/8431.

Full text

Abstract:

Diagrams are increasingly used in many design methods, and are being taught in a variety of contexts in higher education such as database conceptual design or software design in computer science. They are an important part of many assessments. Currently computer aided assessments are widely used for multiple choice questions. They lack the ability to assess a student's knowledge in a more comprehensive way, which is required for diagram-type student work. The aim of this research is to develop a semi-automatic assessment framework, which enables the use of computer to support the assessment process of diagrammatic solutions, with the focus of ensuring the consistency of grades and feedback on solutions. A novel trace model, that captures design traces of student solutions, was developed as a part of the framework and was used to provide the matching criteria for grouping the solutions. A new marking style, partial marking, was developed to mark these solution groups manually. The Case-Based Reasoning method is utilised in the framework to mark some of the groups automatically. A guideline for scenario writing was proposed to increase the efficiency of automatic marking. A prototype diagram editor, a marking tool and scenario writing environment were implemented for the proposed framework in order to demonstrate proof of concept. The results of experiments show that the framework is feasible to use in the formative assessment and it provides consistent marking and personalised feedback to the students. The framework also has the potential to significantly reduce the time and effort required by the examiner to mark student diagrams. Although the constructed framework was specifically used for the assessment of database diagrams, the framework is generic enough to be used for other types of graph-based diagram.

APA, Harvard, Vancouver, ISO, and other styles

7

Roycroft, Steven Michael. "Computer aided method for system safety and reliability assessments." Thesis, Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/theses/2008/Sept/08Sep%5FRoycroft.pdf.

Full text

Abstract:

Thesis (M.S. in Systems Engineering)--Naval Postgraduate School, September 2008.
Thesis Advisor(s): Rhoades, Mark M. "September 2008." Description based on title screen as viewed on November 4, 2008.. Includes bibliographical references (p. 75). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

8

Alvares, Sergio Gontijo. "A Computer aided assessment study on the viability of a solar powered single stage aqua-ammonia absorption refrigeration system for milk cooling at remote Brazilian dairy farms /." [S.l.] : [s.n.], 1985. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=7717.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Genemo, Hussein. "A Design Science Approach to Assessment of Multi-Steps Questions in Mathematics." Thesis, 2019. https://vuir.vu.edu.au/40204/.

Full text

Abstract:

Academic assessment that is used to assist in producing knowledge having a lasting effect should be the concern of all stakeholders. Subjective assessment contributes to achieving this type of knowledge. In particular for multi-steps questions (MSQ) human assessors play important roles. This evaluation includes assessing solution strategies, working produced from employing those strategies, and the final answer. This assessment can reveal levels of conceptual understanding displayed by students. Subjective assessment gives options to students to express their understanding of the topic. However, when computer-aided assessment (CAA) systems are used, there is much less subjectivity. These systems subdivide MSQ into stub-steps, and students can provide one step’s answer without showing their workings. This technique is similar to assessing objective questions such as multiple-choice questions (MCQ) which do not, generally, examine conceptual understanding. The inability of CAA systems to assess solutions of MSQ is considered a complex problem. To solve a complex problem, accumulating knowledge about the problem, producing solutions and acquiring ability to apply those solutions are required. Design science research (DSR), which is the paradigm to investigate complex problems- in information systems research and design science - has been used in this research. Two hundred and fifty-eight student scripts containing working with solutions of MSQ were analysed using an inductive qualitative content analysis and the quantitative survey approach. The findings from the analyses of scripts were re-analysed iteratively to produce the knowledge that contributed to the understanding of the research problem and producing solutions. This knowledge includes types of solution strategies and student errors that can also be used in designing questions to be used in CAA systems for assessing objective questions. The methodologies that were used in producing this knowledge could also be used in similar disciplines to produce similar output. A significant contribution of this research is to analyse student workings for extracting solution strategies, and this helps understanding ways of solving MSQ and obtaining these strategies. This approach does not appear to have been used elsewhere. The questionnaire that was created for measuring the significance of types of strategies and student errors is an innovative instrument. It has not been used previously and can be adapted for similar studies. The information in the analyses of student workings also provides directions when solutions of MSQ are assessed by humans. Furthermore, all the above information as well as domain knowledge was used to develop DSR constructs and models artefacts. These models represent processes and data in the student workings, which was divided into sub-tasks with each task being represented by one model. The implementation of a model in a DSR prototype artefact accomplishes the assessment of that sub-task. One of these models was implemented, overcoming difficulty in designing user interfaces that can be used without disclosing the domain knowledge students are examined. These user interfaces show an innovative way of extracting conceptual understanding of topics. Furthermore, these models are highly generalisable to a very broad class of problems.

APA, Harvard, Vancouver, ISO, and other styles

10

Kuan, Ling-Chun, and 管羚君. "Establishment of Computer Aided System in Nutritional Assessment." Thesis, 1998. http://ndltd.ncl.edu.tw/handle/40480305990343968961.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Computer-aided assessment systems"

1

Lai, John J. Computer system performance assessment for computer aided manufacture. Manchester: UMIST, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Natke, H. G. Model-aided diagnosis of mechanical systems: Fundamentals, detection, localization, and assessment. Berlin: Springer Verlag, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

United States. International Trade Administration. Capital Goods and International Construction Sector Group., ed. A Competitive assessment of the U.S. computer-aided design and manufacturing industry. Washington, D.C: U.S. Dept. of Commerce, International Trade Administration, 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Multiobjective optimization of hybrid regenerative life support technologies, (topic D, technology assessment): NASA interim progress report. [Washington, DC: National Aeronautics and Space Administration, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

United States. National Aeronautics and Space Administration., ed. Multiobjective optimization of hybrid regenerative life support technologies, (topic D, technology assessment): NASA interim progress report. [Washington, DC: National Aeronautics and Space Administration, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Model-Aided Diagnosis of Mechanical Systems: Fundamentals, Detection, Localization, Assessment. Springer, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Lee, P. J. Statistical Methods for Estimating Petroleum Resources. Edited by Jo Anne DeGraffenreid. Oxford University Press, 2008. http://dx.doi.org/10.1093/oso/9780195331905.001.0001.

Full text

Abstract:

This book describes procedures for determining the total hydrocarbon (petroleum) resource or resource potential in a region. Statistical concepts and methods employed in petroleum resource assessment are the subject of the manuscript, extensively illustrated by numerous real case studies. Prof. Lee's computer-aided Petroleum Information Management and Resource Evaluation System (PETRIMES) methodology has been adopted by governments around the world and by major multinational oil companies to perform resource assessment and to predict future oil and gas production. Though this methodology is so widely used, there is no "user's guide" to it, and this book will be the definitive resource for PETRIMES users.

APA, Harvard, Vancouver, ISO, and other styles

8

Srikrishna, Subramanian, Ganesan Sivarajan, and Hariprasath Manoharan. Computer Aided State Estimation of Electric Power Networks: An Introduction to Fundamental Principles of Power System Operations and Control, Data Attacks and Security Assessment Solutions. Universal Publishers, 2020.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Nowak, Dariusz, ed. Production–operation management. The chosen aspects. Wydawnictwo Uniwersytetu Ekonomicznego w Poznaniu, 2021. http://dx.doi.org/10.18559/978-83-8211-059-3.

Full text

Abstract:

The aim of the e-book is to present the theoretical, cognitive and practical aspects of the essence and complexity of operational management in a production company. The presented modern production methods together with the challenges and problems of contemporary enterprises should better help to understand the issues of sustainable development, with particular emphasis on waste. The book consists of six chapters devoted to relevant and topic issues relating to the core business of an industrial enterprise. Chapter 1 The nature of the industrial enterprise is an introduction to further considerations and deals with the essence of the basic aspects of the company. Both popular and less known definitions of an enterprise, its features, functions and principles of operation are presented. An important part of the chapter is the presentation and formulation of strategic, tactical and operational goals. Moreover, the division of enterprises is presented with the use of various criteria and the features of the industrial market, which make it distinct. Chapter 2 The operational management evolution and its role in the industrial enterprise discusses the evolution and concept of production and operational management. The management levels were also presented, indicating their most important functions. An integral part of the chapter is the essence of the production system, viewed through the prism of the five elements. Chapter 3 Functions and role in operations management presents the issues concerning the organization of production processes, production capacity and inventory management. This part also presents considerations on cooperation and collaboration between enterprises in the process of creating value. Chapter 4 Traditional methods used in operational activities focuses on methods such as benchmarking, outsourcing, core competences, JIT, MPR I and MRP II, as well as TQM and kaizen. Knowledge of these methods should contribute to understanding the activities of modern enterprises, the way of company functioning, the realization of production activities, as well as aspects related to building a competitive position. Chapter 5 Modern methods used in production-operations management discusses the less common and less frequently used production methods, based on a modern and innovative approach. In particular, it was focused on: Shop Floor Control and cooperative manufacturing, environment-conscious manufacturing (ECM) and life-cycle assessment ( LCA), waste management and recycling, Electronic Data Interchange (EDI), virtual enterprise, World Class Manufacturing (WCM), Quality Function Deployment (QFD) and House of Quality (HOQ), theory of constraints (TOC), Drum Buffer Rope (DBR), group technology (GT) and cellular manufacturing (CM), Demand Chain Management and competitive intelligence (CI). In the last section discusses: the role of sustainable statistical process control and Computer-Aided Process Planning in context formatting of information management. Chapter 6 Problems of sustainable development and challenges related to production and operations management describes the problem and challenges related to production and operations activities. In particular, attention was paid to the threats related to changes in global warming, the growing scale of waste, or the processes of globalization. It was pointed out that the emerging problem may be both a threat and a chance for the development of enterprises. An integral part of the chapter are also considerations on technical progress, innovation and the importance of human capital in operational activities.

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Computer-aided assessment systems"

1

Judmayer, Aljosha, Georg Merzdovnik, Johanna Ullrich, Artemios G. Voyiatzis, and Edgar Weippl. "A Performance Assessment of Network Address Shuffling in IoT Systems." In Computer Aided Systems Theory – EUROCAST 2017, 197–204. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74718-7_24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Klempous, Ryszard, Jerzy W. Rozenblit, Konrad Kluwak, Jan Nikodem, Dariusz Patkowski, Sylwester Gerus, Mateusz Palczewski, Zdzisław Kiełbowicz, and Andrzej Wytyczak-Partyka. "Our Early Experience Concerning an Assessment of Laparoscopy Training Systems." In Computer Aided Systems Theory – EUROCAST 2017, 372–79. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74727-9_44.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Szlachcic, Ewa, and Ryszard Klempous. "Performance Assessment of Optimal Chemotherapy Strategies for Cancer Treatment Planning." In Computer Aided Systems Theory – EUROCAST 2017, 386–93. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74727-9_46.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rodríguez-Rodríguez, Abraham, Gilberto Martel-Rodríguez, Miguel Márquez-Marfil, and Francisca Quintana-Domínguez. "A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks." In Computer Aided Systems Theory – EUROCAST 2015, 195–202. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27340-2_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Lozada, Dayana, Jose Manuel Castillo, Alberto Salguero, Francisco Araque, Cecilia Delgado, Marcia Noda, and Gilberto Hernández. "Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism." In Computer Aided Systems Theory – EUROCAST 2011, 64–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-27549-4_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Bozzano, Marco, Alessandro Cimatti, Anthony Fernandes Pires, Alberto Griggio, Martin Jonáš, and Greg Kimberly. "Efficient SMT-Based Analysis of Failure Propagation." In Computer Aided Verification, 209–30. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81688-9_10.

Full text

Abstract:

AbstractThe process of developing civil aircraft and their related systems includes multiple phases of Preliminary Safety Assessment (PSA). An objective of PSA is to link the classification of failure conditions and effects (produced in the functional hazard analysis phases) to appropriate safety requirements for elements in the aircraft architecture. A complete and correct preliminary safety assessment phase avoids potentially costly revisions to the design late in the design process. Hence, automated ways to support PSA are an important challenge in modern aircraft design. A modern approach to conducting PSAs is via the use of abstract propagation models, that are basically hyper-graphs where arcs model the dependency among components, e.g. how the degradation of one component may lead to the degraded or failed operation of another. Such models are used for computing failure propagations: the fault of a component may have multiple ramifications within the system, causing the malfunction of several interconnected components. A central aspect of this problem is that of identifying the minimal fault combinations, also referred to as minimal cut sets, that cause overall failures.In this paper we propose an expressive framework to model failure propagation, catering for multiple levels of degradation as well as cyclic and nondeterministic dependencies. We define a formal sequential semantics, and present an efficient SMT-based method for the analysis of failure propagation, able to enumerate cut sets that are minimal with respect to the order between levels of degradation. In contrast with the state of the art, the proposed approach is provably more expressive, and dramatically outperforms other systems when a comparison is possible.

APA, Harvard, Vancouver, ISO, and other styles

7

Fernández-Arias, A., M. Ortega-Hortas, B. Cancela-Barizo, and L. M. Gigirey. "Movement Analysis for the Assessment of Hearing in Patients with Cognitive Impairment: A Preliminary Study." In Computer Aided Systems Theory - EUROCAST 2013, 133–39. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-53862-9_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Maczewska, Anna, Aleksandra Polak-Sopinska, and Zbigniew Wisniewski. "Computer-Aided Occupational Risk Assessment of Physical Workload in the Logistics 4.0." In Advances in Intelligent Systems and Computing, 378–90. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-20154-8_35.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Da Silva, A. M. M., G. L. De Oliveira, G. P. Noal, C. A. A. Schmitz, L. S. B. Haeffner, P. S. P. Antunes, and S. D. Olabarriaga. "EasyTW: computer-aided system for bone age assessment." In CARS 2002 Computer Assisted Radiology and Surgery, 1015. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/978-3-642-56168-9_173.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Tang, Jeff K. T., Hei-Chun Yeung, Yat-Fai Man, Kwok-Kwan Li, Tak-Lam Wong, Wai-Man Pang, and Wai-Shing Ho. "A Web-Based Computer-Aided Assessment Creation and Invigilation System." In Communications in Computer and Information Science, 74–85. Berlin, Heidelberg: Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-46158-7_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Computer-aided assessment systems"

1

Hogan, Christopher, Dan Brassil, and Mitch Marcus. "Human aided computer assessment for exhaustive search." In 2009 IEEE International Conference on Systems, Man and Cybernetics - SMC. IEEE, 2009. http://dx.doi.org/10.1109/icsmc.2009.5346127.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kawa, Jacek, Marcin Rudzki, Ewa Pietka, and Pawel Szwarc. "Computer aided diagnosis workstation for brain tumor assessment." In 2015 MIXDES - 22nd International Conference "Mixed Design of Integrated Circuits & Systems". IEEE, 2015. http://dx.doi.org/10.1109/mixdes.2015.7208489.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kalyan-Seshu, Uma-Sankar, and Bert Bras. "Integrating DFX Tools With Computer-Aided Design Systems." In ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/dac-5621.

Full text

Abstract:

Abstract The growing emphasis on environmentally conscious design and manufacturing approaches has placed new burdens on designers. The amount of information available to designers is of great significance in making life cycle assessments on a product. However, well-established commercial CAD systems do not provide means for evaluating most of the different life cycle aspects of the product being modeled. Hence there is a need to have a CAD-environment where the life cycle tools (DFX tools in this work) are integrated with these systems so that life cycle design is made possible. In the research discussed in this paper, the specific focus is to enable the quantification and enhancement of product assemblability, serviceability, recyclability, remanufacturability, de-manufacturability, and life cycle impact during product design. Guidelines for integrating some of the commercially available CAD packages (I-DEAS and Pro/ENGINEER) to these assessment models, and ways to use the input information to some these assessments for making other assessments are developed. A case study is given to illustrate the approach.

APA, Harvard, Vancouver, ISO, and other styles

4

Lovrencic, Viktor, Srete Nikolovski, Thomas Jordan, Marius Engebrethsen, and Ana Lovrencic. "Computer Aided Arc Flash Risk Assessment According to IEEE and DGUV Standards." In 2018 International Conference on Smart Systems and Technologies (SST). IEEE, 2018. http://dx.doi.org/10.1109/sst.2018.8564586.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Harper, Brian, and David W. Rosen. "Computer-Aided Design for Product De- and Remanufacture." In ASME 1998 Design Engineering Technical Conferences. American Society of Mechanical Engineers, 1998. http://dx.doi.org/10.1115/detc98/cie-5695.

Full text

Abstract:

Abstract Increasingly, designers are asked to consider additional types of requirements, including the environmental impact of their designs during the product’s lifetime and after its useful life. Two of these types of requirements are investigated in this paper. Demanufacturing is the process of dismantling a product and preparing for the disposal or recycling of components, modules, or materials. Product reuse retains a greater portion its value and often requires remanufacturing, the refurbishment of a product or product modules. Assessments of a product’s ease of de- and remanufacture are often desirable at various stages during the design process. In this paper, requirements for CAD representations to support de- and remanufacture assessments are identified. Information requirements are classified into categories according to the difficulty in extracting the information from assembly-based CAD representations. Information not obtainable from CAD representations is noted. Methods for querying CAD systems to extract significant amounts of this information are presented. These methods have been incorporated into the prototypical CAD system CODA. This work is applied to the design for de- and remanufacture of an automotive instrument cluster. It is shown that feasible disassembly sequences can be generated, ideal parts can be recognized, disassembly times can be reliably estimated, and input can be generated for spreadsheet-based assessment tools.

APA, Harvard, Vancouver, ISO, and other styles

6

Bieniecki, Wojciech, Sebastian Stoliński, and Magdalena Stasiak-Bieniecka. "Computer Aided Assessment of Linear and Quadratic Function Graphs Using Least-squares Fitting." In 2014 Federated Conference on Computer Science and Information Systems. IEEE, 2014. http://dx.doi.org/10.15439/2014f365.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Kočí, Václav, Jiří Maděra, and Robert Černý. "Computer-aided assessment of critical details of interior thermal insulation systems for historical masonry." In PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2019 (ICCMSE-2019). AIP Publishing, 2019. http://dx.doi.org/10.1063/1.5137977.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chatterjee, Sandeep, Valeriy Sukharev, and Farid N. Najm. "Fast physics-based electromigration assessment by efficient solution of linear time-invariant (LTI) systems." In 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2017. http://dx.doi.org/10.1109/iccad.2017.8203840.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Gan, Xusheng, Shuangfeng Li, and Jingjuan Sun. "TOPAZ Safety Assessment of Conflict Resolution for Unmanned Aerial Vehicles." In 2019 2nd International Conference on Information Systems and Computer Aided Education (ICISCAE). IEEE, 2019. http://dx.doi.org/10.1109/iciscae48440.2019.221698.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Wang, Minghua, Shuangyan Chen, and Xusheng Gan. "ATC System Operation Safety Assessment Based on Fuzzy Matter Element Analysis." In 2022 IEEE 5th International Conference on Information Systems and Computer Aided Education (ICISCAE). IEEE, 2022. http://dx.doi.org/10.1109/iciscae55891.2022.9927571.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Computer-aided assessment systems"

1

Bennis, Jerry. Technical Assessment of the Reserve Component Automation System (RCAS) and the Joint Computer Aided Acquisition and Logistics System (JCALS). Version 1.0. Fort Belvoir, VA: Defense Technical Information Center, November 1992. http://dx.doi.org/10.21236/ada262638.

Full text

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!