Acceder

Bibliografías temáticas / Prime implicants / Artículos de revistas

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Prime implicants.

Artículos de revistas sobre el tema "Prime implicants"

Autor: Grafiati

Publicado: 30 de noviembre de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Prime implicants".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Prasad, V. C. "Quality of Minimal Sets of Prime Implicants of Boolean Functions". International Journal of Electronics and Telecommunications 63, n.º 2 (27 de junio de 2017): 165–69. http://dx.doi.org/10.1515/eletel-2017-0022.

Texto completo

Resumen

Abstract Two new problems are posed and solved concerning minimal sets of prime implicants of Boolean functions. It is well known that the prime implicant set of a Boolean function should be minimal and have as few literals as possible. But it is not well known that min term repetitions should also be as few as possible to reduce power consumption. Determination of minimal sets of prime implicants is a well known problem. But nothing is known on the least number of (i) prime implicants (ii) literals and (iii) min term repetitions , any minimal set of prime implicants will have. These measures are useful to assess the quality of a minimal set. They are then extended to determine least number of prime implicants / implicates required to design a static hazard free circuit. The new technique tends to give smallest set of prime implicants for various objectives.

Los estilos APA, Harvard, Vancouver, ISO, etc.

2

Bienvenu, M. "Prime Implicates and Prime Implicants: From Propositional to Modal Logic". Journal of Artificial Intelligence Research 36 (20 de octubre de 2009): 71–128. http://dx.doi.org/10.1613/jair.2754.

Texto completo

Resumen

Prime implicates and prime implicants have proven relevant to a number of areas of artificial intelligence, most notably abductive reasoning and knowledge compilation. The purpose of this paper is to examine how these notions might be appropriately extended from propositional logic to the modal logic K. We begin the paper by considering a number of potential definitions of clauses and terms for K. The different definitions are evaluated with respect to a set of syntactic, semantic, and complexity-theoretic properties characteristic of the propositional definition. We then compare the definitions with respect to the properties of the notions of prime implicates and prime implicants that they induce. While there is no definition that perfectly generalizes the propositional notions, we show that there does exist one definition which satisfies many of the desirable properties of the propositional case. In the second half of the paper, we consider the computational properties of the selected definition. To this end, we provide sound and complete algorithms for generating and recognizing prime implicates, and we show the prime implicate recognition task to be PSPACE-complete. We also prove upper and lower bounds on the size and number of prime implicates. While the paper focuses on the logic K, all of our results hold equally well for multi-modal K and for concept expressions in the description logic ALC.

Los estilos APA, Harvard, Vancouver, ISO, etc.

3

Kean, Alex y George Tsiknis. "An incremental method for generating prime implicants/implicates". Journal of Symbolic Computation 9, n.º 2 (febrero de 1990): 185–206. http://dx.doi.org/10.1016/s0747-7171(08)80029-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Qi, Guilin y Kewen Wang. "Conflict-Based Belief Revision Operators in Possibilistic Logic". Proceedings of the AAAI Conference on Artificial Intelligence 26, n.º 1 (20 de septiembre de 2021): 800–806. http://dx.doi.org/10.1609/aaai.v26i1.8226.

Texto completo

Resumen

In this paper, we investigate belief revision in possibilistic logic, which is a weighted logic proposed to deal with incomplete and uncertain information. Existing revision operators in possibilistic logic are restricted in the sense that the input information can only be a formula instead of a possibilistic knowledge base which is a set of weighted formulas. To break this restriction, we consider weighted prime implicants of a possibilistic knowledge base and use them to define novel revision operators in possibilistic logic. Intuitively, a weighted prime implicant of a possibilistic knowledge base is a logically weakest possibilistic term (i.e., a set of weighted literals) that can entail the knowledge base. We first show that the existing definition of a weighted prime implicant is problematic and need a modification. To define a revision operator using weighted prime implicants, we face two problems. The first problem is that we need to define the notion of a conflict set between two weighted prime implicants of two possibilistic knowledge bases to achieve minimal change. The second problem is that we need to define the disjunction of possibilistic terms. We solve these problems and define two conflict-based revision operators in possibilistic logic. We then adapt the well-known postulates for revision proposed by Katsuno and Mendelzon and show that our revision operators satisfy four of the basic adapted postulates and satisfy two others in some special cases.

Los estilos APA, Harvard, Vancouver, ISO, etc.

5

