|
|
Jan. 18th, 2006 @ 01:25 pm
|
|---|
you can now send out nudges???!!!
(vicki - done) |
In Sydney/Melbourne for the next couple of weeks so will be uncontactable. Sorry to ppl going away before I get back. I should of rung, but hopefully your still there by the 16th and i can say a quick goodbye.
To those in netball....i wont be able to make it on the 6th. i dont think i have received an email from flick saying she can play, but can you possibly chase that up asciian..or neone else??? thanks :)
to all others, happy new year and ill see you when i get back. hope your xmas was good.
sarah
ps - dont you hate it when you make the choice - take 2 books or just the one and hope it will last the whole time and you end up finishing it on the second day....thanks for the loan of it. have you seen the new edition - has all the kewl photos and paintings in it. thinkng of getting it for a reference book. |
there really isnt much more to say, except I HAVE TACTICS but lj wont let me say nothing...
So, status update:
Thesis section/chapters 1-3 compeletly done. Section 4 part a (New Rules) is 3/4 done..i need to update it with the new rules i have made over the past couple of weeks, take out the ones i hated and add it to the final document. Section 4 part b (new tactics) can now be commenced, although im leaving that for a little while - and tactic/automation methodology still needs doing.
Im leaving the rules where they are for now, while i get the tactics up and running. i am finding new ones as im doing the tactics, so thats good i guess..or maybe not...
im in the process of re-proving the case studies using tactics - actually the method i said i would do in progress report - thereby making new ones, and making sure the tactics actually work.
so far they reducing one file from 61 to 11 lines of 'proof' = 82% reduction :) YAY me
back to it, aye |
|
Oxleys
|
Sep. 2nd, 2004 @ 10:07 pm
|
|---|
Just a quick note: oxleys was really nice. and they sang happy birthday to me. :)
What a way to end a terrific birthday |
I know this is meant for thesis, but I thought I might put this stuff down here anyway.
Well, this morning I woke up at 550am to 21 yellow and blue balloons on, around and in my bed :) Mum had come in and tossed them in there - they match the new colours of my room. (This has proved to be one of the running themes within these presents).
I was 'allowed' to open one present whilst still in bed - the bag that I was carrying around. I was informed that this bag was a psuedo present from my sister (bought by mum) because she'll bring my actual present when she returns home in October.
So, after that, I got ready for uni, and went to have breakfast. Theres a tradition in my family that we get the presents at breakfast, and this year was no exception. My parents seemingly 'showered' me with gifts. The 'main' present was a lead-light lamp, which matches my room. I also got a yellow vase (with cream coloured hay/straw thingy). I also got an 'inspirational journal' in which my parents gave me words of wisdom. (I was told this was the 'religous' part of my presents - that is, how religous I can get, with my agnostic stance and all). Keeping the theme of yellow, my mother bought a nice yellow skirt and top for me (which I will be wearing tonight).
My brother gave me a lovely silver braclet which had hearts forming the chain, and a 'lock and key' charm on it. I thought that this was extreamly well thought on his account, especially as mum had told me that he knew 'exactly' what to get me.
My sister, despite the bag and the soon-to-come present, decided to send me a Frank Sinatra CD. I think that this, accompaning the daiquirs will form a 'theme' for my party.
Other presents from family were : the usual money/cheques, a gold pair of earrings, a Bob Woodward book, a tea cup and Bohemium Cyrstal Glasses.
The first pleasant thing at uni today was the cancellation of my 8am lecture, meaning I could run 'late' into uni. Although, with traffic as bad as it is, and with car parking an issue the later it gets, I decided to get to uni by 930. It was nice seeing my friends in the morning, before running over to AI (but not late. sorry) where I found my self tutoring the 2nd yr in my group. [NOTE: this part of the day makes me a bit annoyed, so I will move on.] AI lecture was as usual. Except with a bit more feline and bovine talk. :)
I would like to say that the next part of the day was/is the BEST part. I have never had my friends throw a party/lunch thing for me, and was extreamly touched that they went to so much effort and thought. The thing that made this so special, was that I always thought that being at the end of the year, my birthday always went missed. While it is true that previous years, I have been more 'alouf' where as this year I have tried to make an effort with everybody, the party gesture was extreamly touching :). So, even though ive already thanked a certain person personally, thanks go out to you all.
I neednt remind everyone of the two fantasic gifts I recieved from my friends: the adventourous excursion and the clever braclet. I must say that this year, you have all outdone yourself. I am very amazed at the thought that went into these gifts. And even if you did have to link it back to my mum, and even though I know, and you would prefer I didn't, I think that just adds to the gift - you went to all that trouble to make sure I'd like my gift. And thats one of the main qualities I try to find when I go gift hunting. So thankyou all for your really cool, really clever gifts.
This afternoon was our little 'tea party', where we do the cake and song tradition. It was even bigger this year, due to my aunt and uncle currently staying here, and Warwick coming over, and Dad coming home early.
I got a lovely gold heart from warwick, which will go on one of my chains.
So, this takes me to now, and I think I'm running very late. I only have 10 mins to get ready ! But, I will endeavour to write about the remainder of the evening when I get home.
For now, its off to Oxleys.
Ciao
age := age <+ { Sarah |-> 21 } |
| » so long no see.... |
|---|
Ooops...looks like this is VERY out of date
i blame it on the current political climate.
or maybe on me being lazy and not doing work over the holidays on thesis due to my wonderful overseas travel. (jealous ;))
SO, as im taking RSD with my supervisor AND examiner (thanks to the 2 ppl who join me in my 6 person class) i decided it might be a good idea to get cracking.
So far I have proved specifications for simpleSet, library and club. Not alot i grant you, but when you spend a week trying to find a rule to solve something, that you end up deciding does not yet exist and then spending 1/2 hr adding it, time does go by very quickly.
I have added 4 rules thus far :
rule: bsingle_binter_eq_empty ===
A /:: B
-------
bsingle(A) /\ B = empty
rule: bsingle_bsubs_trans ===
A :: X, X [ Error: Irreparable invalid markup ('<:>') in entry. Owner must fix manually. Raw contents below.] Ooops...looks like this is VERY out of date
i blame it on the current political climate.
or maybe on me being lazy and not doing work over the holidays on thesis due to my wonderful overseas travel. (jealous ;))
SO, as im taking RSD with my supervisor AND examiner (thanks to the 2 ppl who join me in my 6 person class) i decided it might be a good idea to get cracking.
So far I have proved specifications for simpleSet, library and club. Not alot i grant you, but when you spend a week trying to find a rule to solve something, that you end up deciding does not yet exist and then spending 1/2 hr adding it, time does go by very quickly.
I have added 4 rules thus far :
rule: bsingle_binter_eq_empty ===
A /:: B
-------
bsingle(A) /\ B = empty
rule: bsingle_bsubs_trans ===
A :: X, X <: Y
-------------
bsingle(A) <: Y
rule: bdiff_bsingle_bsubs ===
A <: X, B :: A
--------------
A -- bsingle(B) <: X
rule: bdiff_bunion_ binter_empty_iff ===
A <: X, B <: X, Y <: X
----------------------
(A -- bsingle(Y)) /\ (B \/ bsingle(Y) = empty <=> A /\ B = empty
rule: bdiff_bunion_ binter_eq_bunion ===
A <: X, B <: X, Y <: X
----------------------
(A -- bsingle(Y)) /\ (B \/ bsingle(Y) = A /\ B
Quite a lot, considering this was meant to be an almost complete set. 4 new rules from one operation...hmmm.....
Aug. 1st, 2004 @ 09:39 am
|
| » Progress Report Completed :) |
|---|
Yay,
Progress report has now been completed! :)
This is good news for me, as it no longer hangs over my head like that ominous grey cloud. Now, all I have to do is fix up the little 'grammatic' errors, put in the gantt chart, and it'll all be good :)
Apr. 21st, 2004 @ 02:38 pm
|
| » Q2 vs Q1 :( |
|---|
Q2 Activities : Finish Elvin, Progress Report (sort of), Policy (sort of)
Q1 Activities : Algorithms Study
Time Spent Now : Finish Elvin, Progress Report, Policy....
Time not spent now : Algorithms Study
I know your meant to spend most of your time in q2, but how can i finish doing q1! my instinct is telling me to ADS study, but i wanna finish coding :( I Like Coding when i have other things to do ;) Pity it took me 4 weeks to even start looking at it :(
Well... lesson learnt : Keep up with the study, and if u have a pressing q2 item about to move into q1, do that before nehting else (unless u already have q1 items)
Oh, By the By, i managed to push the progress report deadline back a week, and peter has looked at my work, so i hope ill get good feed back from it soon :)
Ciao
Sarah
Apr. 7th, 2004 @ 10:55 am
|
| » Progress Review *almost* done |
|---|
Yep, Today was a big day for progress review. I managed to get it nearly all finished. I still need to do the section on theorem provers, but that wont be too bad (hopefully).
Ive sent off the version to Peter to have a look at, so I hope that wont take too long. He told me he'd have a look at it Wed morning. i Hope so, cos i said id hand it in to him on thursday.
Thursdays going to be one busy day. First up, I have a test (algorithms) at 10 - 12. Then i also need to hand in the progress review (:S) but Rachel, the other team manager has now said she wants the policy done on thursday, which means shes signed us up to the 140 session. On top of that, i promised Roger, the gui guy from the team id sit with him and help him code stuff.
On top of everything, I found out that the distributed assignment is due monday 19th april ie first day back. I suppose its my fault that im doing it now -- we have had it since wk 2ish, but ive been slack. So, thanks to my holiday up at coloundra, with no phone line and no internet access, i think im stuck doing it now. Its not too bad, and ive almost finished it, but it would have been nice to do it up there. oh well, looks like ill just be doing catch-up while im there. And theres a lot of things i need to do in order to catch up :(
well, best get back to it. I still think its kewl that i have now finished *most* of the progress report. im pretty proud of it atm. (who knows, maybe i can get an extension ;))
Ciao
Sarah
Apr. 6th, 2004 @ 10:10 pm
|
| » Progress Report |
|---|
YAY :) i have started my progress report.
I have written 3 sections, although i dont know if im too pleased with them. i still have to send it in to get proof read, but the first part eg Project overview/description section is giving me troubles.
Dont know where to draw the line between them. and dont know how much background stuff i need to describe the problem. i think a bit, but then its overlapping with the part 2 :S so confusing.
Oh well, at least XErgo now works, (although i still need to but the dir in my path. oops)
Yeah, so thats what ive been working on. Hopefully this draft will be finished by this arvo, so i can send it to peter to get looked at :)
till then,
Ciao
Sarah
Apr. 5th, 2004 @ 09:08 am
|
| » QT Libraries Finally Installed |
|---|
Latest event on thesis :
I have found and updated the qt libraries :)
Yay :)
Finally ;)
SO, now i need to organise xergo on my laptop, and ill be set.
Still need to find some stuff for back ground research. Considering report is due next week, i need to get cracking on that now.
Note to self : In URGENT AND IMPORTANT quadrant, unlike my quadrant 4 stuff ive been doing, like 'excessive tv'. ooops. :0
So. apart from that, still not much progress. I havent been able to find much stuff on other theorem provers which cover the elusive term 'undefinededness'. as this is a made-up word, it is hindering my progress greatly ;0
hehe..neways, better get cracking. this is probably considered as Quad 2 stuff, ie not urgent and important, but i think i need to address the rapidly increasing list of things in quad 1 first, eg job applications and assignments due next week :S
Ciao
Sarah
Mar. 30th, 2004 @ 07:22 pm
|
| » Personlities Profile |
|---|
Ok, so today was the Personalities test in Project Management. Guess what, im a Phelgematic according to the TMS test, and a ESFJ according to one Myers-Briggs website.
Extroverted (E) 66.67% Introverted (I) 33.33%
Sensing (S) 62.5% Intuitive (N) 37.5%
Thinking (T) 50% Feeling (F) 50%
Judging (J) 51.35% Perceiving (P) 48.65%
ESFJ - "Seller". Most sociable of all types. Nurturer of harmony. Outstanding host or hostesses. 12.3% of total population. (hehe..good news for Telstra then ;))
Enneagram Test Results:
Type 1 Perfectionism |||||||||||||| 56%
Type 2 Helpfulness |||||||||||||||| 66%
Type 3 Image Awareness |||||||||||||| 53%
Type 4 Sensitivity |||| 13%
Type 5 Detachment |||||| 26%
Type 6 Anxiety |||||| 30%
Type 7 Adventurousness |||||||||||| 50%
Type 8 Aggressiveness |||||||||||| 46%
Type 9 Calmness |||||||||||||||| 66%
Mar. 25th, 2004 @ 09:28 pm
|
| » Progress Report |
|---|
Ok, so this is my 3rd entry tonight, so what ;) I need to catch up on a few things, is all.
Well, today I have made real progress on my thesis. However, it was only on the plan. I have managed to create a neat little PERT chart - on post-it(R) notes of course! I will convert it into MSProject form a la engg4800 [note: fixed on 30 March 2004] style. I will use that as part of my planning section of my progress report. Surely that counts for something ;).
Speaking of which, I am having troubles doing background research. The main reason is that I dont think there are that many articles on what I am doing. That and the fact that research is more my sisters thing, and not mine ;). Not good when i need about 7 pages of it to satisfy the end thesis.
Oh Well, nothing else to report. So ill continue to research, and hit brick walls, but thats life...according to my PERT chart, I still have 2 more weeks of it, so I hopefully will find something useful.
PS If you know of any theorem provers, who cover undefinedenes... ;)
Ciao
Mar. 24th, 2004 @ 10:29 pm
|
| » Thesis Topic |
|---|
[Snippit from my progress report, which is currently under construction]
"There are many software specifications languages which exist to support the software process, including the validation process. One such language is the B Specification Language. The B Specification Language[B Book ref], or B for short, developed by Jean-Raymond Abrial of B-Core UK, Oxford England is a formal software development method that covers the software process from specifications to implementation [8th march ref 2]. It is related to Z and supports development of C Code from the specification. Compared to Z, B is able to be refined and is more focussed on how the computer actually works than on abstract methods and theories [8th march ref 1].
The B Toolkit was developed by B-Core to support the B-method over the entire software process. Specification validation is supported by static analysis and dynamic analysis, as well as proof checking using integrated theorem provers, the B-ToolProvers [8th march ref 3]. While the auto-prover completes the proof for very simple applications, it does not automatically complete most proofs, (including complex proofs). Another problem the B-Tool Provers do not handle is undefineded-ness. Undefineded-ness is a problem, which can arise from such situations as dividing an integer by zero, or requesting the first element of an empty sequence.
To overcome these problems, Peter Robinson of University of Queensland has developed a set of theorems and tactics, which support undefineded-ness and promote more automation.
The aim of this thesis is to write a collection of tactics, based upon the undefined-ness rules developed by Robinson, to improve the level of automation of the Ergo theorem prover for B specifications. "
AND So, there you have it. What my thesis is really about.
Ciao
Sarah
Mar. 24th, 2004 @ 10:12 pm
|
| » New Live Journal |
|---|
Hey Everyone,
Looks like someones moving into the new world of online journals. And into the world of journals, as I dont really keep one normally.
This journal will basically act as a progress report for mainly my thesis, but if I get board with that, Ill change it into an anything type of thing.
So, until I decided what i want to do with it, ill leave it alone ;)
Ciao
Sarah
Mar. 24th, 2004 @ 10:09 pm
|
|
![[info]](http://l-stat.livejournal.com/img/userinfo.gif){kind=small}
subtlenasha's journal