Увійти

Готові списки джерел за темами / Timed Failure Logic

Зміст

Статті в журналах
Дисертації
Книги
Частини книг
Тези доповідей конференцій

Добірка наукової літератури з теми "Timed Failure Logic"

Автор: Grafiati

Опубліковано: 10 березня 2023

Оновлено: 31 липня 2025

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

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

Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Timed Failure Logic".

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

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

Статті в журналах з теми "Timed Failure Logic"

1

Kochan, Andrzej, Wiktor B. Daszczuk, Waldemar Grabski, and Juliusz Karolak. "Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model." Energies 16, no. 8 (2023): 3602. http://dx.doi.org/10.3390/en16083602.

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

Анотація:

The ERTMS/ETCS is the newest automatic train protection system. This is a system that supports the driver in driving the train. It is currently being implemented throughout the European Union. This system’s latest specifications also provide additional functions to increase the energy efficiency of train driving in the form of ATO (automatic train operation). These functions of the ETCS will be valuable, provided they operate without failure. To achieve errorless configuration of the ETCS, a methodology for automatic system verification using the IMDS (Integrated Model of Distributed Systems)

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

2

Cao, Yuyan, Yongxi Lyu, and Xinmin Wang. "Fault Diagnosis Reasoning Algorithm for Electromechanical Actuator Based on an Improved Hybrid TFPG Model." Electronics 9, no. 12 (2020): 2153. http://dx.doi.org/10.3390/electronics9122153.

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

Анотація:

As a new generation of power-by-wire actuators, electromechanical actuators are finding increasingly more applications in the aviation field. Aiming at the application problem of the fault diagnosis of the electromechanical actuator, an improved diagnosis reasoning algorithm based on a hybrid timed failure propagation graph (TFPG) model is proposed. On the basis of this hybrid TFPG model, the activation conditions of OR and causality among nodes are given. The relationship discrepancy node is transformed into a relationship node and discrepancy node, which unifies the model storage process. Th

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

3

Kuzminova, A. V., and V. D. Popov. "The effect of low-intensity radiation on the speed of CMOS microcircuits." Dependability 24, no. 3 (2024): 61–66. http://dx.doi.org/10.21683/1729-2646-2024-24-3-61-66.

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

Анотація:

Aim. The degradation of CMOS microcircuits exposed to ionizing radiation was analysed. Three MOS defect formation processes at the Si-SiO2 boundary were examined. Methods. Using the example of test logic elements, the dependence of the time of conditional speed failure on the gamma dose rate was analysed. Findings. A critical defect at the Si-SiO2 boundary was identified. Conclusions. The approach proposed in the paper allows identifying the causes of CMOS microcircuit failures. Calculated failure times for three dose rates are presented.

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

4

Chopankari, Parviz, Amir Azizi, and Mohammad Javad Ershadi. "Hybrid Modeling of Fuzzy Logic and Artificial Neural Networks for Predicting Machinery Failures to Enhance Productivity." Research Scientific 12, no. 1 (2022): 69–86. https://doi.org/10.5281/zenodo.14042003.

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

Анотація:

In this study, a hybrid approach based on fuzzy logic and artificial neural networks is presented for predicting machinery failures to enhance productivity. The case study focuses on a company in the automotive industry named Diako Idea Arya, which is involved in the production of automotive parts. Preventive maintenance requires accurate predictions of failures and incidents related to equipment and machinery to enable timely and proper maintenance, as well as the rectification of defects and failures, thereby increasing productivity. To model the fuzzy-neural multilayer perceptron (MLP) netw

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

5

DWYER, VINCENT M., ROGER M. GOODALL, and ROGER DIXON. "RELIABILITY OF 2-OUT-OF-N:G SYSTEMS WITH NHPP FAILURE FLOWS AND FIXED REPAIR TIMES." International Journal of Reliability, Quality and Safety Engineering 19, no. 01 (2012): 1250003. http://dx.doi.org/10.1142/s0218539312500039.

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

Анотація:

It is commonplace to replicate critical components in order to increase system lifetimes and reduce failure rates. The case of a general N-plexed system, whose failures are modeled as N identical, independent nonhomogeneous Poisson process (NHPP) flows, each with rocof (rate of occurrence of failure) equal to λ(t), is considered here. Such situations may arise if either there is a time-dependent factor accelerating failures or if minimal repair maintenance is appropriate. We further assume that system logic for the redundant block is 2-out-of-N:G. Reliability measures are obtained as functions

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

6

TELES, Athus Costa, Ana Clara de Pádua FREITAS, and Antonio Cruz RODRIGUES. "FAILURES DETECTION METHODS IN CHEMICAL PROCESS USING ARTIFICIAL INTELLIGENCE." Periódico Tchê Química 16, no. 32 (2019): 61–68. http://dx.doi.org/10.52571/ptq.v16.n32.2019.79_periodico32_pgs_61_68.pdf.

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

Анотація:

Any atypical change in a procedure can be characterized as a “failure”. Consequently, it may result in economic losses and/or a rise of the operational cost, because most of the times the process will need to be interrupted. Therefore, the concern with the quality and security of the processes has stimulating studies of diagnosis and monitoring failures in industrial equipments. In light of this, the present article has as purpose to apply three different methods (Artificial Neural Networks - ANN, Fuzzy Logic – FL and Support Vector Machine – SVM). All of those were applied as detection and cl

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

7

Woźna-Szcześniak, Bożena, Ireneusz Szcześniak, and Ireneusz Olszewski. "Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach." Applied Sciences 15, no. 5 (2025): 2487. https://doi.org/10.3390/app15052487.

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

Анотація:

Automated verification through the analysis of system models is often recommended to evaluate the correctness of safety-critical systems. Failures in such systems can have serious effects on both individuals and hardware. Historically, many automated verification techniques, including model checking, have been proposed and used to ensure the reliable development of real-time multi-agent systems (RTMASs). This paper investigates the use of Satisfiability Modulo Theories-based bounded model checking (SMT-based BMC) for the existential fragment of deontic epistemic metric temporal logic (EMTLKD),

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

8

Park, Jeonghae. "The Logic and Limitations of Yangzhaisanyao." Barun Academy of History 23 (December 31, 2024): 81–110. https://doi.org/10.55793/jkhc.2024.23.81.

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

Анотація:

This study examines the logic of Yangzhaisanyao and the applicability of modern architecture. Furthermore, the objective is to examine the differences between the application of theory and interpretation, and to criticize the limitations. Despite its various logic and rationality, Yangtaeksamyoron has many limitations. Defferent locations of measurement of the Fengshui compass(羅盤), different interpretations of main space(主), and different criteria are applied to the kitchen(灶). The year of birth is applied, but only men and women are distinguished and thus no distinction can be found. There ar

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

9

Kaur, Ravinder. "“I Am India Shining”: The Investor-Citizen and the Indelible Icon of Good Times." Journal of Asian Studies 75, no. 3 (2016): 621–48. http://dx.doi.org/10.1017/s0021911816000619.

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

Анотація:

This article is an against-the-grain reading of the highly publicized failure of the 2004 India Shining campaign. Aimed at the Indian publics, this mega-publicity spectacle sought to communicate the success of neoliberal reforms in transforming India from a developing nation to a lucrative emerging market in the global economy. Rather than uplift the mood of the nation, the campaign brought to the surface the underlying acrimony and exclusion experienced by a vast majority of the population. I argue that the discourse of India Shining's failure misreads the electoral defeat of the Bharatiya Ja

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

10

Guo, Lu, and Xiaodong Liu. "Mission-Oriented Missile Equipment Support System Modeling: Considering the Failure and Health State." Mathematical Problems in Engineering 2022 (January 31, 2022): 1–18. http://dx.doi.org/10.1155/2022/5026555.

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

Анотація:

Missile equipment support system is a complex system involving mission profile, operating environment, support personnel, resource scheduling, and other factors, and most of the equipment failures are a process of continuous evolution over time. Based on the characteristics of equipment functions or performance parameters and current detection methods, only part of equipment health degradation trend can be monitored. Therefore, it is necessary to carry out the support system simulation considering the equipment failure and health state comprehensively. In this paper, a mission-oriented modelin

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