Al-Wardi, Zaid y Osama Al-Wardi. "RECURSIVE TERNARY-BASED ALGORITHM FOR COMPUTING PRIME IMPLICANTS OF MULTI-OUTPUT BOOLEAN FUNCTIONS". Journal of Engineering and Sustainable Development 27, n.º 3 (1 de mayo de 2023): 308–16. http://dx.doi.org/10.31272/jeasd.27.3.2.

Texto completo

Resumen

The problem of computing the set of prime implicants to represent a Boolean function is a classical problem that is still considered a running problem for research because all known approaches have limitations. The article reviews existing methods for computing prime implicants and highlights their limitations, particularly for multi-output functions and limited scalability due to the growth in memory required to complete the computation. Then it proposes a recursive ternary-based minimization algorithm to compute the prime implicants of multi-output Boolean functions. The algorithm is based on the concept of Programmable Logic Array (PLA) tables, which provide a structured and efficient representation of Boolean functions. The algorithm takes advantage of the ternary logic system to efficiently compute the prime implicants while maintaining scalability for large and complex functions, which has significant implications for digital circuit design and optimization.

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Singh, Arindama. "Computing prime implicants via transversal clauses". International Journal of Computer Mathematics 70, n.º 3 (enero de 1999): 417–27. http://dx.doi.org/10.1080/00207169908804764.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Tyrväinen, Tero. "Prime implicants in dynamic reliability analysis". Reliability Engineering & System Safety 146 (febrero de 2016): 39–46. http://dx.doi.org/10.1016/j.ress.2015.10.007.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

Čepek, Ondřej, Petr Kučera y Stanislav Kuřík. "Boolean functions with long prime implicants". Information Processing Letters 113, n.º 19-21 (septiembre de 2013): 698–703. http://dx.doi.org/10.1016/j.ipl.2013.07.001.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Audemard, Gilles, Steve Bellart, Louènas Bounia, Frédéric Koriche, Jean-Marie Lagniez y Pierre Marquis. "Trading Complexity for Sparsity in Random Forest Explanations". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5461–69. http://dx.doi.org/10.1609/aaai.v36i5.20484.

Texto completo

Resumen

Random forests have long been considered as powerful model ensembles in machine learning. By training multiple decision trees, whose diversity is fostered through data and feature subsampling, the resulting random forest can lead to more stable and reliable predictions than a single decision tree. This however comes at the cost of decreased interpretability: while decision trees are often easily interpretable, the predictions made by random forests are much more difficult to understand, as they involve a majority vote over multiple decision trees. In this paper, we examine different types of reasons that explain "why" an input instance is classified as positive or negative by a Boolean random forest. Notably, as an alternative to prime-implicant explanations taking the form of subset-minimal implicants of the random forest, we introduce majoritary reasons which are subset-minimal implicants of a strict majority of decision trees. For these abductive explanations, the tractability of the generation problem (finding one reason) and the optimization problem (finding one minimum-sized reason) are investigated. Unlike prime-implicant explanations, majoritary reasons may contain redundant features. However, in practice, prime-implicant explanations - for which the identification problem is DP-complete - are slightly larger than majoritary reasons that can be generated using a simple linear-time greedy algorithm. They are also significantly larger than minimum-sized majoritary reasons which can be approached using an anytime Partial MaxSAT algorithm.

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Michalak, Marcin. "Searching for Continuous n-Clusters with Boolean Reasoning". Symmetry 16, n.º 10 (1 de octubre de 2024): 1286. http://dx.doi.org/10.3390/sym16101286.

Texto completo

Resumen

A bicluster consists of a subset of rows and columns of a given matrix, whose intersection defines the region (bicluster) of values of precisely defined condition. Through the decades, a variety of biclustering techniques have been successfully developed. Recently, it was proved that many possible patterns defined in two-dimensional data could be found with the application of Boolean reasoning. The provided theorems showed that any existing pattern in the data could be unequivocally encoded as an implicant of a proper Boolean function. Moreover, a prime implicant of that function encoded the inclusion-maximal (non-extendable) pattern. On the other hand, the definition of some two-dimensional patterns may be easily extended to three-dimensional patterns (triclusters) as well as to any number of dimensions (n-clusters). This paper presents a new approach for searching for three- and higher-dimensional simple patterns in continuous data with Boolean reasoning. Providing the definition of the Boolean function for this tasks, it is shown that the similar correspondence—implicants encode patterns, and prime implicants encode inclusion-maximal patterns—has a strong mathematical background: the proofs of appropriate theorems are also presented in this paper.

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

