Do you remember that we have this blog?

I just realized that we did created this blog.

Exam Tips

Semester is ending dudes.... and we are graduating!!... Let's get out from it.. :D

Formal Method

1. Define Safety and Liveness

2. Talk about major differences in Branching Time and Linear Time

Give suggestion on which one is better. Justify!!

3. How to prove correctness

4. What is the effectiveness of an algorithm

5. what is model checking and the advantages of doing it

6. Explain transformational and reactive system

7. Relate neutral exclusion protocol to an Algorithm

Concept of Modeling

1. Extrusion / sweeping / revolving

Expression : Union, differentiation, intersection

2. DDA Algorithm <- derive the algorithm and solve the question ex: (1,0) to (4,9).

3. Calculate Light Intensity from a given light source and object.

(didn't have much detail it, please comment if you do have the detail thanks :))

4. explain 4 technique to improve / perform better real time rendering

5. 5 attributes of Particle in particle system

6. types of light

7. steps to generate particle system (the algorithm)

8 Super Sampling Algorithm (Anti aliasing)

9. Odd and Even algorithm (applying color on pixel)

10. Convex and concave objects

Data Structure

- types of data structure

- Multidimensional Array

- STL (Standard Template Library)

- Vector

- Stack - basic operations, insertion and deletion.

- queue - basic operations

- Sorting algorithm

- BST (Binary Search Tree)

2-3 tree

2-3-4 tree

- Heap definitions and Heapify

- Graph BES and DES (not sure about this)

- Spanning tree (cutting, building, shortest path)

Formal Methods Mid Term Tips

-Transformational System Logic & Reactive System Logic (Define & Explain)

-Soundness and Completeness (Def. Actual Soundness)

-Logical Connectives (write in order of precedence) (not, and, or, logically implies, equivalence)

-Logical Connectives meaning

-Atomic sentences: predict the logic, create the sentence

-What is formal methods used for?






IF ITS TOO LATE ITS TOO LATE

File Sharing

Guys, am having problem with sharing the files...
The yahoo group is quite a slow here... take long to upload one doc...

any suggestion?

Help Needed

Hey guys...

Remeber the System model?

Input -> Process -> Output?

do you know anything about err... Feedback and also Control? these two are said to be in the System Model..

Updates

Hey guys, there will be no tutorial class for Formal Method this week, the lecturer is still somewhere, coming next week...

I though formal method is another Ethics, in fact it's not... It's for Software Engineers in doing their task.. it's all about formalization and standardization I think...

Today class is replaced by Hani.. He brief us in this subject and how should we study this subject..

He sugested us to study in group and it's a difficult subject anyway :D

BSEM Sem 6 Schedule

Sometimes, it's really hard to just walk to the notice board area and look at the schedule..

Thanks Jansen for taking the picture of it... so we can see it online now