Більше джерел

Дисертації з теми "Timed Failure Logic"

1

Rodríguez, Iván. "Bayesian analysis for Cox's proportional hazard model with error effect and applications to accelerated life testing data." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2007. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.

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

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

2

Sampietro, Samuele. "Timed Failure Logic Analysis in a Model-Driven Engineering approach." Doctoral thesis, 2021. http://hdl.handle.net/2158/1238685.

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

Анотація:

A complex System of Systems, integrating several hardware and software components in the holistic perspective of providing an emergent behaviour and operating within business-critical contexts, aims at affording contrasting requirements of reliability and complexity in delivered functions and quality of services by supporting system evolution and adaptation over time. This dissertation contributes to the area of Model-Driven Engineering (MDE), proposing a model-driven approach supporting timed failure logic analysis of complex Cyber-Physical Systems (CPS) in business-critical scenarios.

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

Книги з теми "Timed Failure Logic"

1

United States. National Aeronautics and Space Administration., ed. A.I.-based real-time support for high performance aircraft operations: Final status report. National Aeronautics and Space Administration, 1985.

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

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

2

United States. National Aeronautics and Space Administration., ed. A.I.-based real-time support for high performance aircraft operations: Final status report. National Aeronautics and Space Administration, 1985.

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

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

3

Gershman, Samuel. What Makes Us Smart. Princeton University Press, 2021. http://dx.doi.org/10.23943/princeton/9780691205717.001.0001.

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

Анотація:

At the heart of human intelligence rests a fundamental puzzle: How are we incredibly smart and stupid at the same time? No existing machine can match the power and flexibility of human perception, language, and reasoning. Yet, we routinely commit errors that reveal the failures of our thought processes. This book makes sense of this paradox by arguing that our cognitive errors are not haphazard. Rather, they are the inevitable consequences of a brain optimized for efficient inference and decision making within the constraints of time, energy, and memory—in other words, data and resource limita

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

4

Gartzke, Erik A., and Paul Poast. Empirically Assessing the Bargaining Theory of War: Potential and Challenges. Oxford University Press, 2017. http://dx.doi.org/10.1093/acrefore/9780190228637.013.274.

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

Анотація:

What explains war? The so-called bargaining approach has evolved quickly in the past two decades, opening up important new possibilities and raising fundamental challenges to previous conventional thinking about the origins of political violence. Bargaining is intended to explain the causes of conflict on many levels, from interpersonal to international. War is not the product of any of a number of variables creating opportunity or willingness, but instead is caused by whatever factors prevent competitors from negotiating the settlements that result from fighting. Conflict is thus a bargaining

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

Частини книг з теми "Timed Failure Logic"

1

Treisman, Daniel. "The Emergence and Failure of Democracy: Explaining Paths of Political Regime Change." In Handbook of New Institutional Economics. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-50810-3_11.

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

Анотація:

Abstract Why do countries’ political regimes change over time—from dictatorship to democracy and vice versa? Competing literatures contend that the key long-run driver is, respectively, economic development or institutional evolution. Other accounts focus on short-run microinteractions among societal actors. I discuss the strengths and limitations of these approaches and suggest ways in which they might usefully be combined. While simple modernization theory implies more cross-national convergence than we have seen, institutional path-dependence predicts too much divergence. Analyses of microi

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

2

Ingram, David. "2. Knowledge, Language and Reason." In Health Care in the Information Society. Open Book Publishers, 2023. http://dx.doi.org/10.11647/obp.0335.02.

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

Анотація:

The story starts long ago, with the gradual conceptualization of knowledge as an encyclopaedia—a circle of learning. This chapter traces a path from the invention of medicine in classical times, through philosophy, language and logic, and through mathematics, natural science and computer science into the modern era of information technology and health care. It follows the librarian’s dilemma over the ages—discovering how best to position books and documents within collections and search them in pursuit of learning. The chapter proceeds to consider languages as expressions of knowledge, and the

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