Palopoli, Luigi, Fiora Pirri y Clara Pizzuti. "Algorithms for selective enumeration of prime implicants". Artificial Intelligence 111, n.º 1-2 (julio de 1999): 41–72. http://dx.doi.org/10.1016/s0004-3702(99)00035-1.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Rawat, Saurabh y Anushree Sah. "Prime and Essential Prime Implicants of Boolean Functions through Cubical Representation". International Journal of Computer Applications 70, n.º 23 (31 de mayo de 2013): 1–6. http://dx.doi.org/10.5120/12204-7638.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

Dieu, Phan Dinh y Phan Hong Giang. "Interval –valued probabilistic logic for logic programs". Journal of Computer Science and Cybernetics 10, n.º 3 (15 de abril de 2016): 1–13. http://dx.doi.org/10.15625/1813-9663/10/3/8193.

Texto completo

Resumen

This paper presents an approximate method for probabilistic entailment problem in knowledge bases where a portion of knowledge is given by a sentence in propositional logic accompanied with an interval presenting its truth probalibity. This method reduces the entailment problem to one of finding “prime implicants” of the target sentence expressed through sentences in the given knowledge base. It is shown that in the case of probabilistic logic programs the set of such prime implicants can be found by using the SLD-resolution method for usual definte logic programs.

Los estilos APA, Harvard, Vancouver, ISO, etc.

14

Garribba, S., E. Guagnini y P. Mussio. "Multiple-Valued Logic Trees: Meaning and Prime Implicants". IEEE Transactions on Reliability R-34, n.º 5 (diciembre de 1985): 463–72. http://dx.doi.org/10.1109/tr.1985.5222234.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Di Maio, Francesco, Samuele Baronchelli y Enrico Zio. "A Visual Interactive Method for Prime Implicants Identification". IEEE Transactions on Reliability 64, n.º 2 (junio de 2015): 539–49. http://dx.doi.org/10.1109/tr.2014.2371015.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Strzemecki, Tadeusz. "Polynomial-time algorithms for generation of prime implicants". Journal of Complexity 8, n.º 1 (marzo de 1992): 37–63. http://dx.doi.org/10.1016/0885-064x(92)90033-8.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Shiny, A. "Computation of prime implicants using matrix and paths". Journal of Logic and Computation 8, n.º 2 (1 de abril de 1998): 135–45. http://dx.doi.org/10.1093/logcom/8.2.135.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

SACALUGA, DAVID LUQUE. "FRACTALS IN LOGIC". International Journal of Computational Methods 02, n.º 01 (marzo de 2005): 1–13. http://dx.doi.org/10.1142/s0219876205000326.

Texto completo

Resumen

The main target of this document is to propose a new graphical method to find prime implicants, necessary prime implicants and minimum sum-of-product expressions for digital systems with any number of variables. Moreover, a simple example of application of the same method is included to be compared with Karnaugh's method. As a consequence of this proposed method, a few conditions are established and a fractal image is created, which explains why it is not possible to have more than one binary variable changing simultaneously and why the change between two non adjacent states has to be realized always going through an intermediate state.

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

Raut, Manoj K. y Arindama Singh. "Prime implicants of first order formulas via transversal clauses". International Journal of Computer Mathematics 81, n.º 2 (febrero de 2004): 157–67. http://dx.doi.org/10.1080/00207160310001650071.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

Hayase, K. "OBDDs of a Monotone Function and Its Prime Implicants". Theory of Computing Systems 31, n.º 5 (1 de septiembre de 1998): 579–91. http://dx.doi.org/10.1007/s002240000104.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Wiśniewski, R., Ł. Stefanowicz, G. Bazydło y M. Węgrzyn. "Application of Hypergraphs in the Prime Implicants Selection Process". IFAC-PapersOnLine 48, n.º 4 (2015): 302–5. http://dx.doi.org/10.1016/j.ifacol.2015.07.051.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Chukhrov, I. P. "Properties of Boolean Functions with Extremal Number of Prime Implicants". Journal of Applied and Industrial Mathematics 16, n.º 1 (febrero de 2022): 8–21. http://dx.doi.org/10.1134/s1990478922010021.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

