A Web program is a confounded program. It should manage many sorts of information (pictures, sound, and so forth), support different organization administrations and handle the numerous builds of HTML (the language where Web pages are composed). Your supervisor requests that you lead a little gathering of developers in carrying out a Web program. Depict hierarchical refinement; is it fitting for your errand? [6 marks] Your administrator further expresses that it is fundamental that your program ought to nearly never crash. How might you approach meeting this prerequisite? [6 marks] Consider the accompanying two ML capacities: fun sumfiv [] = 0 | sumfiv (x::xs) = 5*x + sumfiv xs; fun adding z [] = z | adding z (x::xs) = adding (z + x) xs; Utilize primary enlistment to demonstrate that sumfiv xs can be supplanted by 5 * adding 0 xs. [8 marks] 10 Structured Hardware Design A plan is expected for an electronic framework to gather votes from the crowd in a TV game show. Each of up to 1000 seats in the crowd will have an crowd station and there will be an expert station for the floor chief. Yield from the framework will be video and this will take care of screen shows in the studio and be remembered for the transmission program. (a) Sketch a square chart of the general framework, showing plainly the different units furthermore, the signs which make up the links which run between them. [5 marks] (b) Specify the controls and markers on the front board of the two sorts of station. Give a couple of state charts of the framework, one as seen by the crowd and the other as seen by the floor supervisor. [5 marks] (c) Given that a productive profit from the offer of three complete frameworks is required, portray the parts and innovation that ought to be utilized in the units. [5 marks] (d) Discuss the benefits and impediments of including a PC inside the floor chief's station, regarding cost, usability and whether a custom or standard working framework ought to be utilized.

The RSA cryptosystem can be tuned to make the responsibility uneven: with d = 3, encryption (cubing modulo n) turns out to be exceptionally modest and practically all the computational cost movements to unscrambling (separating cubic roots modulo n). The accompanying public-key convention utilizes the above property to permit two administrators An and B to lay out a typical mystery key Nb (imagined by B) without bringing about a high computational burden, on account of the assistance of a server S who processes all the cubic establishes in the convention. Assailants are thought to have the option to catch wind of, however not adjust, the messages between A, B and S. A ? S : B, N3 a mod n. S ? B : A. B ? S : A, N3 b mod n. S ? A : B, Na ? Nb. (a) What is the reason for Na? [3 marks] (b) Describe exhaustively a convention assault that will permit two intriguing assailants C also, D to recuperate Nb. Accept that S is stateless. [7 marks] (c) Stop the assault you portrayed in (b) by making S stateful. [3 marks] (d) Describe exhaustively a more modern convention assault by which the conniving aggressors will recuperate Nb regardless of whether S takes on the safeguard you portrayed in (c). [4 marks] (e) Fix the convention to overcome the assault you portrayed in (d). [3 marks] 13 (TURN OVER) CST.2012.7.14 13 Temporal Logic and Model Checking In the accompanying system, called INC, (*) is a Boolean articulation that assesses non-deterministically to one or the other valid or misleading each time it is assessed (unique assessments might yield various outcomes). N := 1; WHILE (*) DO N := N+1; N := 0; (a) Devise and cautiously depict a state space and progress connection to show this program. [8 marks] (b) Devise fleeting rationale formulae that express properties (I), (ii) and (iii) beneath. For each situation state which fleeting rationale you are utilizing and make sense of whether the property is valid in your model. (I) Every execution of INC ends. [4 marks] (ii) Some execution of INC ends. [4 marks] (iii) If INC ends, then N = 0 holds in the ending state. [4 marks] 14

Circuit Analysis: For the filter in Fig. below choose the values of C and C to place poles at s = -2 and s= -5 rad/s. After finding the values of C and C is it possible to find Steady State response Vo(t) for the given network? If yes then find it. Can you identify the difference between Transient response and steady state response for the given network and also write down the equation of complete response. PLO Course Complex Engineering Problem Circuit Analysis 2 100 www vs(t) C: WP WP1, WP3 ww 100 C= Bloom's Learning Level C4 vo(t)