3

Steinhöfel, Dominic. "Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules." In Ernst Denert Award for Software Engineering 2020. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-83128-8_10.

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

Анотація:

AbstractLegacy systems are business-critical software systems whose failure can have a significant impact on the business. Yet, their maintenance and adaption to changed requirements consume a considerable amount of the total software development costs. Frequently, domain experts and developers involved in the original development are not available anymore, making it difficult to adapt a legacy system without introducing bugs or unwanted behavior. This results in a dilemma: businesses are reluctant to change a working system, while at the same time struggling with its high maintenance costs. W

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

4

Kowalski, Robert, and Marek Sergot. "A Logic-based Calculus of Events." In The Language Of Time. Oxford University PressOxford, 2005. http://dx.doi.org/10.1093/oso/9780199268535.003.0012.

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

Анотація:

Abstract Formal Logic can be used to represent knowledge of many kinds for many purposes. It can be used to formalize programs, program specifications, databases, legislation, and natural language in general. For many such applications of logic a representation of time is necessary. Although there have been several attempts to formalize the notion of time in classical first-order logic, it is still widely believed that classical logic is not adequate for the representation of time and that some form of non-classical Temporal Logic is needed. In this paper, we shall outline a treatment of time,

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

5

Laranjeiro, Nuno, Marco Vieira, and Henrique Madeira. "Building Web Services with Time Requirements." In Performance and Dependability in Service Computing. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-60960-794-4.ch014.

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

Анотація:

Developing web services with timing requirements is a difficult task, as existing technology does not provide standard mechanisms to support real-time execution, or even to detect and predict timing violations. However, in business-critical environments, an operation that does not conclude on due time may be completely useless, and may result in service abandonment, reputation, or monetary losses. This chapter presents a framework that allows deploying web services with temporal failure detection and prediction capabilities. Detection is based on timing restrictions defined at execution time a

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

6

Gordon, Geoff. "The Time of Contingency in International Law." In Contingency in International Law. Oxford University Press, 2021. http://dx.doi.org/10.1093/oso/9780192898036.003.0010.

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

Анотація:

The normative affirmation that international law could have been otherwise upholds material commitments to an actually-existing distribution of goods, which international law supports. To make this clear, this chapter begins by sketching a larger context by which the contingency of international law can be made legible. The larger context here pertains to a Western humanist tradition, following which international law relies on contingency to sustain a humanist fantasy of a temporal economic actor. The humanist fantasy includes an emancipatory pretension to political pre-eminence that is inscr

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

7

Cassar, J. P., M. Staroswiecki, and R. Ferhati. "MULTIVALUED LOGIC VOTING SCHEME FOR RESIDUAL EVALUATION IN FAILURE DETECTION AND ISOLATION SYSTEMS." In Artificial Intelligence in Real-Time Control 1992. Elsevier, 1993. http://dx.doi.org/10.1016/b978-0-08-041898-8.50048-7.

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

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

8

Zaharna, R. S. "All Thumbs at Communication." In Boundary Spanners of Humanity. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780190930271.003.0002.

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

Анотація:

Chapter 1 examines how U.S. public diplomacy’s repeated failures to reach global publics exposed in real time the fallacy of a singular notion of “communication.” The chapter reveals how the dominant view of communication, far from being universal, is a template based on a distinctly Western, individual-level notion of communication as separate senders and receivers. The dominance of the template has overshadowed critical dynamics of relational and holistic understandings of the communication experience found in many of the world’s intellectual heritages. In a radical break from national and c

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

9

Johnson, Cedric. "Trumpism, Policing, and the Problem of Surplus Population." In Labor in the Time of Trump. Cornell University Press, 2020. http://dx.doi.org/10.7591/cornell/9781501746598.003.0010.

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

Анотація:

This chapter tackles the issues of mass incarceration and aggressive policing, and their impact on low-income communities and people of color. It places Trump's defense of police and denigration of Black Lives Matter into historical context. The chapter connects the rise of the carceral state with an ideology that pathologizes poverty, blames working-class and unemployed people for their failure to get rich, and defines an urban “underclass” as the problem. In this context, the chapter analyzes Trump's reverence for police as the “thin blue line” that separates civilization from chaos. Focusin

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