McMullen y Shearer. "Prime Implicants, Minimum Covers, and the Complexity of Logic Simplification". IEEE Transactions on Computers C-35, n.º 8 (agosto de 1986): 761–62. http://dx.doi.org/10.1109/tc.1986.1676828.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Chukhrov, I. P. "Properties of Boolean functions with the extremal number of prime implicants". Diskretnyi analiz i issledovanie operatsii 29, n.º 1 (6 de marzo de 2022): 74–93. http://dx.doi.org/10.33048/daio.2022.29.725.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

Chukhrov, I. P. "Connected Boolean Functions with a Locally Extremal Number of Prime Implicants". Journal of Applied and Industrial Mathematics 15, n.º 1 (febrero de 2021): 17–38. http://dx.doi.org/10.1134/s1990478921010038.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

Chukhrov, I. P. "Connected Boolean functions with a locally extremal number of prime implicants". Diskretnyi analiz i issledovanie operatsii 28, n.º 1 (6 de marzo de 2021): 68–96. http://dx.doi.org/10.33048/daio.2021.28.699.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Sloan, Robert H., Balázs Szörényi y György Turán. "On k-Term DNF with the Largest Number of Prime Implicants". SIAM Journal on Discrete Mathematics 21, n.º 4 (enero de 2008): 987–98. http://dx.doi.org/10.1137/050632026.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Maio, Francesco Di, Samuele Baronchelli y Enrico Zio. "A Computational Framework for Prime Implicants Identification in Noncoherent Dynamic Systems". Risk Analysis 35, n.º 1 (14 de julio de 2014): 142–56. http://dx.doi.org/10.1111/risa.12251.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

Gorji, Niku y Sasha Rubin. "Sufficient Reasons for Classifier Decisions in the Presence of Domain Constraints". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5660–67. http://dx.doi.org/10.1609/aaai.v36i5.20507.

Texto completo

Resumen

Recent work has unveiled a theory for reasoning about the decisions made by binary classifiers: a classifier describes a Boolean function, and the reasons behind an instance being classified as positive are the prime-implicants of the function that are satisfied by the instance. One drawback of these works is that they do not explicitly treat scenarios where the underlying data is known to be constrained, e.g., certain combinations of features may not exist, may not be observable, or may be required to be disregarded. We propose a more general theory, also based on prime-implicants, tailored to taking constraints into account. The main idea is to view classifiers as describing partial Boolean functions that are undefined on instances that do not satisfy the constraints. We prove that this simple idea results in more parsimonious reasons. That is, not taking constraints into account (e.g., ignoring, or taking them as negative instances) results in reasons that are subsumed by reasons that do take constraints into account. We illustrate this improved succinctness on synthetic classifiers and classifiers learnt from real data.

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Prasad, V. C. "Efficient Minimisation of Boolean Functions". International Journal of Electrical Engineering & Education 45, n.º 4 (octubre de 2008): 321–26. http://dx.doi.org/10.7227/ijeee.45.4.5.

Texto completo

Resumen

Quine Mc Cluskey's (QM) method is a popular method for minimisation of Boolean functions. This method is widely taught at undergraduate level. In this paper simple modifications are suggested to make it more efficient. They allow us to avoid repetitions in the QM method. Further, a minimal set of prime implicants is easily obtained.

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Prescott, Rasa Remenyte y John D. Andrews. "Prime implicants for modularised non-coherent fault trees using binary decision diagrams". International Journal of Reliability and Safety 1, n.º 4 (2007): 446. http://dx.doi.org/10.1504/ijrs.2007.016259.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Boufkhad, Y. y O. Dubois. "Length of prime implicants and number of solutions of random CNF formulae". Theoretical Computer Science 215, n.º 1-2 (febrero de 1999): 1–30. http://dx.doi.org/10.1016/s0304-3975(95)00184-0.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

Yau, Michael, George Apostolakis y Sergio Guarro. "The use of prime implicants in dependability analysis of software controlled systems". Reliability Engineering & System Safety 62, n.º 1-2 (octubre de 1998): 23–32. http://dx.doi.org/10.1016/s0951-8320(98)00002-7.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Talebanfard, Navid. "On the structure and the number of prime implicants of 2-CNFs". Discrete Applied Mathematics 200 (febrero de 2016): 1–4. http://dx.doi.org/10.1016/j.dam.2015.06.036.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

