Construct a weak-failure model

Assignment Help Theory of Computation
Reference no: EM13966524

1. A binary adder is shown in Figure 1. The adder, on test inputs may be showing unintended results. Actually, the input values are: A = 1, B = 0, C = 1; and the output values are: D = 0 E = 0.

(a) Construct a weak-failure model of the circuit using PROPOSITIONAL LOGIC, that is a model that allows for faulty components. Explain each formula and its role in the model.

(b) You want to obtain minimal conflicts, that is, sets of components that cannot be all simultaneously working well at the light of the observation. (Minimality means in this case that no proper subset of a conflict is a conflict.)

1692_Construct a weak-failure model.png

Explain your methodology based on automated reasoning a` la Prover9 for obtaining such conflicts, in particular, how you make sure they are minimal.

(c) Use Prover9 to obtain all possible minimal conflicts. Show the main ingredients of the input file, with an explanation. Do the same with the output file, interpreting and explaining the results.

(d) Assume that a second test is performed (in addition to the first one). Now the values are: A = 1, B = 1, C = 1, and D = 0, E = 0. Now, using both sets of observations, find minimal conflicts through new Prover9 input, run and output.

Explain how and with what results you used the new informa- tion. Analyze the results in comparison with the previous diagnoses.

Reference no: EM13966524

Questions Cloud

Write a communication plan including all stakeholders : Write a communication plan including all stakeholders in a cookie bakery where sales was going down because customers started logging complaints in the last 15 days.
Transition probability matrices : (a) Xn D the number of sixes obtained up to the nth roll; (b) Xn D the number of rolls, at time n, that a six has not been obtained since the last six. Prove or disprove that each fXng is a Markov chain, and if they are, obtain the transition probabi..
How tactical analysis can prevent and deter crime : Tactical Analysis: Explain how tactical analysis can prevent and deter crime. Explain the differences of patterns, series, and trends, and discuss modus operandi
Subsequences of markov chains : Suppose fXng is a stationary Markov chain. Let Yn D X2n. Prove or disprove that fYng is a stationary Markov chain. How about fX3ng? fXkng for a general k?
Construct a weak-failure model : Construct a weak-failure model of the circuit using PROPOSITIONAL LOGIC, that is a model that allows for faulty components. Explain each formula and its role in the model.
Explain the hazards of chemical burns : Explain the hazards of chemical burns other than tissue damage.
What other factors affect decisions to migrate : Read: Lee, Everett S. 1966. "A Theory of Migration." Demography 3(1): 47-57. Give an example of a push factor and an example of a pull factor. What other factors affect decisions to migrate?
Find the range of speed of the governor in the position : In a porter governor, the mass of the central load is 18 kg and the mass of each ball is 2 kg. The top arms are 250 mm while the bottom arms are each 300 mm long. The friction of the sleeve is 14 N. If the top arm makes 450 with the axis of rotati..
List some examples of organic solvents : List some examples of organic solvents, and discuss how they are hazardous and what protective measures can be used to control exposure.

Reviews

Write a Review

 

Theory of Computation Questions & Answers

  Write the converse of the statement

Write the converse, contra-positive and inverse for each of the following statement in natural English.

  A turing machine for f(x)=2x

Construct a turing machine to compute the product x*y of any two positive integers x and y.

  Millenium development goal

Millenium Development Goal has proved to be one of the most ambitious and difficult and global education starts with, well, education-informing and inciting into action those who are more capable of bringing about change.

  What is a tasks priority and how is it used in scheduling

What is the difference between preemptive scheduling and time slicing? What is a task's priority and how is it used in scheduling?

  Construct an finite automata that accepts all binary strings

Construct an FA (finite automata) that accepts all binary strings with an even number of 0's and the number of 1's is a multiple of 3.Provide the answer of given question and also give details.

  Write regular expressions

Write regular expressions to capture the following-Strings in C. These are delimited by double quotes ("), and may not contain newline characters. They may contain double-quote or backslash characters if and only if those characters are "escaped" b..

  Define predicate combinations

Define predicate combinations which find the number of combinations K of up to N numbers. Validate your predicate with the subsequent test:

  1 produce a report of up to 500 words on the topic talent

1. produce a report of up to 500 words on the topic talent planning in operation. nbspnbspnbspnbsp please ensure that

  Create a finite-state machine design to turn your fpga

create a finite-state machine design to turn your fpga development board into a simple programmable music box. the

  You are aware of the importance of cpd and the knowledge

you are aware of the importance of cpd and the knowledge skills and behaviour required to be effective in an hr role.

  Scrum vs plan-based software development strategies

Develop a visual rendering of each approach using Microsoft Visio or its open source alternative, Dia. Note: The graphically depicted solution is not included in the required page length.

  Create a recursive java method maximum

Create a recursive java method maximum that calculate the maximum element of a linked list of integers.The solution must be simplified and should not use class Node or head

Free Assignment Quote

Assured A++ Grade

Get guaranteed satisfaction & time on delivery in every assignment order you paid with us! We ensure premium quality solution document along with free turntin report!

All rights reserved! Copyrights ©2019-2020 ExpertsMind IT Educational Pvt Ltd