10

Silk, Joseph. "Beyond the Beginning." In The Infinite Cosmos. Oxford University PressOxford, 2006. http://dx.doi.org/10.1093/oso/9780198505105.003.0014.

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

Анотація:

Abstract Quantum uncertainty is the key to understanding what, if anything, happened before the beginning; that is, time zero as measured by the cosmologist. The logic is worth examining. The universe is expanding, and therefore it had a beginning. Extrapolate known physics towards the beginning, and we reach a point of failure. Classical physics is inadequate to cope with the extremes of density and temperature that we know must have been present. So far, so good. Enter quantum cosmology: here is where the fun begins.

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

Тези доповідей конференцій з теми "Timed Failure Logic"

1

Mitterer, Felix, Christian Burmer, and Konstantin Schekotihin. "Automating Routing of Product Returns for Failure Analysis with Neuro-Symbolic AI." In ISTFA 2024. ASM International, 2024. http://dx.doi.org/10.31399/asm.cp.istfa2024p0047.

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

Анотація:

Abstract Before failure analysis (FA) can start, a product must get from the customer to the correct location, which is not always trivial, especially in larger companies with many FA labs. Automating and optimizing this routing, therefore reducing manual labor, misrouting, and turnaround time, requires the development of problem-solving methods utilizing both explicit and implicit knowledge. The first type refers to known routing rules, e.g., based on lab equipment or certifications, whereas the second type must be induced from available data, e.g., by analyzing customer descriptions using ma

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

2

Chowdhury, Ravin A., Jeff Chiles, Brandon Cage, et al. "CMOS Integrated Circuit Analysis Using Superconducting Nanowire Single-Photon Detectors." In ISTFA 2024. ASM International, 2024. http://dx.doi.org/10.31399/asm.cp.istfa2024p0119.

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

Анотація:

Abstract Time-resolved emission microscopy (TREM) enables non-intrusive failure analysis of integrated circuits through photoemission detection at picosecond resolution. While photoemission occurs in both functional and faulty ICs, certain emission patterns distinctively indicate device defects. The primary mechanism driving this phenomenon is hot carrier luminescence in silicon, where carriers with excess kinetic energy release photons through intraband transitions. In CMOS logic, these emissions occur when MOSFETs switch between logical states, generating drain-to-source current flow. Howeve

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

3

Chang, Yu-Jen, Cheng-Hsin Liu, Yi-Sheng Lin, et al. "A Correlative Microscopic Workflow Powered by Artificial Intelligence to Accelerate Failure Analysis of Next-Generation Semiconductor Packages." In ISTFA 2024. ASM International, 2024. http://dx.doi.org/10.31399/asm.cp.istfa2024p0312.

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

Анотація:

Abstract Over the past decade, the semiconductor industry has increasingly focused on packaging innovations to improve device performance, power efficiency, and reduce manufacturing cost. The recent heterogeneous integration offers an attractive solution in advanced IC packaging because it enables the integration of diverse functional components, such as logic, memory, power modulator, sensor on a single package platform. However, the adoption of the emerging structures, materials and components in advanced packages has challenged the existing fault isolation and analysis techniques. One of th

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

4

Parri, Jacopo, Samuele Sampietro, and Enrico Vicario. "FaultFlow: a tool supporting an MDE approach for Timed Failure Logic Analysis." In 2021 17th European Dependable Computing Conference (EDCC). IEEE, 2021. http://dx.doi.org/10.1109/edcc53658.2021.00011.

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

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

5

Cohen, Joseph, Baoyang Jiang, and Jun Ni. "Fault Diagnosis of Timed Event Systems: An Exploration of Machine Learning Methods." In ASME 2020 15th International Manufacturing Science and Engineering Conference. American Society of Mechanical Engineers, 2020. http://dx.doi.org/10.1115/msec2020-8360.

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

Анотація:

Abstract Especially common in discrete manufacturing, timed event systems often require a high degree of synchronization for healthy operation. Discrete event system methods have been used as mathematical tools to detect known faults, but do not scale well for problems with extensive variability in the normal class. A hybridized discrete event and data-driven method is suggested to supplement fault diagnosis in the case where failure patterns are not known in advance. A unique fault diagnosis framework consisting of signal data from programmable logic controllers, a Timed Petri Net of the norm

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

6

Song, Zhigang, Felix Beaudoin, Stephen Lucarini, et al. "Logic Yield Learning Vehicle Failure Analysis in Technology Development." In ISTFA 2012. ASM International, 2012. http://dx.doi.org/10.31399/asm.cp.istfa2012p0520.

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

Анотація:

Abstract With the microelectronic technology progresses in nanometer realm, like SRAM, logic circuits and structures are also becoming dense and more sensitive to process variation. Logic failures may have different root causes from SRAM failure. If these technology weak points for logic circuits are not detected and resolved during the technology development stage, they will greatly affect the product manufacturing yield ramp, leading to longer time of design to market. In this paper, we present a logic yield learning methodology based on an inline logic vehicle, which includes several scan c

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

7

Belardinelli, Francesco, and Vadim Malvone. "A Three-valued Approach to Strategic Abilities under Imperfect Information." In 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/10.

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

Анотація:

A major challenge for logics for strategies is represented by their verification in contexts of imperfect information. In this contribution we advance the state of the art by approximating the verification of Alternating-time Temporal Logic (ATL) under imperfect information by using perfect information and a three-valued semantics. In particular, we develop novel automata-theoretic techniques for the linear-time logic LTL, then apply these to finding “failure” states, where the ATL specification to be model checked is undefined. Such failure states can then be fed into a refinement procedure,

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

8

Kerarmi, Abdelouadoud, Assia Kamal-idrissi, and Amal El Fallah Seghrouchni. "An Optimized Fuzzy Logic Model for Proactive Maintenance." In 12th International Conference on Artificial Intelligence, Soft Computing and Applications. Academy and Industry Research Collaboration Center (AIRCC), 2022. http://dx.doi.org/10.5121/csit.2022.122303.

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

Анотація:

Fuzzy logic has been proposed in previous studies for machine diagnosis, to overcome different drawbacks of the traditional diagnostic approaches used. Among these approaches Failure Mode and Effect Critical Analysis method(FMECA) attempts to identify potential modes and treat failures before they occur based on subjective expert judgments. Although several versions of fuzzy logic are used to improve FMECA or to replace it, since it is an extremely costintensive approach in terms of failure modes because it evaluates each one of them separately, these propositions have not explicitly focused o

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

9

Merassi, A. A., and A. Boglio. "Laser Voltage Characterization of Transition Delay Failures in Combinatorial Logic." In ISTFA 2023. ASM International, 2023. http://dx.doi.org/10.31399/asm.cp.istfa2023p0041.

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

Анотація:

Abstract Laser voltage imaging techniques are widely used in failure analysis for detecting defects in digital circuitry. In case of scan chain failures that are substantially static, this is really the most suitable application. In this paper we explore and demonstrate the potential of this method for characterizing transition delay failures in combinatorial logic, through the real-time measurement of the behaviour of each transistor in the cell.

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

10

Zhang, Chuan, Yinzhe Ma, Gregory Dabney, Oh Chong Khiam, and Esther P. Y. Chen. "Application of Conductive-AFM in Soft Failure Analysis." In ISTFA 2017. ASM International, 2017. http://dx.doi.org/10.31399/asm.cp.istfa2017p0327.

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

Анотація:

Abstract Soft failures are among the most challenging yield detractors. They typically show test parameter sensitive characteristics, which would pass under certain test conditions but fail under other conditions. Conductive-atomic force microscopy (CAFM) emerged as an ideal solution for soft failure analysis that can balance the time and thoroughness. By inserting CAFM into the soft failure analysis flow, success rate of such type of analysis can be significantly enhanced. In this paper, a logic chain soft failure and a SRAM local bitline soft failure are used as examples to illustrate how th

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

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