Lee, Sang-Un. "A Selection-Deletion of Prime Implicants Algorithm Based on Frequency for Circuit Minimization". Journal of the Korea Society of Computer and Information 20, n.º 4 (30 de abril de 2015): 95–102. http://dx.doi.org/10.9708/jksci.2015.20.4.095.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

Darwiche, Adnan y Chunxi Ji. "On the Computation of Necessary and Sufficient Explanations". Proceedings of the AAAI Conference on Artificial Intelligence 36, n.º 5 (28 de junio de 2022): 5582–91. http://dx.doi.org/10.1609/aaai.v36i5.20498.

Texto completo

Resumen

The complete reason behind a decision is a Boolean formula that characterizes why the decision was made. This recently introduced notion has a number of applications, which include generating explanations, detecting decision bias and evaluating counterfactual queries. Prime implicants of the complete reason are known as sufficient reasons for the decision and they correspond to what is known as PI explanations and abductive explanations. In this paper, we refer to the prime implicates of a complete reason as necessary reasons for the decision. We justify this terminology semantically and show that necessary reasons correspond to what is known as contrastive explanations. We also study the computation of complete reasons for multi-class decision trees and graphs with nominal and numeric features for which we derive efficient, closed-form complete reasons. We further investigate the computation of shortest necessary and sufficient reasons for a broad class of complete reasons, which include the derived closed forms and the complete reasons for Sentential Decision Diagrams (SDDs). We provide an algorithm which can enumerate their shortest necessary reasons in output polynomial time. Enumerating shortest sufficient reasons for this class of complete reasons is hard even for a single reason. For this problem, we provide an algorithm that appears to be quite efficient as we show empirically.

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

Rauzy, Antoine y Yves Dutuit. "Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia". Reliability Engineering & System Safety 58, n.º 2 (noviembre de 1997): 127–44. http://dx.doi.org/10.1016/s0951-8320(97)00034-3.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

38

Di Maio, Francesco, Samuele Baronchelli, Matteo Vagnoli y Enrico Zio. "Determination of prime implicants by differential evolution for the dynamic reliability analysis of non-coherent nuclear systems". Annals of Nuclear Energy 102 (abril de 2017): 91–105. http://dx.doi.org/10.1016/j.anucene.2016.12.018.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Borgonovo, E. "The reliability importance of components and prime implicants in coherent and non-coherent systems including total-order interactions". European Journal of Operational Research 204, n.º 3 (agosto de 2010): 485–95. http://dx.doi.org/10.1016/j.ejor.2009.10.021.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

Başçiftçi, Fatih y Şirzat Kahramanli. "Fast computation of the prime implicants by exact direct-cover algorithm based on the new partial ordering operation rule". Advances in Engineering Software 42, n.º 6 (junio de 2011): 316–21. http://dx.doi.org/10.1016/j.advengsoft.2011.02.009.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

Weber, Christopher y Daniel Bryce. "Planning and Acting in Incomplete Domains". Proceedings of the International Conference on Automated Planning and Scheduling 21 (22 de marzo de 2011): 274–81. http://dx.doi.org/10.1609/icaps.v21i1.13463.

Texto completo

Resumen

Engineering complete planning domain descriptions is often very costly because of human error or lack of domain knowl- edge. Learning complete domain descriptions is also very challenging because many features are irrelevant to achieving the goals and data may be scarce. We present a planner and agent that respectively plan and act in incomplete domains by i) synthesizing plans to avoid execution failure due to ignorance of the domain model, and ii) passively learning about the domain model during execution to improve later re-planning attempts. Our planner DeFault is the first to reason about a domain’s incompleteness to avoid potential plan failure. DeFault computes failure explanations for each action and state in the plan and counts the number of interpretations of the incomplete domain where failure will occur. We show that DeFault performs best by counting prime implicants (failure diagnoses) rather than propositional models. Our agent Goalie learns about the preconditions and effects of incompletely-specified actions while monitoring its state and, in conjunction with DeFault plan failure explanations, can diagnose past and future action failures. We show that by reasoning about incompleteness (as opposed to ignoring it) Goalie fails and re-plans less and executes fewer actions.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Di Maio, Francesco, Matteo Vagnoli y Enrico Zio. "Risk-Based Clustering for Near Misses Identification in Integrated Deterministic and Probabilistic Safety Analysis". Science and Technology of Nuclear Installations 2015 (2015): 1–29. http://dx.doi.org/10.1155/2015/693891.

Texto completo

Resumen

In integrated deterministic and probabilistic safety analysis (IDPSA), safe scenarios and prime implicants (PIs) are generated by simulation. In this paper, we propose a novel postprocessing method, which resorts to a risk-based clustering method for identifying Near Misses among the safe scenarios. This is important because the possibility of recovering these combinations of failures within a tolerable grace time allows avoiding deviations to accident and, thus, reducing the downtime (and the risk) of the system. The postprocessing risk-significant features for the clustering are extracted from the following: (i) the probability of a scenario to develop into an accidental scenario, (ii) the severity of the consequences that the developing scenario would cause to the system, and (iii) the combination of (i) and (ii) into the overall risk of the developing scenario. The optimal selection of the extracted features is done by a wrapper approach, whereby a modified binary differential evolution (MBDE) embeds aK-means clustering algorithm. The characteristics of the Near Misses scenarios are identified solving a multiobjective optimization problem, using the Hamming distance as a measure of similarity. The feasibility of the analysis is shown with respect to fault scenarios in a dynamic steam generator (SG) of a nuclear power plant (NPP).

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

Xu, Wei, Xunhong Zhu, Liping Zhang y Jun Gao. "The Iterative Exclusion of Compatible Samples Workflow for Multi-SNP Analysis in Complex Diseases". Algorithms 16, n.º 10 (16 de octubre de 2023): 480. http://dx.doi.org/10.3390/a16100480.

Texto completo

Resumen

Complex diseases are affected by various factors, and single-nucleotide polymorphisms (SNPs) are the basis for their susceptibility by affecting protein structure and gene expression. Complex diseases often arise from the interactions of multiple SNPs and are investigated using epistasis detection algorithms. Nevertheless, the computational burden associated with the “combination explosion” hinders these algorithms’ ability to detect these interactions. To perform multi-SNP analysis in complex diseases, the iterative exclusion of compatible samples (IECS) workflow is proposed in this work. In the IECS workflow, qualitative comparative analysis (QCA) is firstly employed as the calculation engine to calculate the solution; secondly, the pattern is extracted from the prime implicants with the greatest raw coverage in the solution; then, the pattern is tested with the chi-square test in the source dataset; finally, all compatible samples are excluded from the current dataset. This process is repeated until the QCA calculation has no solution or reaches the iteration threshold. The workflow was applied to analyze simulated datasets and the Alzheimer’s disease dataset, and its performance was compared with that of the BOOST and MDR algorithms. The findings illustrated that IECS exhibits greater power with less computation and can be applied to perform multi-SNP analysis in complex diseases.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Wei, Yu-Chung. "BLogic: A Bayesian Model Combination Approach in Logic Regression". Mathematics 11, n.º 20 (19 de octubre de 2023): 4353. http://dx.doi.org/10.3390/math11204353.

Texto completo

Resumen

With the increasing complexity and dimensionality of datasets in statistical research, traditional methods of identifying interactions are often more challenging to apply due to the limitations of model assumptions. Logic regression has emerged as an effective tool, leveraging Boolean combinations of binary explanatory variables. However, the prevalent simulated annealing approach in logic regression sometimes faces stability issues. This study introduces the BLogic algorithm, a novel approach that amalgamates multiple runs of simulated annealing on a dataset and synthesizes the results via the Bayesian model combination technique. This algorithm not only facilitates predicting response variables using binary explanatory ones but also offers a score computation for prime implicants, elucidating key variables and their interactions within the data. In simulations with identical parameters, conventional logic regression, when executed with a single instance of simulated annealing, exhibits reduced predictive and interpretative capabilities as soon as the ratio of explanatory variables to sample size surpasses 10. In contrast, the BLogic algorithm maintains its effectiveness until this ratio approaches 50. This underscores its heightened resilience against challenges in high-dimensional settings, especially the large p, small n problem. Moreover, employing real-world data from the UK10K Project, we also showcase the practical performance of the BLogic algorithm.

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

Di Maio, Francesco, Roberta Rossetti y Enrico Zio. "Postprocessing of Accidental Scenarios by Semi-Supervised Self-Organizing Maps". Science and Technology of Nuclear Installations 2017 (2017): 1–14. http://dx.doi.org/10.1155/2017/2709109.

Texto completo

Resumen

Integrated Deterministic and Probabilistic Safety Analysis (IDPSA) of dynamic systems calls for the development of efficient methods for accidental scenarios generation. The necessary consideration of failure events timing and sequencing along the scenarios requires the number of scenarios to be generated to increase with respect to conventional PSA. Consequently, their postprocessing for retrieving safety relevant information regarding the system behavior is challenged because of the large amount of generated scenarios that makes the computational cost for scenario postprocessing enormous and the retrieved information difficult to interpret. In the context of IDPSA, the interpretation consists in the classification of the generated scenarios as safe, failed, Near Misses (NMs), and Prime Implicants (PIs). To address this issue, in this paper we propose the use of an ensemble of Semi-Supervised Self-Organizing Maps (SSSOMs) whose outcomes are combined by a locally weighted aggregation according to two strategies: a locally weighted aggregation and a decision tree based aggregation. In the former, we resort to the Local Fusion (LF) principle for accounting the classification reliability of the different SSSOM classifiers, whereas in the latter we build a classification scheme to select the appropriate classifier (or ensemble of classifiers), for the type of scenario to be classified. The two strategies are applied for the postprocessing of the accidental scenarios of a dynamic U-Tube Steam Generator (UTSG).

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati, Ali Muhammad Ali Rushdi and Hussain Mobarak Albarakati. "Using Variable-Entered Karnaugh Maps in Determining Dependent and Independent Sets of Boolean Functions". journal of king abdulaziz university computing and information technology sciences 1, n.º 2 (15 de enero de 2012): 45–67. http://dx.doi.org/10.4197/comp.1-2.3.

Texto completo

Resumen

An important class for Boolean reasoning problems involves interdependence among the members of a set T of Boolean functions. Two notable problems among this class are (a) to establish whether a given subset of T is dependent, and (b) to produce economical representations for the complementary families of all dependent subsets and independent subsets of T. This paper solves these two problems via a powerful manual pictorial tool, namely, the variableentered Karnaugh map (VEKM). The VEKM is utilized in executing a Label-and-Eliminate procedure for producing certain prime implicants or consequents used in tackling the two aforementioned problems. The VEKM procedure is a time-saving short cut indeed, since it efficiently handles the three basic tasks demanded by the solution procedure, which are: (a) To combine several Boolean relations into a single one, (b) to compute conjunctive eliminants of a Boolean function, and (c) to derive the complete sum (CS) of a Boolean function. The VEKM procedure significantly reduces the complexities of these tasks by introducing useful shortcuts and allowing simultaneous processing. The VEKM procedure is described in detail, and then demonstrated via two illustrative examples, which previously had only black-box computer solutions as they were thought to be not amenable to manual solution. The first example deals with switching or bivalent functions while the second handles 'big' Boolean functions. Both examples indicate that the VEKM procedure proposed herein enjoys the merits of insightfulness, simplicity and efficiency

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

Echenim, Mnacho, Nicolas Peltier y Sophie Tourret. "Prime Implicate Generation in Equational Logic". Journal of Artificial Intelligence Research 60 (18 de diciembre de 2017): 827–80. http://dx.doi.org/10.1613/jair.5481.

Texto completo

Resumen

We present an algorithm for the generation of prime implicates in equational logic, that is, of the most general consequences of formulæ containing equations and disequations between first-order terms. This algorithm is defined by a calculus that is proved to be correct and complete. We then focus on the case where the considered clause set is ground, i.e., contains no variables, and devise a specialized tree data structure that is designed to efficiently detect and delete redundant implicates. The corresponding algorithms are presented along with their termination and correctness proofs. Finally, an experimental evaluation of this prime implicate generation method is conducted in the ground case, including a comparison with state-of-the-art propositional and first-order prime implicate generation tools.

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Schrag, Robert y James M. Crawford. "Implicates and prime implicates in Random 3-SAT". Artificial Intelligence 81, n.º 1-2 (marzo de 1996): 199–222. http://dx.doi.org/10.1016/0004-3702(95)00053-4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

Van De Putte, F. "Prime implicates and relevant belief revision". Journal of Logic and Computation 23, n.º 1 (7 de noviembre de 2011): 109–19. http://dx.doi.org/10.1093/logcom/exr040.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Rymon, Ron. "An SE-tree-based prime implicant generation algorithm". Annals of Mathematics and Artificial Intelligence 11, n.º 1-4 (marzo de 1994): 351–65. http://dx.doi.org/10.1007/bf01530750.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!